ChainThink message, October 15: According to a post on the X platform, Vitalik Buterin congratulated the Airbender team and stated that the race for zkEVM speed has concluded, and the primary focus should now fully shift toward security.

Vitalik emphasized that future work must include formal verification of arithmetic equivalence with Ethereum specifications, hard upper bounds on the ratio between proof cost and block Gas limit, and the security of the proof system itself.

Previously, ZKsync launched its prover Airbender Prime, claiming it to be the first prover capable of achieving real-time Ethereum proofs on a single GPU.