Solidity学习 - 断言失败-EW帮帮网

文章目录

前言

在Solidity智能合约开发领域，确保代码的稳健性和安全性是至关重要的。其中，断言失败漏洞是一个需要开发者高度警惕的问题，它可能会对智能合约的正常运行造成严重影响，甚至导致资金损失等灾难性后果。接下来，我们将从原理、实际案例以及解决办法等方面，深入探讨Solidity断言失败漏洞。

一、原理剖析

（一）断言的作用

在Solidity中，assert关键字用于对某些条件进行判断，这些条件通常被认为在正常情况下总是成立的，代表着合约的不变性（invariants）。例如，在一个涉及资金管理的合约中，某个账户的余额理论上永远不应该为负数，此时就可以使用assert来确保这一条件。假设我们有如下简单代码：

contract BalanceChecker {
    uint256 public balance;
    function withdraw(uint256 amount) public {
        balance -= amount;
        assert(balance >= 0);
    }
}

在这个例子中，assert(balance >= 0)这行代码就是一个断言。它的目的是确保在执行完withdraw函数的资金扣除操作后，账户余额仍然是非负的。如果在运行时，balance的值确实小于0，那么断言就会失败。

（二）断言失败的影响

当断言失败时，整个合约的执行会立即停止，并且当前交易中所做的所有状态变更都会被撤销。同时，剩余的gas会被退还给调用者。从某种意义上说，这是一种安全机制，防止合约在进入非法或意外状态后继续执行可能导致更严重后果的操作。但如果断言失败频繁发生，或者在不该失败的情况下失败，就意味着合约存在严重问题。这可能暗示着合约代码中存在逻辑错误，使得原本应该保持不变的条件被打破；也有可能是外部因素影响，导致合约进入了意想不到的状态。

（三）与require的区别

在Solidity中，require也是用于条件检查的关键字，它和assert容易混淆，但二者有着本质区别。require通常用于检查函数输入参数的有效性，以及那些对于函数正常执行来说必须满足，但并非合约不变性的条件。例如，在一个转账函数中，需要检查转账金额是否大于0，以及转账者的余额是否足够，此时就适合用require。示例如下：

contract TransferContract {
    mapping(address => uint256) public balances;
    function transfer(address to, uint256 amount) public {
        require(amount > 0, "Transfer amount must be greater than 0");
        require(balances[msg.sender] >= amount, "Insufficient balance");
        balances[msg.sender] -= amount;
        balances[to] += amount;
    }
}

当require的条件不满足时，同样会终止函数执行并撤销状态变更，但与assert不同的是，它会消耗掉所有已使用的gas，而不是退还剩余gas 。此外，如果将assert用于输入参数验证这类场景，就可能引发安全漏洞。因为攻击者可能利用输入验证的缺陷，使断言失败，从而干扰合约的正常逻辑。

二、案例分析

（一）某去中心化金融（DeFi）借贷合约案例

假设有一个DeFi借贷合约，它允许用户存入资金并获得相应的借贷额度，同时可以在满足一定条件下进行借款和还款操作。在该合约中，有一个重要的不变性条件，即用户的借款总额不能超过其抵押资产所对应的可借额度。合约代码部分如下：

contract LendingContract {
    mapping(address => uint256) public collateral;
    mapping(address => uint256) public borrowed;
    uint256 public loanToValueRatio = 80; // 80%

    function depositCollateral(uint256 amount) public {
        collateral[msg.sender] += amount;
    }

    function borrow(uint256 amount) public {
        uint256 maxBorrow = collateral[msg.sender] * loanToValueRatio / 100;
        borrowed[msg.sender] += amount;
        assert(borrowed[msg.sender] <= maxBorrow);
    }

    function repay(uint256 amount) public {
        require(borrowed[msg.sender] >= amount, "Insufficient borrowed amount");
        borrowed[msg.sender] -= amount;
    }
}

在这个合约中，borrow函数里使用了assert来确保用户借款后，其借款总额不会超过可借额度。然而，由于开发过程中的疏忽，在计算maxBorrow时，合约没有考虑到collateral或loanToValueRatio可能会因为其他合约函数（如管理员调整抵押率等操作）而发生变化。攻击者通过巧妙的操作，在管理员调整抵押率后，迅速发起借款请求，使得borrowed[msg.sender]在计算maxBorrow之前就已经超过了新的可借额度，导致断言失败。但此时，攻击者已经成功绕过了原本的借款额度限制，从合约中借出了远超其应有额度的资金，给其他用户和整个借贷系统带来了巨大风险。

（二）某加密货币交易平台智能合约案例

一个加密货币交易平台的智能合约负责处理用户之间的加密货币交易。在交易过程中，有一个重要的不变性条件是交易双方的账户余额在交易前后应该保持总量不变（不考虑交易手续费等其他因素）。合约代码简化如下：

contract CryptoExchange {
    mapping(address => uint256) public balances;

    function trade(address from, address to, uint256 amount) public {
        require(balances[from] >= amount, "Insufficient balance in sender's account");
        balances[from] -= amount;
        balances[to] += amount;
        uint256 totalBefore = balances[from] + balances[to];
        uint256 totalAfter = balances[from] + balances[to];
        assert(totalBefore == totalAfter);
    }
}

在这个例子中，assert(totalBefore == totalAfter)用于验证交易前后账户余额总量不变。但由于合约中没有正确处理交易过程中的异常情况，例如在balances[from] -= amount这一步骤执行后，如果因为某种原因（如外部调用其他合约时出现异常）导致balances[to] += amount没有执行，那么totalBefore和totalAfter就会不相等，断言失败。攻击者发现了这个漏洞后，通过精心构造交易，故意触发这种异常情况，使得断言失败，同时利用交易中断的状态，在系统还未察觉时，多次尝试交易，最终导致部分用户资金丢失，交易平台的资产平衡也被严重破坏。

三、解决办法

（一）正确区分assert和require的使用场景

严格遵循使用原则：确保assert仅用于检查那些真正代表合约不变性的条件，即那些在任何情况下都应该保持为真的条件。而对于函数输入参数的验证、合约执行的前置条件等，应使用require 。例如，在一个涉及用户注册的合约函数中，验证用户名是否为空、密码长度是否符合要求等，这些都属于输入参数验证，应使用require。

contract UserRegistration {
    mapping(string => address) public users;
    function register(string memory username, string memory password) public {
        require(bytes(username).length > 0, "Username cannot be empty");
        require(bytes(password).length >= 6, "Password must be at least 6 characters long");
        users[username] = msg.sender;
    }
}

代码审查与规范制定：在团队开发中，制定明确的代码规范，要求开发者严格按照assert和require的使用原则编写代码。同时，加强代码审查环节，确保每一处assert和require的使用都是恰当的。可以定期组织代码审查会议，对代码中的条件检查逻辑进行详细审查，发现并纠正不当使用的情况。

Solidity学习 - 断言失败