智能合约安全最佳实践

引言

智能合约安全是Web3项目的生命线。由于区块链的不可篡改性，一旦合约部署上线，任何漏洞都可能造成不可挽回的损失。本文总结了智能合约开发中常见的安全漏洞和防御最佳实践。

重入攻击（Reentrancy）

最著名的DAO攻击就是利用重入漏洞。攻击者在合约执行过程中反复回调恶意合约，盗取资金。

漏洞示例

// ❌ 不安全的代码
contract VulnerableBank {
    mapping(address => uint256) public balances;
    
    function withdraw() public {
        uint256 amount = balances[msg.sender];
        require(amount > 0);
        
        // 先转账，后更新余额
        (bool success, ) = msg.sender.call{value: amount}("");
        require(success);
        
        balances[msg.sender] = 0;  // 攻击者可以在此之前再次调用
    }
}

防御方法

// ✅ 使用Checks-Effects-Interactions模式
contract SecureBank {
    mapping(address => uint256) public balances;
    
    function withdraw() public {
        uint256 amount = balances[msg.sender];
        require(amount > 0, "No balance");
        
        // 1. Checks - 前置检查
        // 2. Effects - 先更新状态
        balances[msg.sender] = 0;
        
        // 3. Interactions - 最后转账
        (bool success, ) = msg.sender.call{value: amount}("");
        require(success, "Transfer failed");
    }
}

// ✅ 或使用重入锁
contract ReentrancyGuard {
    bool private locked;
    
    modifier noReentrant() {
        require(!locked, "No reentrancy");
        locked = true;
        _;
        locked = false;
    }
    
    function withdraw() public noReentrant {
        // 安全逻辑
    }
}

整数溢出/下溢

Solidity 0.8之前，算术运算可能溢出或下溢，导致意外结果。

// ✅ Solidity 0.8+ 自动检查溢出
function transfer(address to, uint256 amount) public {
    balanceOf[msg.sender] -= amount;  // 溢出自动revert
    balanceOf[to] += amount;
}

// ✅ 或使用OpenZeppelin SafeMath（0.7.x）
import "@openzeppelin/contracts/utils/math/SafeMath.sol";

contract MyContract {
    using SafeMath for uint256;
    
    function transfer(address to, uint256 amount) public {
        balanceOf[msg.sender] = balanceOf[msg.sender].sub(amount);
        balanceOf[to] = balanceOf[to].add(amount);
    }
}

访问控制

忘记添加权限检查是最常见的漏洞之一。

// ❌ 缺少访问控制
function updatePrice(uint256 newPrice) public {
    price = newPrice;  // 任何人都可以调用
}

// ✅ 正确实现
contract Ownable {
    address public owner;
    
    constructor() {
        owner = msg.sender;
    }
    
    modifier onlyOwner() {
        require(msg.sender == owner, "Not owner");
        _;
    }
    
    function updatePrice(uint256 newPrice) public onlyOwner {
        price = newPrice;
    }
}

// ✅ 或使用OpenZeppelin Ownable
import "@openzeppelin/contracts/access/Ownable.sol";

contract MyContract is Ownable {
    function updatePrice(uint256 newPrice) public onlyOwner {
        price = newPrice;
    }
}

前端跑（Front-Running）

利用区块链的Mempool特性，通过更高Gas费用抢跑交易。

防御方法

• 提交-揭示方案：先提交哈希，再揭示实际值
• 锁定时间窗口：使用价格预言机，设置合理的交易窗口
• 私有交易池：使用Flashbots Protect等服务

预言机操纵

依赖单一价格源可能被操纵。

// ❌ 危险：单一价格源
function getLatestPrice() public view returns (uint256) {
    (uint80 roundId, int256 price, , uint256 timestamp, uint80 answeredInRound) = 
        priceFeed.latestRoundData();
    return uint256(price);
}

// ✅ 使用时间加权平均价格（TWAP）
// ✅ 聚合多个预言机数据
// ✅ 设置价格波动阈值检查
function getSafePrice() public view returns (uint256) {
    uint256 priceA = getPriceFromOracleA();
    uint256 priceB = getPriceFromOracleB();
    
    // 检查价格差异
    require(priceA.mul(100) > priceB.mul(95), "Price deviation too high");
    require(priceA.mul(100) < priceB.mul(105), "Price deviation too high");
    
    return (B) / 2;
}

# 安装和使用Slither
pip install slither-analyzer
slither contract.sol

// Echidna测试示例
contract TestContract {
    uint256 public balance;
    
    function deposit(uint256 amount) public {
        balance += amount;
    }
    
    // 属性测试：余额永远不会减少
    function echidna_balance_never_decreases() public view returns (bool) {
        return true;  // Echidna会尝试找出违反此属性的交易序列
    }
}

// OpenZeppelin核心安全组件
import "@openzeppelin/contracts/access/Ownable.sol";
import "@openzeppelin/contracts/security/ReentrancyGuard.sol";
import "@openzeppelin/contracts/security/Pausable.sol";
import "@openzeppelin/contracts/utils/Address.sol";
import "@openzeppelin/contracts/token/ERC20/extensions/ERC20Burnable.sol";