概述：基于证明验证的技术框架
EIP-8025允许验证者使用零知识证明来验证区块，而无需重新执行交易。验证者可以在几分钟内完成同步，无需持有执行层状态或运行完整的执行层客户端。五分之三的证明阈值在保持客户端多样性的同时，实现了基于证明的区块验证。增强型提议者-构建者分离机制将证明窗口延长至6-9秒，使得实时证明生成对于L1层面的零知识以太坊虚拟机变得可行。
以太坊正在实施一项重大的区块验证架构变革，从交易重新执行转向零知识证明验证。L1零知识以太坊虚拟机2026年路线图引入了EIP-8025，该提案使验证者能够通过密码学证明来确认区块，而无需运行完整的执行客户端。这一可选框架允许验证者在无需维护执行层状态的情况下验证区块。
基于证明验证的技术框架
新的验证流程通过多个协调步骤运行。执行层客户端生成一个包含区块验证所有必要数据的执行见证，而无需完整的状态存储。随后，一个标准化的客程序会处理该见证以验证状态转换。接着，零知识虚拟机会执行该程序，同时证明者生成正确执行的证明。共识层客户端验证这些证明，而不是调用执行客户端重复计算。
这种方法与当前每个节点独立重新执行每笔交易的方式形成鲜明对比。EIP-8025建立了支持这一转变的共识层机制。来自不同执行客户端实现的证明通过专用的点对点传播网络进行流通。该规范修改了区块处理流程，允许验证者验证证明而非直接执行交易。初步的五分之三阈值要求验证者在接受区块执行有效之前，验证五份独立证明中的三份。
验证者生态系统的广泛益处
独立质押者和家庭验证者获得了最直接的操作改进。验证者消除了运行完整执行层和存储状态的需求。同步过程简化为自上次最终确认检查点以来，仅下载最近区块的证明。
资源节省不止于基本操作。当前的验证者必须同时运行共识客户端和执行客户端，后者消耗大量的存储、处理能力和带宽。这些要求随着燃料限制的增加而线性增长。证明验证则以恒定时间的验证取代了这种线性增长的负担，不受区块活动水平的影响。
多个利益相关者将从这次基础设施转变中受益。执行客户端团队可以在标准化框架内开发作为证明目标的实现。包括RISC Zero、openVM和ZisK在内的零知识虚拟机供应商可以基于清晰的接口进行构建。第二层团队受益于基础设施的融合，因为验证者的证明验证能力使得可以通过执行预编译为原生汇总提供共享的证明基础设施。
发展现状与依赖条件
EIP-8025已被纳入共识规范功能分支，以供最终考虑。2026年L1零知识以太坊虚拟机路线图将工作划分为六个子主题：执行见证与客程序标准化、零知识虚拟机客程序接口标准化、共识层集成、证明者基础设施、基准测试与度量指标，以及形式化验证安全。
该系统依赖于增强型提议者-构建者分离机制。若无该机制，证明窗口仅为1-2秒，这对实时证明生成构成了不切实际的限制。增强型提议者-构建者分离通过区块流水线处理将此窗口延长至6-9秒，使得单区块证明在生产使用中变得可行。
证明基础设施的讨论仍在积极进行中。该设计采用N选一活跃度模型，即一个诚实的证明者即可维持链的运作。证明应保持在数据中心基础设施之外依然可行，这回应了关于中心化的担忧。数家零知识虚拟机供应商已经在证明以太坊区块，展示了在协议集成之前的技术可行性。