OP ZK Hybrid Rollup：以太坊扩容的终极方案？

本文假设你对 ZK 和 Optimistic Rollups 有一定了解。我们将探讨这些技术的运作方式及其未来发展方向。

从 Optimistic Rollup 开始

Optimistic Rollup 的设计以 Optimism 的 Bedrock 架构为基础，该架构旨在与以太坊高度兼容（EVM 等效）。Bedrock 通过运行几乎相同的执行客户端来实现这一点，并利用即将到来的共识/执行分离模型，减少了与 EVM 的差异。

Optimism 提取以太坊的区块/交易数据，在共识客户端中排序并馈送到 L2 执行客户端。这种架构提供了等效于 EVM 的 L2 解决方案。

接下来要解决的是如何以可验证的方式将 Optimism 的状态告知以太坊。这需要提供某种承诺和证明，确保智能合约可以根据 Optimism 的状态做出决策。ZK 和 Optimistic Rollups 的主要区别在于证明形式：ZK Rollup 使用零知识证明，而 Optimistic Rollup 通过挑战机制验证。

最新的挑战技术是将程序编译成简单的机器架构如 MIPS，以便在链上建立解释器。这样可以简化实现过程，创建功能完备的 Optimistic Rollup。

转向 ZK Rollup

我认为 Optimistic Rollups 将在未来几年占据主导地位。虽然有人认为 ZK Rollups 最终会超越它们，但我相信 Optimistic Rollups 的简单性和灵活性使它们可以逐步演变为 ZK Rollups。我们可以通过迁移路径，使现有的 OP 生态系统无缝转变为 ZK 生态系统。

Bedrock 架构中的挑战游戏验证 L2 程序的有效性，但需要预留时间供用户挑战错误结果，增加了资产提取的时间。然而，我们可以为简单机器（如 MIPS）构建 ZK 电路，直接证明 L2 程序的正确执行。这种方法可以在不修改现有代码库的情况下实现。

为什么这个方法可靠？

zkMIPS 相比 zkEVM 更具优势，因为它基于静态且简单的机器架构，无需频繁更改或重新审核电路。此外，zkMIPS 更灵活，允许优化和改进用户体验，而不必更新电路。

减少证明时间

通过专注于简单的机器架构，我们可以显著减少电路的复杂度，从而缩短证明时间。由于 MIPS 架构稳定，我们可以高度优化电路和证明器，而不必担心未来的 EVM 变化。

关注其他重要问题

区块链不仅仅是编写后端代码，还包括提升用户体验和解决开发者痛点。采用 zkMIPS 方法可以解耦客户端和证明团队，使核心平台和证明软件开发并行进行。

结论

我认为 zkMIPS 证明器没有明显不足，只需调整 gas 成本以反映操作码增加的证明时间。如果能大幅优化证明器，zkMIPS/zkVM 方法可能会取代当前的 zkEVM 方法。

本文标签：

声明：本文由代码号注册/游客用户【澜漪】供稿发布，本站不对用户发布的OP ZK Hybrid Rollup：以太坊扩容的终极方案？信息内容原创度和真实性等负责。如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。

很赞哦！ ()