L1-zkEVM 2026路线图:将zkEVM证明集成到以太坊核心协议

以太坊中文 发布于 2026-01-27 阅读 2

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

由EF的zkEVM团队发布

2025年7月,我们概述了为执行层引入snark证明的初步愿景。那次更新侧重于L1上zkEVM的理论可行性以及zkEVM证明的早期研究。继去年年底关于zkEVM 安全基础 的更新之后,我们现在分享一个具体的 L1-zkEVM 2026年路线图

以下文章描述了以太坊L1支持zkEVM证明作为认证工作流中重新执行的可行替代方案所需的一组里程碑和子主题。这标志着根本性的转变,将zkEVM重新整合到L1治理和基础设施中,从研究转向实施。

高层面计划

要理解未来工作的范围,我们必须审视将证明送达认证者所需的流程。2026年路线图主要聚焦于实现以下端到端工作流:

  1. EL客户端(有状态): 生成一个ExecutionWitness(无状态输入)

  2. zkEVM访客程序: 使用区块和见证数据执行无状态验证

  3. zkVM: 执行访客程序(目标为RISC-V或类似架构)

  4. 证明者: 生成zkEVM执行证明

  5. CL客户端: 消费并验证证明

为使该工作流成为可能,路线图分为六个核心子主题:

执行见证与访客程序标准化

1. 执行见证与访客程序 该路线图的构建块之一是执行层(EL)客户端能够生成一个 ExecutionWitness —— 一种数据结构,包含无状态验证区块所需的所有数据。相关工作正在进行中,以在execution-specs中定义该格式,创建RPC端点(基于debug_executionWitness),并优化访客程序的见证数据。

与此同时,我们将定义 访客程序 本身:即使用EL区块和见证数据以确定状态转换有效性的无状态验证逻辑。该逻辑必须编译为标准化目标,并且是可重现的。

2. zkVM-访客API标准化 一个弹性的生态系统需要多样性,而非依赖单一实现。因此,我们需要标准化zkVM与访客程序之间的接口,允许各种实现互换使用。该标准化工作包括定义最小硬件目标列表、为预编译和I/O创建通用C头文件,并明确指定关于内存布局、程序panic语义、未对齐访问等方面的假设。

共识层集成与证明者基础设施

3. 共识层集成 这些证明的最终消费者是共识层(CL)客户端。我们正在开发对consensus-specs的修改,以允许CL客户端在信标区块验证期间验证zkEVM证明(即zkAttester客户端)。这涉及严格的测试以及对EIP-7870的潜在更新,以适应认证者、全节点,并可能引入新的节点类型。

4. 证明者基础设施 我们正在构建生成和验证证明所需的必要基础设施。这包括将zkVM集成到Ethproofs和Ere中,确保GPU实现完全开源,并建立指标以追踪证明者可靠性。目标是让认证者和证明者无缝使用该基础设施来验证和生成证明。

安全与性能

5. 基准测试与指标 该路线图的一个持续目标就是可靠的基准测试。我们需要理解操作码使用、原生周期计数和证明时间之间的关系。我们还将为访客程序、zkVM和GPU使用建立指标。这些数据将为未来的ZK友好性Gas定价调整提供依据,并帮助定义特定Gas限制下的证明者硬件要求。

6. 安全与形式化验证 L1-zkEVM的安全性仍然至关重要。路线图包括对关键组件(特别是访客程序、标准化目标、SNARK证明者和SNARK验证者)进行形式化验证的计划。我们还计划引入仪表盘以监控测试覆盖率、模糊测试和审计状态。

ePBS的影响: 虽然ePBS(嵌入式提议者-构建者分离)并非L1-zkEVM 2026路线图的直接子项目,但它是zkEVM的关键依赖。没有ePBS,创建证明的时间窗口被限制在1-2秒。随着ePBS的部署(目标为即将到来的“Glamsterdam”硬分叉),该窗口将扩展至6-9秒,显著提高实时证明的可行性。

加入讨论

该路线图是EL团队、CL团队、zkVM开发者、EF协议团队以及社区贡献者合作努力的成果。为深入探讨这些技术规范并协调未来一年的里程碑,我们计划设立一个专门的分组讨论室,并邀请以太坊社区关注并贡献,以将L1-zkEVM带入主网。

要保持参与,请随时联系我们,并加入EthR&D Discord服务器上的#l1-zkevm和#l1-zkevm-protocol频道中的技术讨论:https://discord.gg/CzYbYV3a

  • 原文链接: ethereum-magicians.org/t...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~

相关文章

0 条评论