以太坊正酝酿一场验证机制的深度变革——区块确认方式或将不再依赖全节点逐笔重跑交易。以太坊基金会成员ladislaus.eth透露，新方案将用零知识证明（ZK proofs）替代传统的事实核对流程。该计划被编入L1-zkEVM 2026路线图，直接面向全球验证者、开发者和家庭质押者。
区块验证的瓶颈：重执行模式难扩容
当前，每个以太坊验证者必须重新执行区块内所有交易才能确认其合法性。ladislaus.eth指出，随着链上活动膨胀，这一做法的扩展性越来越差。Gas消耗增加直接推高节点对存储、带宽和硬件的要求——运行全节点的门槛持续抬升。
零知识证明方案：验证成本不再随复杂度增长
在提议的新设计中，验证者只需核对加密证明，而无需重新执行交易。证明确认计算过程正确执行，但验证时间恒定——无论区块多复杂，耗时都一样。这一转变的核心是zkEVM技术，它正从应用层走向以太坊核心协议。值得注意的是，新方案并不取代现有验证方法，而是为证明者（attesters）新增一条可选的验证路径。
EIP-8025细节：可选执行证明与zkAttester角色
路线图的关键提案是EIP-8025，正式名称为“可选执行证明”。该提案允许一类特殊验证者——zkAttester——通过检查零知识证明来确认区块，无需运行完整的执行客户端。具体流程为：执行层客户端生成执行见证（execution witness），见证数据输入到zkVM（零知识虚拟机），zkVM产生产出状态转换的正确性证明；共识层客户端随后验证这些证明。来自不同执行客户端的证明会通过专用的Gossip网络传播，zkAttester在收集到阈值数量的证明（当前提议为5个证明中验证3个）后即可接受区块。这种结构既保持了客户端多样性，又大幅降低了验证成本。
路线图时间表与外部依赖
以太坊基金会已确定第一届L1-zkEVM研讨会将于2026年2月11日15:00 UTC举行，会上将覆盖prover基础设施、安全性验证等六大研究轨道。不过，该路线图的推进依赖于另外两��工程：一是“内置提议者-构建者分离（ePBS）”，目标随Glamsterdam硬分叉部署，它将延长证明生成的时间窗口，使得在单个slot内完成实时证明成为可能；二是zkVM团队的实际进展，目前RISC Zero、ZisK、openVM等团队已开始对以太坊区块进行零知识证明的生成测试。EIP-8025现已进入共识规范的功能分支，等待进一步评审。
整体来看，以太坊正在为后合并时代的验证层寻找更轻量、更可持续的方案。如果一切按计划推进，2026年或许会成为L1 zkEVM从实验走向生产的关键节点。