O cofundador do Ethereum, Vitalik Buterin, diz que a corrida para tornar as provas de conhecimento zero suficientemente rápidas para o Ethereum foi definitivamente vencida. Buterin afirma que a prioridade máxima para os zkEVMs agora deve ser totalmente voltada para a segurança. O comentário de Buterin seguiu à afirmação da ZKsync de prova em tempo real em uma única placa de vídeo.
A avaliação própria do ZKsync constatou que o Airbender Prime entregou 99% das provas em menos de 10 segundos em 7.200 blocos consecutivos do mainnet. O ethereum adiciona um bloco a cada 12 segundos. O ZKsync afirma que nenhum bloco na amostra levou esse tempo para ser provado. O ZKsync diz que o ETHproofs, um ranking público de provadores, classifica o Airbender Prime em primeiro lugar no tempo médio de prova. O ZKsync argumenta que os requisitos de hardware mais baixos permitem que mais instituições e operadores independentes participem da prova.
Os validadores do ethereum atualmente reexecutam todas as transações para verificar um bloco. As provas de conhecimento zero confirmam que um cálculo foi executado corretamente sem repetir o cálculo. As provas de conhecimento zero permitiriam que os validadores verificassem uma prova curta em vez disso. Essa mudança poderia reduzir o trabalho que os validadores realizam por bloco.
Buterin nomeou três requisitos para os zkEVMs, os sistemas que provam a execução do Ethereum. Buterin afirma que os zkEVMs devem corresponder à especificação do Ethereum. Buterin afirma que os zkEVMs devem limitar o custo do prover em relação ao gás do bloco. Buterin afirma que os zkEVMs devem depender de um sistema de prova sólido. Buterin deseja que cada requisito seja formalmente verificado, ou seja, provado matematicamente e não apenas testado.
A prova mais rápida não move diretamente o preço do ethereum. O Airbender Prime é uma ferramenta do ZKsync, e não uma alteração no protocolo ethereum. O Airbender Prime mantém inalteradas a oferta de ETH, as taxas e os recompensas de staking do ethereum. Qualquer efeito sobre o preço provavelmente viria mais através do sentimento sobre a rota do ethereum, juntamente com as condições macroeconômicas e os fluxos de fundos.
O problema maior é a credibilidade. A ZKsync promove a tecnologia para bancos, argumentando que mesmo um servidor comprometido não conseguiria atualizar o livro-razão de forma que viole as regras verificadas. Um prover rápido com uma falha anularia esse propósito. A verificação formal e auditorias podem agora determinar quais zkEVMs o ethereum pode confiar.