Vitalik称zkEVM速度之战已胜 首要任务转向安全性

PANews 10月15日消息，Vitalik Buterin在X发文，祝贺zkSync airbender团队达成里程碑，并表示zkEVM的「速度之战」已彻底胜利，首要任务应完全转向安全性。

Vitalik提出三项正式验证内容

Vitalik认为，这意味着需要正式验证三项内容：算术化与以太坊规范的等价性；校验成本与区块内Gas量比值的严格最大上限；以及证明系统本身的安全性。