Claude Mythos quebra HAWK e AES em 60 horas com novos ataques criptográficos

icon MarsBit
Compartilhar
AI summary iconResumo
Claude Mythos quebrou HAWK e AES em 60 horas, reduzindo pela metade a força da chave do HAWK e introduzindo o ataque Möbius Bridge no AES-128. A descoberta levanta questões sobre o índice de medo e ganância nos mercados de criptomoedas, já que altcoins para acompanhar podem enfrentar nova volatilidade. A pesquisa da Anthropic mostra o crescente papel da IA na descoberta de falhas criptográficas.

Claude, começou a atacar os algoritmos criptográficos.

Observe que não se trata de procurar bugs no código, mas sim falhas na matemática em si.

Hoje mesmo, a Anthropic lançou uma pesquisa impactante: o Claude Mythos Preview descobriu novas formas de ataque em dois algoritmos criptográficos.

Claude Mythos

O primeiro alvo foi o HAWK — uma proposta candidata na avaliação pós-quantum de assinaturas do NIST nos EUA, que já passou por duas rodadas de dois anos de revisão por especialistas humanos de primeiro nível. O Mythos gastou 60 horas e reduziu diretamente sua força efetiva de chave pela metade.

O segundo objetivo é ainda mais desafiador: AES, o algoritmo de criptografia simétrica mais utilizado no mundo, um «osso duro de roer» estudado pela humanidade por 25 anos.

Mythos desenvolveu um método de ataque próprio sobre o AES-128 simplificado, batizando-o de "Möbius Bridge", acelerando o ataque anterior mais rápido em 200 a 800 vezes.

Dois resultados, cada um queimando aproximamente US$ 10.000 em API.

Há um ano, os modelos de linguagem não conseguiam realizar nem a análise criptográfica mais básica. Um ano depois, eles encontraram falhas em esquemas revisados por humanos por dois anos e até deram nomes às suas próprias descobertas.

No Twitter, alguns usuários até se preocuparam com seus bitcoins.

Claude Mythos

60 horas, destravando uma trava de dois anos

Quando o Claude Mythos Preview foi lançado, já conseguia encontrar vulnerabilidades em quase todos os softwares, incluindo várias bibliotecas criptográficas principais.

Mas essas vulnerabilidades, por assim dizer, pertencem ao nível da "implementação"—os programadores usaram mal o algoritmo, escreveram a lógica incorretamente e não consideraram os limites. Esse tipo de bug também pode ser encontrado por um engenheiro de segurança experiente.

Mas desta vez é diferente. Ela encontrou uma falha matemática no próprio algoritmo.

Por exemplo: antes, procurava-se "quem instalou a fechadura torta"; agora, precisa-se provar "que o princípio de design dessa fechadura é falho".

O que é HAWK? É um dos candidatos principais na competição de padronização pós-quantum da NIST. Em 2022, o Instituto Nacional de Padrões e Tecnologia dos EUA lançou um chamado global: computadores quânticos chegarão inevitavelmente, e os algoritmos clássicos de assinatura como RSA e ECDSA serão esmagados pela potência quântica — quem consegue criar um novo cadeado que nem um computador quântico consiga quebrar?

Claude Mythos

HAWK foi um dos candidatos e avançou até a terceira rodada, superando dois anos de revisão abrangente por especialistas globais em criptografia.

Sua segurança baseia-se em um problema matemático chamado Lattice Isomorphism Problem.

Em linguagem simples: a chave do HAWK está escondida dentro de uma grade de alta dimensão enorme; para quebrá-la, você precisa encontrar um caminho oculto dentro dessa grade. Os matemáticos acham que esse caminho é extremamente difícil de encontrar, então o usaram como base com confiança.

O que o Mythos fez? Ele descobriu, nesse espaço usado pelo HAWK, uma simetria previamente inexplorada — chamada academicamente de “automorfismo não trivial” (nontrivial automorphism).

Anteriormente, um artigo cientifico provou que, se for possível encontrar eficientemente essa simetria, ela pode ser usada para realizar um ataque. No entanto, isso era apenas um teorema, e ninguém conseguiu responder até agora se o HAWK realmente possui essa simetria.

