多重证明设计在 OP Stack 中的应用

多客户端网络的安全优势已广为人知，但如果您最喜爱的 L2 能够在其设计中整合多个证明方案呢？这正是 OP 主网升级到 Bedrock 后的现状。

遵循客户端多样性对区块链生态系统有益的原则，OP Stack 将 OP 主网转变为一个模块化的区块链，同时支持证明方案的多样性。在使用 OP Stack 和 Bedrock 的模块化设计时，开发者可以快速利用各种现有的证明类型，并确保系统能够适应未来的证明创新。

让我们深入探讨这一独特功能的技术层面，并讨论其对生态系统的广泛影响。

Rollup 设计中的证明方案挑战

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

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

解决方案：模块化设计、灵活性和安全性

将多个证明整合到 OP Stack 中的能力带来了诸多好处，其中安全性最为显著。拥有多个证明可以防止任何单一证明中的错误成为致命弱点。这类似于 L1 客户端的多个实现如何提供更好的整体安全性。Vitalik 曾撰文讨论以太坊的多客户端理念如何与 zk-evm 交互。他指出，多客户端实现是技术去中心化的一种形式，其主要优势在于能够抵御网络中的错误。如果多个独立的团队或利益相关者维护一个实现，还会导致某种形式的社会去中心化。每个团队的利益都被纳入网络路线图的考虑中。

Bedrock 的模块化设计已经在 Optimism 生态系统中催生了多种 L2 客户端实现，这在 L2 领域是首创。我们正在扩展这一理念，允许 OP Stack 包含多个证明。这为向 OP 主网或其他 OP 链（如 Base）添加零知识（ZK）有效性证明开辟了道路，并确保了与未来发展的兼容性。OP Stack 的模块化设计使其能够在安全且经过实战检验的情况下轻松采用新技术，无需对代码库进行重大更改。

工作原理

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

标准化的链上 API

通过标准化链上 API，Bedrock 使得交换证明方案成为可能，只要它们实现了标准化的 API。这意味着可以动态添加新的证明方案，我们甚至可以创建一个 m-of-n 方案，其中需要多个证明方案来运行桥接。

标准化链外参与者

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

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

未来属于超级链

Bedrock 升级及其对多重证明的支持符合我们对可扩展网络的愿景，该网络不会破坏生态系统、应用程序或协同工作的能力。作为唯一一个为多客户端、多证明的简洁性而设计的 L2 生态系统，Optimism 将引领行业迈向一个更安全、更适应、更协作、更乐观的未来。