Vitalik Buterin: zkEVM speed race is over, security must come first
- —Buterin congratulated the zkSync airbender team on its milestone
- —He said the zkEVM "speed race" has been fully won
- —The focus should now shift to formal security verification
- —Equivalence of arithmetization to the Ethereum spec must be proven
Why it matters: Shifting zkEVM priorities from speed to provable security could accelerate institutional trust in L2s and their integration with Ethereum.
Source: PANews
More on this
DeFi · Sep 17Vitalik Buterin: AI will make it possible to prove software security in full
Security · Sep 20Vitalik Buterin: AI won't break crypto security, it will strengthen defense
Security · Sep 18Vitalik Buterin: AI hacking threat overstated, formal verification will strengthen security