第二件事：以太坊执行这些交易并计算结果状态更新。

　　Rollups：Optimistic Rollup 和 ZK Rollup都有什么共同点？

　　如果让每个以太坊节点执行每笔交易，成本势必会非常高，而 Rollups 其实是一类可以显着减轻网络负载的扩展解决方案，交易实际执行并不是在以太坊区块链上完成的，而是转移到 Layer 2（“L2”）上。

　　但是等一下 – Rollups 应该由以太坊保护，不是吗？的确，这些扩容解决方案的安全性离不开以太坊，这意味着即使交易发生在 Layer 2 上，我们仍然需要以太坊用某种方式来保证交易执行的正确性。那么，以太坊如何才能对 Rollups 状态给予批准呢？

　　答案就是：证明。Rollups使用专门的证明来向以太坊证明自己的正确性，即使不执行交易，以太坊也可以验证其正确性。

　　Rollups：Optimistic Rollup 和 ZK Rollup都有什么不同点？

　　这些“证明”看起来很神奇：允许以太坊在不实际执行交易的情况下验证 Rollups 状态。您可能想知道这些证明是什么样子，以及它们在实践中是如何实现的——而这，就是各种 Rollups 风格与众不同的地方。

　　ZK Rollups 使用 有效性证明（validity proofs），它依赖于某一方发布简洁的密码证明，这个“证明”可以确定该方知道以特定状态结尾区块链的有效性。也就是说，“提供证明的那一方”需要执行区块链交易才能知道如何构造证明，然后通过一系列复杂的密码操作来构造“证明”。这些“证明”将由 Layer 1 链上合约进行检查。ZK Rollups的“证明”比较简洁，而且验证交易也相对比较便宜，因此可以直接通过以太坊交易来完成。

　　Optimistic Rollups使用不同类型的证明：欺诈证明（fraud proofs）。顾名思义，Optimistic Rollups 是“积极、乐观 ”的，因为当他们将更新的状态发布到以太坊区块链时，他们根本没有发布任何“证明”。任何人都可以发布一个 Rollup 区块，其中包含关于执行某个交易正确结果的声明，其他节点执行相同交易时，只要不同意第一个节点的主张就可以提出挑战。有效的争议协议可以解决任何分歧，保证正确的一方将赢得挑战。各方有强烈的动机只发布正确的主张，而不是质疑不正确的主张，因此在常见情况下，所有节点都会“简单地”执行所有交易，并且永远不需要调用证明代码——整个过程都由 Layer 1 合约负责管理。

　　好的，那么哪种类型的 Rollup 更好？在本文的其余部分，我们将在几个维度上比较 ZK Rollup 和 Optimistic Rollup，并解释为什么我们认为未来是属于 Optimistic Rollup 的，而且本质上来看，像 Arbitrum 这样的 Optimistic Rollup 可扩展性显然更好。

　　Optimistic Rollup vs. ZK Rollup：成本 (责任编辑：admin)