Vitalik: zkEVMs have achieved a decisive victory in speed competition, and the primary task has shifted to security

Vitalik posted on the X platform to congratulate the @zksync Airbender team for achieving this milestone. He believes that the speed competition of zkEVMs has achieved a decisive victory, and the primary focus should shift entirely to security.

Vitalik stated that this means there is a need to formally verify the equivalence of arithmetic and Ethereum specifications, the hard upper limit of the ratio of prover costs to total block Gas, and the security of the proof system itself.