故障证明

本文介绍了Cannon，一个创新的EVM等效故障证明实现，支持无损运行EVM于第二层（L2）网络。Cannon利用geth实现，具有较低的事务成本，并通过新型预映像oracle简化状态访问。现阶段，Cannon正在进行漏洞赏金活动，奖励最高达25万美元，以加强其安全性和稳定性。

本文分析了 Base 网络虽具备 EVM 等效性，但在区块时间、Gas 经济学及地址别名等方面与以太坊主网存在关键差异，这些差异会导致 L1 合约直接迁移时产生漏洞。文章详细探讨了 OP Stack 的底层架构、预部署合约的风险、故障证明系统的弱点，并为开发者和审计师提供了一套完整的 L2 安全审计清单。

OP Stack 是一个开源、MIT 许可的框架，用于构建以太坊 Layer 2 链。

OP Labs 团队发布了 `kona` 的 MVP，它是一套便携式的、`no_std` Rust 实现的 OP Stack rollup 状态转换。`kona` 包含 OP Stack 的第一个替代故障证明程序，为 OP Stack 的第二阶段去中心化提供了一个关键的冗余。

本文通过记录构建一个OP Stack L2 Rollup的11周详细过程，揭示了“turnkey”解决方案的实际成本。作者指出，Rollup-as-a-Service供应商所说的4-6周仅能提供默认配置的排序器和桥合约，而非生产级L2。生产级L2需要处理数据可用性、故障证明、桥安全、负载测试等挑战，实际工期约11周。文章按周细致描述了技术选型、基础设施搭建、合约部署、安全加固和数据可用性整合等关键步骤，强调了配置错误和alert阈值问题等容易被忽视的细节

OP主网上提供了经治理批准的、无需许可的故障证明，有了它们，OPStack就进入了第1阶段。对于超级链来说，这是一个具有里程碑意义的里程碑，很快更多的OPStack链将升级以包含此功能，从Base，Metal，Mode和Zora开始。无需许可的故障证明系统[1]允许从OP

这篇文章概述了故障证明的主要功能和优点，详细介绍了其推出计划，并概述了技术去中心化道路上的下一步发展。OPLabs正在帮助OptimismCollective迈向技术去中心化，正如我们在长期**去中心化战略[1]中详细介绍的那样。我们最近更新了基线去中心化的进展[2]，并很高兴地宣布另一

译者的话这篇文章详细介绍了OPStack中的争议游戏和故障证明系统，这些技术对于加强区块链的安全和可靠性至关重要。通过争议游戏，我们不仅可以更深入地理解区块链技术如何通过各种算法和协议保护数据的完整性，还能看到开发者如何在这一领域实验新的解决方案。我希望这篇翻译不仅能帮助读者理解OPS

本文探讨了将保证金（bond）纳入OPStack的故障争议博弈中，以激励参与和诚实行为的理论基础。

本文回顾了Base在2025年第一季度在扩展其链上经济方面的进展，重点关注将gas费用降低到1美分以下的目标。已成功达到25 Mgas/s，是启动时的10倍。目前正朝着在第二季度末达到50 Mgas/s的目标前进。文章还详细分析了关键的扩展瓶颈，并更新了消除这些瓶颈的进展，包括L1数据可用性、客户端执行速度和故障证明。

Base主网已上线故障证明（Fault Proofs），这是其去中心化道路上的关键里程碑。此次升级后，任何人都可以参与Base的安全维护，创建一个更值得信赖和开放的经济体。Base 致力于完全去中心化，与Optimism合作，旨在实现L2的Superchain，共享互操作性、安全性和治理。

Optimism 旨在构建一个统一的 Superchain，通过模块化的 OP Stack 实现链的定制化，并引入 Superchain Registry 和 Blockspace Charters 来提高透明度和治理效率。

本文深入探讨了Optimism Rollup的链下故障证明虚拟机(FPVM) Cannon，它是用Go语言编写的，与链上MIPS.sol协同工作，负责处理争议游戏中更多的步骤。文章详细介绍了Cannon的组成部分，包括ELF加载器、内存和状态管理、MIPSEVM以及见证证明生成，阐述了它们在故障证明过程中的作用，以及如何保证链上和链下VM执行结果的一致性。

OP Labs 工程师和 Optimism Collective 的核心开发者聚集在一起，旨在将 Optimism 的升级密钥安全地放入末日火山，从而在技术上实现协议的去中心化。 讨论了OP Mainnet 桥的去中心化，Cannon VM 的内部结构以及程序如何进行故障证明，Dispute Games的机制。