Vitalik Buterin propõe limite de custo para provas no Ethereum

Vitalik Buterin defende a criação de um teto rígido para os custos de prova por unidade de gás no Ethereum. A medida visa estabelecer um limite claro para o esforço exigido dos operadores independentes, mesmo em blocos desenhados para serem complexos.

O debate ganha força após avanços recentes na velocidade de provas de conhecimento zero, como os resultados obtidos pela equipe do ZKsync. O uso de uma GPU NVIDIA RTX PRO 6000 permitiu processar quase a totalidade de blocos da rede principal em menos de dez segundos.

A proposta de Buterin foca em três prioridades de verificação formal. O objetivo é alinhar a representação matemática da execução com a especificação do Ethereum e garantir a segurança do sistema de provas.

A análise atual de custos computacionais, detalhada na EIP-7904, foca na execução nativa em CPUs e não abrange a geração de provas ZK-SNARK. O documento sugere que não há necessidade de mudanças nas taxas de gás para a execução otimizada, mas reconhece que a carga de trabalho para gerar provas é distinta.

A rede enfrenta o desafio de manter a previsibilidade do custo de prova enquanto busca aumentar a capacidade de execução. O prazo final para a EIP-7904, que trata da capacidade de processamento, está marcado para o dia primeiro de novembro.