以太坊基金会公布了一项分步计划，旨在让以太坊主链通过zkEVM证明验证区块，从而减少验证者自行重新执行所有计算的需求。该提案由以太坊基金会联合执行董事Tomasz K. Stańczak于1月15日通过X平台分享，详细说明了需要在以太坊执行客户端和共识客户端上进行的工程工作，以及新的证明基础设施和安全流程。
L1上的zkEVM——实施计划https://t.co/KLz7PoH6q9
— Tomasz K. Stańczak (@tkstanczak) 2026年1月15日
以太坊L1迈向基于零知识证明的验证
早在去年7月，以太坊基金会就宣布了其"zk优先"策略。目前以太坊验证者通常通过重新执行交易并比对结果来检查区块。该提案提出了替代方案：验证者可通过密码学证明来确认区块执行的正确性。
文件用通俗语言总结了目标流程：执行客户端为区块生成紧凑的"witness"数据包，标准化的zkEVM程序使用该数据包生成正确执行证明，共识客户端在区块验证过程中验证该证明。
第一个里程碑是创建"ExecutionWitness"——一种按区块划分的数据结构，包含无需重新执行即可验证执行所需的信息。该计划要求在以太坊执行规范中建立正式witness格式、一致性测试以及标准化RPC端点。文件指出当前debug_executionWitness端点"已被Optimism的Kona用于生产环境"，同时建议可能需要更适配zk的端点。
关键依赖项是通过区块级访问列表(BALs)改进对区块状态修改部分的追踪。文件称截至2025年11月，此项工作尚未被视作需要回溯移植到早期分叉的紧急任务。
下一里程碑是开发"zkEVM客机程序"，被描述为无状态验证逻辑，用于检查区块与其witness结合时是否产生有效的状态转换。该计划强调可复现的构建流程和标准化目标编译，确保假设明确且可验证。
除以太坊特定代码外，该计划还旨在标准化zkVM与客机程序间的接口：包括通用目标、访问预编译和I/O的通用方式，以及关于程序加载和执行方式的共识假设。
在共识层面，路线图要求修改共识客户端使其能接受zk证明作为信标区块验证的组成部分，配套包括规范文档、测试向量和内部部署计划。文件同时指出执行负载可用性的重要性，其中可能涉及"将区块放入blobs"的方案。
该提案将证明生成视为运营问题与协议问题并重。包含将zkVM集成至EF工具链（如Ethproofs和Ere）、测试GPU配置（包括"zkboost"）以及追踪可靠性和瓶颈等里程碑。
性能基准测试被列为持续进行的工作，明确目标包括测量witness生成时间、证明创建与验证时间，以及证明传播的网络影响。这些测量数据可为未来面向zk密集型工作负载的Gas重定价提案提供依据。
安全方面被标记为永久性任务，计划包括制定正式规范、建立监控系统、实施供应链控制（如可复现构建和工件签名）以及文档化的信任与威胁模型。文件提议建立"执行/叫停决策框架"用于判定证明系统的成熟度是否达到广泛使用标准。
一项外部依赖尤为突出：ePBS（以太坊提议者-构建者分离方案）。文件描述其对于为证明者争取更多时间至关重要。若无该方案，证明者仅有"1-2秒"生成证明；配备后则可延至"6-9秒"。文件用两句话强调了紧迫性："这不是我们正在推进的项目，但却是必需的优化方案"。预计ePBS将在目标于2026年中发布的"Glamsterdam"升级中部署。
若这些里程碑得以实现，以太坊将朝着在L1实现基于证明的验证迈出实质性步伐，而证明生成的时间成本与操作复杂性仍是关键制约因素。
截至发稿，ETH交易价格为3,300美元。
