Vitalik称zkEVM速度竞争已定，应转向安全性

深潮 TechFlow 消息，10 月 15 日，以太坊联合创始人 Vitalik Buterin 祝贺 zkSync 团队取得进展，并指出当前证明速度的竞争已基本尘埃落定，zkEVM 的首要任务应全面转向安全性。他强调这包括对算术化与以太坊规范等价性、证明者成本与区块 Gas 消耗量比值的严格上限，以及证明系统本身安全性的形式化验证。

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