Vitalik：zkEVM 速度竞争结束，安全优先

Vitalik 在 X 平台发文，祝贺 zksync Airbender 团队取得里程碑进展。他明确表示，zkEVM 的速度竞争已取得决定性胜利，行业首要任务应全面转向安全性。

三大安全方向

  • 形式化验证：验证算术化与以太坊规范的等价性

  • 硬性上限：设定证明者成本与区块 Gas 总量之比的硬性上限

  • 证明系统安全：确保证明系统自身的安全性


Vitalik 的发言标志着 zkEVM 赛道从性能比拼进入安全深耕阶段。