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年以太坊的主旋律。
