Claude Mythos Quebrou a Criptografia Pós-Quântica que Humanos Passaram Anos Tentando Desvendar

A Anthropic anunciou hoje que uma versão não lançada de seu modelo de IA mais poderoso encontrou dois ataques previamente desconhecidos em algoritmos criptográficos, um deles contra um esquema que atualmente compete para se tornar um padrão federal dos EUA.

Esse esquema é o HAWK, um sistema de assinatura digital---a matemática que prova que uma transação veio de você sem nunca expor sua chave privada---construído para sobreviver a futuros computadores quânticos. A agência federal não regulatória e laboratório NIST o moveu para a terceira rodada de sua competição de assinaturas pós-quânticas em maio, onde é o último candidato baseado em rede que permanece.

Claude encontrou uma simetria enterrada na matemática do HAWK que nenhum humano havia pensado em usar. Para a configuração menor, o custo de recuperar uma chave secreta caiu de 2^64 operações para 2^38, aproximadamente 67 milhões de vezes menos trabalho.

Corrigir isso significa dobrar aproximadamente as chaves do HAWK. "Infelizmente, dobrar o tamanho da chave do HAWK elimina muitas das razões que tornam o esquema (como está atualmente) um candidato atraente para assinatura PQC," escreveu a Anthropic.

Essa troca importa mais para blockchains do que parece. O tamanho da assinatura é espaço de bloco, e espaço de bloco são taxas, então qualquer cadeia que busca um substituto resistente a quânticos está parcialmente escolhendo com base em bytes por assinatura. Chaves compactas e assinaturas rápidas eram toda a proposta do HAWK, e a correção custa muito dessa vantagem.

Não se preocupe, hodlers: suas moedas estão bem (por enquanto). O HAWK nunca foi implantado em lugar algum, e o Bitcoin ainda opera com ECDSA, o esquema de assinatura pré-quântico que candidatos como o HAWK estão destinados a substituir eventualmente.

A Anthropic divulgou ambos os resultados aos autores dos algoritmos e a parceiros do governo e da indústria dos EUA antes de publicar, e coordenou a descoberta do HAWK com o NIST.

O segundo ataque tem como alvo o AES, o cifrador que embaralha seu tráfego HTTPS, seu disco criptografado e o backend da sua exchange. O AES-128 completo empurra dados através de 10 rodadas de embaralhamento, e Claude atacou uma versão de pesquisa de 7 rodadas que ninguém melhorou desde 2013.

A configuração foi deliberadamente severa. Pesquisadores barraram o modelo de todas as cinco famílias estabelecidas de criptoanálise AES e disseram a ele para inventar uma sexta, encerrando o breve com uma linha sobre como o primeiro ataque diferencial não superou nada---ele inventou o jogo. Claude também herdou notas de trabalho de execuções anteriores de agentes que já haviam queimado cerca de 200 variantes de ataque falhadas.

Ele se recusou de qualquer maneira. "No AES-128 r5/r6/r7 não encontrou nada porque não há nada fácil de encontrar; este é o cifrador de bloco mais estudado que existe," disse o modelo aos pesquisadores, de acordo com transcrições publicadas pela Anthropic.

Então ele produziu o truque que o artigo chama de Ponte de Möbius, eliminando um dos nove bytes-chave que um atacante anteriormente tinha que adivinhar. Refiná-lo na versão publicada levou mais alguns dias e um bilhão de tokens de saída.

A descoberta com o caminho mais curto para algo real recebeu a menor atenção. Claude também quebrou 13 rodadas de LEA, um padrão nacional coreano e padrão de criptografia leve ISO construído para telefones e dispositivos da internet das coisas, em menos de uma hora em um desktop contra um melhor anterior que precisava de 2^98 pares de texto simples. O LEA implantado executa 24 rodadas, então nada no campo está quebrado.

O artigo do HAWK é incomumente direto sobre a divisão de trabalho. "A maioria das descobertas matemáticas neste artigo foram assistidas por IA. A contribuição do autor humano consistiu principalmente em direcionar, organizar e verificar o trabalho da IA," escreveram seus autores.

Claude encontrou a ideia do AES em dias. Os pesquisadores da Anthropic então passaram várias centenas de horas aprendendo o suficiente sobre criptografia para confirmar que funcionava---o mesmo modelo que encontrou 271 vulnerabilidades no Firefox durante testes internos.

"A comunidade de cibersegurança agora está lidando com o fato de que modelos de linguagem são capazes de descobrir tantos bugs que os processos humanos padrão (como triagem de vulnerabilidades, verificação e remediação) lutam para acompanhar," escreveu a Anthropic, alertando que pesquisadores humanos podem se tornar o gargalo.

A Anthropic também construiu o CryptanalysisBench---191 tarefas de quebra de cifradores extraídas principalmente de competições do NIST. Modelos submetem um script de ataque funcional que ou vence um jogo de segurança formal ou não, sem crédito parcial e sem avaliação humana.

Mythos 5 quebrou 85,7% das tarefas com soluções conhecidas, contra 65,3% para o modelo mais fraco testado. Contra cifradores de força total sem quebra publicada, cada modelo pontuou abaixo de 9%.

Este conteúdo é fornecido apenas para fins informativos gerais e não constitui aconselhamento financeiro, de investimento, jurídico ou tributário. Quaisquer eventos, recompensas, promoções online ou informações relacionadas mencionadas neste documento não devem ser consideradas uma recomendação, solicitação ou convite para comprar, vender, negociar ou realizar qualquer outra transação com criptoativos. Criptoativos são altamente voláteis e podem resultar em perdas. A disponibilidade dos serviços, produtos e eventos relacionados da WEEX pode variar conforme a região. É de sua responsabilidade garantir que sua participação esteja em conformidade com as leis e regulamentações locais aplicáveis.