Mythos respondeu: Sim.

A força da chave foi reduzida pela metade. O menor conjunto de parâmetros HAWK-256, anteriormente estimado em um custo de 2^64 para a recuperação completa da chave — ou seja, cerca de 180 quintilhões de operações.

A prova do Mythos requer apenas 2^38, cerca de 270 bilhões de vezes. Reduziu cerca de 4,4 trilhões de vezes.

Se o HAWK quiser manter o mesmo nível de segurança, as chaves precisam ser dobradas. Mas, ao dobrar as chaves, ele perde totalmente a principal vantagem como candidato pós-quantico "leve" — assinaturas pequenas e rápidas.

A parte mais intrigante desse processo é que os operadores humanos do projeto não são especialistas em criptografia pós-quântica.

Ele tem formação em ciência da computação teórica, mas é leigo em criptografia pós-quântica. Durante todo o processo, ele fez apenas uma coisa — gerenciamento de projeto: sugeriu ao Mythos como fazer anotações e qual biblioteca usar para verificação computacional. As tarefas técnicas foram quase todas realizadas pelo Mythos sozinho.

Mais interessante ainda é a colaboração entre múltiplos agentes. A ideia-chave surgiu da interação entre dois agentes trabalhadores: o primeiro explorou essa direção, achou que não daria certo e descartou-a rapidamente; o segundo continuou aprofundando e encontrou uma maneira de utilizá-la plenamente. Os dois agentes trocaram mensagens em debate e, finalmente, chegaram a um consenso: o ataque é válido.

Uma direção que um ser humano considerava “impossível” foi trilhada por dois AIs em uma discussão.

Levou apenas 60 horas no total.

"Impossível", e então ele próprio reescreveu o framework

Se a batalha do HAWK foi como uma cirurgia precisa, a batalha do AES é mais como um romance.

No início da história, Claude nem sequer aceitou o trabalho.

Os pesquisadores da Anthropic configuraram o scaffold do agente para que o Claude busque um novo ataque contra o AES-128 simplificado em 7 rodadas.

A reação de Claude foi equivalente a um olhar de desdém:

Você quer resultados diferentes, então o objetivo precisa mudar... AES-128 r5/r6 é realmente muito difícil.

Não encontrou nada, porque não há nada fácil de encontrar; é a cifra de bloco mais estudada existente.

Em linguagem simples: “Chefe, você me pediu para tentar resolver algo que os maiores cérebros do mundo inteiro não conseguiram resolver em 25 anos—isso não é me colocar em uma situação difícil?”

E o pesquisador? Ele só enviou uma frase simples, digitada ao acaso—

Os modelos tendem a achar que é impossível resolver, então não tentam; precisam de uma boa quantia de orientação.

Sobre essa única frase, a reação do Claude foi dramática: ele reescreveu sozinho o agent harness e alterou sua configuração para “buscar ideias verdadeiramente inovadoras”.

Foi convencido. Depois, começou a vender.

Nos próximos três dias, o analista deu apenas três dicas substanciais, todas em linguagem simples, nem sequer se preocupando em verificar a ortografia:

Estamos procurando por novos ataques, não os simples.

Não mude o alvo. — Claude tentou mudar para uma senha mais fácil para atacar, mas foi contido pelo pesquisador.

Não frutos de baixo valor, mas descobertas verdadeiramente difíceis.

Claude fugiu sozinho com centenas de milhões de tokens, descobrindo uma ideia fundamental; posteriormente, acumulou um bilhão de tokens — aproximadamente o equivalente ao conteúdo de sete a oito mil livros — aperfeiçoando essa ideia até a forma de um artigo acadêmico.

Claude chamou essa ideia de "Ponte de Möbius".

Tecnicamente, o melhor método anterior para atacar o AES com 7 rodadas era chamado de "ataque meet-in-the-middle": basicamente, troca espaço por tempo, armazenando grandes resultados intermediários em uma tabela de busca massiva e avançando simultaneamente de ambos os extremos da criptografia em direção ao centro, tentando encontrar correspondências na tabela.

Mas no plano original, havia um passo crítico: o atacante precisava adivinhar逐一 os 256 valores possíveis, verificando na tabela a cada tentativa.

