xmase 發表於 2026-2-12 19:02

以太坊计划在2026年推出L1-zkEVM路线图,进行重大架构变革


[*]以太坊EIP-8025允许zkAttesters通过验证zk证明而无需重新执行每笔交易来验证区块。
[*]首个L1 zkEVM研讨会定于2026年2月11日举行,内容涵盖见证标准、CL集成和证明者设置。
以太坊计划在底层层面改变区块有效性的验证方式。在2026年的L1-zkEVM路线图中,验证可以从重新执行每笔交易转变为验证零知识证明。这种方法允许证明者通过检查密码学证明确认正确执行,而无需重放所有计算。EIP-8025,称为可选执行证明,支持这一方案。节点仍然可以通过完整重执行使用执行客户端验证区块,但也可以采用基于证明的路径并行运行,从而证明者可以验证执行证明并在不运行完整执行流程的情况下继续。

证明流程是该设计的核心。执行层客户端为每个区块生成“执行见证”,该见证包含验证状态转移所需的数据,而无需验证者持有完整的执行状态。接下来,标准化的客程序会消费见证并检查转移规则。之后,zkVM运行客程序,证明者生成证明。最后,共识层客户端可以在区块处理过程中验证该证明。在最近的以太坊升级中,CNF还指出,开发者计划在2026年下半年完成Glamsterdam后,开始Hegota升级的工作。Hegota的讨论包括FOCIL,一种旨在通过区块构建者结束交易审查的分叉选择包含列表设计。以太坊的EIP-8025增加了证明传播和zkAttester选项EIP-8025为共识层处理执行证明设定了机制。来自不同执行客户端实现的证明可以在p2p网络的专用传播主题上传播。因此,证明者可以在处理区块时获取并验证证明,而无需调用执行客户端重新运行交易。多证明模型是当前计划的一部分。在此设置下,证明者可以在验证了同一区块的多个独立证明达到阈值后接受执行。参考的工作参数是3/5阈值,即五个证明中有三个经过验证即可满足条件。不过,阈值会随着测试和安全审查的进行而调整。证明时间也与提议者-构建者分离工作相关。正式确立的提议者-构建者分离(ePBS)可以通过在一个时隙内实现区块流水线,延长证明窗口。有了更多时间,证明生成在正常共识时间内变得更为可行。L1-zkEVM研讨会定于2026年2月11日15:00 UTC举行。会议议程涵盖六个工作轨道,包括执行见证和客程序标准化、zkVM-客接口工作、共识层集成、证明者基础设施、基准测试与指标,以及安全工作(包括形式验证)。本月早些时候,CNF提到Payy Link推出了Payy Network,声称这是以太坊首个也是唯一支持隐私的EVM Layer 2。ERC 20转账默认是私密的,无需智能合约变更,并原生支持EVM钱包。
頁: [1]
查看完整版本: 以太坊计划在2026年推出L1-zkEVM路线图,进行重大架构变革