KeyFrame內部研究專用

Discussion - Bridges, Session 11, DeFi Security Summit 2022

DeFi Security Summit - DSS·11月3日週四·16 min英文

三句話摘要

區塊鏈跨鏈橋接的架構設計、安全激勵與升級機制的業界對話,涵蓋去中心化驗證、抗審查性與風險權衡。 區塊鏈基礎設施應像執行層一樣謹慎緩慢發展,核心是通過協議層設計確保中立性與抗審查,同時保留用戶與應用的選擇權,而非依賴開發團隊的自律。 預防性驗證機制自5月在Stargate部署,檢查所有經過的消息以防止惡意代碼注入,但這是主動防禦而非被動攔截的設計——重點是預防漏洞而非捕捉攻擊。

重點整理

重點
  • 1

    預防性驗證機制自5月在Stargate部署,檢查所有經過的消息以防止惡意代碼注入,但這是主動防禦而非被動攔截的設計——重點是預防漏洞而非捕捉攻擊。

  • 2

    Library upgrades 打破強制升級的束縛——藍籌應用會等待新庫版本經時間考驗再採納(類似開源軟體選擇LTS版本),新興項目則願意嘗試最新特性,形成自然的風險分層,避免整個生態被單一升級決策綁架。

  • 3

    完全抗審查需要協議層保障——Layer Zero 採用不可升級合約與強制消息順序機制,使得即使開發團隊被強制也無法執行審查,但這限制了靈活性與創新空間的權衡。

  • 4

    橋接基礎設施的激勵失調根本問題——目前傾向「快速致富」而非「安全第一」,根本原因是市場未有效需求安全性,唯有用戶明智選擇才能推動開發者投入時間與成本進行安全加固。

實用技巧與重點

乾貨
  • Nomad hack 案例:充分動機的攻擊者可於 10 分鐘內排干整個資金池
  • USDC 凍結機制:Circle 擁有凍結任何賬戶的能力以追回被盜資金
  • Wintermute 被盜資金:通過 Hop 橋接轉移,Hop 無法執行審查
  • Rocket Pool mini pools:允許個別參與者選擇是否接納治理層升級
  • Layer Zero 設計特徵:不可升級合約、強制消息排序(消息 10 必須在 11 之前傳遞)、任何應用可選擇不同驗證庫版本(ZK 版本、樂觀版本、超輕節點版本)
  • Bridge aggregation 風險:聚合器需負責理解所有被聚合協議的技術細節
  • 當前市場狀況:Bear market 導致橋接交易量下降(主網交易成本低廉時,用戶傾向減少跨鏈風險)

結論

結論

區塊鏈基礎設施應像執行層一樣謹慎緩慢發展,核心是通過協議層設計確保中立性與抗審查,同時保留用戶與應用的選擇權,而非依賴開發團隊的自律。

完整解析

詳細

本場討論聚焦於加密生態中的核心基礎設施——區塊鏈橋接的架構設計與安全管理。討論首先從 Ryan 介紹的預防性驗證系統切入,該系統自 5 月在 Stargate 部署後持續檢查所有通過的消息,儘管尚未偵測到惡意內容,但體現了主動防禦而非被動反應的設計哲學。隨後引出 Nomad hack 為何被稱為「去中心化」攻擊的問題——實際上一個充分動機的攻擊者完全可以在 10 分鐘內排干全部資金,真實情況是攻擊者未這樣做,漏洞被公開後才引發多人參與。

討論的核心問題指向基礎設施的激勵失調。當前許多橋接專案採取「快速致富」策略,而非像執行層基礎設施那樣需要極端謹慎與長期投資。這種失調根源於市場缺乏有效的安全需求信號——用戶若不主動選擇更安全的橋接,開發者就沒有商業理由投入額外時間進行深度審計與防禦。Panel 強調用戶的明智選擇是改變整個激勵結構的關鍵機制。

另一個重點議題是 Library upgrades 的設計。這套機制允許建立在某協議上的應用自主選擇是否採納新的驗證庫版本。藍籌應用傾向於等待新庫經過時間考驗再採納(類似開源軟體使用 LTS 版本的保守策略),而新興專案則更願意嘗試最新特性與優化。這種分層的選擇權避免了強制升級的系統風險,但同時保留了創新空間。然而這種靈活性不適用於流動性池等共享資產情景——那些資產需要所有參與者同步遷移,無法實現可選升級。

在抗審查性的討論上,Panel 深入探討了完全去中介化的必要性。Layer Zero 等專案透過不可升級合約、強制消息排序等機制在協議層實現審查阻力——即使開發團隊遭到強制審查要求,也因為合約不可更改且消息必須按序傳遞(消息 10 必須在 11 之前完成傳遞),導致攻擊者只能選擇全部阻止或全部放行。這種設計確保了 Wintermute 被盜資金能通過 Hop 橋接自由流動,任何人都無法干預。但完全的抗審查能力必須在設計初期就內建,事後補加困難且不完整。

Bridge aggregation 進一步增加了複雜性與風險——聚合器需要深入理解所有被聚合協議的技術細節,最壞情況下用戶的全部資金可能被盜竊。這要求聚合器對納入的橋接必須抱持強烈的觀點與篩選標準,而非無差別打包所有選項。

關鍵時刻

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