以太坊基金会宣布了一项详细计划,将零知识证明(ZK)技术直接整合至以太坊第一层。这标志着一次旨在显著提升网络可扩展性与隐私性的重大基础设施变革。
根据7月10日发布的博客文章,该项目将对验证者运作方式及以太坊虚拟机(EVM)本身进行根本性改造。最终目标是让验证者只需核对每个区块的单个轻量级ZK证明,而无需重新执行该区块内的所有交易。
改造方案:ZK证明如何重塑以太坊
基金会表示,本次升级聚焦两大变革。首先将优化执行层以支持ZK证明生成,计划在即将到来的Pectra硬分叉中实施EIP-2537等升级。其次将重构验证者逻辑,支持"无状态验证"机制——验证者只需检查这些ZK证明,而无需手动执行区块。
这些改变预计将大幅提升网络吞吐量,同时降低验证节点运营者的算力需求。专业化的ZK虚拟机将负责区块有效性证明,验证者则只需核验这些简洁证明。
分阶段推进:从可选客户端开始
以太坊基金会称,计划首先让验证者可选运行新型ZK客户端来启动进程。初期阶段,执行证明将在链外完成验证。网络协议也需在接下来的Glamsterdam升级中调整,以延长证明生成时间窗口。
预计初期ZK客户端采用率较低。但随着其性能与安全性在主网环境得到验证,参与度将逐步扩大。当网络权益的超多数转向ZK客户端时,以太坊便可安全提升gas上限,使完整区块执行不再必要。
目标与风险
基金会为新系统设定了严格的性能基准:10秒内生成99%的区块证明、证明者硬件成本控制在10万美元以下、证明体积限制在300KiB以内。系统同时瞄准128位量子抗性安全标准。
但该模式也存在风险。生产有效区块的责任将更多转移至专业"构建者"和"证明者",若实施不当可能引发合谋风险或服务中断,导致网络活动停滞。
相关文章