当前主要有两种类型的 Rollup：OR 和 ZKR。两者都使用 L1 来实现数据可用性，但每个都有不同的处理状态转换的方法。OR 使用的是欺诈证明：如果向侧链发布了不正确的状态转换，则需要有人检测欺诈并成功地向主网合约发布证明以防止资金损失。相比之下，ZKR 发布了一个密码学证明（证明每个状态转换都是正确计算的）。欺诈交易会被事先排除：欺诈证明将被自动拒绝，就像带有无效签名的常规以太坊交易不会被网络处理一样。在我们看来，ZKR 客观上是更优的并且可能是长期获胜的架构，而 OR 是一种中间解决方案。

正如 zkSync 团队所说，要信任数学，而不是信任验证者。关键的是，ZKR 中的安全性依赖于密码学，而不是博弈论。而大多数 L2 技术，包括 Plasma 和 OR，都依赖于攻击者和诚实方之间的猫捉老鼠游戏。这种类型的安全依赖于对不同参与者行为的假设。这种假设可能会被证明是有缺陷的，因为参与者的行为方式很复杂，而且很难事先预测。除了不可预见的故障模式，博弈论还增加了设计的复杂性。通过从纯密码学中提取安全性，ZKR 提供了更高的可靠性以及简单性，因此我们将其定位为唯一能够为以太坊保驾护航的 L2 方案。

基于有效性证明的架构也使得 ZKR 比基于欺诈证明的 L2 具有更高的资本效率。状态通道需要完全抵押，OR 为了防止出现问题，要求用户在提取资金时锁定大约两周的时间。而对 ZKR 来说，锁定的时间大约只有几分钟。如果我们期望价值数千亿的资本通过 L2 合约生存，那么效率的差异是决定性的。让资本无缝地流向最有价值的地方是 DeFi 成功的核心。当我们迁移到 L2 时，ZKR 是我们保留此属性的最佳选择。

最后，所有 Rollup 的瓶颈将不可避免地变为在 L1 上存储数据的成本。对于那些想要更低成本的人来说，zkPorter 将提供链外数据可用性（见下文），它具有 20,000+ 可用 TPS ，以及像「swap」这样的常见交易可能只需花费几美分。据悉，zkPorter 将在 2021 年第四季度与 zkSync 2.0 一起发布。

与此同时，ZK 证明会变得更加有效，零知识证明社区内的开发和创新速度惊人。ZK 体系结构正迅速成为未来。提高效率的第一个途径是通过更好的软件：在过去的几年里，新的证明系统出现了爆炸式增长，并且在验证时间和证明大小的关键参数上也有了改进。这一趋势没有减弱的迹象，这将不可避免地导致效率的进一步提高。

另一个（独立的）改进向量是硬件：许多团队正在为 ZK 证明构建专门的硬件（FPGA 和 ASIC），而这些工作有望显著提高生成加密证明的效率。换句话说，与其他 L2 体系结构不同，ZKR 受益于主要软件和硬件的发展。如果我们愿意押注摩尔定律，我们可以预期 ZKR 的效率优势只会随着时间的推移而扩大。 (责任编辑：admin)