Vitalik 在 X 平台发文表示，祝贺@zksync 的 Airbender 团队取得这一里程碑。他认为，zkEVMs 的速度竞争已取得决定性胜利，首要任务应全面转向安全性。 Vitalik 表示，这意味着需要正式验证算术化与以太坊规范的等价性、证明者成本与区块 Gas 总量之比的硬性上限，以及证明系统本身的安全性。