KeyFrame內部研究專用

Securing a Cross-Chain Bridge, Chris Whinfrey - DeFi Security Summit 2022

DeFi Security Summit - DSS·10月24日週一·19 min英文

三句話摘要

區塊鏈跨鏈橋接的安全架構設計與風險隔離策略。 無信任型橋接搭配風險隔離設計和快速響應機制,相比可信型橋接在安全性和資本效率上都更優,而心態和監控系統決定威脅應對的成敗。 橋接為何持續遭駭的根本原因:技術還在新興階段、攻擊面極大、承載高額資金。前者會隨時間改善,後兩者只會加劇。隨著Layer 2成長和多鏈生態擴展,跨鏈資金流動需求激增,橋接的吸引力和風險都在擴大。

重點整理

重點
  • 1

    橋接為何持續遭駭的根本原因:技術還在新興階段、攻擊面極大、承載高額資金。前者會隨時間改善,後兩者只會加劇。隨著Layer 2成長和多鏈生態擴展,跨鏈資金流動需求激增,橋接的吸引力和風險都在擴大。

  • 2

    信任假設不同帶來截然不同的風險承擔者:無信任型橋接中,消息中繼者(bonder)承擔全部風險並接受完全抵押;可信型橋接則將風險轉移給流動性提供者(LP),後者不得不相信多重簽名保管人有「世界一流的安全保障」,但實際上多重簽名涉及熱鑰匙、伺服器、供應鏈等多層隱患。

  • 3

    挑戰窗口(Challenge Window)的長度決定人工應急能力:樂觀型Rollup用7天窗口換安全性;Hop用24小時;競對用30分鐘到幾小時。太短的窗口形同虛設,因為基礎設施崩潰(如Maker的「黑色星期四」)會導致自動系統失效,人工應急需要足夠時間介入。

  • 4

    隔離設計防止「污染」蔓延全橋:傳統全連接多簽模型中,一條鏈遭駭會導致整橋崩潰、所有LP資金被鎖。Hop開創的中心輻射型(以以太坊Layer 1為結算中心)讓每個bonder只承受所在鏈的風險,Doge鏈被駭只波及該鏈參與者,其他鏈LP能繼續運營。

實用技巧與重點

乾貨
  • 被盜規模與趨勢
  • 過去2年橋接被盜近20億美元,涉及13起事件
  • Chain Analysis數據:橋接被盜在DeFi被盜事件中的占比逐年上升
  • 主要安全風險類別
  • 智能合約漏洞(防治方法:審計、最佳實踐、漏洞賞金計畫)
  • 密鑰泄露(導致超過10億美元損失,甚至涉及朝鮮拉撒路組織等國家級黑客)
  • Rollup重組機制(惡意欺詐證明可回滾Layer 1已確認區塊)
  • 惡意RPC端點(無信任系統中bonder承擔自身風險;可信型橋接中用戶信任整個RPC提供商安全性)
  • 挑戰窗口設置不當
  • 原生鏈故障或消息橋漏洞
  • Hop Protocol案例數據
  • 使用24小時挑戰窗口(對比業界30分鐘-幾小時)
  • 監控系統「Health Checker」可實時檢測所有安全漏洞並在Slack警報
  • 中心輻射模型:所有交易通過以太坊Layer 1結算
  • 威脅應對案例
  • Chain Swap(2021年):30分鐘內關閉節點,將損失限制在80萬美元以內(若延遲,後續漏洞損失440萬美元)
  • Ronin Bridge:6.5億美元被盜,6天後才發現
  • Nomad Bridge:被盜數小時內被發現,白帽黑客追回3260萬美元
  • Chris個人經歷:30分鐘內追回20萬美元,若快15分鐘可追回~100萬美元,快30分鐘可追回數百萬美元
  • Poly Network:6.1億美元被盜,Tether團隊凍結並返還3300萬美元
  • 威脅緩解策略
  • 遵循智能合約最佳實踐(簡潔設計、審計、漏洞賞金)
  • 避免可信第三方(多重簽名涉及熱鑰匙、供應鏈風險)
  • 隔離設計防止污染蔓延
  • 快速響應與監控系統
  • 清晰的安全問題報告指南
  • 攻擊後聯繫交易所凍結資金(攻擊者洗錢往往存在漏洞)

結論

結論

無信任型橋接搭配風險隔離設計和快速響應機制,相比可信型橋接在安全性和資本效率上都更優,而心態和監控系統決定威脅應對的成敗。

完整解析

詳細

