以太坊及其智能合约技术为去中心化应用（DApps）的蓬勃发展奠定了基石，安全性始终是悬在区块链生态之上的达摩克利斯之剑，在众多智能合约安全漏洞中，重入攻击（Reentrancy Attack） 无疑是最臭名昭著、破坏力极强的类型之一，它曾导致历史上著名的 The DAO 攻击事件，造成数千万美元的损失，本文将深入探讨以太坊合约重入攻击的原理、典型案例、防御策略以及最佳实践。
什么是重入攻击？
重入攻击，本质上是一种攻击者利用智能合约代码中的缺陷，在合约未完成当前执行流程（特别是未正确更新状态变量或进行必要的检查）的情况下，恶意地、反复地调用合约自身或其他外部合约的攻击方式。
合约A在执行某个函数时，调用了外部合约B的函数，如果合约B的函数在被调用后，能够再次反过来调用合约A尚未执行完毕的原函数，就形成了“重入”，攻击者通过这种循环调用，可以在合约A的状态被正确更新之前，多次执行特定的操作,从而达到窃取资金或破坏系统逻辑的目的。
重入攻击的“完美风暴”：条件与步骤
重入攻击的发生通常需要满足几个关键条件,并遵循典型的步骤：
- 外部合约调用（Call）：目标合约在执行关键逻辑（如转账）时，使用了低级别的调用函数，如
call()、delegatecall()或send()，并且这些调用通常是外部地址（特别是攻击者控制的合约）。 - 状态变量更新顺序不当：合约在调用外部合约之后，才更新与该操作相关的状态变量（如账户余额、权限标志等）,这是最核心的漏洞点。
- fallback 函数（或 receive 函数）：攻击者控制的合约必须实现了
fallback函数（Solidity 0.6.x 之前）或receive函数（Solidity 0.8.0 及以后，用于接收以太币）,该函数中包含了再次调用目标合约漏洞函数的逻辑。
攻击典型步骤：
- 部署恶意合约：攻击者部署一个包含重入逻辑的恶意合约。
- 初始调用：攻击者通过其恶意合约调用目标合约的某个函数（一个提现函数）。
- 第一次执行与外部调用：目标合约开始执行提现函数，计算应转账金额，然后通过
call()调用恶意合约的fallback函数,将以太币发送过去。 - 重入触发：在恶意合约的
fallback函数中,攻击者再次调用了目标合约的同一个提现函数。 - 循环与状态未更新：由于目标合约第一次调用
call()后，尚未更新用户的提现余额（状态变量），所以第二次调用时，检查依然通过，再次执行转账，这个过程会一直循环下去，直到目标合约的以太币被转空，或者达到了 Gas 限制。 - 状态更新（为时已晚）：只有在所有重入循环都结束后，目标合约才可能（如果代码中后续有）尝试更新状态变量,但此时资金已被洗劫一空。
经典案例：The DAO 攻击
2016 年的 The DAO 事件是重入攻击最著名的案例，The DAO 是一个基于以太坊的去中心化自治组织，旨在通过智能合约进行风险投资,其核心合约中存在重入漏洞：
- 提现机制：当用户请求从 The DAO 中提取资金时，合约会首先调用用户（可能是另一个合约）的
fallback函数进行转账,然后再更新用户的余额。 - 攻击过程：攻击者部署了一个恶意合约，在其
fallback函数中，再次调用了 The DAO 的提现函数，由于 The DAO 合约在转账后没有立即更新攻击者账户的余额，导致攻击者可以反复提取资金，最终成功窃取了价值约 6000 万美元的以太币，引发了以太坊社区的巨大震动，并最终导致了以太坊的分叉（形成以太坊经典 ETC 和以太坊 ETH）。
如何防御重入攻击？
幸运的是，重入攻击已有成熟且行之有效的防御方案，核心原则是“Checks-Effects-Interactions”模式：
-
Checks-Effects-Interactions 模式：
- Checks (检查)：首先执行所有必要的条件检查（如余额是否足够、权限是否足够）。
- Effects (效果)：更新合约的内部状态变量（如扣除余额、设置标志位）。
- Interactions (交互)：再进行外部合约调用或转账。
- 关键
