ZK-Rollups 和 Optimistic Rollups 有什么区别？

ZK-Rollups 和 Optimistic Rollups 之间的区别

ZK-Rollups 和 Optimistic Rollups 是区块链生态系统中两个著名的 Layer 2 扩展解决方案，特别是在以太坊中。两者都旨在通过链下处理交易来提高交易吞吐量并降低费用，同时通过链上数据可用性来维护安全性。然而，它们的基本机制和权衡差异很大。

核心验证机制

1. ZK-Rollups 利用零知识证明，特别是 zk-SNARK 或 zk-STARK，来验证批量交易。这些加密证明确认批次有效，而不会泄露任何交易详细信息。
2. 每一批提交到主链的数据都包含一个简洁的证明，可以通过以太坊的智能合约快速验证。
3. 这种即时的密码验证消除了挑战期的需要，从而实现即时终结。
4. 相比之下，乐观汇总假设交易默认有效，并且仅在出现争议时才运行计算。
5. 它们依赖于防欺诈系统，验证者可以在等待窗口（通常为 7 天）期间挑战不正确的状态转换。

交易完成及提现时间

1. 使用 ZK-Rollups，一旦链上接受了有效性证明，交易就被视为立即完成。
2. 由于没有争议期，用户几乎可以立即将资金提取回第 1 层。
3. 乐观汇总要求用户等待挑战窗口到期才允许提款，从而导致更长的延迟。
4. 一些项目实施流动性网络或第三方中继器来缩短取款时间，但这些引入了额外的信任假设。
5. 乐观汇总的延迟源于需要留出时间来提交潜在的欺诈证据。

计算效率和EVM兼容性

1. ZK-Rollups 需要大量的计算能力来生成零知识证明，这使得它们在证明者级别上是资源密集型的。
2. 这种复杂性历来使得实现完全 EVM 兼容性变得更加困难，尽管 zkEVM 等最近的进步已经缩小了这一差距。
3. Polygon zkEVM 和 Scroll 等项目现在提供的环境与以太坊的执行层几乎没有区别。
4. 另一方面，Optimistic Rollups 使用标准 EVM 执行交易，简化了开发人员的采用和智能合约迁移。
5. 它们在事务处理过程中较低的计算开销使得它们在短期内更容易部署。

数据可用性和安全模型

1. 两种汇总类型都在以太坊第 1 层上发布交易数据，确保去中心化和抗审查性。
2. ZK-Rollups 通过有效性证明提供的数学确定性继承了以太坊的安全模型。
3. 即使操作者是恶意的，由于密码保证，无效状态也不能被接受。
4. 乐观汇总依赖于经济激励和诚实验证者的主动监控来检测欺诈行为。
5. 如果所有参与者都离线或无法监控链，则挑战期结束后无效状态可能会变成永久性的。

常见问题解答

问：ZK-Rollups 是否要求用户信任运营商？答：不需要。ZK-Rollups 不需要对操作者的信任，因为有效性证明在数学上保证了正确性。即使是恶意排序器也无法提交欺诈交易。

问：Optimistic Rollups 比 ZK-Rollups 便宜吗？答：一般来说，乐观汇总每笔交易的运营成本较低，因为它们避免了昂贵的证明生成。然而，尽管初始计算成本较高，但 ZK-Rollups 可能会提供更好的长期可扩展性和更快的提款速度。

问：智能合约可以直接与这两种类型的汇总交互吗？答：是的。以太坊上的智能合约可以与 rollup 桥进行通信。然而，由于挑战期，与 Optimistic Rollups 的交互可能需要处理时间延迟，而 ZK-Rollups 支持近乎即时的跨层通信。

问：当今哪种汇总类型被更广泛地采用？答：截至目前，Arbitrum 和 Optimism 等 Optimistic Rollup 拥有更大的锁定总价值和更广泛的 dApp 支持。然而，随着 zkEVM 实施的改进和基础设施的不断发展，ZK-Rollups 正在迅速获得发展势头。