Update
Vitalik Buterin: zkEVM Speed Race Definitively Won
Vitalik Buterin, Ethereum co-founder, announced that the speed race for zkEVM (Zero-Knowledge Ethereum Virtual Machine) has been definitively won by ZKSync's Airbender Prime benchmark. As a result, the priority has shifted to formal security guarantees.