Vitalik: zkEVMs speed competition has won, priority shifts to safety

Vitalik stated in an article on the X platform that the speed competition of zkEVMs has achieved a decisive victory, and the primary task should shift to security, including formally verifying the equivalence between arithmetic and Ethereum specifications, setting a hard upper limit on the ratio of prover cost to total block gas, and proving the security of the system itself.