Vitalik Congratulates ZKsync on Technical Breakthrough: zkEVM's Top Priority Should Fully Shift to Security

Ethereum co-founder Vitalik Buterin congratulated the zkSync team on their progress, noting that the current competition in proving speed has essentially been settled, and that the primary priority for the zero-knowledge Ethereum Virtual Machine (zkEVM) should shift entirely to security. He emphasized that this entails conducting formal verification on the equivalence between arithmetization and the Ethereum specification, setting strict caps on the ratio of prover costs to block gas consumption, and formally verifying the security of the proof system itself.