zkEVM生态系统历经一年攻坚实现性能飞跃,以太坊区块证明时间从16分钟骤降至16秒,成本降幅达45倍,参与的zkVM已能在目标硬件上10秒内完成99%主网区块证明。
12月18日,以太坊基金会(EF)宣布实时证明机制落地、性能瓶颈清除,但强调真正的挑战在于可靠性,速度缺乏安全支撑将沦为负担,且多款基于STARK算法的zkEVM依赖的数学猜想近月已被证伪,导致安全级别下降。
EF此前于7月设定实时证明综合目标,涵盖延迟、硬件、安全等多维度,目前已通过EthProofs基准测试达标。
其核心转变在于从追求吞吐量转向可证明安全性,明确L1级zkEVM需达成128位安全标准,与主流加密规范接轨,因伪造证明可能导致代币伪造、L1状态篡改等致命风险,安全边际不可协商。
EF同步公布三阶段安全路线图:
- 2026年2月底前,所有zkEVM团队需将证明系统接入EF的soundcalc安全评估工具,统一安全测算标准;
- 5月底前达成Glamsterdam标准,实现100位可证明安全等过渡目标;
- 12月底前完成H-star最终目标,达成128位可证明安全,且需提供递归拓扑结构的形式化安全论证。
为实现目标,EF提及WHIR、JaggedPCS等核心技术工具,可通过优化证明生成、避免算力浪费等提升效率,同时借助递归拓扑等技巧缩小证明规模。
但当前仍存多重挑战,实时证明尚未落地链上,验证者实际运行效果存疑;安全参数随数学猜想证伪需动态调整;部分团队能否按期达标未知;递归架构的形式化验证项目尚处早期,生态发展不均衡。
值得关注的是,达标后的zkEVM可支撑以太坊提高Gas限制,在保障质押可行性的同时提升区块容量,推动L1成为可信结算层,并模糊L2与L1执行的边界。
如今性能冲刺已结束,zkEVM生态的核心命题已转变为,在不依赖易失效猜想的前提下,实现足够可靠的安全证明,以支撑千亿级资产规模,当下安全竞赛正式拉开帷幕,这将成为2026年以太坊的主旋律。
