以太坊基金会规划主网L1上zkEVM证明的路径

Ethereum基金会已发布了一份循序渐进的计划,让Ethereum主链使用zkEVM证明来验证区块,减少验证者自行重新运行每项计算的需要。该提案由Ethereum基金会联合执行董事Tomasz K. Stańczak于1月15日通过X分享,概述了Ethereum执行和共识客户端所需的工程工作,以及新的证明基础设施和安全流程。

Ethereum L1迈向基于zk证明的验证

早在去年7月,Ethereum基金会就宣布了其"zk优先"方法。如今,Ethereum的验证者通常通过重新执行交易并比较结果来检查区块。该计划提出了一个替代方案:验证者可以验证一个加密证明,证明区块的执行是正确的。

该文件以简单的术语总结了预期的流程:执行客户端为区块生成一个紧凑的"见证"包,标准化的zkEVM程序使用该包生成正确执行的证明,共识客户端在区块验证期间验证该证明。

第一个里程碑是创建"ExecutionWitness",这是一个每个区块的数据结构,包含无需重新运行即可验证执行所需的信息。该计划要求在Ethereum执行规范中采用正式的见证格式、一致性测试和标准化的RPC端点。文件指出,当前的debug_executionWitness端点已经"被Optimism的Kona在生产环境中使用",同时建议可能需要一个更适合zk的端点。

一个关键的依赖项是通过区块级访问列表(BALs)更好地追踪区块触及状态的哪些部分。文件指出,截至2025年11月,这项工作尚未被视为足够紧迫以回移到早期分叉。

下一个里程碑是"zkEVM客户程序",被描述为无状态验证逻辑,检查区块与其见证结合时是否产生有效的状态转换。该计划强调可重现构建和编译到标准化目标,以便假设是明确且可验证的。

除了Ethereum特定代码之外,该计划旨在标准化zkVM与客户程序之间的接口:通用目标、访问预编译和I/O的通用方式,以及关于程序如何加载和执行的商定假设。

在共识方面,路线图要求进行更改,以便共识客户端可以接受zk证明作为信标区块验证的一部分,并附带规范、测试向量和内部推出计划。文件还标记执行有效载荷可用性为重要因素,包括可能涉及"将区块放入blob中"的方法。

该提案将证明生成视为一个操作问题,同时也是一个协议问题。它包括将zkVM集成到EF工具(如Ethproofs和Ere)中的里程碑、测试GPU设置(包括"zkboost"),以及追踪可靠性和瓶颈。

基准测试被定义为持续进行的工作,具有明确的目标,如测量见证生成时间、证明创建和验证时间,以及证明传播对网络的影响。这些测量可以为未来针对zk密集型工作负载的Gas重新定价提案提供参考。

安全性也被标记为永久性工作,计划包括正式规范、监控、供应链控制(如可重现构建和工件签名),以及记录的信任和威胁模型。文件提出了一个"通过/不通过框架",用于决定证明系统何时足够成熟以进行更广泛的使用。

一个外部依赖项尤为突出:ePBS,文件将其描述为给予证明者更多时间的必要条件。没有它,该计划表示证明者有"1-2秒"来创建证明;有了它,"6-9秒"。文件添加了一个两句话的框架来捕捉紧迫性:"这不是我们正在进行的项目。然而,这是我们需要的优化。"预计ePBS将在"Glamsterdam"部署,目标时间为2026年中。

如果这些里程碑实现,Ethereum将朝着基于证明的验证作为L1上的实用选项迈进,而证明的时机和操作复杂性仍然是制约因素。

截至发稿时,ETH交易价格为3,300美元。