Vitalik Buterin says zkEVM speed race is won, urges focus on formal verification and proof security

Vitalik Buterin congratulated the zksync airbender team on a milestone, stating he now considers the battle for speed among zkEVMs to be definitively won. He argued the top priority should shift fully to security. Buterin specified three areas for formal verification: equivalence of the arithmetization to the ethereum spec, a hard maximum bound on prover cost divided by the amount of gas in a block, and the security of the proof system itself.

✨ AI summary of the linked source — not editorial content.

Explore the topic

• Vitalik Buterin