defi-amm-security

name	defi-amm-security
description	Solidity AMM 合约、流动性池和交换流程的安全检查清单。涵盖重入、CEI 排序、捐赠或通胀攻击、预言机操纵、滑点、管理员控制和整数数学。
origin	ECC direct-port adaptation
version	1.0.0

DeFi AMM 安全

Solidity AMM 合约、LP 金库和交换函数的关键漏洞模式和强化实现。

何时使用

• 编写或审计 Solidity AMM 或流动性池合约
• 实现持有代币余额的交换、存款、提取、铸造或销毁流程
• 审查任何在份额或储备数学中使用 token.balanceOf(address(this)) 的合约
• 为 DeFi 协议添加费率设置器、暂停器、预言机更新或其他管理员函数

工作原理

将此用作检查清单加模式库。对照下面的类别审查每个用户入口点，优先使用强化示例而非手动编写的变体。

执行安全

此技能中的 shell 命令是本地审计示例。仅在受信任的检出或一次性沙箱中运行，不要将不受信任的合约名称、路径、RPC URL、私钥或用户提供的标志拼接到 shell 命令中。在安装工具或运行可能消耗大量本地或付费资源的长时间模糊/静态分析任务之前先询问。

绝不在命令示例、日志或报告中包含密钥、私钥、助记词、API token 或主网签名凭证。

示例

重入：强制 CEI 顺序

有漏洞：

function withdraw(uint256 amount) external {
    require(balances[msg.sender] >= amount);
    token.transfer(msg.sender, amount);
    balances[msg.sender] -= amount;
}

安全：

import {ReentrancyGuard} from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";

using SafeERC20 for IERC20;

function withdraw(uint256 amount) external nonReentrant {
    require(balances[msg.sender] >= amount, "余额不足");
    balances[msg.sender] -= amount;
    token.safeTransfer(msg.sender, amount);
}

当存在经过强化的库时，不要自己编写保护器。

捐赠或通胀攻击

直接使用 token.balanceOf(address(this)) 进行份额数学计算，会让攻击者通过在预期路径之外向合约发送代币来操纵分母。

// 有漏洞
function deposit(uint256 assets) external returns (uint256 shares) {
    shares = (assets * totalShares) / token.balanceOf(address(this));
}

// 安全
uint256 private _totalAssets;

function deposit(uint256 assets) external nonReentrant returns (uint256 shares) {
    uint256 balBefore = token.balanceOf(address(this));
    token.safeTransferFrom(msg.sender, address(this), assets);
    uint256 received = token.balanceOf(address(this)) - balBefore;

    shares = totalShares == 0 ? received : (received * totalShares) / _totalAssets;
    _totalAssets += received;
    totalShares += shares;
}

跟踪内部记账并测量实际收到的代币。

预言机操纵

现货价格可被闪电贷操纵。优先使用 TWAP。

uint32[] memory secondsAgos = new uint32[](2);
secondsAgos[0] = 1800;
secondsAgos[1] = 0;
(int56[] memory tickCumulatives,) = IUniswapV3Pool(pool).observe(secondsAgos);
int24 twapTick = int24(
    (tickCumulatives[1] - tickCumulatives[0]) / int56(uint56(30 minutes))
);
uint160 sqrtPriceX96 = TickMath.getSqrtRatioAtTick(twapTick);

滑点保护

每条交换路径都需要调用方提供的滑点参数和截止时间。

function swap(
    uint256 amountIn,
    uint256 amountOutMin,
    uint256 deadline
) external returns (uint256 amountOut) {
    require(block.timestamp <= deadline, "已过期");
    amountOut = _calculateOut(amountIn);
    require(amountOut >= amountOutMin, "超出滑点");
    _executeSwap(amountIn, amountOut);
}

安全的储备数学

import {FullMath} from "@uniswap/v3-core/contracts/libraries/FullMath.sol";

uint256 result = FullMath.mulDiv(a, b, c);

对于大型储备数学，当存在溢出风险时避免使用简单的 a * b / c。

管理员控制

import {Ownable2Step} from "@openzeppelin/contracts/access/Ownable2Step.sol";

contract MyAMM is Ownable2Step {
    function setFee(uint256 fee) external onlyOwner { ... }
    function pause() external onlyOwner { ... }
}

优先使用显式接受的所有权转移，并为每个特权路径设置关卡。

安全检查清单

• 暴露于重入的入口点使用 nonReentrant
• CEI 排序被遵守
• 份额数学不依赖原始 balanceOf(address(this))
• ERC-20 转账使用 SafeERC20
• 存款测量实际收到的代币
• 预言机读取使用 TWAP 或其他抗操纵来源
• 交换要求 amountOutMin 和 deadline
• 溢出敏感的储备数学使用安全原语如 mulDiv
• 管理员函数有访问控制
• 紧急暂停存在且经过测试
• 生产前运行了静态分析和模糊测试

审计工具

pip install slither-analyzer
slither . --exclude-dependencies

echidna-test . --contract YourAMM --config echidna.yaml

forge test --fuzz-runs 10000