智能合约防重复执行：新手必知的核心机制与实战技巧

做智能合约开发好几年了，我见过太多项目因为重复执行漏洞被掏空。Reentrancy攻击在DeFi领域太常见了，从The DAO到近年的一些清算协议，损失动辄数千万美元。防重复执行机制不是锦上添花，而是智能合约安全的底线。

防重复执行机制是什么

重复执行漏洞的本质，是合约在未完成状态更新前就触发了外部调用，攻击者利用这个时间窗口反复执行同一笔交易。最简单的例子：A合约调用B合约的提现函数，B合约还没来得及更新余额，A合约就再次触发提现。

这种漏洞在跨合约调用、回调函数和外部调用中尤其危险。很多开发者只关注业务逻辑，忽略了合约间的调用顺序和状态同步问题。

防重复执行的核心思路是确保状态更新先于外部调用，或者通过锁机制阻止同一函数被重复触发。这不是一个复杂的概念，但实现起来需要仔细设计。

如何防止重复执行

最经典的做法是Checks-Effects-Interactions模式。先做所有检查，再更新状态，最后才进行外部调用。这个顺序不能颠倒，颠倒就是给攻击者留后门。

另一种方式是使用重入锁。OpenZeppelin提供的NonReentrant修饰符就是典型实现，通过一个布尔标志位记录函数是否正在执行，进入时设为true，退出时设为false。

modifier nonReentrant() {
    require(!_locked, "ReentrancyGuard: reentrant call");
    _locked = true;
    _;
    _locked = false;
}

还有更激进的做法，比如使用快照机制记录关键状态，在执行前后对比，发现异常立即回滚。这种方法适合对资金安全要求极高的场景。

实际开发中，建议同时使用多种防护手段，不要依赖单一机制。深度防御才能应对复杂的攻击场景。

防重复执行工具有哪些

静态分析工具是第一道防线。Slither和Mythril可以自动检测重入漏洞，在代码审查阶段就能发现大部分问题。这些工具虽然不能覆盖所有场景，但能过滤掉低级错误。

形式化验证是更彻底的方法。Certora和Halmos通过数学证明来验证合约安全性，能够发现人工审查难以察觉的边界情况。不过学习成本较高，适合安全要求极高的项目。

运行时防护方面，Chainlink Keepers和Gelato提供了自动化监控服务，可以实时检测异常交易并暂停合约。这类工具适合已经上线的项目，作为事后补救措施。

选择工具时要根据项目阶段决定，开发阶段用静态分析，上线后用运行时监控，重要合约建议做形式化验证。安全投入越高，被攻击的概率越低。