Chainfeeds 导读：
2026 年的 L1-zkEVM 路线图已公布。相关工作被拆分为六个子方向：执行见证与标准化程序、zkVM 与执行程序 API 标准化、共识层集成、证明基础设施、性能测试与指标体系，以及安全与形式化验证。
文章来源：
https://x.com/ladislaus0x/status/2020874834855514278
文章作者：
ladislaus.eth
观点：
ladislaus.eth：以太坊基金会 zkEVM 团队最近发布了 2026 年的 L1-zkEVM 路线图。正在构建的流程大致如下：执行层客户端会生成一个 ExecutionWitness（执行见证），这是一个自包含的数据包，包含验证区块所需的全部信息，而无需持有完整状态。一个标准化的程序会读取这个见证并验证状态转移是否正确。随后，一个 zkVM 执行这个程序，证明器生成执行正确性的证明。最后，共识层客户端通过验证这个证明来确认区块，而不是再调用执行层客户端重新执行交易。这里的关键词是「可选」。初始设计不会强制所有人切换，也不需要硬分叉升级。节点仍然可以像现在一样重新执行交易。但那些希望通过验证证明来确认区块的验证者可以选择这样做，这类节点被称为 zkAttesters：它们通过验证 zkEVM 证明来确认区块，而不是运行完整执行层客户端。zkAttester 不需要持有执行层状态，也不需要同步完整执行层链数据。同步过程可以简化为下载最近区块的证明。这将直接降低运行节点的成本。当前，运行验证者需要同时运行共识层客户端和执行层客户端，而后者资源消耗极大。状态存储、区块处理时间和带宽需求都会随着 gas 上限增长。如果用证明验证替代重复执行，就能显著降低参与共识的硬件门槛。影响不仅限于验证者。由于 zkEVM 证明是 “无状态” 的，它可以在不持有完整状态的情况下证明执行正确性和状态转移合法性，这使得个人再次在本地硬件上运行节点并独立验证整条链变得更加容易。这正是去中心化协议最核心的承诺之一。这里还有一个重要依赖：ePBS（协议内提议者 - 构建者分离），预计将在未来的 Glamsterdam 硬分叉中引入。如果没有 ePBS，证明生成的时间窗口只有 1-2 秒，几乎不可能完成实时证明。有了区块流水线机制，这个窗口可以扩展到 6-9 秒，使得在单个 slot 内生成证明变得更加现实。独立质押者和家庭验证者可能是最直接的受益者。作为 zkAttesters，他们不再需要运行完整执行层客户端，几分钟内就能完成同步。证明验证取代重复执行，硬件要求显著下降。执行层客户端团队也获得新的发展路径。每个客户端都可以成为证明目标，多证明子网的设计让客户端多样性不仅被保留，还成为协议结构的一部分。证明端的情况更复杂。证明存在「1-of-N」的活性假设：只要世界上有一个诚实的证明者，链链就能继续运行。最简单的模型是让区块构建者同时承担证明角色，但这可能导致证明能力集中化。若高端构建者退出怎么办？分布式证明网络、家庭级硬件证明能力等问题仍在讨论中。明确的设计目标是：证明能力不应只存在于数据中心。zkVM 厂商（如 ZisK、openVM、RISC Zero 等）也将因此受益，它们正在推动以太坊成为全球最大的零知识应用场景之一。事实上，已经有团队在为以太坊区块生成证明。标准化接口的推进，为它们提供了清晰的开发目标。【原文为英文】
内容来源
