以太坊作为全球领先的区块链平台,其智能合约技术为去中心化应用（DApps）的开发提供了无限可能，智能合约的代码一旦部署，便难以更改，其安全性直接关系到用户资产的安全和应用的声誉，在众多智能合约安全漏洞中，“重入攻击”（Reentrancy Attack）因其巨大的破坏性和隐蔽性，堪称“头号杀手”，本文将深入探讨以太坊重入攻击的原理，重点分析其在合约状态修改方面的危害，并介绍相应的防御策略。
什么是重入攻击
重入攻击的核心在于利用了以太坊智能合约调用外部合约（或发送以太坊）时的一个关键特性：外部调用（External Call）的执行是同步的，并且在调用返回之前，当前合约的执行会被暂停，攻击者正是利用这个“暂停”窗口，通过精心构造的恶意合约，在第一次调用尚未完全完成（即状态变量尚未最终更新）的情况下，重入”调用受害合约，从而实现对合约状态的非法修改和资产的重复转移。
最经典的案例便是2016年著名的The DAO事件，攻击者利用重入漏洞从The DAO项目中窃取了价值数千万美元的以太坊，直接导致了以太坊社区的硬分叉。
重入攻击如何导致状态修改错误
要理解重入攻击如何影响状态修改,我们首先需要回顾一下以太坊函数调用的基本流程，特别是涉及call.value()（或send()、transfer()）发送以太坊的情况：
- 合约A（受害合约） 调用合约B（攻击合约）的某个函数，并附带发送一定数量的以太坊。
- 以太坊虚拟机（EVM）暂停合约A的执行，转而执行合约B的函数。
- 合约B的函数执行完毕,返回控制权给合约A。
- 合约A从之前暂停的地方继续执行,通常包括更新状态变量（如记录转账金额、减少用户余额等）。
重入攻击的破坏力就在于，攻击者可以让合约B在步骤3返回之前，再次调用合约A的其他函数（甚至是同一个函数），从而在合约A的状态变量被正确更新之前，进行多次恶意操作。
让我们通过一个简化的例子来说明：
假设一个简单的众筹合约VictimContract：
pragma solidity ^0.8.0;
contract VictimContract {
mapping(address => uint) public balances;
address public owner;
constructor() {
owner = msg.sender;
}
function deposit() public payable {
balances[msg.sender] += msg.value;
}
function withdraw() public {
uint amount = balances[msg.sender];
require(amount > 0, "Insufficient balance");
// 危险操作：先发送以太坊，再更新状态
(bool success, ) = msg.sender.call{value: amount}("");
require(success, "Transfer failed");
// 如果在调用后发生重入，这里的状态更新可能被跳过或延迟
balances[msg.sender] = 0;
}
}
正常流程：
用户调用deposit()存入1 ETH，然后调用withdraw()。
withdraw()获取用户amount（1 ETH）。msg.sender.call{value: amount}("")发送1 ETH给用户，此时balances[msg.sender]仍为1。- 发送成功,
call返回。 balances[msg.sender] = 0，用户余额清零。
