以太坊正准备在不运行区块的情况下验证区块——以下是其运作方式

Ethereum 核心架构内部正在发生一个微妙但影响深远的变化。网络正在准备一条替代路径,验证者不再通过重新执行每笔交易来验证区块,而是通过验证零知识证明来确认正确性。

这项工作位于 Ethereum 2026年的Layer-1路线图中,代表了共识达成方式的结构性变化,而不是在边缘添加的新扩展功能。

在 Ethereum 基金会成员 ladislaus.eth 概述了 L1-zkEVM 设计的进展后,该提案公开浮出水面。这一转变不会改变区块的生成方式或用户在链上提交的内容。相反,它改变了验证者决定区块是否有效的方式。首个 L1-zkEVM 研讨会定于2026年2月11日举行,标志着围绕这一工作的正式协调开始。

从完全重新执行到证明验证

目前,任何想要证明区块的验证者必须重新执行其中的每笔交易。每个节点独立地重复相同的计算,检查相同的状态转换,并存储相同的执行状态。这种模式自 Ethereum 创世以来一直存在,但它随着活动线性扩展。更高的gas限制会增加每个参与者的计算负载、状态大小和带宽要求。

正在开发的替代方案用加密验证取代重复计算。验证者不再重新运行交易,而是验证一个紧凑的零知识证明,显示执行已正确执行。无论区块内部有多复杂,验证时间都保持大致恒定。这是 zkEVM 证明背后的核心理念,现在正直接工程化到 Ethereum 的共识工作流程中。

L1-zkEVM 管道如何运作

在当前设计下,执行客户端生成一个执行见证(Execution Witness),这是一个自包含的数据包,足以验证区块的状态转换而无需持有完整的执行状态。标准化的访客程序使用该见证并检查执行的正确性。zkVM 运行此程序并生成证明,证明执行遵循了 Ethereum 的规则。

然后,共识客户端可以验证该证明,而不是调用完整的执行客户端。选择这条路径的验证者被称为 zkAttesters。重要的是,这条路径是可选的。验证者可以继续像今天一样重新执行区块。

这一机制在 EIP-8025(可选执行证明)中被正式化。该提案不需要硬分叉,也不强制验证者采用基于证明的验证。它在重新执行旁边添加了一条并行验证路径。

共识集成和客户端多样性

EIP-8025 规定了证明如何在点对点网络中传播。来自不同客户端实现的执行证明在专用主题上传播。在处理区块时,zkAttester 可以验证这些证明,而不是调用执行客户端。

当前的工作假设是3/5阈值。一旦五个独立证明中有三个验证成功,区块的执行就会被接受。这个阈值可能会演变,但意图很明确:在允许基于证明的验证的同时保持执行客户端的多样性。多样性仍然是协议级别的特性,而不是操作选择。

为什么这对验证者很重要

zkAttester 不需要存储执行状态或同步完整的执行层链。同步简化为下载自上次最终确定检查点以来的最新证明。这大大降低了参与共识的硬件要求。

对于单独质押者和家庭验证者来说,这是实质性的。今天运行验证者需要同时维护共识客户端和资源密集型执行客户端。证明验证取代重新执行,减少了存储、计算和带宽需求。这降低了进入门槛,而不会削弱验证保证。

影响超越了证明者。因为 zkEVM 证明是无状态的,在消费级硬件上本地验证 Ethereum 再次变得更容易访问。"不要信任,要验证"的原则得到加强而非削弱。

依赖关系和时间约束

有一个先决条件很重要。证明生成需要时间,如果没有流水线,时间窗口太紧。这就是 ePBS(内置提议者-构建者分离)变得相关的地方。针对即将到来的 Glamsterdam 硬分叉,ePBS 将证明窗口从大约一到两秒延长到大约六到九秒。这一延长使单槽证明生成变得更加现实。

没有 ePBS,L1 证明验证仍然受到限制。有了它,设计在操作上变得可行。

谁会受到影响

执行层客户端团队获得了新的证明表面,每个客户端都成为潜在的证明源。证明者设计仍然是一个悬而未决的问题。将证明集中在一小部分复杂的构建者中会引入活性风险,而完全分布式证明会带来性能和协调挑战。设计目标很明确:证明必须在大型数据中心之外保持可行性。

已经证明 Ethereum 区块的 zkVM 供应商获得了一个标准化接口来构建。Layer-2 团队也从中受益。一旦执行证明被验证者验证,相同的证明可以通过共享基础设施服务原生rollups。

最终,用户受益于更便宜的验证、更广泛的验证者参与,以及更高的可行gas限制,而不会有中心化压力。

当前状态

EIP-8025 已进入 consensus-specs 功能分支,正朝着提案状态推进。2026年的 L1-zkEVM 路线图现已公开,涵盖执行见证标准化、zkVM 接口、共识集成、证明者基础设施、基准测试和正式安全验证。

2026年2月11日的研讨会标志着这些轨道之间重点协调的开始。这不是一个引人注目的升级,但它是基础性的。如果 Ethereum 在不扩展验证者要求的情况下扩展其执行层,这就是实现方式。

帖子《Ethereum 正准备在不运行区块的情况下验证区块 – 以下是方法》首次出现在 ETHNews 上。