IA na criptoinvestigação Mythos Preview ajusta as margens de segurança de HAWK-256 e AES-128 sem afetar a produção

Anthropic anunciou dois resultados criptanalíticos obtidos com a ajuda do seu modelo de pesquisa Mythos Preview que, embora não quebram sistemas em produção, modificam a avaliação da margem de segurança em cenários concretos: uma recuperação de chave de extremo a extremo contra o parâmetro de desafio HAWK-256 e uma aceleração substancial de um ataque contra AES-128 reduzido a sete rodadas. Ambos os achados são tecnicamente relevantes para a comunidade criptográfica, mas nenhum exige mudanças imediatas em software de produção.

No caso de HAWK, a contribuição chave foi a identificação de uma automorfia adicional na estrutura da rede (lattice) que permite reduzir a busca criptanalítica a um problema de dimensão sensívelmente menor. Essa redução, articulada por Anthropic como construção do chamado τ-cocycle lattice seguida de redução de rede e sieving, deu lugar a uma implementação pública que, segundo a própria empresa, recupera uma chave funcional equivalente para HAWK-256 em uma estimativa de cerca de três horas e 42 minutos em um servidor de 96 núcleos. Importa sublinhar que o HAWK-256 é um parâmetro de desafio usado como branco para análise, não a configuração que NIST considera para seus níveis de segurança (HAWK-512 e HAWK-1024); portanto, as versões que buscam oferecer resistência prática permanecem, por agora, fora de alcance realista do ataque.

Anthropic quantifica a repercussão: uma redução do trabalho esperado para HAWK-256 de 2^64 a 2^38 e ajustes nas estimativas de custo quântico (gate-count) para os parâmetros superiores, embora ambos os conjuntos maiores ainda sejam imprácticos de atacar. A técnica não constitui uma quebra em tempo polinômico nem uma debilitação geral da criptografia baseada em redes, e os autores alertam que a melhora não se estende automaticamente a outros candidatos ou famílias criptográficas.

O trabalho sobre AES-128 é de natureza diferente: estuda a segurança residual contra ataques sobre versões reduzidas do algoritmo - uma prática padrão para medir margem - e apresenta a chamada construção Möbius Bridge, uma invariante que permite eliminar uma lista de 256 possibilidades em um ataque meet-in-the-middle existente. Embora isso produz uma aceleração estimada de 200 a 800 vezes na etapa afetada, o vetor completo para sete rodadas continua exigindo um número de textos escolhidos completamente impráctico (do ordem de 2^105), pelo que não há risco operacional sobre AES em implementações reais de 10 rodadas.

Além dos detalhes técnicos, a parte institucional da história é relevante: Anthropic publicou artigos técnicos e artefatos reprodutíveis e afirma que Mythos Preview gerou a maior parte das descobertas, com orientação humana, recursos de cálculo e uma fase de verificação extensa. A empresa também publicou código que ataca exclusivamente HAWK-256 e contém chaves públicas de teste; no entanto, o fechamento desta resenha não consta no registro público uma reprodução independente confirmada do ataque completo sobre HAWK-256. A ausência de uma reprodução independente é um ponto crítico que a comunidade deve abordar.

Para o processo de padronização pós-quântica de NIST – no qual HAWK foi o único esquema baseado em redes levado à terceira rodada adicional em maio de 2026 – esses resultados modificam a avaliação de risco sobre parâmetros de desafio e enfatizam a importância de análise contínuas. É provável que o NIST e os proponentes de HAWK revejam e discutam estes números; no entanto, por enquanto, não há indicação pública de mudanças no status do esquema. A documentação do projecto NIST pode ser seguida aqui: https://csrc.nist.gov/projects/post-quantum-cryptography.

Para administradores de sistemas, responsáveis por produto e equipamentos de segurança a recomendação prática é simples: não há necessidade de medidas de emergência. As implementações em produção não dependem de HAWK-256, e as variantes com os parâmetros dirigidos por NIST mantêm sua recomendação operacional. Ainda assim, convém monitorar as falas da equipe de HAWK e de NIST, revisar a reprodutibilidade do código publicado e, em cenários de transição pós-quântica, preferir parâmetros com margens estabelecidas e bem auditados.

Para pesquisadores e equipes de avaliação de riscos criptográficos, o caso é instrutivo em duas frentes: primeiro, exemplifica como novas simetrias algebraicas podem abrir rotas de ataque que antes pareciam fechadas; segundo, demonstra a crescente relevância de modelos de linguagem avançados como assistentes em pesquisa complexa. Isso implica uma dupla obrigação: explorar as oportunidades criativas que oferecem esses modelos e, simultaneamente, reforçar práticas de verificação, revisão por pares e independência experimental. Anthropic tem divulgado prompts, iterações e medidas de custo (junto com um custo estimado de API próximo dos seis dígitos), o que facilita a auditoria externa; a comunidade deveria priorizar a reprodução e o escrutínio.

Em termos de política e governança, o episódio sugere que os organismos de padronização deveriam incorporar mecanismos explícitos para avaliar resultados assistidos por IA, exigir artefatos reprodutíveis e favorecer a transparência nos processos de verificação. A criptografia permanece baseada em testes e reprodutibilidade: as descobertas assistidas por IA não mudam esse princípio, apenas aceleram a necessidade de controles rigorosos.

Como Anthropic colocou seus materiais e código à disposição pública, aqueles que desejam examinar os artefatos e as publicações podem começar pelas páginas oficiais da empresa e seus repositórios: https://www.anthropic.com/research e https://github.com/anthropic. A comunidade acadêmica e de engenharia deveria replicar, estender e testar as afirmações; a confirmação independente é o passo que transformará um achado interessante em uma mudança de política ou de parâmetros.

Em resumo, os trabalhos relatados por Anthropic representam avanços úteis para a avaliação de margens de segurança e mostram a capacidade de modelos de grande tamanho como ferramentas de pesquisa avançada. No entanto, as conclusões são circunscritas: afetam um parâmetro de desafio e uma versão reduzida de AES, não descarrilan os esquemas recomendados nem exigem adesivos imediatos em sistemas em produção. A lição prática é clara: vigilância, verificação e diálogo entre equipes de padronização, autores de propostas e a comunidade de pesquisadores para traduzir achados técnicos em decisões informadas.