OP Stack 中的证明系统通过标准化的链上 API 和链下 Actor 实现模块化。

原文标题：《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 将引领行业走向一个更安全、更适应、更协作、更乐观的未来。