RecodeX 重构消息，以太坊联合创始人Vitalik Buterin发推向Airbender团队表示祝贺，并称zkEVM的速度之争已彻底结束，其首要任务应全面转向安全。他指出，这意味着需要对三方面进行形式化验证：算术化与以太坊规范的等价性、证明成本与区块Gas量之比的硬性上限，以及证明系统本身的安全性。