多证明设计在 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 将引领行业走向一个更安全、更适应、更协作、更乐观的未来。