Mythos criou uma impressão matemática "imune" a essas 256 suposições — independentemente do valor, essa impressão é sempre calculada da mesma forma. O trabalho necessário foi reduzido diretamente para 1/256 do original.

Mas o custo foi: calcular a própria transformação do hash ficou mais caro. Então, o Mythos desenvolveu uma série de otimizações para compensar, resultando em um ganho líquido de aceleração de 200 a 800 vezes.

Uma semana descobriu, duas pessoas verificaram por um mês

Nenhum dos dois resultados acima afetou nenhum sistema de produção hoje.

HAWK é apenas uma proposta candidata e ainda não foi implantada em nenhum lugar. O AES ataca uma versão simplificada reduzida a 7 rodadas; o AES-128 completo de 10 rodadas permanece inteiramente seguro — sua senha de cartão bancário, conexões HTTPS e discos criptografados estão seguros.

Mas o que realmente deixou toda a comunidade criptográfica com a espinha dorsal gelada foi a etapa de verificação.

Mythos levou cerca de uma semana para descobrir autonomamente o ataque AES. Dois pesquisadores da Anthropic gastaram quase um mês, lendo centenas de horas de literatura criptográfica, antes de ousarem confirmar: “Está correto.”

A IA fez a descoberta em uma semana; os humanos levaram um mês para entender essa descoberta.

Esse cenário já ocorreu anteriormente no campo da segurança cibernética. Nos últimos trinta dias, o Claude Mythos Preview detectou 10.000 vulnerabilidades críticas em software, sobrecarregando os processos humanos de classificação, verificação e correção.

Agora, o círculo da criptografia acadêmica enfrentará o mesmo impacto: descobrir não é mais o gargalo, validar é.

E o apetite do Mythos claramente não se limita a isso. A Anthropic revelou que já encontrou ataques práticos no LEA (um algoritmo criptográfico leve incorporado ao padrão ISO)—a recuperação da chave de 13 rodadas do LEA, que anteriormente exigia 2^98 pares de texto claro e 2^86 operações de cálculo, foi reduzida pelo Mythos para menos de 2^30 pares de texto claro, podendo ser executada em menos de uma hora em um computador comum.

Epílogo: A pergunta que ainda não tem resposta

Os dois resultados desta vez foram ambos "inofensivos" — o HAWK não foi implantado e o AES quebrou apenas 7/10 rodadas.

Mas a Anthropic lançou, no final do artigo, uma pergunta que todos estão pensando, mas ninguém ousa responder—

E se, na próxima vez, o modelo encontrar não uma falha em um candidato, nem uma vulnerabilidade em uma versão simplificada, mas sim uma falha fatal em um sistema criptográfico que protege o mundo real—o que os humanos deverão fazer?

Na comunidade criptográfica, há um ditado antigo: sistemas criptográficos são seguros porque muitas pessoas inteligentes já tentaram quebrá-los e não conseguiram.

Agora, há um novo participante na sala, que não precisa de descanso, não precisa de inspiração, não precisa ler centenas de artigos para começar—ele mesmo consegue ler, raciocinar, inventar e validar.

Há um ano, a IA ainda estava fora da criptoanálise. Um ano depois, ela construiu uma ponte dentro e até deu um nome a ela.

Referências:

https://x.com/AnthropicAI/status/2082153297670992134

https://x.com/AnthropicAI/status/2082153311189225927

Este artigo é do canal oficial do WeChat "Nova Inteligência", autor: Apocalipse da ASI

Aviso legal: as informações nesta página podem ter sido obtidas de terceiros e não refletem necessariamente os pontos de vista ou opiniões da KuCoin. Este conteúdo é fornecido apenas para fins informativos gerais, sem qualquer representação ou garantia de qualquer tipo, nem deve ser interpretado como aconselhamento financeiro ou de investimento. A KuCoin não é responsável por quaisquer erros ou omissões, ou por quaisquer resultados do uso destas informações. Os investimentos em ativos digitais podem ser arriscados. Avalie cuidadosamente os riscos de um produto e a sua tolerância ao risco com base nas suas próprias circunstâncias financeiras. Para mais informações, consulte nossos termos de uso e divulgação de risco.