OP Stack 的多重证明设计

OP 主网升级到 Bedrock 后，已经可以将多个证明方案合并到其设计中。这种做法遵循了区块链生态系统中客户端多样性的逻辑，使 OP 主网成为一个模块化的区块链，能够实现证明方案的多样性。使用 OP Stack 和 Bedrock 的模块化设计，开发者可以快速利用各种现有的证明，并确保系统能够适应未来的创新。

Rollup 设计中的证明方案问题

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

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

模块化设计带来的优势

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

多重证明实现是技术去中心化的一种形式，其主要优势在于能够抵御网络中的错误。如果多个独立团队或利益相关者维护一个实现，还会导致某种形式的社会去中心化，各方利益都被纳入网络路线图的考虑范围。

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

工作原理

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

标准化的链上 API

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

标准化链外参与者

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

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

面向未来的超级链

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