每个 Rollup 都将是 ZK Rollup Succinct 的 Uma Roy 的大胆声明正变得越来越真实。以太坊的 Layer 2——如 Mantle、World Chain 和现在的 Arbitrum——正在通过零知识证明从乐观假设转向加密确定性。 以下是 ZK 如何为 Rollup 带来更快的速度、安全性和效率的原因。👇 ~~ 分析来自 @davewardonline ~~ ZK Rollup 的核心优势 ➢ 更快的最终性和结算——ZK Rollup 将提款和结算时间从 7 天缩短到几分钟。ZK 证明提供即时验证，从而完全消除了争议。 ➢ 增强的安全性和无信任性——ZK 证明是“有效性证明”，它们在数学上保证正确性，这意味着如果它们提交到主网，您可以百分之百信任它们的数据。ZK 的魔力在于快速验证，确保即使在吞吐量扩展时也能保持去中心化。 ➢ 成本降低——证明与完整交易数据相比微乎其微。这种压缩数据的发布带来了显著的成本节省，得益于证明系统，证明者在生成最便宜、最快的证明方面竞争，为链和其用户创造收益。 ➢ 改善 L2 互操作性——由于能够实现更快的结算，zk Rollup 提供了更容易的 L2 之间状态验证，优化跨链应用、原子交换和统一流动性池。更多的 zk L2 创建了一个统一的“超级链”，减少了碎片化。 ZK 证明系统如何工作 如上所述，证明系统通过创建数学证明来推动这些优势，证明交易是有效的而不透露其内容。与其让每条链构建和维护自己的单一证明者，这将锁定固定成本并限制可扩展性，这些去中心化网络将工作外包给独立证明者的竞争市场，从而降低费用，同时提高可靠性和去中心化。 从本质上讲，这些系统通过一个简单但强大的过程工作。证明者获取一批交易并在受控环境中离线重新执行它们。这生成了一个简洁的证明，一个微小的加密数据片段，L1 可以以低成本验证。 这些证明系统通常使用 zkVM，零知识虚拟机以这种可证明的方式模拟区块链执行。将 zkVM 想象成一台安全的计算机，它可以证明它正确地运行了一个程序，而不透露内部发生了什么。 这种预防性的方法从根本上将安全模型从“信任但验证”转变为“永不信任，总是证明”，为每个人节省了时间、金钱和无尽的监控。 为什么是现在？ZK 转型的时机和不可避免性 四五年前，ZK 计算密集、缓慢且昂贵。证明需要几个小时或几天，并且与 EVM 不兼容。 最近的进展改变了一切。更好的加密算法（SNARKs/STARKs）、更快的硬件（GPU）以及以太坊的升级（如 Dencun）使 ZK 变得实用，而不仅仅是理论。 但现在，正如 Uma 在与 @OffchainLabs CEO @sgoldfed 的对话中所说，“ZK 便宜、简单、[并且] 快”，这要归功于专注的团队和竞争的证明者。 虽然 @SuccinctLabs 的证明网络与 @arbitrum 的最终集成需要 DAO 的批准，但其重要性不容小觑。随着 Arbitrum 生态系统确保超过 120 亿美元的 TVL，并作为未来推出（如 Robinhood 的链）的平台，这标志着围绕 ZK 作为最终目标形成共识的关键一步。 这不会一蹴而就，治理和遗留系统会造成摩擦，但随着技术的成熟，轨迹看起来越来越不可避免。 更多的链转向 ZK，Ethereum 的扩展最终目标就越清晰。更快的最终性、可证明的安全性、较低的成本和无缝的互操作性，都是由 ZK 带来的。 随着今天来自 Arbitrum 生态系统的公告，所有的要素似乎都在不断对齐，使 @pumatheuma 的每个 Rollup 都成为 ZK Rollup 的预测成为现实。