議代碼評審該看哪些細(xì)節(jié))
鏈上協(xié)議代碼評審該看哪些細(xì)節(jié)在 DeFi去中心化金融領(lǐng)域代碼就是資產(chǎn)本身。以太坊生態(tài)經(jīng)過數(shù)年的演進(jìn)去中心化交易所AMM、借貸協(xié)議、流動性衍生品LSD以及收益聚合器Yield Aggregator的組合度越來越高。這種“金融積木”的特性在帶來創(chuàng)新的同時也讓風(fēng)險(xiǎn)呈級數(shù)放大。一份看似完善的 Solidity 代碼仍可能因預(yù)言機(jī)價(jià)格被操縱或閃電貸攻擊而出現(xiàn)資金風(fēng)險(xiǎn)。DeFi 代碼評審不能只做語法糾錯還應(yīng)覆蓋經(jīng)濟(jì)模型和極端市場條件。評審時重點(diǎn)檢查的三類金融邏輯風(fēng)險(xiǎn)審查 DeFi 智能合約審查者應(yīng)把自己切換到“黑客”和“清算套利者”的雙重視角。1. 預(yù)言機(jī)操縱與點(diǎn)位價(jià)格依賴Oracle Manipulation這是 DeFi 被攻擊頻率最高的致命點(diǎn)。許多項(xiàng)目直接用UniswapV2Pair.getReserves()或 Uniswap V3 的現(xiàn)貨價(jià)格Spot Price作為資產(chǎn)清算或借貸額度的計(jì)算依據(jù)。黑客只要利用閃電貸在單個區(qū)塊里強(qiáng)行改變 DEX 池中的 Token 比例就能把預(yù)言機(jī)價(jià)格抬高或拉低幾十倍進(jìn)而以極低成本借走協(xié)議里的全部資產(chǎn)。評審關(guān)注點(diǎn)必須確認(rèn)協(xié)議使用的是經(jīng)過時間加權(quán)平均的 TWAPTime-Weighted Average Price預(yù)言機(jī)或者引入了 Chainlink 等多源去中心化預(yù)言機(jī)且對 TWAP 的窗口時間如 待項(xiàng)目確認(rèn)的閾值以及 Chainlink 的updatedAt心跳過時校驗(yàn)有嚴(yán)密約束。2. K 值恒定乘積與精度損失Precision Loss in AMM在類 Uniswap AMM 算法或收益分配邏輯里經(jīng)常出現(xiàn)復(fù)雜的乘除運(yùn)算和開方計(jì)算。由于 Solidity 沒有小數(shù)一旦計(jì)算順序不當(dāng)或者在計(jì)算 LP Share流動性份額時允許totalSupply 0的初始狀態(tài)被惡意操縱即所謂的 ERC4626 首次存款攻擊 / Inflation Attack攻擊者就能通過捐贈Donation極小額代幣讓后續(xù)用戶的存款份額全部被截?cái)嗳≌麨?0。評審關(guān)注點(diǎn)首次存款是否有 Burn銷毀一部分 Initial Shares 的機(jī)制所有公式是否推導(dǎo)過minAmountOut滑點(diǎn)保護(hù)3. 清算門禁與 MEV 夾心攻擊Sandwich AttackDeFi 借貸協(xié)議靠清算人Keeper維護(hù)系統(tǒng)健康。但如果清算函數(shù)的獎勵機(jī)制設(shè)計(jì)不合理或者沒有限制滑點(diǎn)Slippage清算交易在 Pending 狀態(tài)時就會被 MEV Bot 盯上。MEV 機(jī)器人會通過 Front-running搶先交易和 Back-running尾隨交易吃掉清算利潤甚至導(dǎo)致清算交易失敗協(xié)議產(chǎn)生壞賬。防預(yù)言機(jī)操縱與首次存款攻擊的工程實(shí)戰(zhàn)代碼下面的 Solidity 0.8.20 代碼展示了一個生產(chǎn)級 DeFi 金庫協(xié)議中如何防御 ERC4626 首次存款膨脹攻擊并集成 Chainlink 預(yù)言機(jī)過時校驗(yàn)的標(biāo)準(zhǔn)實(shí)現(xiàn)。// SPDX-License-Identifier: MIT pragma solidity ^0.8.20; import openzeppelin/contracts/token/ERC20/IERC20.sol; import openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol; import openzeppelin/contracts/utils/ReentrancyGuard.sol; interface IChainlinkAggregator { function latestRoundData() external view returns ( uint80 roundId, int256 answer, uint256 startedAt, uint256 updatedAt, uint80 answeredInRound ); } /** * title SecureDeFiVault * notice 具備防首次存款膨脹攻擊與嚴(yán)密預(yù)言機(jī)校驗(yàn)的借貸金庫 */ contract SecureDeFiVault is ReentrancyGuard { using SafeERC20 for IERC20; IERC20 public immutable asset; IChainlinkAggregator public immutable priceOracle; uint256 public totalShares; mapping(address uint256) public sharesOf; uint256 private constant MINIMUM_LIQUIDITY 1000; // 防范 Inflation Attack 的最小永久鎖倉量 uint256 private constant ORACLE_TIMEOUT 3600; // 預(yù)言機(jī)心跳超時門禁1小時 error InvalidPrice(); error OracleStalePrice(); error ZeroDeposit(); error SlippageExceeded(); constructor(address assetAddress, address oracleAddress) { asset IERC20(assetAddress); priceOracle IChainlinkAggregator(oracleAddress); } /** * notice 安全讀取 Chainlink 價(jià)格嚴(yán)格防范過時數(shù)據(jù)與異常負(fù)值 */ function getLatestAssetPrice() public view returns (uint256) { ( uint80 roundId, int256 price, , uint256 updatedAt, uint80 answeredInRound ) priceOracle.latestRoundData(); // 1. 價(jià)格合法性檢查 if (price 0) revert InvalidPrice(); // 2. 心跳與過時檢查 if (updatedAt 0 || block.timestamp - updatedAt ORACLE_TIMEOUT) revert OracleStalePrice(); // 3. 輪次完整性檢查 if (answeredInRound roundId) revert OracleStalePrice(); return uint256(price); } /** * notice 用戶存入資產(chǎn)獲取份額防范首次存款攻擊 */ function deposit(uint256 amount, uint256 minSharesExpected) external nonReentrant returns (uint256 shares) { if (amount 0) revert ZeroDeposit(); uint256 totalPoolAsset asset.balanceOf(address(this)); if (totalShares 0) { // 首次存款強(qiáng)制銷毀 MINIMUM_LIQUIDITY 份額到零地址徹底斷絕攻擊者控制比率的可能 shares amount - MINIMUM_LIQUIDITY; totalShares amount; // 包含死循環(huán)鎖定的份額 sharesOf[address(0)] MINIMUM_LIQUIDITY; } else { // 嚴(yán)格先乘后除計(jì)算份額防止精度損失 shares (amount * totalShares) / totalPoolAsset; } // 滑點(diǎn)與預(yù)期校驗(yàn) if (shares minSharesExpected) revert SlippageExceeded(); sharesOf[msg.sender] shares; asset.safeTransferFrom(msg.sender, address(this), amount); } }審閱 DeFi 項(xiàng)目的代碼質(zhì)量門禁清單除了 Solidity 代碼層面測試與工程構(gòu)建配置同樣是評審的一部分。評審時必須核查團(tuán)隊(duì)是否做到了以下幾點(diǎn)Fork 主網(wǎng)集成測試Mainnet Forking Test單元測試不能只在干凈的空本地網(wǎng)絡(luò)跑。必須使用 Foundry 的vm.createSelectFork在模擬真實(shí)的 Uniswap/Curve 池子狀態(tài)下跑測試驗(yàn)證協(xié)議對真實(shí)主網(wǎng)流動性的耐受度。Foundry 不變性測試Invariant Testing是否針對關(guān)鍵金融公式編寫了 Invariant 斷言例如vault.totalAssets() vault.totalSupply() * exchangeRate并通過數(shù)千輪隨機(jī)交易嘗試去打破這個等式。應(yīng)急暫停與權(quán)限隔離Pausable Access Control當(dāng)極端市場行情發(fā)生時協(xié)議是否有EmergencyPause機(jī)制暫停權(quán)限是否屬于一個帶有 待項(xiàng)目確認(rèn)的閾值 Timelock 的 Gnosis Safe 多簽錢包而不是某個單簽私鑰代幣 Approve 留存清理在與外部協(xié)議如 Compound / Aave交互后是否清理了對外部合約的無限approve防止第三方協(xié)議出事后殃及本金庫。DeFi 安全沒有僥幸。每一行涉及資產(chǎn)計(jì)算的代碼都必須經(jīng)過最嚴(yán)苛的數(shù)學(xué)推導(dǎo)與對抗性實(shí)驗(yàn)打磨才能在殘酷的鏈上叢林里安然無存。 鏈上協(xié)議代碼評審該看哪些細(xì)節(jié)
鏈上協(xié)議代碼評審該看哪些細(xì)節(jié)在 DeFi去中心化金融領(lǐng)域代碼就是資產(chǎn)本身。以太坊生態(tài)經(jīng)過數(shù)年的演進(jìn)去中心化交易所AMM、借貸協(xié)議、流動性衍生品LSD以及收益聚合器Yield Aggregator的組合度越來越高。這種“金融積木”的特性在帶來創(chuàng)新的同時也讓風(fēng)險(xiǎn)呈級數(shù)放大。一份看似完善的 Solidity 代碼仍可能因預(yù)言機(jī)價(jià)格被操縱或閃電貸攻擊而出現(xiàn)資金風(fēng)險(xiǎn)。DeFi 代碼評審不能只做語法糾錯還應(yīng)覆蓋經(jīng)濟(jì)模型和極端市場條件。評審時重點(diǎn)檢查的三類金融邏輯風(fēng)險(xiǎn)審查 DeFi 智能合約審查者應(yīng)把自己切換到“黑客”和“清算套利者”的雙重視角。1. 預(yù)言機(jī)操縱與點(diǎn)位價(jià)格依賴Oracle Manipulation這是 DeFi 被攻擊頻率最高的致命點(diǎn)。許多項(xiàng)目直接用UniswapV2Pair.getReserves()或 Uniswap V3 的現(xiàn)貨價(jià)格Spot Price作為資產(chǎn)清算或借貸額度的計(jì)算依據(jù)。黑客只要利用閃電貸在單個區(qū)塊里強(qiáng)行改變 DEX 池中的 Token 比例就能把預(yù)言機(jī)價(jià)格抬高或拉低幾十倍進(jìn)而以極低成本借走協(xié)議里的全部資產(chǎn)。評審關(guān)注點(diǎn)必須確認(rèn)協(xié)議使用的是經(jīng)過時間加權(quán)平均的 TWAPTime-Weighted Average Price預(yù)言機(jī)或者引入了 Chainlink 等多源去中心化預(yù)言機(jī)且對 TWAP 的窗口時間如 待項(xiàng)目確認(rèn)的閾值以及 Chainlink 的updatedAt心跳過時校驗(yàn)有嚴(yán)密約束。2. K 值恒定乘積與精度損失Precision Loss in AMM在類 Uniswap AMM 算法或收益分配邏輯里經(jīng)常出現(xiàn)復(fù)雜的乘除運(yùn)算和開方計(jì)算。由于 Solidity 沒有小數(shù)一旦計(jì)算順序不當(dāng)或者在計(jì)算 LP Share流動性份額時允許totalSupply 0的初始狀態(tài)被惡意操縱即所謂的 ERC4626 首次存款攻擊 / Inflation Attack攻擊者就能通過捐贈Donation極小額代幣讓后續(xù)用戶的存款份額全部被截?cái)嗳≌麨?0。評審關(guān)注點(diǎn)首次存款是否有 Burn銷毀一部分 Initial Shares 的機(jī)制所有公式是否推導(dǎo)過minAmountOut滑點(diǎn)保護(hù)3. 清算門禁與 MEV 夾心攻擊Sandwich AttackDeFi 借貸協(xié)議靠清算人Keeper維護(hù)系統(tǒng)健康。但如果清算函數(shù)的獎勵機(jī)制設(shè)計(jì)不合理或者沒有限制滑點(diǎn)Slippage清算交易在 Pending 狀態(tài)時就會被 MEV Bot 盯上。MEV 機(jī)器人會通過 Front-running搶先交易和 Back-running尾隨交易吃掉清算利潤甚至導(dǎo)致清算交易失敗協(xié)議產(chǎn)生壞賬。防預(yù)言機(jī)操縱與首次存款攻擊的工程實(shí)戰(zhàn)代碼下面的 Solidity 0.8.20 代碼展示了一個生產(chǎn)級 DeFi 金庫協(xié)議中如何防御 ERC4626 首次存款膨脹攻擊并集成 Chainlink 預(yù)言機(jī)過時校驗(yàn)的標(biāo)準(zhǔn)實(shí)現(xiàn)。// SPDX-License-Identifier: MIT pragma solidity ^0.8.20; import openzeppelin/contracts/token/ERC20/IERC20.sol; import openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol; import openzeppelin/contracts/utils/ReentrancyGuard.sol; interface IChainlinkAggregator { function latestRoundData() external view returns ( uint80 roundId, int256 answer, uint256 startedAt, uint256 updatedAt, uint80 answeredInRound ); } /** * title SecureDeFiVault * notice 具備防首次存款膨脹攻擊與嚴(yán)密預(yù)言機(jī)校驗(yàn)的借貸金庫 */ contract SecureDeFiVault is ReentrancyGuard { using SafeERC20 for IERC20; IERC20 public immutable asset; IChainlinkAggregator public immutable priceOracle; uint256 public totalShares; mapping(address uint256) public sharesOf; uint256 private constant MINIMUM_LIQUIDITY 1000; // 防范 Inflation Attack 的最小永久鎖倉量 uint256 private constant ORACLE_TIMEOUT 3600; // 預(yù)言機(jī)心跳超時門禁1小時 error InvalidPrice(); error OracleStalePrice(); error ZeroDeposit(); error SlippageExceeded(); constructor(address assetAddress, address oracleAddress) { asset IERC20(assetAddress); priceOracle IChainlinkAggregator(oracleAddress); } /** * notice 安全讀取 Chainlink 價(jià)格嚴(yán)格防范過時數(shù)據(jù)與異常負(fù)值 */ function getLatestAssetPrice() public view returns (uint256) { ( uint80 roundId, int256 price, , uint256 updatedAt, uint80 answeredInRound ) priceOracle.latestRoundData(); // 1. 價(jià)格合法性檢查 if (price 0) revert InvalidPrice(); // 2. 心跳與過時檢查 if (updatedAt 0 || block.timestamp - updatedAt ORACLE_TIMEOUT) revert OracleStalePrice(); // 3. 輪次完整性檢查 if (answeredInRound roundId) revert OracleStalePrice(); return uint256(price); } /** * notice 用戶存入資產(chǎn)獲取份額防范首次存款攻擊 */ function deposit(uint256 amount, uint256 minSharesExpected) external nonReentrant returns (uint256 shares) { if (amount 0) revert ZeroDeposit(); uint256 totalPoolAsset asset.balanceOf(address(this)); if (totalShares 0) { // 首次存款強(qiáng)制銷毀 MINIMUM_LIQUIDITY 份額到零地址徹底斷絕攻擊者控制比率的可能 shares amount - MINIMUM_LIQUIDITY; totalShares amount; // 包含死循環(huán)鎖定的份額 sharesOf[address(0)] MINIMUM_LIQUIDITY; } else { // 嚴(yán)格先乘后除計(jì)算份額防止精度損失 shares (amount * totalShares) / totalPoolAsset; } // 滑點(diǎn)與預(yù)期校驗(yàn) if (shares minSharesExpected) revert SlippageExceeded(); sharesOf[msg.sender] shares; asset.safeTransferFrom(msg.sender, address(this), amount); } }審閱 DeFi 項(xiàng)目的代碼質(zhì)量門禁清單除了 Solidity 代碼層面測試與工程構(gòu)建配置同樣是評審的一部分。評審時必須核查團(tuán)隊(duì)是否做到了以下幾點(diǎn)Fork 主網(wǎng)集成測試Mainnet Forking Test單元測試不能只在干凈的空本地網(wǎng)絡(luò)跑。必須使用 Foundry 的vm.createSelectFork在模擬真實(shí)的 Uniswap/Curve 池子狀態(tài)下跑測試驗(yàn)證協(xié)議對真實(shí)主網(wǎng)流動性的耐受度。Foundry 不變性測試Invariant Testing是否針對關(guān)鍵金融公式編寫了 Invariant 斷言例如vault.totalAssets() vault.totalSupply() * exchangeRate并通過數(shù)千輪隨機(jī)交易嘗試去打破這個等式。應(yīng)急暫停與權(quán)限隔離Pausable Access Control當(dāng)極端市場行情發(fā)生時協(xié)議是否有EmergencyPause機(jī)制暫停權(quán)限是否屬于一個帶有 待項(xiàng)目確認(rèn)的閾值 Timelock 的 Gnosis Safe 多簽錢包而不是某個單簽私鑰代幣 Approve 留存清理在與外部協(xié)議如 Compound / Aave交互后是否清理了對外部合約的無限approve防止第三方協(xié)議出事后殃及本金庫。DeFi 安全沒有僥幸。每一行涉及資產(chǎn)計(jì)算的代碼都必須經(jīng)過最嚴(yán)苛的數(shù)學(xué)推導(dǎo)與對抗性實(shí)驗(yàn)打磨才能在殘酷的鏈上叢林里安然無存。