Automated Flash Loan Attack Synthesis, Martin Derka - DeFi Security Summit 2023
三句話摘要
Quantum 開發自動化工具，利用多項式建模檢測 DeFi 協議中的閃電貸攻擊向量。 比傳統審計更高效的多項式建模方法能自動合成閃電貸攻擊，填補了市場三年來的檢測工具空白。 閃電貸的攻擊機制：無抵押貸款在單筆交易內執行，攻擊者通常先操縱某個市場價格，再利用依賴該市場作為預言機的其他協議，最後完成還款，整個流程在一筆交易內完成。
重點整理
重點- 1
閃電貸的攻擊機制：無抵押貸款在單筆交易內執行，攻擊者通常先操縱某個市場價格，再利用依賴該市場作為預言機的其他協議，最後完成還款，整個流程在一筆交易內完成。
- 2
現有自動化方案的侷限：Bernhard Mueller 在 2020 年的嘗試只能處理套利案例，Clockwork Finance 純屬學術研究無法實際應用，Vanguard 工具已不可用，市場上缺乏有效的生產級工具。
- 3
Quantum 工具的核心方法：預先定義協議操作序列與利潤函數，用多元多項式建模這些參數，透過生成大量隨機操作和參數組合，找出能產生正利潤的局部最大值，再在 Foundry 或 Hardhat 的區塊鏈分叉中驗證。
- 4
實用性驗證：雖非完全自動化（仍需人工指導和協議調整），但相較傳統審計工作量更少，已應用於所有 EVM 鏈，成功識別包括 Euler 在內的過往重大攻擊。
實用技巧與重點
乾貨- 受害協議與損失：Euler（近 2 億美元）、其他 DeFi 協議共 3 億美元損失（2020-2023）
- 工具開發源頭：多倫多大學研究 + OneStamp 合作
- 過去嘗試工具：Mythril、Myth X（2020 年 7 月）、Clockwork Finance（斯坦福區塊鏈大會）、Vanguard（2022 年 12 月已無法訪問）
- 驗證環境：Foundry、Hardhat 上的區塊鏈分叉
- 適用範圍：目前支援所有 EVM 鏈；技術理論上可擴展到其他運行時、區塊鏈、跨鏈交互
- 團隊貢獻：講者 Martin 與 Jeff 合作半年開發
結論
結論“比傳統審計更高效的多項式建模方法能自動合成閃電貸攻擊，填補了市場三年來的檢測工具空白。”
完整解析
詳細DeFi 閃電貸攻擊問題近年來造成龐大損失。Euler 協議在 2023 年的單次攻擊就損失近 2 億美元，而過去三年間類似攻擊累計造成超過 3 億美元的損失。閃電貸本質上是智能合約生態中的一種無抵押貸款機制：開發者可在單筆交易內申請高額貸款，執行任意操作後必須在同筆交易結束前償還，否則整筆交易自動回滾。雖然閃電貸原本設計用於套利，但攻擊者卻利用其可組合性和交易原子性的特性進行跨協議攻擊。
尋找有效的自動化檢測工具一直是業界難題。Bernhard Mueller 在 2020 年首次嘗試用 Mythril 和 Myth X 進行自動發現，但只能處理基礎的套利場景，檢出結果無法應用於實際審計。後來的 Clockwork Finance 框架雖用形式驗證和博弈論框架，但侷限於學術研究，同樣不實用。Vanguard 工具更是在 2022 年就已從 GitHub 消失，技術方向的迭代停滯導致市場陷入工具空白。
Quantum 與多倫多大學合作的解決方案採用全新思路，放棄符號執行和形式驗證，轉而依賴純數值分析。工具首先預先定義目標協議的所有操作（如 Compound 中的存入、提取、清算），並建立利潤函數模型——這些函數的輸入變數是多元多項式形式的參數。系統隨機生成大量操作序列與參數組合，計算每組組合在被攻擊者執行時的潛在利潤。找到利潤為正的局部最大值後，將這些參數應用到 Foundry 或 Hardhat 的模擬區塊鏈環境中驗證，確認攻擊確實可行。若驗證失敗或利潤為負，則將其作為新資料點回饋模型，不斷迭代改進多項式建模，持續搜索。
這套方法已成功識別過去三年幾乎所有重要閃電貸攻擊，包括 Euler 案例。雖然檢索過程自動化程度高，但工具在整體應用上仍需人工指導與針對每個協議的調整。不過經過半年開發優化，所需人工工作量已遠低於傳統人工審計。目前技術已應用於所有 EVM 鏈，理論上可擴展至其他區塊鏈運行時與跨鏈場景。
關鍵時刻
Pipeline v2帶時間戳的重點，會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。
