KeyFrame內部研究專用

Securing Web3 Through Proactive Threat Prevention - Yajin Andy Zhou, DeFi Security Summit 2023

DeFi Security Summit - DSS·7月17日週一·18 min英文

三句話摘要

BlockSet 通過主動威脅防御系統 Falcon Block 實現 DeFi 攻擊的實時監測與自動對抗。 主動監測與自動重構是應對 DeFi 攻擊的下一代防禦之道,已驗證的數十億美元救援案例證明系統化防御勝於審計等被動防禦。 區塊鏈面臨獨特的安全挑戰。 Web 3 與 Web 2 的根本差異在於攻擊向量更多。開源智能合約讓攻擊者可見所有代碼,匿名區塊鏈難以追踪資金流向;閃電貸提供了無需自有資金的攻擊資本,使低成本大規模攻擊成為可能。

重點整理

重點
  • 1

    區塊鏈面臨獨特的安全挑戰。 Web 3 與 Web 2 的根本差異在於攻擊向量更多。開源智能合約讓攻擊者可見所有代碼,匿名區塊鏈難以追踪資金流向;閃電貸提供了無需自有資金的攻擊資本,使低成本大規模攻擊成為可能。

  • 2

    被動防禦已不足夠。 傳統代碼審計需要 2-6 個月且費用高昂,許多協議無法等待。更重要的是,審計只能在部署前檢查靜態代碼,卻無法防禦運行時發生的未預見攻擊或攻擊者創新方法。

  • 3

    主動防御的核心是實時重構與自動應對。 系統通過監聽內存池與已回滾的攻擊交易,自動複製攻擊合約邏輯、繞過驗證機制(通過字節碼指令替換),然後發起優先級更高的救援交易以提取資金或阻止攻擊。

  • 4

    精準度與速度同等關鍵。 誤報會導致產品不可用,因此系統結合多層分析工具(靜態分析、啟發式方法、深度合約分析)來區分真實攻擊與誤判,同時與攻擊者的混淆技術進行軍備競賽。

實用技巧與重點

乾貨
  • 已驗證的救援案例:
  • Platypus(2024 年 3 月):挽救 5 億美元,攻擊者因 gas 不足導致交易回滾
  • Finance(2023):挽救 380 萬美元
  • Platypus 第二次事件(2024 年 2 月):從攻擊合約提取 240 萬美元遺留資金
  • Transit Swap:通過推導易受攻擊工具的產品密鑰恢復資金
  • Falcon Block 系統工作流程:
  • 監聽內存池、已確認交易與回滾交易
  • 使用二進制字節碼重寫技術替換跳轉指令
  • 繞過攻擊合約中的身份驗證檢查
  • 建立舊/新跳轉目標映射(處理基本塊重用問題)
  • 自動生成防禦合約並發起高優先級救援交易
  • BlockSet 開源工具:
  • Falcon Explorer:交易分析工具
  • Metadoc:免費提供給社區

結論

結論

主動監測與自動重構是應對 DeFi 攻擊的下一代防禦之道,已驗證的數十億美元救援案例證明系統化防御勝於審計等被動防禦。

完整解析

詳細

區塊鏈安全危機的根源在於 DeFi 攻擊的經濟激勵強、開發人員安全培訓不足、且大學鮮少開設相關課程。每天都有新的攻擊受害者向 BlockSet 求助,損失動輒數百萬美元。傳統解決方案——代碼審計——面臨著時間與成本雙重困境:頂級審計公司需時 2-6 個月,費用高昂,而且合格審計師短缺。更關鍵的是,審計只能檢查已部署前的代碼,無法應對運行時的新型攻擊或攻擊者的創意變體。

區塊鏈的三大特性使其成為攻擊者的樂園。首先,大多數智能合約開源,攻擊者可輕易審視代碼尋找漏洞;其次,區塊鏈匿名性使追踪攻擊者資金流幾乎不可能,執法部門難以介入;第三,閃電貸機制允許攻擊者在單筆交易中借入巨額資金無需抵押,這在 Web 2 中是不可想像的——發動攻擊從需要巨額自有資本降低到幾乎零成本。這些差異讓 DeFi 攻擊對用戶造成的損害遠大於傳統系統。

