推出L1 zkEVM #1：实时证明

发布L1 zkEVM #1：实时证明

感谢 Kevaundray Wedderburn、Alex Stokes、Tim Beiko、Mary Maller、Alexander Hicks、George Kadianakis、Dankrad Feist 和 Justin Drake 的反馈和审阅。

以太坊正在全力投入零知识证明。最终，我们希望在栈的各个层级都迁移到使用 ZK 证明，从共识层的签名聚合到具有客户端侧证明的链上隐私等等。但第一步将是 L1 zkEVM。

我们如何在一年内发布 L1 zkEVM

发布 L1 zkEVM 最快、最安全的方式是首先让验证者可以选择运行客户端，这些客户端不再重新执行执行负载，而是无状态地验证由不同 zkVM（每个 zkVM 证明不同的 EVM 实现）生成的多个（比如三个）证明。由于证明验证速度极快且证明大小非常简洁，下载和验证多个证明非常合理，并且允许我们对 zkVM 应用与现有客户端多样性相同的纵深防御。

对于这个最初在链下验证执行证明的计划，我们只需要协议在 Glamsterdam 提供某种形式的流水线处理，以允许更多的证明时间。

最初，我们预计很少有验证者会运行 ZK 客户端。随着时间的推移，它们的安全性将在生产环境中得到验证。随着 EF 也投入资源进行形式化验证、规范编写、审计和漏洞悬赏，我们预计采用率将慢慢增加。

当绝大多数质押者愿意运行 ZK 客户端时，我们可以将 gas 上限提高到需要运行合理硬件的验证者验证证明而不是重新执行区块的水平。一旦所有验证者都验证执行证明，相同的证明也可以由原生 zk-rollups 使用。

为 L1 定义实时证明

执行此计划的最大优势在于，我们能够利用整个 zkVM 行业，使以太坊成为迄今为止世界上最大的 ZK 应用。许多 zkVM 已经在证明以太坊区块，并且每周都有性能突破的消息。

为了维护 L1 的安全性、活性和抗审查特性，以太坊基金会正在提议一个标准化的实时证明定义，供 zkVM 团队努力实现。

在证明系统方面，针对实时证明的 zkVM 应争取达到 128 位安全，我们认为这是以太坊 L1 的长期正确目标。然而，我们愿意在部署初期接受最低 100 位安全，以应对达到 128 位过程中短期的工程挑战。证明大小应保持在 300KiB 以下，且不得依赖使用可信设置的递归包装器。我们期望证明系统在 ZK 客户端投入生产时达到 128 位安全，并随着证明时间减少进一步收紧安全要求（例如关于猜想）。

考虑到当前 12 秒的插槽时间和约 1.5 秒的网络数据传播最大时间，实时意味着 10 秒或更少。我们期望 zkVM 能够在此窗口内证明至少 99% 的主网区块，而剩余部分（以及合成的拒绝服务向量）将通过未来的硬分叉来缓解。

为了维持最高水平的活性和抗审查性，我们的实时证明定义旨在实现“家庭证明”，即目前在家中运行验证者的一些独立质押者可以选择加入证明。尽管我们希望在强制要求验证 ZK 证明之前通过 来加强抗审查能力，但家庭证明是一个重要的最终保障。

由于使用多 GPU 云实例进行云证明已经相当便宜，针对实时证明的 zkVM 团队的重点将主要放在优化在条件更为受限的本地环境运行证明者。本地实时证明的最大资本支出应为 10 万美元（目抢跑一个验证者需要约 8 万美元的质押）。我们预计这个数字会随着时间下降，即使 gas 上限提高。

除了硬件成本，使用 GPU 进行家庭证明最显著的约束是能耗。大多数住宅从街道输入至少 10kW 电力，有些会有专用于家电或电动汽车充电的电路，容量为 10kW。因此，实时证明必须在 10kW 或更低功耗的硬件上实现。

这引出了我们对实时证明的工作定义：

• 延迟：主网区块的 P99 <= 10 秒
• 本地资本支出：<= 10 万美元
• 本地功耗：<= 10kW
• 代码：完全开源
• 安全：>= 128 位
• 证明大小：<= 300KiB，无可信设置

实时证明的竞赛

从现在到 Devconnect Argentina，我们希望看到 zkVM 团队继续创新，朝着实时家庭证明的目标前进，并让领先的 zkVM 成为以太坊未来的核心基础设施。

• 原文链接： blog.ethereum.org/2025/0...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～