Chris Winfrey以Hop Protocol創始人身份指出,橋接已成為DeFi生態最大的安全漏洞。過去兩年內,近20億美元從橋接中被盜,涉及13起獨立事件。更令人擔憂的是,Chain Analysis的數據表明這類被盜事件在整個DeFi被盜金額中的占比正在急速上升。

為什麼橋接如此容易遭駭?Chris指出三個根本原因:首先,橋接技術仍然新興,各團隊嘗試不同方案,故障在所難免;其次,橋接的攻擊面非常龐大,存在多層隱患;第三,橋接必然承載大量資金,是黑客的天然目標。第一個問題會隨著技術成熟而解決,但後兩個問題只會愈發嚴重——隨著橋接支持更多鏈,表面積擴大;隨著Layer 2和多鏈生態發展,跨鏈資金需求激增。

橋接的安全風險框架需要首先識別參與者:橋接用戶、流動性提供者(LP)、消息中繼者。消息中繼有兩種模式——無信任型(完全抵押的bonder承擔全部風險)和可信型(多重簽名等將風險轉移給LP)。這個選擇至關重要。可信型橋接看似簡潔,但實際上是把整個安全模型建立在「多重簽名持有人擁有世界一流安全保障」的假設上。而多重簽名涉及運行在伺服器上的熱鑰匙、不斷升級的系統、第三方RPC提供商等多層隱患,任何一環遭駭都會導致全橋崩潰。

Chris詳細分析了各類攻擊向量。智能合約漏洞雖然常見,但可通過審計和最佳實踐防預。最嚴重的損失來自密鑰泄露——當可信型橋接的密鑰被竊取(甚至可能被國家級黑客組織竊取),超過10億美元已因此喪失。Rollup重組機制也構成威脅:攻擊者可能插入惡意欺詐證明,即使Layer 1區塊已最終確認也能回滾Rollup。此外,惡意RPC端點可發起虛假事件耗盡橋接資源。挑戰窗口的長度至關重要——樂觀Rollup用7天以確保極高安全性,Hop用24小時,但業界有人用30分鐘甚至幾小時,這無異於無防。Chris強調,基礎設施崩潰(如Maker的「黑色星期四」導致Gas飆升和自動系統失效)會在應急時間窗口內發生,人工應急需要充足時間介入。

Hop Protocol的創新之處在於其中心輻射型(Hub-and-Spoke)架構。傳統多簽橋是全連接的——多條鏈彼此直接連接。若新增一條安全性較低的鏈(如Doge鏈)遭駭,攻擊者可控制該鏈上的無限資金並通過橋接轉移出去,導致整橋崩潰、所有LP資金被鎖。Hop改用以以太坊Layer 1為結算中心的架構,所有交易都通過以太坊結算。每個bonder可自由選擇連接的鏈,僅承擔所在鏈的風險。結算流程內置止損機制——Doge鏈遭駭時,只有該鏈的LP損失,其他鏈的LP能繼續運營。這如同現代船舶的舱壁門設計:遭魚雷擊中的隔艙進水,其他隔艙保持完好,船隻可繼續航行且有人員能倖存。

威脅應對同樣關鍵。Chain Swap在2021年被駭後30分鐘內關閉節點,將損失限制在80萬美元以內(若未快速應對,隨後的第二個漏洞導致損失達440萬美元)。Ronin Bridge則在資金丟失6天後才被發現,損失達6.5億美元。Nomad Bridge的被盜事件只持續數小時,大量白帽黑客介入,最終追回3260萬美元。Chris親身參與Nomad事件應對,30分鐘內追回20萬美元,若快15分鐘可追回~100萬美元,若快30分鐘可追回數百萬美元。即使15-30分鐘的響應時間差異,對最終能追回的資金規模產生巨大影響。

監控系統是快速響應的基礎。Hop的「Health Checker」實時檢測安全漏洞並在Slack發出警報。當某次攻擊被Synthetics等監控系統檢測到時,Chris團隊模擬交易驗證攻擊,確認是惡意操作後立即關閉bonder,隨後重新啟用,幾乎無損中斷。清晰的安全問題報告指南也很重要,讓用戶或安全研究者能迅速上報問題。最後,攻擊發生後應聯繫所有交易所尤其是穩定幣交易所凍結資金、在Etherscan上標記地址。攻擊者洗錢往往不完美,Poly Network黑客事件中Tether團隊凍結並返還了3300萬美元,許多交易所也主動返還被凍結資金。

關鍵時刻

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