历经一年的技术攻坚，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年以太坊发展的主旋律。
以上就是以太坊（ETH）完成又一项重要技术推进 2026年能否迎来飞跃？的详细内容，更多关于以太坊升级：2026年飞跃前夜？的资料请关注其它相关文章！