[Com um único GPU, provou-se o Ethereum. Mas o teste real que precisa ser superado é diferente.] O @zksync provou 7.200 blocos consecutivos da rede principal do Ethereum com um único GPU. Desses, 99% foram provados em menos de 10 segundos, e todos os blocos foram provados em menos de 12 segundos. No entanto, segundo as métricas de operação em tempo real da EthProofs, apoiada pela @ethereum Foundation, apenas 2 dos 8 provadores avaliados atenderam aos critérios de elegibilidade da semana mais recente. Esses dois resultados não podem ser comparados diretamente, pois os objetivos e ambientes de medição são diferentes. Pelo contrário, essa diferença revela o próximo desafio da tecnologia ZK. Resumo simples: - O Airbender Prime demonstrou a possibilidade de atender ao ciclo de geração de blocos do Ethereum, de aproximadamente 12 segundos, com apenas um único GPU. - Na operação real de provadores, é necessário considerar não apenas a velocidade de prova, mas também a disponibilidade, falhas de prova e requisitos de hardware. - A longo prazo, a competitividade do zkEVM provavelmente será determinada mais pela verificação de precisão, pelo custo de prova em condições extremas e pela capacidade operacional estável do que pela velocidade de processamento de provas. O Airbender Prime, anunciado pelo ZKsync em 13 de outubro, provou 7.200 blocos consecutivos da rede principal do Ethereum com uma única GPU NVIDIA RTX PRO 6000 Blackwell. Como o Ethereum gera blocos a intervalos de aproximadamente 12 segundos, 7.200 blocos correspondem nominalmente a cerca de 24 horas de blocos. O fato de 99% dos blocos terem sido processados em menos de 10 segundos — incluindo o tempo necessário para preparar os dados de entrada (witness) — é significativo. Se a velocidade de geração da prova for suficientemente rápida em relação à chegada de novos blocos, os verificadores poderão confirmar os resultados da execução por meio de provas criptográficas, em vez de reexecutar todas as transações. Isso reduz potencialmente a quantidade de cálculos necessários para verificação. No entanto, realizar um teste de desempenho com 7.200 blocos é diferente de fornecer provas continuamente em um ambiente operacional real. A EthProofs mede publicamente o desempenho e o estado operacional de vários sistemas que provam blocos do Ethereum em tempo real. Na consulta realizada em 26 de outubro, o painel exibia os seguintes dados: - 8 provadores avaliados; apenas 2 atenderam aos critérios de elegibilidade da semana mais recente. - Taxa de sucesso de provas dentro de 10 segundos em relação aos slots de bloco avaliados: 69,7%. - Proporção classificada como offline: 26,2%. Esses números não são resultados do teste único do Airbender Prime. Trata-se de uma agregação operacional com múltiplos provadores, com diferentes equipamentos, ambientes de execução e critérios de elegibilidade. Contudo, eles demonstram que, para utilizar provas na rede real, é necessário garantir confiabilidade operacional além dos registros individuais de desempenho. Mesmo que um provador leve em média apenas 5 segundos para gerar uma prova, se ele frequentemente interromper ou falhar em processar certos blocos, uma estrutura de verificação que dependa exclusivamente desse sistema será difícil de manter estável. É necessário verificar se outro implementação pode fornecer uma prova quando um provador específico falha e se atrasos no processamento se acumulam quando blocos difíceis chegam em sequência. Também é necessário verificar separadamente os requisitos de hardware. O guia GPU do repositório público do Airbender indica que GPUs são usadas nas etapas básicas e recursivas da prova, enquanto a etapa final da prova exige CPU e cerca de 150 GB de RAM. Não está confirmado se esse documento descreve a mesma configuração utilizada no benchmark mais recente do Prime. Portanto, não é possível determinar o requisito total de memória ou o custo operacional do sistema inteiro com base apenas no resultado do teste com um único GPU. Em 15 de outubro, @VitalikButerin elogiou fortemente o desempenho da equipe Airbender e apresentou três próximos desafios para zkEVM: Primeiro: verificar matematicamente que os cálculos usados na prova correspondem exatamente às especificações reais de execução do Ethereum. Segundo: impor limites rigorosos ao custo da prova em relação ao uso de gás do bloco. Terceiro: verificar a segurança criptográfica do próprio sistema de prova. O segundo requisito está diretamente ligado ao custo operacional real. Mesmo que blocos comuns sejam provados em menos de 10 segundos, e se alguém intencionalmente configurar operações extremamente difíceis dentro do limite permitido de gás? A execução do bloco pode ter sido paga normalmente, mas a geração da prova pode exigir quantidades excessivas de cálculo e tempo. Se tal situação for possível, mesmo que o tempo médio de prova por bloco seja muito curto, será difícil prever a carga máxima que a rede pode suportar com estabilidade. A viabilidade econômica da prova em tempo real depende não apenas do custo médio da prova por bloco, mas também da quantidade máxima de recursos necessária em cenários extremos. A rota da EthProofs também está avançando nessa direção.A fase atual de melhoria de desempenho foi concluída e a fase de verificação de segurança está em andamento. Em seguida, estão planejadas as etapas de integração direta da prova de atraso, prova de obrigação e prova no protocolo. Essa ordem é importante porque criar um sistema de prova rápido é diferente de fazer com que o Ethereum confie nessa prova no processo de consenso. O anúncio do Airbender Prime forneceu evidências fortes de que é possível reduzir a carga de hardware da prova em tempo real. A próxima conquista não poderá ser avaliada apenas por registros mais rápidos. É crucial saber por quanto tempo uma alta taxa de sucesso de prova pode ser mantida em ambiente real, se o custo da prova permanece limitado mesmo no pior bloco e se diferentes implementações provam com precisão os mesmos resultados de execução do Ethereum. A tecnologia de prova ZK está passando da fase de demonstrar cálculos rápidos para se tornar uma infraestrutura na qual a rede realmente pode confiar. #Ethereum #zkEVM