KeyFrame內部研究專用

Mitigative Measures for Bridge Exploits, Andres Monty - DeFi Security Summit 2023

DeFi Security Summit - DSS·7月16日週日·7 min英文

三句話摘要

區塊鏈跨鏈橋接的安全漏洞成因與緩解機制,特別聚焦 Cosmos 生態的 IBC 速率限制方案。 橋接安全的未來在於多層防禦:設計信任最小化 + 實現持續驗證 + 治理級速率限制 + 動態應急機制的組合。 橋接漏洞的根本原因:講者強調大多數橋接被攻擊並非因為設計不良,而是實現層面的軟體漏洞。即使是最健全的協議,也無法完全避免代碼缺陷,因此需要主動的緩解措施而非被動的代碼審計。

重點整理

重點
  • 1

    橋接漏洞的根本原因:講者強調大多數橋接被攻擊並非因為設計不良,而是實現層面的軟體漏洞。即使是最健全的協議,也無法完全避免代碼缺陷,因此需要主動的緩解措施而非被動的代碼審計。

  • 2

    信任度光譜設計:橋接設計從左到右分為多重簽名(最信任)、PoS 驗證器系統、再到以 IBC 輕客戶端為代表的無信任設計。社區正逐步向右側移動,但現實是尚未完全達成無信任橋接。

  • 3

    速率限制的主權含義:速率限制不只保護橋接本身,更賦予接入鏈項目對跨鏈資金流量的主權控制。它讓項目可以配置特定代幣在特定時間內的最大轉移量(如每小時不超過 100 枚),從而管理對交易對手的信任程度。

  • 4

    多層緩解策略:未來方向包括支持任意消息傳遞的速率限制、結合交易延遲、以及根據鏈上事件動態調整限制參數(如升級時降低速率,後續逐步提高)。

實用技巧與重點

乾貨
  • 橋接設計分類:多重簽名 → PoS 驗證器系統 → 無信任設計(IBC 輕客戶端、跨鏈橋接 CK)
  • 主要漏洞成因:實現漏洞(majority)vs 設計問題(minority)
  • IBC 速率限制實現方案
  • Osmosis 團隊:基於 CosmWasm(Rust 框架)的智能合約實現
  • Stride 團隊:原生 Cosmos SDK 模塊實現(已正式上線)
  • 具體限制例子:特定代幣在特定鏈之間,每小時轉移額度上限 100
  • 緩解措施工具:速率限制、交易延遲、多消息聚合器(Multi-Message Aggregators)、Hashi(Gnosis 團隊)
  • RFC 提案:RC 728a1(關於速率限制的最新協議提案)
  • 講者:Andres Monty,Range 共同創辦人,Twitter @AES_monty

結論

結論

橋接安全的未來在於多層防禦:設計信任最小化 + 實現持續驗證 + 治理級速率限制 + 動態應急機制的組合。

完整解析

詳細

橋接之所以成為加密生態中最常被攻擊的目標,根本原因在於經濟誘因。橋接鎖定著大量資金(TVL),而攻擊者多是理性的經濟行為體,因此會優先針對收益最大的目標。講者透過 Li-Fi 的橋接設計分類圖表展示了設計演進:從左側最信任的多重簽名方案,逐步向右側演進到無信任設計(如 IBC 輕客戶端),社區正在積極向更低信任需求的模型轉移。

然而,一個容易被忽視的現實是,絕大多數橋接漏洞並非源於協議設計缺陷,而是源於實現層面的軟體漏洞。即使協議本身高度健全,複雜的跨鏈軟體也無法逃脫代碼缺陷的風險。這種情況在最新的無信任橋接上同樣存在。講者強調,由於橋接代碼庫龐大且不可變,業界必須放棄「審計即安全」的幻想,轉而建立主動的緩解機制。

為應對這一挑戰,Cosmos 生態提出了速率限制(Rate Limits)作為第一個正式的生產級防護標準。IBC 速率限制允許鏈治理部署可配置的參數,限制特定代幣在 IBC 通道上的轉移量。例如,可設定某代幣每小時最多轉入或轉出 100 枚。這不僅保護橋接本身免受漏洞利用,也保護目標鏈不被外部資金流量淹沒。從主權角度看,速率限制讓項目能明確表達對交易對手的信任程度,而非被迫接受無限制的跨鏈流量。Cosmos 生態已有兩套實現:Osmosis 團隊基於 CosmWasm 智能合約框架的版本,以及 Stride 團隊開發的原生 Cosmos SDK 模塊(已正式上線)。

未來的安全演進包含多個方向:將速率限制擴展至任意消息類型的傳遞,結合交易延遲機制增加攻擊的時間成本,以及實現動態調整功能——使限制參數能根據鏈上事件實時調整(例如升級時降低限制,隨後逐步提高以增強信心)。Range 團隊正在 Cosmos 生態中推進這些多層安全架構的建設,整合鏈上監控系統與緩解技術。

關鍵時刻

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