以太坊计划让验证者使用零知识证明验证区块，而不是重新执行每笔交易。
EIP 8025 引入了可选的执行证明，使验证者可以以恒定成本和更轻的硬件验证区块。
L1 zkEVM 路线图依赖于 ePBS 和 zkVM 团队，已在 2026 年推出之前证明以太坊区块。
以太坊正在准备一场重大的验证机制改革，可能会改变网络确认区块的方式。以太坊基金会成员 ladislaus.eth 表示，这一转变用零知识证明验证取代了交易重新执行。该计划在 L1-zkEVM 2026 路线图中提出，面向以太坊全球网络的验证者、开发者和家庭质押者。
目前，每个以太坊验证者都需要重新执行每个区块中的所有交易以确认有效性。然而，ladislaus.eth 表示，随着链上活动的增长，这种方法的扩展性变差。更多的 Gas 使用会增加每个节点的存储、带宽和硬件需求。
根据提议的设计，验证者将改为验证密码学证明。这些证明确认正确执行，无需重新运行交易。值得注意的是，验证时间无论区块复杂度如何都保持恒定。
这一转变依赖于 zkEVM 技术，目前正逐步融入以太坊的核心协议。重要的是，这一变化并不取代现有方法，而是为验证者增加了一条可选的验证路径。
该路线图的核心是 EIP-8025，即可选的执行证明。该提案允许验证者（称为 zkAttesters）通过检查零知识证明确认区块，无需运行完整的执行客户端。
根据设计，执行层客户端生成执行证明（witness），这些证明输入 zkVM，产生正确状态转移的证明。共识层客户端随后验证这些证明。
来自不同执行客户端的证明会在专用的 gossip 网络中流通。验证者在验证达到一定阈值（目前建议为五个中的三个）后接受区块。这一结构既保证了客户端的多样性，又降低了验证成本。
以太坊基金会已安排在 2026 年 2 月 11 日 15:00 UTC 举办首场 L1-zkEVM 研讨会。会议将涵盖六个研究方向，包括证明者基础设施和安全验证。
值得注意的是，路线图依赖于已确立的提案-构建者分离（ePBS）。ePBS 计划在 Glamsterdam 硬分叉中实现，延长证明生成时间窗口。这一变化使得在单个区块内实现实时证明成为可能。
随着开发的推进，zkVM 团队如 RISC Zero、ZisK 和 openVM 已在证明以太坊区块。同时，EIP-8025 现已在共识规范的功能分支中，等待进一步审查。
相关文章
