OP Stack 的多重证明设计

OP 主网升级到 Bedrock 后，引入了将多个证明方案合并到设计中的能力。这一创新遵循了客户端多样性对区块链生态系统有益的逻辑，将 OP 主网转变为一个模块化的区块链，同时实现了证明方案的多样性。

使用 OP Stack 和 Bedrock 的模块化设计，开发者可以快速利用各种现有的证明类型，并确保系统能够适应未来的证明创新。这种方法不仅提高了灵活性，还增强了整体安全性。

Rollup 设计中的证明方案挑战

过去，rollup 设计迭代主要集中于创建单一证明并使系统与之适配。这种方法限制了系统对不断变化技术的灵活性和适应性。因此，L2 市场主要围绕乐观证明和有效性证明展开争论。

在设计 Bedrock 时，开发团队决定改变这一思路。他们将模块化作为 Bedrock 升级的核心设计原则，构建了一个能够适应多种证明类型的系统，为开发者提供更安全、更具前瞻性的证明解决方案。

模块化设计的优势

将多个证明整合到 OP Stack 中带来了诸多好处，其中安全性最为突出。多重证明可以防止单一证明中的错误成为系统的致命弱点，这与 L1 客户端的多重实现提供更好整体安全性的原理相似。

这种方法不仅增强了技术去中心化，还促进了社会去中心化。当多个独立团队和利益相关者维护一种实现时，每个团队的利益都会被纳入网络路线图的考量中。

Bedrock 的模块化设计已经促使 Optimism 生态系统中出现了多种 L2 客户端实现，这在 L2 领域是首次。这一设计为向 OP 主网或其他 OP 链（如 Base）添加零知识（ZK）有效性证明铺平了道路，同时确保了与未来技术发展的兼容性。

技术实现

OP Stack 中的证明系统通过标准化的链上 API 和链下参与者实现模块化。这允许灵活组合争议合约，便于更换证明方案。

标准化链上 API

通过标准化的链上 API，Bedrock 使得更换证明方案成为可能，只要新方案实现了标准 API。这意味着可以动态添加新的证明方案，甚至可以创建需要多个证明方案共同运行的复合系统。

标准化链下参与者

链下参与者或机器人与争议合约进行交互。这种设计创造了最大可提取价值（MEV）机会，以激励诚实行为并保护系统，同时坚持参与争议游戏应该始终有利可图的原则，以确保其持续进行。这种模式正在创建一个开放的监控参与者网络，这些参与者可以介入解决争议，从而确保系统的安全性。

目前，两种标准化链下参与者的实现正在研究中。

展望未来

Bedrock 升级及其对多重证明的支持，符合开发团队对可扩展网络的愿景。作为唯一一个为多客户端、多证明的简单性而设计的 L2 生态系统，Optimism 正在引领行业迈向一个更安全、更适应性强、更具协作性的未来。