Vitalik says the zkEVM speed war is over! 🚀 Focus now shifts to security: 1) Equivalence to Ethereum specs, 2) Verification cost bounds, and 3) Proof system security. Time for formal verification! #zkEVM #Ethereum #Security

Vitalik Buterin: zkEVM speed race won! Focus now shifts entirely to security. Key areas: formal verification of arithmeticization, verification cost bounds, & overall system security. Crucial transition from performance to robust safety. #zkEVM #Ethereum #BlockchainSecurity