Vitalik Buterin declarou que a “guerra da velocidade” da zkEVM foi completamente vencida após um marco alcançado pela equipe do zkSync, afirmando que as prioridades de desenvolvimento agora devem mudar inteiramente para a segurança. Ele ressaltou que os benchmarks de desempenho foram suficientemente atendidos e que a verificação formal deve ter precedência daqui para frente. Buterin destacou três áreas específicas que exigem verificação formal: estabelecer a equivalência entre a aritmização e a especificação do Ethereum, impor um limite máximo rigoroso para a razão entre o custo de verificação e o gás do bloco, e verificar a segurança do próprio sistema de provas. Essas medidas visam garantir a integridade de longo prazo do protocolo conforme a tecnologia de conhecimento zero amadurece.