撰文：区块链骑士
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 年以太坊的主旋律。
