多證明設計在 OP Stack 中的應用

多客戶端網路的安全優勢已爲人所知，但如果您最青睞的 L2 能夠將多個證明方案整合到其設計中會怎樣？這正是 OP 主網升級到 Bedrock 後的情況。

遵循客戶端多樣性對區塊鏈生態系統有益的理念，OP Stack 將 OP 主網轉變爲一個模塊化的區塊鏈，同時也能實現證明方案的多樣性。利用 OP Stack 和 Bedrock 的模塊化設計，開發者可以快速利用任何類型的現有證明，並確保系統能夠適應未來的證明創新。

讓我們深入探討這一獨特功能的技術層面，並探討其對整個生態系統的廣泛影響。

Rollup 設計中的證明方案問題

此前，rollup 設計迭代主要集中於創建一個證明並使系統適配它。這種方法導致對不斷變化的技術缺乏靈活性和適應性。由於這種設計，L2 市場主要圍繞 optimistic 證明（樂觀證明）和 validity 證明（有效性證明）展開爭論。

在設計"Bedrock"時，我們希望改變這種局面。我們將模塊化作爲 Bedrock 升級的核心設計原則，構建了一個可以適應多種證明類型的系統，爲開發者提供更安全和面向未來的證明解決方案。

解決方案：模塊化設計、靈活性和安全性

將多個證明整合到 OP Stack 中的能力帶來了諸多好處，其中安全性最爲顯著。擁有多個證明可以防止任何單一證明中的錯誤成爲系統缺陷。這類似於 L1 客戶端的多個實現如何提供更好的整體安全性。

Bedrock 的模塊化設計已經促使 Optimism 生態系統中出現了多種 L2 客戶端實現，這在 L2 領域尚屬首次。我們正在擴展這一理念，允許 OP Stack 包含多個證明。這爲向 OP 主網或其他 OP 鏈添加零知識（ZK）有效性證明開闢了道路，並確保了與未來技術發展的兼容性。OP Stack 的模塊化設計使其能夠在安全且經過實戰測試的情況下輕鬆採用新技術，而無需對代碼庫進行重大更改。

工作原理

OP Stack 中的證明系統通過標準化的鏈上 API 和鏈下參與者實現模塊化。這允許混合和匹配爭議合約，方便交換證明方案。

標準化的鏈上 API

通過標準化鏈上 API，Bedrock 使交換證明方案成爲可能，只要它們實現了標準化的 API。這意味着可以動態添加新的證明方案，甚至可以創建一個 m-of-n 方案，其中需要多個證明方案來運行橋接。

標準化鏈外參與者

鏈下參與者或機器人與爭議合約進行通信。該系統創造了最大可提取價值（MEV）機會，以激勵誠實行爲並保護系統，同時保持了參與爭議遊戲應該總是有利可圖的原則，作爲確保其持續進行的激勵。通過這種模式，我們正在創建一個開放的監控參與者網路，這些參與者可以介入解決爭議，以確保系統的安全。

目前正在研究標準化鏈下參與者的兩種實現方案。

未來屬於超級鏈

Bedrock 升級及其對多重證明的支持符合我們對可擴展網路的願景，該網路不會破壞我們的生態系統、應用程序或協同工作的能力。作爲唯一一個爲多客戶端、多證明的簡單性而設計的 L2 生態系統，Optimism 將引領行業走向一個更安全、更適應、更協作、更樂觀的未來。