迈向去中心化：末日火山密钥峰会亮点 - Optimism

今年二月，OP Labs 的工程师和来自 Optimism 集体的核心开发者齐聚一堂，参加了“魔多之钥”峰会。本次峰会的目标是什么？弄清楚如何将 Optimism 的升级密钥带到魔多，并安全地扔进末日火山，使协议在技术上实现去中心化。

与会者花了几天时间研究 OP Mainnet，并规划了一条安全且务实的路径，以实现网络架构关键组件的去中心化。此路径在之前的博客文章中有所概述，该文章描述了 OP Labs 的技术去中心化战略方法，并定义了该路径上的五个关键里程碑。这些里程碑是：无需许可的输出提案（Permissionless Output Proposals）、桥接去中心化（Bridge Decentralization）、Cannon 故障证明程序（Cannon Fault Proof Program）、Cannon 故障证明虚拟机（Cannon Fault Proof VM）和争议游戏集成（Dispute Game Integration）。

本次峰会还包括几个研究密集型的演示，深入探讨了我们技术去中心化里程碑的更细粒度的细节，包括提款声明（Withdrawal Claims）、Cannon 和争议游戏（Dispute Games）。

峰会的重点

为桥接去中心化准备 OP Stack

Mark Tyneway 发表了关于提款声明（Withdrawal Claims）的演讲。在演讲中，他概述了提款声明架构的计划，该架构将实现 OP Mainnet 桥的去中心化。

什么是提款声明？本质上，用户将向 L1 提交一个声明，表明他们可以提款，并且任意的证明系统可以对该声明提出异议或验证该声明。如果在故障证明窗口期内没有争议，或者在将来 OP Stack 具有有效性证明时进行即时验证，则声明有效。该过程需要抵押。用户无需在大量计算和存储上消耗 gas，而是将抵押品与他们的声明一起放置，并在最终确定时期后将其取回。

现有桥的架构包括以下属性：两步提款、消息可重放性、域之间 1:1 映射、单存储证明、L1 和 L2 上相似的代码路径，以及与 Ether、ERC20 和 ERC721 代币的兼容性。提款声明旨在通过删除证明验证代码路径、降低提款成本以及消除输出提交的需求来改进现有桥的架构（这对于第一个技术去中心化里程碑，即无需许可的输出提案 👀 至关重要）。

Mark 指出，这种新架构需要最少的更改：一个新合约、一个已删除合约和一个已修改合约。该设计还遵循 L1 最小差异这一最重要的原则。

重要的是，该架构不依赖于 Cannon 的准备就绪，因为基于多重签名的 `ThresholdAttestationDispute.sol` 可以用于短期实施，同时也允许在 Cannon 的该组件准备好实施时进行争议游戏。

由于峰会上的讨论，提款声明被分为一个包含两部分的项目：无需许可的输出提案的实施，该提案允许用户在不依赖定序器或任何其他中心化基础设施的情况下进行提款。第二部分将是提款声明和桥接去中心化的完全实施。

Cannon

现在是重要时刻了，我们都在等待的时刻。在峰会上，Protolambda 分享了 Cannon VM 的内部结构是如何组合在一起的，以及如何对程序进行故障证明。该程序将无需许可地验证区块，并运行 OP Mainnet 的 rollup 状态转换函数，以从 L1 输入生成 L2 输出。

Cannon 主要由三个组件组成：故障证明程序、故障证明 VM 和争议游戏。该程序旨在确保链下计算的正确性，而虚拟机 (VM) 负责在 Cannon 系统中执行故障证明程序。它支持指令集 MIPS，并通过解决争议游戏中各个故障证明程序步骤的执行来确保 L2 输出的正确性。最后，争议游戏是 Cannon 采用的机制，用于缩小各方之间关于链下计算正确性的分歧。

在他的演讲中，Proto 概述了一些实施风险，例如链上 MIPs 实现和链下 Unicorn MIPS 模拟器之间的差异、内存和寄存器重叠、有限的内存空间、指令实现错误、意外的 Go 运行时行为以及 VM 内存的 MPT 证明的使用。

最后，Proto 讨论了更新 Cannon 以供生产使用需要做什么，包括使故障证明程序成功验证区块、改进链上 MIPS 执行以及将 Cannon 与链上争议游戏集成。他还概述了他开发额外的故障证明 VM，Asterisc 的进展，该 VM 支持 RISC-V 👀

争议游戏

在峰会的最后一次演讲中，Clabby 向与会者介绍了争议游戏（Dispute Games），以及他如何设想这些游戏能够实现 Cannon 的实施。

争议游戏是用于在许多相互冲突的主张中找到正确真相的机制。玩家对他们对真相的看法提出主张，而游戏的目标是从这组主张中识别出唯一正确的真相。

在 OP Mainnet 上实施 Cannon 将涉及两个嵌套的争议游戏：区块哈希二分游戏和执行轨迹二分游戏。区块哈希二分游戏旨在找到多个 L2 链历史记录发散的确切区块哈希，而执行轨迹二分游戏旨在找到状态转换中多个 VM 状态发散的确切指令。这些游戏协同工作以查找和解决系统中的分歧，从而确保Layer2链历史记录的完整性和正确性。

在该系统中，争议游戏被设计为通用的，这意味着我们可以重复使用所有相同的通用争议游戏基础设施来创建块哈希二分游戏和执行轨迹二分游戏。将来还可能开发其他争议游戏类型，例如由有效性证明支持的游戏或由认证证明支持的游戏。

争议游戏允许 Cannon 采用一组相互冲突的主张，缩小到各方不同意的最细粒度的故障点，并确保解决方案以维护网络的安全性和可靠性。

峰会成果以及下一步计划

“魔多之钥”峰会一个非常重要的成果是制定了一项战略，以推动 OP Stack 技术去中心化的进展。设定的里程碑可以并行完成，因此在我们在故障证明上进行迭代的同时，可以在诸如无需许可的输出提案和桥接去中心化之类的基线去中心化里程碑上取得进展。

本次峰会也是让 Optimism 生态系统中的一些领先工程师了解所有需要整合在一起的架构的机会，从而使我们有信心将这些升级密钥扔进魔多。

在接下来的几周内，你可以期待有关 OP Labs 开发人员如何考虑我们去中心化战略中每个里程碑的更详细的技术说明。在那之前，如果你受到启发为 OP Stack 做出贡献，你可以查看我们的文档。

• 原文链接： optimism.io/blog/progres...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～