# zkEVM

以太坊刚刚选择了安全优先于速度——这在长远来看是看涨的
在过去的一年里，zkEVM 世界一直专注于一件事：延迟。
说实话？我们赢了。
证明时间从 16 分钟 → ~16 秒。
现在 99% 的以太坊区块可以在 10 秒内完成证明。
成本大幅下降。硬件目标已达成。
12 月 18 日，以太坊基金会明确表示：
“实时证明已实现。”
但这里的真正要点是
没有可靠性，速度就是危险。
EF 现在划定了明确的底线：
⇒ 不再“假设 X 成立则安全”
⇒ 不再模糊的数学
⇒ 128 位可证明安全，否则不推送到 L1
为什么这很重要：
如果 zkEVM 证明可以伪造，这不是一个漏洞——这是链级的失败。
无限铸币。状态重写。信任崩溃。
这就是为什么 EF 执行严格的路线图：
• 2026 年 2 月：所有 zkEVM 使用单一工具 (soundcalc) 测量
• 2026 年中期：100 位可证明安全 (中期)
• 2026 年底：128 位安全 + 小于 300KB 的证明
这并不是在减缓以太坊的步伐。
这是在让以太坊成熟。
借助 WHIR 等工具、更好的递归和更紧密的数学，生态系统正从：
🚀 “快速演示” → 🧱 “坚不可摧的基础设施”
如果这成功，验证者无需重新执行所有操作。
Gas 限额可以提高。
本地质押依然可行。
L1 + zk 变成现实，而非理论。
短期？更复杂的工程。
长期？以