KeyFrame內部研究專用

Restaking Security: Challenges and Best Practices | DSS Monthly Webinar (September 4th)

DeFi Security Summit - DSS·9月4日週三·63 min英文

三句話摘要

Restaking 如何通過共享質押資本為多個去中心化協議提供經濟安全,以及 Eigen Labs 和 Symbiotic 兩大平台的設計與安全策略。 Restaking 透過重複利用已質押資本實現資本效率,但其安全性最終取決於協議層的防禦設計、應用層的風險評估、以及質押者的謹慎選擇。 Restaking 解決資本效率問題:將同一筆質押資本委託給多個「主動驗證服務」(AVS),而非為每個服務單獨募資,實現共享安全且資本利用效率更高。

重點整理

重點
  • 1

    Restaking 解決資本效率問題:將同一筆質押資本委託給多個「主動驗證服務」(AVS),而非為每個服務單獨募資,實現共享安全且資本利用效率更高。

  • 2

    Eigen Labs 多層風控設計:透過 7 天提取延遲應對漏洞、24/7 不變量監控確保每塊區塊合規、多層治理簽名與 200 萬美元漏洞懸賞,將發生漏洞時的影響最小化。

  • 3

    Symbiotic 強調網路自主性:採「可遷移」模式平衡不可變與可升級,工廠合約禁止強制升級但允許提議新版本,網路可自願選擇升級或保持舊版,確保去中心化決策。

  • 4

    安全責任歸於應用層:協議只提供基礎設施與工具,具體風險評估(如接受哪些代幣、設定什麼參數)由各 AVS 決定,要求網路對抵押品信任假設有清晰認知。

實用技巧與重點

乾貨
  • Eigen Layer 數據與機制:
  • 質押規模:10+ 億美元
  • 提取延遲:7 天
  • 漏洞懸賞:200 萬美元 (Immunefi)
  • 支持資產:ERC20、LST (液態質押代幣)、原生 ETH
  • AVS 已上線主網
  • Eigen Pod 升級降低領取獎勵 gas 成本(使用 checkpoint 系統)
  • 已完成多輪第三方安全審計
  • Symbiotic 技術架構:
  • 核心合約:Vault (可遷移)、Slasher (模塊化)、Delegator (模塊化)
  • 不變合約:Services、Registries (Network registry、Operator registry)
  • Slasher 實現:Simple Slasher、Verified Slasher (含驗證邏輯)
  • Delegator 實現:Native Delegator、Restaking Delegator
  • 安全流程:Python 模型模擬 5+ 次 → 內部審查 → 1 次外部審計 → 4 次外部審計 (2 進行中) → Holesky 測試網完整部署 → Bug Bounty 程序
  • 已支援 Holesky 測試網全系統部署
  • 風險與緩解:
  • Slashing 設計即將推出(數周內)
  • Stake Sure 保險機制在規劃路線圖
  • LRT (液態質押代幣) 幫助避免直接質押金融化風險
  • 反質押 (slashing DB) 與分布式驗證器技術應用於 AVS
  • 開發者最佳實踐指南已發佈

結論

結論

Restaking 透過重複利用已質押資本實現資本效率,但其安全性最終取決於協議層的防禦設計、應用層的風險評估、以及質押者的謹慎選擇。

完整解析

詳細

Restaking 是近期 DeFi 安全領域的重要創新,旨在解決去中心化基礎設施的資本效率難題。傳統方案要求為每個橋接、預言機或 L2 協議獨立募集質押資本,導致安全資本分散。Restaking 改變了這一格局,讓已在以太坊信標鏈上質押 32 ETH 的驗證者可以進一步承諾這筆資本為外部協議提供經濟安全,同時賺取額外獎勵。

Eigen Labs 將這種模式定義為「可編程信任」,包含三大支柱:經濟信任(質押金額)、去中心化信任(節點地理位置多樣性)及以太坊信任(既有以太坊驗證者參與)。他們設計了堅實的防線應對智能合約風險。7 天提取延遲允許協議在發現漏洞時迅速暫停並升級合約;24/7 不變量監控透過 Hexagate 在每個區塊強制執行協議的關鍵不變量,任何異常都會立即觸發警報。他們還建立了多層治理架構(操作多簽、提議者、社區多簽)並完成多輪業界頂級安全審計,同時提供 200 萬美元的漏洞懸賞。最近一次重要升級是支持任意 ERC20 代幣的許可權提取,使 USDC、RBT 等資產都可作為質押品,但決定權交給各個 AVS 評估風險。

Symbiotic 則從另一個維度思考——如何讓每個網路對自己的質押基礎設施擁有完全控制權,而非依賴中央協議決策。他們創造了「可遷移」合約模式來解決不可變(難以新增功能)與可升級(依賴外部控制)的二律背反。核心思想是讓 Factory 合約禁止升級已部署的版本,但允許協議提議新版本;已有舊版本的網路可自願升級到新版本或保持不變。他們還採用模塊化設計,支持多種 Slasher 實現(簡單版和驗證版,後者允許預定義解決者在特定期限內仲裁斜線請求)及多種 Delegator 實現(原生 Delegator 禁止同網路內重新質押以避免連鎖風險,Restaking Delegator 則支持跨網路組合)。在安全上,Symbiotic 先用 Python 模擬了 5 個不同設計模型,完成內部審查和多輪外部審計(包括形式驗證),並在 Holesky 測試網部署了完整系統供社區測試。

兩個協議的共同哲學是把安全責任歸到應用層。Eigen Labs 透過工具、監控和審計降低協議層風險,但要求每個 AVS 明智選擇接受的代幣和風險參數。Symbiotic 則強調網路必須理解自己接受的每種抵押品的信任假設(如橋接代幣可能有額外風險)並透過支持多個 Vault 和不同委託策略來多樣化質押來源。兩者都在規劃進一步完善的安全機制——Slashing 設計即將推出(承諾數周內),Stake Sure 保險協議也在路線圖上,這些將為質押者和網路提供額外的風險對沖工具。

關鍵時刻

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