OP Labs：OP Stack 中的多重證明設計及其對生態的影響

原文標題：《Multi-proof design in the OP Stack》

撰文：Mark Tyneway，OP 聯創；protolambda ，OPLabs 研究員

編譯：Yvonne，MarsBit

你已經聽說過多客戶端網絡的安全優勢，但是如果你最喜歡的L2 可以將多個證明方案合併到其設計中呢?這就是OP 主網升級到Bedrock 後的情況。

遵循客戶端多樣性對區塊鏈生態系統有益的邏輯，OP Stack 將OP 主網變成了一個模塊化的區塊鏈，也能夠證明方案的多樣性。在使用OP Stack 和Bedrock 的模塊化設計時，構建者很快就可以利用任何類型的現有證明，並確保系統能夠適應未來的證明創新。

讓我們深入研究這一獨特功能的技術面，並討論其對生態系統的更廣泛影響。

問題：Rollup 設計中的證明方案

此前，rollup 設計迭代主要側重於創建一個證明並使系統適合它。這種方法導致對不斷變化的技術的靈活性和適應性有限。由於這一類型的設計，L2 市場主要圍繞optimistic 證明（樂觀證明）和validity 證明（有效性證明）進行爭論。

在設計「Bedrock」時，我們想要改變這一敘述方式。我們將模塊化作為Bedrock 升級的關鍵設計原則，構建了一個可以適應多種證明類型的系統，為構建者提供更安全和未來的證明解決方案。

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

将多个证明合并到 OP 堆栈中的能力提供了许多好处，其中安全性是最显著的。拥有多个证明可以防止其中任何一个证明中的错误成为范例。这类似于 L1 客户端的多个实现如何提供更好的整体安全性。Vitalik 写了关于以太坊的多客户端理念如何与 zk - evm 交互的文章。在那篇文章中，他指出，多客户端实现是技术去中心化的一种形式，其主要好处是它可以抵御网络中的错误。如果多个独立的团队 / 利益相关者维护一个实现，它还会导致某种形式的社会去中心化。每个团队的利益都被纳入到网络路线图的计算中。

Bedrock 的模塊化設計已經使得在Optimism 生態系統中出現了多種L2 客戶端實現，這是L2 中的第一個。像Vitalik 和以太坊一樣，我們正在擴展這一理念，以允許OP 堆棧包含多個證明。這為向OP 主網或其他OP 鏈( 如Base) 添加零知識(ZK) 有效性證明敞開了大門，並確保了與未來發展的兼容性。 OP Stack 的模塊化設計使其能夠在安全且經過實戰測試的情況下輕鬆採用新技術，而無需對代碼庫進行重大更改。

如何工作?

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

標準化的鏈上API

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

標準化鏈外參與者

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

標準化鏈下actor 的兩個實現正在進行研究。

未來屬於超級鏈

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