我最近非常确信以太坊 Rollup 的未来实际上 ZK 和 Optimistic 这两种主要方法的混合。在这篇文章中，我将尝试阐述我想象中的这个架构的基本要点，以及为什么我相信这是我们应该前进的方向。请注意，我大部分时间都在研究 Optimism，也就是 Optimistic Rollup，但我并非 ZK 专家。如果我在谈论 ZK 方面有任何错误，请随时联系我指出，我会更正。

我并不打算在这篇文章里详细叙述 ZK 和 Optimistic Rollups 的运作原理，如果我要花时间去解释 Rollups 的本质，那么这篇文章将会过于冗长。所以这篇文章是基于你已经对这些技术有一定的了解，当然你不需要是专家，但至少应该知道 ZK 和 Optimistic Rollups 是什么以及他们大概的运作机制。无论如何，请尽情享受阅读本文。

我们先从 Optimistic Rollup 开始谈起

混合了 ZK 和 Optimistic Rollup 的系统最初是以 Optimism 的Bedrock 架构为蓝本的 Optimistic Rollup。Bedrock 被设计成与以太坊最大程度的兼容（「EVM 等效」），这是通过运行一个几乎与以太坊客户端完全相同的执行客户端来实现的。Bedrock 利用以太坊即将到来的共识/执行客户端分离模型，显著减小了与 EVM 的差异（当然这过程中总会有一些变化，但我们可以处理）。

和所有优秀的 Rollup 一样，Optimism 从以太坊中提取区块/交易数据，然后在共识客户端中以某种确定的方式对这些数据进行排序，并将这些数据馈送到 L2 执行客户端进行执行。这种架构解决了"理想的 Rollup"谜题的前半部分，并为我们提供了一个等效于 EVM 的 L2。

当然，我们现在还需要解决的问题是：以可验证的方式将 Optimism 内部发生的事情告诉以太坊。如果这个问题没有解决，智能合约就无法根据 Optimism 的状态来做决定。这将意味着用户可以向 Optimism 存款，但无法提取他们的资产。虽然某些情况下单向 Rollup 是可以实现的，但在大部分情况下，双向 Rollup 更为有效。

通过提供对该状态的某种承诺，以及证明该承诺是正确的证据，我们就可以将所有 Rollup 的状态告知给以太坊。换句话说，我们正在证明「Rollup 程序」被正确执行。ZK 和 Optimistic Rollups 之间的唯一实质性区别就是这个证明的形式。在 ZK Rollup 中，你需要提供一个明确的零知识证明来证明程序的正确执行。而在 Optimistic Rollup 中，不提供明确的证据就可以对承诺做出声明，通过挑战和质疑你的声明，其他用户可以强制你参与一场来回推敲和挑战的「游戏」，以此确定最终谁是对的。