执行见证

本文详细描述了以太坊L1支持zkEVM证明作为重执行替代方案所需的里程碑与子项目。涵盖从执行见证生成、zkEVM访客程序、zkVM-访客API标准化、共识层集成、证明基础设施到基准测试、安全性和ePBS的完整流程。每个项目都明确了目标、产出、依赖关系和工作组，展示了以太坊向零知识证明验证过渡的统筹规划。

以太坊基金会zkEVM团队发布了L1-zkEVM 2026路线图，旨在将零知识证明集成到以太坊共识层，替代传统的重执行验证。路线图涵盖六个核心子主题：执行见证与来宾程序标准化、zkVM-来宾API标准化、共识层集成、证明者基础设施、基准测试与指标、安全形式化验证。其中ePBS升级是关键依赖，可将证明时间窗口从1-2秒扩展至6-9秒。该路线图是EL团队、CL团队、zkVM开发者及社区协作的成果，标志着zkEVM从研究进入实施阶段。