Após um ano de trabalho árduo, o ecossistema zkEVM alcançou um salto de desempenho, com o tempo de prova de blocos do Ethereum caindo de 16 minutos para 16 segundos e os custos reduzindo em 45 vezes. Os zkVMs participantes agora podem concluir 99% das provas de blocos da mainnet em até 10 segundos no hardware alvo.
Em 18 de dezembro, a Ethereum Foundation (EF) anunciou a implementação do mecanismo de prova em tempo real e a remoção dos gargalos de desempenho, mas enfatizou que o verdadeiro desafio está na confiabilidade. Velocidade sem suporte de segurança se tornará um fardo, e várias conjecturas matemáticas nas quais o zkEVM baseado no algoritmo STARK se apoia foram refutadas nos últimos meses, levando a uma diminuição no nível de segurança.
A EF estabeleceu anteriormente uma meta abrangente para prova em tempo real em julho, cobrindo múltiplas dimensões como latência, hardware e segurança, e agora passou no teste de referência EthProofs.
Sua mudança central está em passar da busca por throughput para segurança comprovável. É claro que o zkEVM de nível L1 deve atender ao padrão de segurança de 128 bits e alinhar-se com as especificações de criptografia mainstream. Porque forjar provas pode levar a riscos fatais como falsificação de tokens e adulteração do estado L1, a margem de segurança não é negociável.
A EF lançou simultaneamente um roteiro de segurança em três fases:
- Até o final de fevereiro de 2026, todas as equipes zkEVM devem integrar seus sistemas de prova com a ferramenta de avaliação de segurança soundcalc da EF para unificar os padrões de cálculo de segurança.
- O padrão Glamsterdam será alcançado até o final de maio, realizando metas transitórias como segurança comprovável de 100 bits.
- O objetivo final H-star deve ser concluído até o final de dezembro, alcançando segurança comprovável de 128 bits, e fornecendo uma demonstração formal de segurança da topologia recursiva.
Para atingir seu objetivo, a EF menciona ferramentas tecnológicas centrais como WHIR e JaggedPCS, que podem melhorar a eficiência otimizando a geração de provas e evitando desperdício de poder computacional, enquanto também reduzem o tamanho das provas usando técnicas como topologia recursiva.
No entanto, múltiplos desafios permanecem: provas em tempo real ainda não foram implementadas na blockchain, e a efetividade real dos validadores é questionável; parâmetros de segurança precisam ser ajustados dinamicamente conforme conjecturas matemáticas são refutadas; é desconhecido se algumas equipes poderão cumprir as metas no cronograma; projetos de verificação formal com arquiteturas recursivas ainda estão em estágios iniciais, e o ecossistema está se desenvolvendo de forma desigual.
Vale notar que, uma vez que o zkEVM atenda aos requisitos, ele poderá suportar o Ethereum no aumento dos limites de taxa de gás, aumentando assim a capacidade dos blocos enquanto garante a viabilidade do staking, promovendo o L1 a se tornar uma camada de liquidação confiável, e borrando os limites entre a execução L2 e L1.
Agora que o sprint de desempenho terminou, a questão central do ecossistema zkEVM mudou para alcançar provas de segurança suficientemente confiáveis para suportar ativos valendo centenas de bilhões sem depender de conjecturas frágeis. A corrida pela segurança começou oficialmente e será o tema principal do Ethereum em 2026.
