Ethereum acelera seus trabalhos na segurança dos zkEVM antes do prazo de dezembro

Ethereum já venceu a batalha da velocidade nos zkEVM. A da segurança permanece em aberto. Um concurso de pesquisa apoiado pela Ethereum Foundation ainda apresenta uma lacuna de 52,14 bits entre os resultados atualmente comprovados em um componente criptográfico. A rede busca uma segurança demonstrável de 128 bits para seus zkEVM até o início de dezembro. Nenhuma mudança ameaça o consenso atual, por enquanto.

Ethereum quer 128 bits de segurança

Ethereum prepara há muito tempo a chegada dos zkEVM diretamente na sua camada principal. O trabalho inicialmente focou no desempenho. No final de 2025, as equipes conseguiram reduzir o tempo necessário para provar um bloco Ethereum de cerca de 16 minutos para alguns segundos. Várias zkVM já podiam gerar as provas de 99% dos blocos em menos de dez segundos no hardware alvo.

A velocidade já não é suficiente. A Ethereum Foundation agora exige uma segurança comprovável de 128 bits. As equipes também deverão produzir provas finais de no máximo 300 KB e documentar com precisão a forma como seus diferentes sistemas de provas funcionam juntos.

O próximo grande prazo é início de dezembro. Antes disso, os pesquisadores precisam melhorar vários blocos criptográficos. Um deles agora está sob os holofotes.

Uma lacuna de 52,14 bits permanece aberta

O site better.codes organiza um concurso onde os pesquisadores podem tentar melhorar ou atacar um parâmetro chamado koalaIRS12. O painel atualmente mostra dois números. O limite inferior de segurança atinge 63,99 bits. O limite superior desce para 116,13 bits. Entre eles: 52,14 bits ainda não resolvidos.

Esses valores não significam que Ethereum opere hoje com apenas 63,99 bits de segurança. O benchmark mede um perfil criptográfico preciso usado nas pesquisas sobre sistemas de provas. Não em toda a rede.

Essa precisão importa pois Ethereum quer fazer do Zero-Knowledge uma parte muito maior da sua arquitetura. O concurso funciona nas duas direções. Alguns pesquisadores tentam elevar o limite de segurança trazendo novas provas matemáticas. Outros buscam ataques que abaixem o limite superior.

Nove resultados de sete pesquisadores já haviam sido aprovados em 21 de agosto. O objetivo é reduzir progressivamente o espaço entre os dois. Os zkEVM completos exigirão mais. Será necessário verificar os diferentes componentes, a recursão das provas e a correspondência entre os modelos matemáticos e o código realmente usado. Dezembro se aproxima.

A rede atual do Ethereum ainda não depende dessas provas

O cronograma apertado não significa que haja hoje alguma falha ameaçando as transações Ethereum. Os zkEVM envolvidos ainda não substituem o funcionamento normal do consenso. Na fase atual, suas provas podem acompanhar os testes do mainnet. Os clientes de execução clássicos continuam reaplicando as transações antes que os validadores atestem os blocos.

Assim, Ethereum ainda mantém seu funcionamento usual. A situação mudará se as provas zk algum dia se tornarem confiáveis o suficiente para substituir parte dessa reexecução. É exatamente por isso que a Ethereum Foundation insiste tanto nos 128 bits.

Uma prova falsa aceita no nível da camada 1 poderia ter consequências muito mais graves do que um erro em um aplicativo. Ela poderia teoricamente permitir validar um estado incorreto da rede. O protocolo já multiplica trabalhos nesse tema. Em julho, Ethereum havia implementado agentes IA para buscar automaticamente vulnerabilidades críticas. Os zkEVM agora seguem o mesmo princípio. Provar rápido, Ethereum já sabe fazer. Resta provar sem deixar dúvidas.