KeyFrame內部研究專用

DSS Monthly: Liquid Staking Security with Lido, Stakewise, Frax

DeFi Security Summit - DSS·11月10日週五·59 min英文

三句話摘要

流動性質押協議的去中心化與安全性設計:Lido 與 StakeWise 的技術方案對比。 液態質押的未來在於從單一中央化設計轉向分層、模組化、多治理的生態,透過漸進去中心化與多維風險隔離而非規則強制,才能真正達成協議的韌性與安全。 無人操作與漸進式去中心化:Lido 核心理念是盡可能移除信任層,若無法完全移除則逐步迭代改善。這意味著協議應先從基礎操作(如帳戶結算)開始自動化,逐步延伸至複雜操作,同時將貢獻者團隊從關鍵決策圈中移出。

重點整理

重點
  • 1

    無人操作與漸進式去中心化:Lido 核心理念是盡可能移除信任層,若無法完全移除則逐步迭代改善。這意味著協議應先從基礎操作(如帳戶結算)開始自動化,逐步延伸至複雜操作,同時將貢獻者團隊從關鍵決策圈中移出。

  • 2

    預言機與驗證者退出的技術挑戰:當前以預言機聚合共識層與執行層數據,但以太坊超過 100 萬個驗證者索引使逐一驗證不可行。兩協議都在探索零知識證明壓縮數據;StakeWise 則透過預簽退出消息與預計算驗證者索引,在驗證者註冊前就準備好退出授權。

  • 3

    多維度治理防控系統風險:Lido 的雙重治理(LDO 持有者與 stETH 持有者皆可否決提案)、StakeWise 的金庫上限與 OST 超額擔保機制,都是為了應對單一協議規模過大對網絡造成的風險。自我限制不具可擴展性,需透過多層防線而非單一規則。

  • 4

    智能合約安全是第一道防線:設計階段需預想極端情況與攻擊向量(如閃電貸),形式化驗證正成為新標準;持續的審計、安全競賽與多輪測試網迭代不可或缺。

實用技巧與重點

乾貨
  • Lido 協議數據:
  • TVL:800 萬 ETH 以上
  • 代幣:stETH、unshETH(提款隊列中的 NFT 位置憑證)
  • 核心升級:Shanghai(提款機制)、Shapella
  • 預言機委員會:聚合共識層與執行層數據
  • 安全評估工具:Scorecard(內部自評量表)
  • StakeWise 架構:
  • 版本:V2(100K+ ETH, 2500 萬美元流動性)→ V3(開發中)
  • 核心層:Vaults(金庫智能合約)+ OST 代幣(過度擔保的流動性質押代幣)
  • 工廠部署模式:4 種金庫工廠,可組合不同模組部署
  • 模組類型:Vault Admin、Enter/Exit、OST Token、Validators、Staking、Smoothing Pool、Fee、Upgrade、Whitelist、Exit Queue
  • 治理:雙重升級機制(Dow 投票 + 金庫創建者同意)
  • 技術方案:
  • EIP-4788:共識層數據至執行層的即將實現
  • 零知識證明:Lido 與多家 ZK 團隊合作(Multi-Oracle 架構),預期 2024 年初主網部署
  • 驗證者退出:PreCognito 索引預計算 + 預簽退出消息
  • 形式化驗證:Lido 已完成
  • 測試網:StakeWise V3 自 2024 年 2 月起反覆迭代
  • 風險控制機制:
  • OST 超額擔保比率(非 1:1)
  • Vault 容量上限 + OST 全局鑄造上限
  • LTV(貸值比)動態調整(應對網絡風險)
  • 自貶值機制(Self-Deprecation):應急按鈕,影響範圍受限時間與核心協議範圍

結論

結論

液態質押的未來在於從單一中央化設計轉向分層、模組化、多治理的生態,透過漸進去中心化與多維風險隔離而非規則強制,才能真正達成協議的韌性與安全。

完整解析

詳細

Lido 與 StakeWise 代表了液態質押協議去中心化的兩條不同路徑。Lido 作為市場領導者,其 800 萬 ETH 的龐大規模帶來了中心化風險,因此協議著力於實踐「無人操作」(Unmanned Operation, UNM) 理念——系統性地移除信任層與手動維護負擔。Eugene Mammon 指出,UNM 並非一蹴而就,而是分層次的漸進改善:先從基礎操作如帳戶結算、存提管理著手,逐步邁向複雜的治理與驗證者集合管理。關鍵在於逐步將協議貢獻者從決策圈中移出,擴大社區參與。

StakeWise 則採用了完全不同的架構。其 V3 版本基於兩層設計:下層是可部署的 Vault(金庫),任何人都可透過工廠模式創建自己的金庫,選擇需要的模組組合;上層是 OST 代幣,以超額擔保機制確保風險隔離。這種模塊化設計讓協議能支持多樣化的用途——既可支持希望完全去中心化的個人驗證者,也能滿足機構客戶的 KYC 與私有化需求。模組化同時也為未來適應以太坊演進提供了空間。

兩協議面臨的最大技術挑戰是驗證者退出機制的去中心化。在當前環境下,預言機負責聚合共識層的驗證者平衡數據至執行層,但以太坊超過 100 萬個驗證者索引使逐一驗證在計算上不可行。Lido 與多家零知識證明團隊合作,計畫在 2024 年透過 ZK 數據壓縮漸進式取代預言機委員會。StakeWise 則創新地在驗證者註冊前預先收集退出簽名,透過預計算共識層事件推導的驗證者索引,讓預言機在驗證者上線時預簽授權消息,既解決了索引前置問題,也確保協議而非個別運營商能控制退出流程。

安全與治理方面,兩協議都認識到規模失控的風險。Lido 導入雙重治理制度,允許 LDO 持有者與 stETH 持有者都對核心提案行使否決權,試圖防止單一治理力量過度集中。StakeWise 則透過金庫容量上限、OST 全局鑄造上限與動態 LTV 調整,確保單個協議風險不會失控。但兩位發言人都坦言,自我限制規則無法透過共識強制執行,下一代協議可能重複同樣的擴張邏輯。因此,真正的防線在於智能合約層面的安全設計——預想極端情況、運用形式化驗證、持續進行審計與安全競賽、透過多輪測試網迭代發現邊界情況。

監管應變方面,兩協議都認為不存在單一解決方案。StakeWise 強調其模組化設計讓不同監管環境的實體能選擇符合需求的特性組合——既可完全去中心化與代幣化,也可完全私有化與白名單化。Lido 則透過提供多種功能選項,讓用戶根據風險偏好與監管環境靈活配置。這反映了一個成熟認知:治理的多元化與選擇權,比試圖預先設計出「完美規則」更能應對未來不確定性。

關鍵時刻

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