Alpha for Auditors: The Vulnerabilities of Tomorrow, Anton Permenev - DeFi Security Summit 2022
三句話摘要
智能合約審計在多鏈DeFi生態中面臨的根本性挑戰與風險分類 DeFi系統風險的根本成因是標準定義模糊、外部依賴難以追蹤、假設不斷失效與協議升級無法預測，審計應從形式化標準定義與前置風險規劃重新設計，而非停留於靜態代碼檢查。 標準定義的形式性不足：ERC20等標準促進互操作性卻未完全規範行為。同一標準下存在35種不同實現類型，每種需區別對待。SUSD雙入口點漏洞即為證例——這項異常特性存在超一年無人發現，卻能使Balancer和Curve遭受重入攻擊。
重點整理
重點- 1
標準定義的形式性不足：ERC20等標準促進互操作性卻未完全規範行為。同一標準下存在35種不同實現類型，每種需區別對待。SUSD雙入口點漏洞即為證例——這項異常特性存在超一年無人發現，卻能使Balancer和Curve遭受重入攻擊。
- 2
外部依賴的隱藏風險：看似靜態的Getter函數可能通過ERC777回調讀到錯誤價格，完全破壞主協議。審計範圍通常不包含深入檢查外部系統，但時間與成本考量使得多層次的詳細檢查幾乎不可行。
- 3
非升級假設的持續失效：協議基於未來不變的假設（USDC無黑名單、USDT無手續費、Chainlink價格非負、Lido收益永不下降），但這些假設不斷被打破。許多協議未規劃預案，僅著眼於短期的燃氣效率與成本競爭力。
- 4
協議升級的系統性黑天鵝：自毀碼行為改變、燃氣成本調整、賬戶抽象實現都會影響全網合約。Constantinople硬分叉曾在部署前夜臨時延期，導致DeFi總鎖定值下跌10億美元；未來無法準確預估新變更的連鎖後果。
實用技巧與重點
乾貨- 具體案例與數據：
- SUSD雙入口點漏洞：可在代理合約與實現合約雙處提交交易，影響Balancer和Curve，發現後存在超一年未被重視
- Constantinople硬分叉事件：延期部署，DeFi總鎖定值跌幅約10億美元
- ERC20標準下的35種代幣實現類型
- USDC新增區塊列表功能，導致某些協議的轉賬邏輯失效
- Uniswap Router特殊函數：提供`swapExactTokensForTokensSupportingFeeOnTransferTokens`等函數處理帶轉賬費的代幣
- 風險源類別：
- 標準的歧義性（ERC20、ERC777、ERC1155）
- 不安全Getter函數（價格預言機讀取）
- Ethereum硬分叉（self-destruct移除、燃氣成本變更、account abstraction）
- 新興系統風險（Near的並發問題、ZK協議的黑盒特性）
結論
結論“DeFi系統風險的根本成因是標準定義模糊、外部依賴難以追蹤、假設不斷失效與協議升級無法預測，審計應從形式化標準定義與前置風險規劃重新設計，而非停留於靜態代碼檢查。”
完整解析
詳細講者首先從DeFi生態的互連結構入手，說明為何安全評估變得極其複雜。當代DeFi由眾多協議透過標準介面相互連接——Uniswap交易對作為價格來源、各類代幣作為抵押品、借貸協議相互依存、跨鏈橋接延伸至多個網絡。單一組件的漏洞（如造幣或非法轉賬）能通過價格操縱波及整個生態，且跨鏈部署進一步放大了風險的難以預測性。
標準定義的模糊性構成第一層問題。儘管ERC20等標準旨在降低開發門檻，但它們對實現細節的規範程度遠不充分。講者指出在ERC20標準框架內存在35種不同的代幣實現，每種具有不同行為特徵。SUSD雙入口點案例最具說服力——這項允許在代理合約和實現合約雙處提交交易的異常特性，曾在發現後被忽視超過一年，直到才被重視其對Balancer等協議造成的重入風險。
第二層風險源於對外部依賴的過度信任。表面上靜態的Getter函數可能隱含巨大風險。講者舉例演示：當協議從交易所讀取價格時，若交易所中某項資產實現了ERC777標準，攻擊者可在撤銷流動性的回調函數中執行惡意操作，導致目標協議讀取錯誤的價格數據。問題在於當前審計模型無法深入檢查這類跨協議交互的所有可能性，多層檢查所需的時間和成本往往超出可接受範圍。
第三層風險來自對未來穩定性的天真假設。當USDC添加區塊列表功能時，許多協議之前假設「使用者無法轉賬時，我們總能將資金轉回」，實際卻無法執行該邏輯。類似假設遍佈DeFi生態：USDT不會收費（但可能開始收費）、Chainlink價格永遠為正（曾出現負油價）、Lido質押收益不會下降（但可能遭斜杆）。講者強調協議不必使所有邏輯都可升級，但必須預先規劃備用方案，以應對這些假設失效的情況。
最後一層是Ethereum協議本身的升級風險。自毀碼行為變更、燃氣成本調整、賬戶抽象實現都會全網影響。Constantinople硬分叉曾在部署前夜才發現問題，被迫臨時延期，導致DeFi總鎖定值跌幅達10億美元。未來隨著Near的並發特性和ZK協議的黑盒驗證出現，風險的不可預測性將進一步加劇。講者認為當前的審計範式已顯得力不從心。
關鍵時刻
Pipeline v2帶時間戳的重點，會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。
