以太坊升级：零知识证明将重塑第1层架构

以太坊基金会近日发布重大技术路线图，宣布将零知识证明（zk-proof）直接嵌入以太坊第1层网络，标志着其基础设施进入全新发展阶段。此举旨在从根本上解决可扩展性瓶颈，同时增强隐私保护能力，为未来大规模应用铺平道路。

ZK证明如何改变以太坊

根据7月10日发布的官方博客，此次升级将对执行层与验证器机制进行双重重构。核心在于引入“无状态验证”模式：未来验证器无需重新执行区块内全部交易，仅需验证一个轻量级的零知识证明即可确认区块有效性。

为此，以太坊将优化EVM以支持zk证明生成，并在即将推出的Pectra硬分叉中集成EIP-2537等关键改进。专用的zk虚拟机（zkVM）将承担区块有效性证明的生成任务，验证器则专注于简洁证明的校验，大幅降低运行节点的计算负担。

逐步推出：从可选客户端开始

过渡过程将采取渐进策略。初期阶段，验证者可选择部署支持zk证明的新客户端，证明生成将在链下完成。Glamsterdam升级将为证明生成提供更充裕的时间窗口，确保系统稳定过渡。

尽管初始采用率可能有限，但随着新客户端在生产环境中的性能与安全表现得到验证，预计参与度将稳步上升。一旦多数权益集中于基于zk的客户端，以太坊有望安全上调Gas上限，实现真正意义上的无状态运行。

目标与风险并存

基金会设定了明确的技术指标：99%的区块证明需在10秒内完成生成，证明器硬件成本控制在10万美元以下，证明大小不超过300KiB，且系统具备128位抗量子安全性。

然而，新模式也带来新的风险。区块构建与证明生成职责集中于少数专业节点，若出现共谋或服务中断，可能导致网络延迟甚至停滞。因此，去中心化激励机制与容错设计将成为后续重点。