为什么重入攻击是智能合约的头号威胁
在以太坊及各类 EVM 兼容链的安全事件中，重入攻击（Reentrancy Attack）的出镜率始终居高不下。从 2016 年著名的 The DAO 事件，到此后层出不穷的 DeFi 协议被盗案，重入攻击造成的损失累计高达数十亿美元。要理解为什么智能合约如此脆弱，重入攻击是绕不开的第一课。
它的本质并不复杂：当一个合约在完成内部状态更新之前，先向外部地址发起了调用，而这个外部地址恰好是攻击者控制的恶意合约，攻击者就可以在回调中"再次进入"原函数，反复触发尚未结清的逻辑，从而把资金一抽而空。
重入攻击的机制原理
理解为什么区块链上的合约调用会留下可乘之机，关键在于"外部调用会交出执行控制权"这一事实。
在 Solidity 中，当合约使用 call、transfer 或 send 向某个地址转账时，如果目标是一个合约地址，它的 receive 或 fallback 函数会被触发。攻击者把恶意逻辑写在 fallback 里，就能在原合约还没来得及把余额清零时，再次调用提款函数。
经典的脆弱顺序是这样的：
- 检查用户余额是否足够；
- 向用户地址转账（外部调用，控制权交出）；
- 把用户余额更新为零。
问题就出在第 2 步和第 3 步的顺序。控制权在第 2 步已经交给攻击者，而余额还停留在转账前的数值。攻击合约在 fallback 中递归调用提款，每一轮都能通过第 1 步的余额检查，直到把合约掏空。这也解释了为什么去中心化交易所和借贷协议一旦存在这类顺序错误，后果格外严重。
一次典型攻击的步骤还原
为了直观理解，我们还原一次攻击者的操作路径：
- 攻击者部署一个恶意合约，在其 fallback 函数里写入"再次调用受害合约提款"的逻辑；
- 恶意合约先向受害合约存入少量资金，获得合法的余额记录；
- 攻击者调用提款函数，受害合约转账触发恶意合约 fallback；
- fallback 立即递归调用提款，由于余额尚未清零，检查仍然通过；
- 循环往复，直到受害合约余额耗尽或 gas 用尽。
整个过程往往在一笔交易内完成，链上观察者甚至来不及反应。这种攻击与闪电贷攻击进阶教程里描述的手法常常组合出现——攻击者用闪电贷放大本金，再借重入漏洞批量抽取，杠杆效应让损失成倍放大。
防御重入攻击的核心手段
针对这一漏洞，业界已经沉淀出成熟的防御范式，理解它们对于做好为什么智能合约审计至关重要。
检查—生效—交互模式
最根本的修复是调整代码顺序，遵循 Checks-Effects-Interactions 原则：先做条件检查，再更新内部状态（先把余额清零），最后才发起外部调用。把状态更新提前，攻击者即便回调进来，余额也已归零，递归提款无从下手。
重入锁
通过一个布尔型的状态变量（如 locked）作为互斥锁，在函数入口处加锁、出口处解锁，确保同一函数不会被嵌套调用。OpenZeppelin使用GitHub开源的 ReentrancyGuard 合约就提供了开箱即用的 nonReentrant 修饰符，是目前最广泛采用的方案之一。
限制外部调用
尽量减少不必要的外部调用，对必须调用的部分保持警惕。在涉及为什么质押挖矿、为什么DeFi协议的复杂资金流转时，更要谨慎设计调用顺序，避免在状态未结清前与外部合约交互。
优势与风险的权衡
需要客观看到，防御手段本身也有成本与权衡。重入锁会增加少量 gas 消耗，对为什么Gas费敏感的高频合约需要评估开销；而过度依赖单一防护手段也可能产生盲区——例如跨函数重入（read-only reentrancy）就能绕过仅针对单函数的锁。
随着 DeFi 组合性的增强，为什么AMM、衍生品、再质押等协议相互嵌套调用，重入的攻击面也在扩大。这意味着安全防护不能停留在套用模板，而要结合具体业务逻辑做整体审查。在这一点上，为什么主流币生态的头部协议同样不能掉以轻心，历史上不乏知名项目栽在重入漏洞上的先例。
常见问题
问：使用 transfer 而非 call 是否就安全了？
答：transfer 限制了 2300 gas，早期被视为防重入手段，但这并不可靠。随着以太坊 gas 成本调整，固定 gas 限额可能导致合法合约接收失败，社区已不推荐用 gas 限制作为安全屏障，正确做法仍是状态顺序加重入锁。
问：只读函数也会被重入吗？ 答：会。只读重入（read-only reentrancy）是近年的新型变体，攻击者在回调中读取尚未更新的状态（如价格、份额），误导其他依赖该状态的协议。这也是为什么预言机类喂价合约需要格外小心的原因。
问：审计能否完全杜绝重入？ 答：审计能大幅降低风险，但无法保证绝对安全。理解为什么虚拟货币世界的合约始终处于对抗环境中很重要——新型攻击手法不断演化，持续的代码评审、形式化验证与漏洞赏金机制需要协同发力。
风险提示
本文仅用于技术科普与安全教育，不构成任何投资或开发建议。智能合约一旦部署便不可篡改，任何代码缺陷都可能导致不可逆的资金损失。开发者应在主网部署前完成充分的测试、审计与渐进式资金上限控制；普通用户在与陌生协议交互前，也应关注其审计报告与历史安全记录，理性评估风险。