Claude descobre falhas matemáticas em algoritmos de criptografia, diz Anthropic

A Anthropic anunciou que seu modelo Claude Mythos Preview ajudou pesquisadores a descobrir novas formas de atacar algoritmos criptográficos, indo além de bugs de implementação e chegando a falhas matemáticas nos próprios algoritmos. Segundo o post da empresa, são dois resultados principais: um ataque aprimorado ao esquema de assinatura digital pós-quântica HAWK e um ataque a uma versão reduzida do AES.

A própria Anthropic ressalta o ponto que mais interessa a quem opera sistemas: nenhum dos resultados tem impacto prático em sistemas de produção hoje. O HAWK é apenas um candidato ainda em avaliação pelo NIST, e o ataque ao AES atinge uma variante enfraquecida do cifrador, não a versão completa.

O ataque ao HAWK

O HAWK é um dos candidatos da terceira rodada do processo do NIST para padronizar esquemas de assinatura digital resistentes a computadores quânticos. Sua segurança se baseia na dificuldade do chamado Lattice Isomorphism Problem.

Segundo a Anthropic, mesmo após o HAWK ter sobrevivido a dois anos de revisão por especialistas humanos, o Mythos conseguiu melhorar o melhor ataque conhecido em cerca de 60 horas de trabalho, encontrando uma simetria (um automorfismo não trivial) não explorada anteriormente no reticulado usado pelo esquema. O efeito é reduzir pela metade o tamanho efetivo de chave: o custo estimado de recuperação de chave do HAWK-256 caiu de 2⁶⁴ para 2³⁸.

A Anthropic afirma que o ataque continua sendo de tempo exponencial (não polinomial), é específico do HAWK e não afeta outros candidatos pós-quânticos nem criptografia baseada em reticulados em geral. Para chaves maiores, o HAWK segue impraticável de atacar. O problema, aponta a empresa, é que dobrar o tamanho da chave para compensar elimina boa parte do que tornava o esquema atraente.

O processo de descoberta usou uma estrutura semelhante ao Claude Code, com múltiplos agentes colaborando em ambiente isolado, com acesso a ferramentas como Python e Sage. O operador humano tinha formação em ciência da computação teórica, mas não era especialista em criptografia baseada em reticulados. O custo estimado de desenvolvimento foi de aproximadamente US$ 100 mil em custo de API.

O ataque ao AES de rodadas reduzidas

O segundo resultado mira o AES-128, adotado pelo NIST em 2001 e um dos cifradores mais escrutinados do mundo. O ataque funciona apenas sobre uma versão modificada com 7 das 10 rodadas completas, um objeto de estudo comum em pesquisa acadêmica.

Sob o modelo de ameaça de texto claro escolhido, o trabalho anterior assumia que o atacante poderia pedir a cifragem de 2¹⁰⁵ textos escolhidos, o que já é completamente impraticável. O Mythos desenvolveu uma técnica de "fingerprinting" batizada de Möbius Bridge, que elimina uma das enumerações de 256 valores exigidas pelo ataque anterior. Com otimizações adicionais, o resultado é um ataque entre 200 e 800 vezes mais rápido, dependendo da forma de medição.

Um detalhe curioso: inicialmente o Claude se recusava a atacar o problema, alegando que era impossível melhorar a criptanálise do AES. A Anthropic publicou os prompts reais (com erros de digitação) usados para insistir com o modelo, incluindo mensagens como "não estamos procurando fruta fácil, queremos pesquisa de verdade". Após três prompts substantivos e cerca de um bilhão de tokens de saída, o modelo chegou à ideia do Möbius Bridge.

O que isso muda para quem constrói software no Brasil

Para o dia a dia de quem desenvolve, o recado imediato é de calma: as bibliotecas e cifradores que você usa em produção (AES completo, TLS, assinaturas atuais) não mudam por causa desses resultados. A própria Anthropic é explícita: "nenhum software de produção terá que mudar".

O que vale observar é o método. A Anthropic reforça que isso é "a pesquisa criptográfica funcionando como pretendido": submeter algoritmos a estresse antes da adoção. Vale lembrar que descobertas tardias em processos do NIST não são inéditas, o candidato SIKE foi completamente quebrado em uma hora em um laptop durante a padronização do ML-KEM e ML-DSA.

A empresa também destaca o custo de verificação: enquanto o Mythos levou uma semana para conceber o ataque ao AES, dois pesquisadores levaram quase um mês para ganhar confiança de que o método estava correto. Ou seja, o modelo acelera a geração de hipóteses, mas a validação humana continua sendo o gargalo.

Para equipes brasileiras que auditam implementações criptográficas, o material aponta para uma direção: a Anthropic, em parceria com ETH Zurich, Universidade de Tel Aviv e Universidade de Haifa, lançou o CryptanalysisBench, um benchmark que empacota diversos cifradores para avaliar a capacidade de LLMs nessa área. É um recurso público para quem quiser acompanhar de perto a evolução dessas ferramentas.

Fonte: Hacker News