PANews 10月15日消息，Vitalik Buterin在X发文祝贺zkSync airbender团队达成里程碑，并称zkEVM的”速度之战”已彻底胜利，首要任务应完全转向安全性。他认为这意味着需正式验证三项内容：算术化与以太坊规范的等价性；校验成本与区块内Gas量比值的严格最大上限；以及证明系统本身的安全性。