Investigadores da Ethereum estão a correr para fechar uma lacuna de 52 bits na segurança criptográfica do zkEVM antes de uma revisão em dezembro de 2026. A classificação ao vivo do concurso better.codes, capturada às 15:44:47 UTC de 21 de agosto, mostrou um certificado de solidez de 63,99 bits e um certificado de ataque de 116,13 bits para koalaIRS12, deixando 52,14 bits por resolver entre os dois resultados promovidos após nove submissões de sete solucionadores. KoalaIRS12 é um perfil de parâmetros fixos para uma redução de Reed-Solomon intercalada usada na investigação de sistemas de prova, e não o zkEVM completo. O intervalo aberto fica muito abaixo do alvo de segurança comprovável de 128 bits da Ethereum para o sistema mais amplo.
Porque importa
Os certificados são limites verificados por máquina dentro de um ambiente Lean fixo, onde as submissões de solidez elevam o certificado inferior e as submissões de ataque puxam o certificado superior para baixo. Cada promoção move um limite reprodutível, mas a estrutura proíbe explicitamente ler qualquer dos certificados como uma afirmação de solidez para todo o sistema. Um zkEVM de qualidade de produção precisaria de camadas adicionais: completude, os pressupostos integrados nas definições formais, fidelidade entre especificações e implementações, e composição de provas entre componentes analisados separadamente.
Uma revisão em maio de um esforço de verificação formal SP1 mostrou porque é que essas camadas importam. As especificações e os enunciados dos teoremas são eles próprios código, os componentes precisam de pinning versionado, e os resultados individuais exigem um raciocínio mais amplo antes de poderem sustentar uma afirmação sobre o sistema. Um artigo académico de Gal Arnon, Dan Boneh e Giacomo Fenzi sinalizou separadamente a descodificação de listas, as lacunas de proximidade de Reed-Solomon e questões de acordo correlacionado como problemas em aberto em sistemas de provas sucintos.
Impacto no mercado
O roteiro de segurança do zkEVM de dezembro de 2025 exigia segurança comprovável de 128 bits, tamanhos de prova iguais ou inferiores a 300 KiB e um argumento formal de solidez para a arquitetura de recursão. Uma atualização em fevereiro adiou o prazo do M3 para o início de dezembro de 2026, com o argumento de segurança da arquitetura agora ancorado num entregável para 1 de dezembro. Apenas para o koalaIRS12, um certificado inferior a chegar aos 128 bits resolveria apenas o lado da solidez deste benchmark no seu ponto de parâmetros fixos.
Perguntas frequentes
-
O que é a lacuna de 52 bits no zkEVM da Ethereum?
É o intervalo por resolver entre um certificado de solidez de 63,99 bits e um certificado de ataque de 116,13 bits para o benchmark koalaIRS12, captado na classificação do better.codes às 15:44:47 UTC de 21 de agosto após nove submissões de sete solucionadores.
-
O que é o koalaIRS12?
KoalaIRS12 é um perfil de parâmetros fixos para uma redução de Reed-Solomon intercalada usada na investigação de sistemas de prova do zkEVM. O concurso better.codes pontua certificados contra este perfil único, e não contra o zkEVM completo da Ethereum.
-
O que é o marco M3 de dezembro de 2026?
O M3 foi originalmente definido no roteiro de segurança do zkEVM de dezembro de 2025 e foi adiado em fevereiro. Exige segurança comprovável de 128 bits, tamanhos de prova iguais ou inferiores a 300 KiB e um argumento formal de solidez para a arquitetura de recursão até ao início de dezembro de 2026.
-
A lacuna de 52 bits afeta a mainnet da Ethereum hoje?
Não. Uma atualização da Fundação em maio enquadrou as provas zkEVM como provas opcionais não críticas para o consenso. A atestação da mainnet continua a depender da reexecução normal do cliente de execução, enquanto as provas zkEVM complementam os testes.
-
Como é que o concurso better.codes fecha o intervalo?
As submissões de solidez elevam o certificado inferior em direção ao alvo codificado de 128 bits, enquanto as submissões de ataque puxam o certificado superior para baixo. Cada promoção aceite é uma mudança de limite verificada por máquina dentro de um ambiente Lean fixo.
Crypto News
CoinDesk
Crypto Rank News
WuBlockchain
Glassnode
TheBlock
CoinTelegraph