ZK支出超6000万，zkRollup崛起

聚焦零知识证明：L2 在 ZKP 上的支出已超 6000 万美元，zkRollup 逐渐崛起

本文将深入探讨零知识证明（Zero-Knowledge Proofs，简称 ZKP），这项技术在我们这个行业中虽然重要但却鲜为人知。在这篇文章里，我们将从 ZKP 的增长、应用情况、网络健康以及在应用和基础设施层面的竞争动态等方面进行详细分析。

为什么这很重要呢？因为要让加密应用在全球范围内真正成为主流，区块链必须变得更加可扩展和高效。对于以太坊及其社区来说，这意味着需要积极采用第二层扩展解决方案。像 Optimism、Arbitrum 和 Base 这样的 L2 解决方案是这一领域的先驱，它们已经成为加密用户和应用的主要平台，锁定了数十亿美元的价值，并拥有数百万活跃地址。

与此同时，零知识证明（ZKPs）则代表了另一种重要的扩展解决方案突破。理论上，它们的性能可以远超现有基础设施，并支持多种新型应用。虽然这一领域仍处于起步阶段，但由于其快速发展，我们认为它值得关注。虽然现在判断还为时过早，但链上数据已经显示出加密货币正在向零知识证明（ZKPs）转变的趋势，从 ZKP 应用开始，然后是支持 ZKP 的基础设施，比如 Rollups。我要特别感谢 NEBRA 和 OurNetwork 团队，以及核心数据贡献者 Jackie（Dune）和 Brandyn（OurNetwork），没有他们的支持，这一切都无法实现。让我们通过数据来展示这一转变吧。

ZKP：行业健康

Layer 2 解决方案在零知识证明（Zero-Knowledge Proofs）上的总支出已超过 6000 万美元。这是个不小的数目，显示出行业对 ZKP 的重视和投入。

Linea 生成了 2320 万个 ZKP 交易，来自 550 万用户。在 ZKP 用户采用方面，Linea 正在成为一条“成功”的链。在过去 30 天中，该 L2 以 177 万独立活跃地址位居榜首，其次是 zkSync 的 130 万和 Scroll 的 95 万。

基础设施使用 ZKP 的数量是应用使用的 250 倍以上。至今，已经有 1660 万个地址通过基础设施，特别是 zkRollups，触发了 ZKP 交易，而通过应用触发 ZKP 交易的地址仅有 62,780 个。这说明基础设施对 ZKP 的依赖和使用远高于应用层面。

前五大 Optimistic Rollups 在活跃地址方面仍然主导 zkRollups，比例为 4；然而，zkRollups 在今年与以太坊 L1 的活跃地址数量接近平衡。前五大 Optimistic Rollups 的活跃地址在今年增长，从 2024 年 1 月的 380 万（实际上低于 zkRollups 的 480 万）增长到超过 1780 万。尽管许多 zkRollup 链仍待推出，但值得注意的是，这些解决方案在每个完整月份中已吸引了超过以太坊 L1 一半的地址——截至 7 月，zkRollups 的活跃地址仍占以太坊 L1 和前五大乐观 Rollups 市场份额的 13%。

像 NEBRA UPA 这样的证明聚合协议显著提高了带宽，并降低了链上零知识证明的成本。例如，在当前版本的 NEBRA UPA 中，Groth16 证明的验证成本从 300,000 gas 降低到 18,000 gas，成本降低超过 15 倍。这与数据可用性协议（如 4844、Celestia、EigenDA 和 Avail）降低数据可用性成本的方式类似。

此外，证明聚合可以实现维塔利克·布特林所称的“证明奇点”，即每个区块仅包含一个聚合证明。证明聚合不仅用于减少链上 ZKP 验证的成本，还能实现 zkRollups 之间的原生互操作性和共享结算。

NEBRA 在以太坊主网上推出 UPA 及其未来的 Rollup 操作系统，标志着整个 ZK 领域的重要突破。随着证明奇点的到来，ZK 和区块链的未来将更加光明。想象一下，如果证明能够被聚合，以太坊将节省超过 3900 万美元的成本！

概念：

零知识证明 (Zero Knowledge Proofs) 允许用小型密码学证明来验证任意计算，并提供隐私保护。应用程序和基础设施通常有两种使用零知识证明的方式：

保护隐私

隐私保护应用：在数据流方面，当零知识证明用于隐私保护应用时，证明的生成需要在客户端进行，以避免泄露敏感用户信息（如私钥）。在这些应用中，用户控制的客户端（无论是浏览器还是在手机上运行的应用）会直接向区块链提交证明。示例：基于 ZK 的身份解决方案，例如 Worldcoin。

扩展解决方案：当零知识证明用于扩展时，证明的生成通常不需要用户的敏感数据。因此，证明生成可以委托给更强大的服务器或公共云。一些扩展解决方案利用 GPU 加速来提高证明生成的吞吐量和延迟。示例：zkRollups，例如 zkSync、Polygon zkEVM、Scroll、Starkware 和 Linea。

方法论：

通过这个仪表板，我们正在测量三个关键指标：

证明总结算费用 (Total Settlement Fees, TSF)：指用户或扩展解决方案为在链上验证零知识证明而支付的 ETH 总额。这些费用通常可以分解为调用 EVM 的密码学相关预编译（稍后会详细说明）。

链上交易数量：验证零知识证明的交易数量。

活跃用户数量：使用 ZK 证明的用户数量。

我们如何测量？我们在以太坊的 Dune 索引数据上实现了查询，以获取 ZKP 验证的 gas 支出。通过识别正确的合约和交易调用方法，我们确定了相关的内部调用（请参见本节中带注释的数据方法论）。这些支出主要来自调用以下预编译：