Análise: Buterin diz que corrida para acelerar provas de conhecimento zero no Ethereum foi vencida e defende prioridade à segurança

O cofundador do Ethereum, Vitalik Buterin, afirma que a corrida para tornar as provas de conhecimento zero rápidas o suficiente para o Ethereum foi definitivamente vencida. Buterin diz que a principal prioridade dos zkEVMs deve agora passar a ser totalmente a segurança. O comentário de Buterin veio após a ZKsync afirmar que conseguiu gerar provas em tempo real com uma única placa gráfica.

A avaliação própria da ZKsync constatou que o Airbender Prime gerou 99% das provas em menos de 10 segundos em 7.200 blocos consecutivos da rede principal. O Ethereum adiciona um bloco a cada 12 segundos. A ZKsync diz que nenhum bloco da amostra levou tanto tempo para ser provado. A ZKsync afirma que o ETHproofs, um ranking público de provadores, coloca o Airbender Prime em primeiro lugar no tempo médio de geração de provas. A ZKsync argumenta que requisitos menores de hardware abrem a geração de provas a mais instituições e operadores independentes.

Atualmente, os validadores do Ethereum executam novamente cada transação para verificar um bloco. Provas de conhecimento zero confirmam que uma computação foi executada corretamente sem repeti-la. As provas de conhecimento zero permitiriam que os validadores verificassem uma prova curta. Essa mudança poderia reduzir o trabalho dos validadores por bloco.

Buterin apontou três requisitos para os zkEVMs, sistemas que comprovam a execução do Ethereum. Buterin diz que os zkEVMs devem corresponder às especificações do Ethereum. Buterin diz que os zkEVMs devem limitar o custo de geração de provas em relação ao gas dos blocos. Buterin diz que os zkEVMs devem se basear em um sistema de provas sólido. Buterin quer que cada requisito seja verificado formalmente, ou seja, comprovado matematicamente, e não apenas testado.

Uma geração mais rápida de provas não altera diretamente o preço do Ethereum. O Airbender Prime é uma ferramenta da ZKsync, e não uma mudança no protocolo do Ethereum. O Airbender Prime não altera a oferta de ETH, as taxas nem as recompensas de staking do Ethereum. Qualquer efeito sobre o preço provavelmente viria mais do sentimento em relação ao roteiro do Ethereum, além das condições macroeconômicas e dos fluxos de fundos.

A questão mais ampla é a credibilidade. A ZKsync promove a tecnologia a bancos, argumentando que nem mesmo um servidor invadido conseguiria fazer com que uma atualização do livro-razão que viole as regras fosse validada. Um provador rápido com uma falha frustraria esse objetivo. A verificação formal e as auditorias podem agora determinar em quais zkEVMs o Ethereum pode confiar.