以太坊技术再突破：2026年能否实现安全与性能的双重飞跃？

以太坊在zkEVM生态系统的技术推进中取得了重要进展，历经一年攻坚，区块证明时间从16分钟缩短至16秒，成本降幅达45倍。目前，参与的zkVM已能在目标硬件上10秒内完成99%主网区块证明。

12月18日，以太坊基金会（EF）宣布实时证明机制成功落地，性能瓶颈得以清除。然而，EF强调真正的挑战在于可靠性，速度若缺乏安全支撑将适得其反。此外，近期多款基于STARK算法的zkEVM依赖的数学猜想被证伪，导致安全级别下降。

今年7月，EF设定了实时证明综合目标，涵盖延迟、硬件和安全等多维度。目前，这些目标已通过EthProofs基准测试达标。

此次技术推进的核心转变是从追求吞吐量转向可证明安全性。EF明确指出，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年以太坊发展的主旋律。