RecodeX 重构消息，以太坊联合创始人Vitalik Buterin表示，zkEVM在速度层面的竞争已经分出胜负，接下来的真正考验是证明器（prover）本身。他提到ZKsync的Airbender Prime已能在单块GPU上完成以太坊区块证明，并呼吁行业将重心转向形式化验证，以确保证明系统的正确性与安全性。