Alex （zkSync）（00:11:33）：

但是，使用欺诈证明无法实现的是一种称为「意志」的构造，这是 StarkWare 率先提出的。意志是链下证明和链上证明的结合。这就是我们使用称为 ZKPorter 的体系结构实现的。这非常有趣，因为它为您提供了 Validium 和 ZKrollup 之间的无缝可操作性，用户可以选择不同的账户属性。具体来说，我们正在做 zkSync，目前在构建 ZKEVM 解决方案。这将作为 zkSync 2.0 启动。zkSync1.0 从去年夏天开始投入使用。我们希望通过通用的可编程性对其进行扩展，并于今年夏天推出 2.0。

Tom （00:12:37）：

棒极了。谢谢你，Alex。还有很多事情要做。Ben，我想把它交给您，因为我知道您可能有一个很好的方式来为我们的一些非技术性听众总结这一点。

Ben （Mechanism）（00:12:47）：

是的。首先，我认为进入这一领域真的很棒。很高兴听到 Optimistic 和 ZKrollup 之间的一些差异和技术折衷，然后是 Optimistic rollup 和 ZKrollup 类型之间的差异。但是要添加一点点背景，并将此讨论放在更广泛的以太坊扩容背景下。我认为 ZKrollup 和 Optimistic rollup 都具有一些重要的属性。我认为可以深入探讨它们之间的不同之处，但是也许一开始就指出它们之间的相似性也很重要。

Ben （Mechanism）（00:13:25）：

ZK 和 Optimistic rollup 以及一般的 rollup 都不同于其他潜在的扩容解决方案，例如侧链。这是因为 rollup 将计算与数据本身分开，并提供了某种确定性。

Ben （Mechanism）（00:13:47）：

因此，从非技术角度讲，这意味着在 rollup 链本身上发生的一切都不是最终的。直到它包含在基于以太坊的链中，它才是最终的。这意味着 rollup 会固有地受到限制。他们没有能力真正强迫接受 rollup 中处理的任何交易。这种限制实际上是一种优势，因为它意味着 rollup 过程中发生的所有事情都有审查过程。在 ZKrollup 的情况下，他们通过以太坊上的加密验证使此过程更加即时。因此，以某种浅薄的比喻来说以太坊基础链具有这种能力，推翻 rollup 交易中处理的任何交易。

Ben （Mechanism）（00:14:33）：

这真的很重要，因为对于其他扩容解决方案（如侧链）而言并非如此。我认为，这就是为什么人们对 rollup 感到非常兴奋，因为他们准备继承以太坊共识的安全属性。他们不需要自己庞大的共识网络。他们依赖以太坊安全性。我认为这是任何技术专家不可否认的一点。这就是我通常对 rollup 的看法。技术差异中的许多分歧很重要。这就是我看待事情的方式。

Ed （Arbitrum）（00:15:21）：

我想我大部分都会同意。我认为，尽管有关 Optimistic rollup 的确定性问题仍然需要澄清一些事情。因为 Arbitrum 的确如此，所以我会让 Optimism 在这方面为自己辩护，但是您可以像在其他系统中一样快地获得以太坊的不可篡改性。我之所以这样说，是因为您作为用户最终考虑是不可篡改，而不是在什么时间点完全确定交易，每个关注的人都知道您的交易将会发生以及结果将是什么。在 Arbitrum 中，这种情况的发生速度与其他任何系统一样快，并且与以太坊一样快。因此，唯一无法以 Layer 1 最终速度或更快的速度了解您的交易的实体是以太坊链本身，对吗？Rollup 的全部目的在于确保以太坊链不必遵循每笔交易的每个细节。但是，一旦提交的要执行的交易记录在 Layer 1 链上，则您的交易就具有了确定性。其结果得到保证。世界上的任何一方，包括您在内，都可以迫使系统正确接受它。因此，您的确可以在 Optimistic rollup 中获得快速的确定性，而实际上，唯一不知道交易结果是什么的一方是以太坊链。Layer 1 链需要更长的时间来完全确认交易的最终结果。 (责任编辑：admin)