Favorite DeFi Vulnerabilities, Mehdi Zerouali - DeFi Security Summit 2022
三句話摘要
Sigma Prime安全團隊發現的主要DeFi智能合約漏洞類型與審計案例分析 DeFi安全需透過自編測試、設計審查、覆蓋率引導模糊測試等多維度防護，應對從符號錯誤到密碼學設計的全譜系威脅。 代碼審查必須包含自編測試用例，不信任客戶提供的測試。在審計Synthesis時，V1通過但V2重新測試失敗，最後發現客戶移動了右括號改變運算順序。清晰的GitHub diff UI容易發現此類細微錯誤，但沒有工具支持時極易遺漏。
重點整理
重點- 1
代碼審查必須包含自編測試用例，不信任客戶提供的測試。在審計Synthesis時，V1通過但V2重新測試失敗，最後發現客戶移動了右括號改變運算順序。清晰的GitHub diff UI容易發現此類細微錯誤，但沒有工具支持時極易遺漏。
- 2
代理模式初始化漏洞風險極高。若實現合約未初始化或被初始化後能向攻擊者控制的合約發起委託調用，攻擊者可觸發自毀導致實現合約消失，不僅造成資金損失還可癱瘓整個協議。Wormhole因此類漏洞支付1000萬美元漏洞賞金，創史上最高記錄。
- 3
內部會計漏洞多來自份額與金額混淆、舍入誤差、代幣合約餘額操縱。看似微小的會計問題實際可導致整個協議失效或資金凍結，特別當開發者對代幣餘額做假設但攻擊者能操縱餘額時。
- 4
複雜協議的非原子部署在競爭環境中容易被攻擊。Rocketpool需部署26-28個合約執行數百次EVM調用才能達可運行狀態，無法一次部署。在信標鏈初期的競爭中，攻擊者可監控內存池並通過惡意合約在初始化過程中劫持，導致協議發布困難。
實用技巧與重點
乾貨- 客戶與審計案例：
- Synthesis — 2019年以太坊第一個收益農耕合約，發現整數溢出、重入問題、運算順序錯誤
- Wormhole — 1000萬美元漏洞賞金（代理初始化漏洞）
- Rocketpool — 26-28個合約部署，需數百次EVM調用
- 工具與框架：
- 測試框架：Brownie、Foundry（Paradigm開發）
- 模糊測試方法：覆蓋率引導的白盒結構模糊測試
- 安全評估流程：
- V1報告提交 → 客戶修復決策 → V2協議提交 → 重新測試階段 → 驗證修復有效且無新漏洞
- 具體漏洞指標：
- CVE 2021-3121（Skippy花生醬漏洞）— Google GoGo protobuf庫整數溢出，CVSS評分9.8，影響Docker、Kubernetes
- BLS聚合簽名 — 以太坊共識層大量使用，支持數十億用戶
- 默克爾樹位圖問題 — 樹深度<256位時，同一交易可對應多條路徑導致重放攻擊
結論
結論“DeFi安全需透過自編測試、設計審查、覆蓋率引導模糊測試等多維度防護，應對從符號錯誤到密碼學設計的全譜系威脅。”
完整解析
詳細Sigma Prime是澳洲總部的區塊鏈安全諮詢公司，由安全研究人員、學者與開發人員組成，專長於EVM和非EVM智能合約審計、共識機制審查、新密碼原語研究，同時維護以太坊共識層Rust客戶端Lighthouse。演講分享了近年在DeFi審計中的典型發現。
首先是看似微小但致命的符號錯誤。2019年審計Synthesis協議（以太坊第一個收益農耕合約）時，V1審計通過，但V2重新測試的自編測試突然全部失敗。反覆運行後確認非測試問題，深入調查才發現客戶在提交V2時移動了括號位置，改變了運算順序。這突出了自編測試的價值——GitHub清晰的diff UI下易被發現，但沒有工具支持時容易被遺漏。
代理模式漏洞是過去數年最頻繁的發現。代理合約管理狀態（餘額、管理員權限），實現合約內含協議邏輯，兩者透過委託調用連接。問題在於開發者經常遺漏初始化實現合約，更危險的是，若實現合約能向攻擊者控制的合約發起委託調用並自毀，整個實現合約就會消失，導致協議癱瘓。Wormhole橋因此類漏洞支付了歷史最高的1000萬美元漏洞賞金。
內部會計問題是DeFi的頻繁陷阱。許多合約引入「份額」概念同時處理金額，兩者混淆易導致嚴重漏洞。舍入誤差或殘留零碎金額看似無害，實則可導致整個協議失效。若攻擊者能操縱代幣合約餘額而開發者對餘額做假設，後果將極其糟糕。不當會計通常導致資金凍結。
複雜協議的非原子部署在競爭激烈的環境中風險巨大。流動性質押協議Rocketpool需部署26-28個合約並執行數百次EVM調用才能達到可運行狀態，無法塞進區塊gas限制，必然分多次部署。信標鏈初期的激烈競爭中，攻擊者監控內存池，在合約A、B、C部署過程中插入惡意合約，將後續合約與惡意合約關聯，導致開發團隊發布協議極其困難。
智能合約錢包常見重放攻擊——簽名數據因缺nonce保護，同一簽名可被重複使用直至餘額耗盡。新密碼原語如BLS簽名聚合雖在以太坊共識層成功應用，但若實現不當易受流氓公鑰攻擊：攻擊者選擇公鑰使其否定所有其他公鑰，產生指向無窮遠點的聚合簽名，基本上能為任何消息作證。
默克爾樹證明處理不當也常見。橋接合約基於默克爾樹打包交易，執行需提交證明與路徑。若路徑用位圖記錄執行狀態且樹深度小於256位，同一交易可對應多條不同路徑，導致重放攻擊——攻擊者找到不同方式表示同一交易，清空合約餘額。
漏洞還出現在鏈下組件。CVE 2021-3121（「Skippy花生醬漏洞」）影響Google GoGo protobuf庫，被Docker、Kubernetes等廣泛使用。源於整數溢出導致索引越界，攻擊者構造惡意數據包致中繼節點宕機，若點對點傳播在反序列化前發生，一個數據包足以癱瘓整個網絡。
關鍵時刻
Pipeline v2帶時間戳的重點，會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。
