KeyFrame內部研究專用

Building Crosschain Bridge across VMs

DeFi Security Summit - DSS·11月23日週日·19 min英文

三句話摘要

Coinbase 協議安全工程師深度拆解區塊鏈跨鏈橋的架構原理、三大漏洞類型,以及 Base-Solana 橋的安全設計。 --- 跨鏈橋的安全不只是智能合約問題,中繼層可用性、最終確認等待時間、重放防護與私鑰管理缺一不可,端對端測試與即時監控是最後一道防線。 區塊鏈孤島催生跨鏈橋需求

重點整理

重點
  • 1

    區塊鏈孤島催生跨鏈橋需求

  • 2

    275 條鏈各自隔離,ETH 佔 TVL 約 62%,生態碎片化導致流動性分散與體驗不一致,橋接協議是唯一可行的互通方案。

  • 3

    三種橋架構決定資產的原生性

  • 4

    鎖定鑄造橋在目標鏈產出包裝資產;銷毀鑄造橋(如 USDC)兩端均為同一發行方部署的原生代幣;鎖定解鎖橋依賴兩端流動性池,無需鑄幣。選擇架構直接影響資產信任模型。

  • 5

    EVM 與 SVM 的核心差異影響橋接安全設計

  • 6

    EVM 是堆疊式循序機器,合約與資料共享同一地址;SVM 支援平行交易但儲存帳戶需獨立分配,設計複雜度更高。最終確認時間差異(ETH 12 秒、BTC 13-15 分鐘、Solana 13 秒)直接影響跨鏈訊息的安全等待策略。

  • 7

    重放攻擊是智能合約層最易被忽略的漏洞

  • 8

    驗證器簽名的訊息若未追蹤已使用狀態,同一簽名可被無限次廣播到目標鏈,造成重複鑄幣。必須追蹤 chain ID、nonce 及訊息使用狀態。

  • 9

    --

實用技巧與重點

乾貨
  • 數字與比例
  • Coin Gecko 追蹤 275 條區塊鏈
  • 其中約 89 條為 Layer 架構
  • 以太坊 TVL 約佔 62%
  • ETH 最終確認:~12 秒
  • BTC 最終確認:~13-15 分鐘
  • Solana 最終確認:~13 秒
  • 工具與標準
  • OpenZeppelin:提供 chain ID 追蹤、nonce 標準化 EIP
  • Solana 最大整數型別:u64(對應 EVM 的 u256,差距極大)
  • 智能合約語言:Solidity、Vyper、Rust(Solana)
  • 位元組碼:EVM bytecode、SBF bytecode
  • 三種橋接架構
  • Lock & Mint(鎖定鑄造):源鏈鎖定原生資產 → 目標鏈鑄造包裝資產
  • Burn & Mint(銷毀鑄造):兩端均為原生資產(如多鏈 USDC)
  • Lock & Unlock(鎖定解鎖):依賴兩端流動性池
  • Base-Solana 橋功能
  • 支援代幣轉移(Token Transfer)
  • 支援任意訊息傳遞(Arbitrary Message Passing)
  • 可從 Solana 直接呼叫 Base 上的合約存款函式
  • 每個 Solana 地址映射為 seed 對應到 EVM 地址
  • 一個 Base 代幣可對應多個 Solana 代幣部署(處理小數位不一致)
  • 訊息需等待最終確認才執行,防止重組攻擊
  • 已知漏洞類型
  • 重入攻擊(支援訊息傳遞的橋若啟用 callback)
  • 可升級代幣餘額歸零風險
  • 惡意訊息呼叫(建議白名單 function selector)
  • 小數位不一致(u64 vs u256 精度溢出)
  • 私鑰洩漏(GitHub commit、社交管道)
  • 中繼層單點故障(Cloudflare、AWS 宕機案例)
  • 安全建議
  • 多次獨立審計
  • 端對端完整交易流程測試(從源鏈到目標鏈全程)
  • 模糊測試(Fuzzing)+ 狀態變異測試
  • 即時監控資金流與交易異常
  • 驗證器使用多簽(Multi-sig),避免單一私鑰控制整座橋
  • --

結論

結論

跨鏈橋的安全不只是智能合約問題,中繼層可用性、最終確認等待時間、重放防護與私鑰管理缺一不可,端對端測試與即時監控是最後一道防線。

完整解析

詳細

區塊鏈生態的碎片化問題是跨鏈橋存在的根本原因。目前 Coin Gecko 追蹤的 275 條區塊鏈各自運行著相互隔離的狀態,錢包不相容、流動性分散、TVL 高度集中(以太坊獨佔約 62%)。每條鏈都聲稱代表 Web3 的未來,卻無法互通,這讓用戶體驗極為割裂。跨鏈橋協議的任務,就是在這些孤島之間架設通道。

橋接架構的核心邏輯可以用「鎖定鑄造」模型說明:用戶在源鏈發起交易,橋接合約鎖定資產並觸發事件,鏈下中繼層的驗證器確認後,向目標鏈發出授權,目標鏈再鑄造對應的包裝資產。贖回時流程反向:銷毀包裝資產、解鎖源鏈原生資產。除此之外,還有銷毀鑄造橋(兩端均部署原生代幣,如 Circle 的多鏈 USDC)與鎖定解鎖橋(依賴兩端流動性池,無需鑄幣)。三種架構在資產信任模型與流動性需求上各有權衡。

EVM 與 SVM 的差異對橋接安全設計有直接影響。EVM 採堆疊式循序執行,合約代碼與狀態共存於同一地址;SVM 則支援平行處理,但要求開發者在交易開始時明確宣告會存取哪些帳戶,儲存必須分配獨立帳戶,開發複雜度顯著更高。最終確認時間的差異(以太坊 12 秒、Solana 13 秒、BTC 長達 13-15 分鐘)決定了橋接訊息需要等待多久才能安全執行,若等待不足,重組攻擊可能讓目標鏈已完成的轉帳在源鏈憑空消失。

橋接漏洞分為三個層面。中繼層方面,若鏈下驗證器缺乏去中心化備援,單一雲端服務(如 Cloudflare 或 AWS)宕機即可讓整座橋停擺數小時甚至數天。重放攻擊方面,驗證器簽名的訊息若未追蹤使用狀態,同一份簽名可被反覆廣播,造成無限鑄幣;解法是追蹤 chain ID 與訊息是否已在目標鏈消費。私鑰洩漏是鏈下最致命的攻擊面,必須使用多簽機制,避免單一簽名者控制整座橋。智能合約層則需防範重入攻擊(尤其是支援任意訊息傳遞的橋)、可升級代幣的餘額歸零風險、惡意 function selector 呼叫,以及小數位不一致導致的精度問題(Solana u64 對上 EVM u256,數值範圍差距極大)。

Coinbase 正在建設的 Base-Solana 橋整合了上述安全考量:設計訊息驗證合約、等待最終確認後才執行、支援一個 Base 代幣映射多個 Solana 代幣部署以處理小數位差異,並支援從 Solana 端直接呼叫 Base 合約。講者最後強調,有過審計或建橋經驗不代表安全,必須進行完整端對端測試(從源鏈到目標鏈全流程)、模糊測試,以及持續的鏈上資金監控——越早發現異常,應對窗口就越大。

---

關鍵時刻

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