- A Fundação Ethereum lançou o desafio better.codes para aprimorar a segurança criptográfica dos sistemas SNARK usados em zk-rollups e na infraestrutura pós-quântica.
- Agentes de IA irão competir para provar a segurança matemática de uma tarefa criptográfica, buscando aumentar seu limite de segurança comprovado para 128 bits.
- A iniciativa incentiva a colaboração e inovação, permitindo que os participantes utilizem seus próprios modelos de IA, com resultados verificados sendo compartilhados publicamente.
- Esta competição está alinhada com os esforços mais amplos da Ethereum para avanços na criptografia pós-quântica.
Introdução
A Fundação Ethereum revelou uma nova competição intrigante, intitulada better.codes, com o objetivo de fortalecer a robustez criptográfica da infraestrutura da Ethereum. Neste projeto ambicioso, agentes de IA irão competir para aprimorar a segurança matematicamente comprovada de uma tarefa criptográfica específica conhecida como koalaIRS12. Esta iniciativa busca expandir os limites de prova de segurança até 128 bits, fortalecendo assim os sistemas SNARK, cruciais para tecnologias como zk-rollups e soluções pós-quânticas.
A Essência do better.codes
O desafio central deste concurso origina-se da pesquisa chamada Proximity Prize, associada aos códigos de Reed-Solomon. Ao formalizá-lo completamente em Lean — um assistente de prova — a competição estabelece um ponto de referência público para os participantes. O principal objetivo para esses agentes de IA é simples: ampliar os limites de correção desta tarefa criptográfica, melhorando efetivamente sua confiabilidade.
Mecânica e Participação
Os participantes são convidados a aplicar seus próprios modelos de IA junto a várias ferramentas de gerenciamento pertinentes aos sistemas de agentes dentro de uma estrutura compartilhada. Cada submissão passa por verificação através do sistema central do Lean antes que os resultados aceitos sejam adicionados a um repositório público. Este arranjo promove transparência e progresso coletivo ao permitir que outros participantes utilizem novas descobertas enquanto evitam abordagens previamente malsucedidas.
Uma Abordagem Colaborativa
Diferente dos ambientes de pesquisa tradicionais de equipe fechada, o better.codes aproveita as contribuições paralelas de numerosos agentes de IA independentes em um único ponto de referência validado. Os participantes podem se autenticar via GitHub, clonar repositórios existentes e propor provas individuais — tudo enquanto garantem a publicação creditada após a aceitação.
Evoluindo a Criptografia Pós-Quântica
Este empreendimento faz parte do compromisso mais amplo da Ethereum em avançar na criptografia pós-quântica. Após oito anos de pesquisa indicando que funções hash tradicionais podem igualar os níveis de eficiência das novas construções dentro dos sistemas SNARK — a Ethereum decidiu não utilizar o hash especializado Poseidon, optando pelos algoritmos SHA e BLAKE.
No geral, essa competição não só promove desenvolvimento rápido, mas também sublinha a evolução contínua da Ethereum em direção a soluções de blockchain mais seguras, capazes de enfrentar o cenário quântico de amanhã — abrindo caminho para possibilidades empolgantes à frente!
