当前位置：首页 > 区块链

分布式账本上的重入攻击（Reentrancy）是什么？

95271周前 (09-22)区块链10

想象一下，你从银行取钱，但银行系统却允许你在交易完成前，用你刚刚取出的钱再次进行取款操作。这听起来像是一个荒谬的漏洞，但在区块链的世界里，这种攻击方式——被称为“重入攻击”——曾经造成了数千万美元的损失。今天，我们就来深入聊聊，这个让无数项目开发者闻风丧胆的“重入攻击”究竟是什么，它如何发生，以及我们该如何防范。

一、重入攻击：智能合约的“取款漏洞”

重入攻击（Reentrancy Attack）是针对智能合约的一种典型安全漏洞。它的核心原理在于，攻击者利用合约在执行外部调用（比如向另一个地址转账）时，合约的状态（如账户余额）尚未更新的“时间差”，恶意地让合约重复执行某个函数，从而窃取资金或造成其他损害。

简单来说，它就像一个“取款-再取款”的循环，直到合约的余额被清空。

攻击发生的条件：

存在外部调用： 合约中有一个函数，在执行完内部逻辑后，会调用另一个合约的函数（通常是转账）。
状态未及时更新： 在执行外部调用之前，合约没有先更新自己的状态（比如扣除用户的余额）。
可重入的函数： 被调用的外部合约函数，可以反过来再次调用原合约的函数。

当这三个条件同时满足时，攻击者就可以构造一个恶意合约，在原合约向其转账时，恶意合约的回调函数会立即再次调用原合约的取款函数，利用原合约尚未更新的余额，进行下一次“免费”的取款，如此循环往复。

二、经典案例：The DAO攻击事件

要理解重入攻击的破坏力，就不得不提2016年震惊整个区块链社区的“The DAO攻击”。

The DAO是什么？ The DAO（Decentralized Autonomous Organization，去中心化自治组织）是当时以太坊上最大的众筹项目之一，旨在成为一个去中心化的风险投资基金，由代码和智能合约自动运行。
攻击如何发生？ 攻击者发现The DAO的 withdrawal (取款) 函数存在重入漏洞。具体来说，在执行取款操作时，The DAO合约先向攻击者地址转账，然后再更新用户的余额。攻击者利用这个顺序，编写了一个恶意合约。当The DAO合约向其转账时，恶意合约的 fallback 函数被触发，并立即再次调用The DAO的取款函数。由于The DAO的余额尚未被扣除，恶意合约得以再次获得资金。这个循环在极短时间内被重复执行了无数次，最终导致The DAO合约中价值约5000万美元的ETH被洗劫一空。

这次攻击是区块链历史上最严重的安全事件之一，直接导致了以太坊社区的分裂，并最终催生了以太坊经典（ETC）和当前的主网（ETH）。

三、为什么重入攻击如此危险？

重入攻击的危害远不止于资金损失，它还可能：

破坏合约逻辑： 攻击者可以利用重入来绕过某些检查，执行本不应被允许的操作。
造成无限循环： 如果没有适当的保护，攻击可能导致合约陷入无限循环，耗尽Gas（交易手续费），使合约无法正常工作。
动摇信任基础： 在一个“代码即法律”的去中心化世界，安全漏洞会严重打击用户对整个生态系统的信任。

四、如何防范重入攻击？

幸运的是，重入攻击是一个已经被充分研究和理解的漏洞，有几种非常有效的防范模式。

1. 检查-效果-交互（Checks-Effects-Interactions）模式

这是最核心、最推荐的防范模式。简单来说，就是改变函数内部代码的执行顺序：

检查: 先检查所有前置条件（例如，用户余额是否足够）。
效果: 在执行任何外部调用之前，先更新合约的内部状态（例如，先扣除用户的余额）。
交互: 最后，再执行外部调用（例如，向用户地址转账）。

通过这种方式，即使攻击者试图重入，合约的状态也已经更新，无法再次利用之前的旧状态进行攻击。

2. 使用重入锁

这是一种更直接的防御方法。在函数开始时，设置一个“锁”，标记合约正在执行关键操作。在函数结束时，再释放这个锁。如果在锁被设置期间，合约再次被调用，它会直接拒绝执行，从而阻止重入。

bool private locked;

function withdraw(uint amount) public {
    require(!locked, "ReentrancyGuard: reentrant call");
    locked = true; // 加锁

    // ... 执行取款逻辑，先更新状态 ...

    (bool success, ) = msg.sender.call{value: amount}("");
    require(success, "Transfer failed");

    locked = false; // 解锁
}

3. Pull-over-Push（拉取代推送）模式

这是一种从根本上改变资金流动模式的设计思路。与其让合约“推送”资金给用户（push），不如让用户“拉取”资金（pull）。

传统模式（Push）： 用户调用合约的 withdraw() 函数，合约主动将资金发送给用户。
Pull模式： 用户调用合约的 requestWithdrawal() 函数，合约只是记录下用户的提款请求。然后，用户在稍后通过一个单独的、由自己控制的交易，从一个特定的提款合约中“拉取”资金。

这种模式使得重入攻击变得非常困难，因为资金转移的操作是由用户发起的，而不是由被攻击的合约发起的。

结语

在去中心化的世界里，代码即法律。而确保这份“法律”的严谨与安全，是每一位开发者和参与者的共同责任。重入攻击虽然听起来复杂，但其原理和防范方法已经非常成熟。通过遵循最佳实践，如采用“检查-效果-交互”模式，并保持对安全的高度警惕，我们可以大大降低这类攻击发生的风险，共同构建一个更安全、更可靠的区块链生态系统。