正因如此,BlockSet 開發了 Falcon Block 系統——一套主動威脅防御機制。系統的創新之處在於監聽已回滾的攻擊交易。當攻擊者犯錯(如 gas 不足或提取邏輯缺失)導致交易回滾時,系統捕獲這筆失敗的攻擊交易,通過二進制字節碼重寫技術,自動替換攻擊合約內的跳轉指令以繞過驗證檢查,複製攻擊邏輯但將受益人地址改為 BlockSet 或協議地址,然後發起優先級更高的救援交易。技術難點在於處理編譯器生成的基本塊重用問題——同一段代碼可能有多個跳轉目標,系統需建立舊目標與新目標的精確映射,這借鑒了傳統二進制代碼重寫的思路應用於區塊鏈字節碼。

具體案例說明了系統的實戰能力。Platypus 事件中,攻擊者因 gas 不足交易被回滾,BlockSet 自動檢測到該交易、重構攻擊邏輯並發起防禦交易,挽救了 5 億美元。Finance 事件中,攻擊者的合約遺留 240 萬美元(因缺少提取邏輯),系統通過分析發現該合約有開放的回調且 USDC 授權未使用,遂升級合約並轉移資金。系統的有效性依賴兩大要素:速度(需在攻擊交易確認前發起防禦)與精準度(誤報過多會讓產品無法使用),因此採用多層分析架構整合靜態分析、啟發式規則與深度合約審查。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「Web3 安全」的內容

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️
8 min
Web3 安全英文8月14日

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️

Zach Humphries

  • 機構支撐的積極意義:價格操縱常被視為負面,但Ripple掌握大量XRP供應與escrow,在熊市期間提高價格下限,實際上替零售投資者鎖定了低風險的積累區間,這不是剝削而是市場穩定機制。
  • 歷史模式驗證:2024年7月至11月XRP在50美分附近橫盤整理,低點觸及42美分(wick),高點65美分;隨後11月5日至12月5日單月上漲456%,年底到2025年初累計漲幅534%,這個歷史周期正在1美元價位重演。
  • 比特幣聯動邏輯:講者在4-5月就預測「如果比特幣跌至60k以下,XRP會跌至1美元或更低」,此預測精準應驗,反映出熊市中兩者的明確連動關係。
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
72 min
Web3 安全英文PODCAST8月5日

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Zero Knowledge

  • 反向 Linux 架構:Commonware 刻意暴露棧各層級控制,讓開發者自訂執行環境、共識機制、密碼學實現,而非像 Cosmos SDK 只允許應用層以上定制。2-3 個月能組裝一條定製鏈,代價是額外深度但回報是長期維護成本降低及效能優化彈性。
  • 容錯假設的典範轉移:Alpine Glow(Solana 2025)實現單輪投票定終的關鍵是將容錯預算分離為獨立的 Byzantine 和 Crash 容限。傳統系統把 33% 當一個整體預算;新模型允許 20% 惡意加 20% 崩潰,打破了 PBFT 理論界線,釋放單輪設計空間。
  • Minimet 與 Multimet 的遞進:Minimet 是 5F+1 設定下的乾淨構造,實現更短視圖延遲;Multimet(剛發布)進一步允許並行 mini-commits 且驗證者可推翻領導者審查,使用者交易在全球分布式網路達到 200-300 毫秒端到端定終。
Private Information Retrieval (PIR) with Alex Hoover
64 min
Web3 安全英文PODCAST7月29日

Private Information Retrieval (PIR) with Alex Hoover

Zero Knowledge

  • PIR 保護的是訪問模式,不是資料本身
  • PIR 與加密不同,它關注的是隱藏「客戶端查詢了什麼」,而非「資料是否加密」。在公開資料庫(如區塊鏈)上,客戶端可以在不洩露查詢對象給伺服器的情況下檢索特定條目,解決了輕量級客戶端的隱私和防審查問題。
  • 客戶端預處理方案是突破瓶頸的關鍵