Anthropic Schneier em Foco: Criptoanálise com LLMs Encontrou Novos Ataques, mas Cifras Modernas Continuam Resistindo
- Ethan Carter

- 30 de jul.
- 14 min de leitura
Pesquisadores da Anthropic ajudaram a testar um novo benchmark no qual modelos de IA de ponta encontraram ataques criptográficos não relatados anteriormente, embora tenham falhado contra os alvos de produção mais difíceis. O sinal anthropic schneier importa porque Bruce Schneier destacou os resultados como algo que profissionais de segurança devem acompanhar, e não descartar como apenas mais uma demonstração de raciocínio.
O CryptanalysisBench testa se um agente de IA consegue transformar análise matemática em um ataque executável contra um esquema criptográfico. Suas 191 tarefas abrangem seis famílias de primitivas criptográficas, incluindo cifras de bloco, funções hash, criptografia autenticada e sistemas de chave pública.
O conflito central agora é mensurável. A criptoanálise assistida por IA pode fortalecer revisões defensivas antes da implantação, enquanto a mesma capacidade pode, no futuro, ajudar atacantes a examinar sistemas em uma escala que especialistas humanos não conseguem acompanhar. Os modelos atuais ainda estão longe de quebrar AES em força total ou cifras igualmente maduras, mas o benchmark mostra que eles já podem contribuir com trabalho original.
CryptanalysisBench Transforma Alegações de Pesquisa em Ataques Executáveis
O benchmark muda o debate sobre raciocínio de IA ao exigir código de ataque funcional, e não explicações persuasivas ou pontuações de outro modelo.
Os pesquisadores apresentaram o CryptanalysisBench em um preprint de julho de 2026. Seus autores vêm da ETH Zurich, Anthropic, University of Haifa, Technische Universität Berlin e Tel Aviv University.
O benchmark se baseia principalmente em quatro competições do National Institute of Standards and Technology. Esses programas avaliaram candidatos para AES, SHA-3, criptografia leve e criptografia pós-quântica.
A coleção inclui 191 tarefas em seis famílias de primitivas. Uma primitiva é um algoritmo criptográfico fundamental usado para fornecer propriedades como criptografia, autenticação, resistência a colisões ou assinaturas digitais.
Cada tarefa fornece a um agente de IA código-fonte, documentação e acesso a um jogo formal de segurança. Um jogo de segurança define exatamente o que um atacante pode consultar e o que conta como sucesso.
O modelo deve selecionar um alvo de ataque e produzir um script independente. Um controlador separado mantém as chaves secretas e responde apenas a solicitações permitidas por meio de uma interface.
A verificação então executa o script com aleatoriedade nova. Ataques de recuperação de chave, falsificação e colisão devem cumprir suas respectivas condições de sucesso sem intervenção manual.
Alguns jogos probabilísticos exigem mais de uma tentativa bem-sucedida. Nessas tarefas, o benchmark executa 20 instâncias independentes e exige pelo menos 17 vitórias. O artigo estima que palpites aleatórios passariam desse limiar cerca de 0,1% das vezes.
Essa estrutura reduz um problema persistente nos benchmarks de IA. Um modelo pode escrever matemática plausível, citar ataques conhecidos ou convencer um avaliador baseado em modelo de linguagem sem produzir um resultado válido.
Em vez disso, o CryptanalysisBench faz uma pergunta operacional binária. O ataque enviado derrota o esquema segundo as regras estabelecidas?
As tarefas são organizadas em dois níveis e um conjunto de desafios. O Nível 1 contém 49 algoritmos com ataques práticos conhecidos, portanto mede se os modelos conseguem reproduzir ou redescobrir independentemente fraquezas estabelecidas.
O Nível 2 contém 142 algoritmos sem quebra prática conhecida, ou com ataques caros demais para executar. Os pesquisadores testam tanto projetos de força total quanto versões reduzidas, com menos rodadas, chaves menores ou parâmetros modificados.
O conjunto de desafios abrange cifras de nível de produção próximas à fronteira da criptoanálise publicada. Ele inclui AES, ChaCha, Katan-32, Present-80, Simon-32/64, Speck-32/64 e Skinny-64/64.
Essa distinção é essencial. Quebrar um antigo candidato de competição, uma cifra de rodadas reduzidas ou código de referência com falhas não significa que uma IA tenha quebrado a criptografia que protege o tráfego web atual.
A avaliação de segurança de Schneier captou o tom apropriado. Ele classificou os resultados como iniciais, ao mesmo tempo em que enfatizou que o benchmark merece acompanhamento.
A notícia não é que a criptografia moderna falhou repentinamente. É que sistemas automatizados passaram de discutir criptoanálise a produzir alguns ataques verificáveis e aparentemente originais.
O Sinal Anthropic Schneier Representa Trabalho Novo, Não uma Quebra do AES
O resultado mais forte é a evidência de contribuição criptanalítica original, enquanto a ressalva mais importante é que cifras de produção em força total continuam sem ser quebradas.
Cinco modelos de ponta foram avaliados: Claude Opus 4.8, Claude Sonnet 5, Claude Mythos 5, GPT-5.5 e o GLM-5.2 de pesos abertos. A Anthropic forneceu acesso ao Mythos 5 por meio de sua colaboração com os pesquisadores.
O desempenho no Nível 1 variou de 65,3% para o GLM-5.2 a 85,7% para o Mythos 5. O Opus 4.8 alcançou 73,5%, enquanto Sonnet 5 e GPT-5.5 chegaram, cada um, a 75,5%.
Esses resultados demonstram ampla competência em esquemas com fraquezas documentadas. Por si só, não provam que os modelos derivaram essas fraquezas de forma independente.
Um LLM pode recordar um ataque de dados de treinamento, reconstruí-lo a partir de padrões conhecidos ou descobrir um caminho diferente a partir do código-fonte. Os pesquisadores auditaram os rastros de execução, mas reconhecem que eles não conseguem separar totalmente recordação de redescoberta.
Os resultados mais relevantes vieram de esquemas do Nível 2 em força total. Mythos 5 e Sonnet 5 produziram independentemente um ataque completo de recuperação de chave de 128 bits contra SpoC, um candidato de criptografia autenticada do processo de criptografia leve do NIST.
A criptografia autenticada com dados associados, comumente chamada de AEAD, protege tanto a confidencialidade quanto a integridade de uma mensagem. O ataque relatado contra SpoC usou duas consultas a um oráculo para explorar uma falha de projeto no esquema não modificado.
O Mythos 5 também produziu um ataque de reação à descriptografia contra KINDI. Esse método extrai informações a partir da forma como um sistema reage quando solicitado a descriptografar textos cifrados especialmente construídos.
Segundo o artigo, o ataque expôs um erro na prova publicada de segurança contra texto cifrado escolhido do KINDI. Os autores afirmam que tanto o problema no KINDI quanto o ataque de recuperação de chave contra SpoC eram previamente desconhecidos para eles.
Essa formulação exige cautela. Os ataques parecem inéditos com base na revisão de literatura dos pesquisadores, mas um preprint não pode estabelecer que nenhuma pessoa os tenha descoberto em particular.
Os esquemas afetados também não são equivalentes a AES, ChaCha ou aos atuais vencedores padronizados de criptografia pós-quântica. SpoC foi um candidato malsucedido de competição, enquanto KINDI não se tornou um padrão NIST implantado.
Ainda assim, candidatos reprovados ou eliminados são alvos valiosos de pesquisa. Criptógrafos humanos examinaram muitos deles durante competições públicas, submetendo o benchmark a um teste mais difícil do que quebra-cabeças deliberadamente vulneráveis.
O benchmark também registrou taxas de sucesso no Nível 2 de força total entre 4,4% e 8,9%. O Mythos 5 liderou com 8,9%, seguido pelo GPT-5.5 com 7,4% e pelo Sonnet 5 com 6,7%.
Essas porcentagens exigem contexto. Alguns ataques bem-sucedidos visaram defeitos de implementação, comportamentos subespecificados ou falhas que não comprometiam o projeto matemático pretendido.
O artigo separa a criptoanálise em nível de projeto desses resultados. Também identifica artefatos de escalonamento em que scripts de redução de parâmetros introduziram acidentalmente fraquezas não relacionadas à primitiva original.
A conclusão mais defensável, portanto, é limitada. Modelos de ponta podem encontrar falhas reais, ocasionalmente produzir ataques aparentemente novos e converter análise em código funcional.
Eles não derrotaram AES em força total. Não demonstraram que padrões criptográficos amplamente implantados sejam, em geral, vulneráveis a ataques automatizados.
Por Que a Criptoanálise Agêntica Pressiona a Revisão de Segurança
A pressão imediata recai sobre os processos de revisão criptográfica, pois a IA pode conduzir mais investigações em paralelo, revisitar candidatos negligenciados e testar hipóteses executáveis continuamente.
A criptoanálise tradicional depende de um pequeno grupo de especialistas. Eles estudam um projeto, comparam-no a construções conhecidas, desenvolvem uma hipótese matemática e dedicam tempo considerável à implementação de um ataque.
O benchmark oferece a um agente uma versão condensada desse fluxo de trabalho. Ele pode inspecionar código, ler especificações, escolher um jogo de segurança, testar o comportamento do oráculo, usar software matemático e revisar seu script de ataque.
Isso vai além de pedir uma explicação a um chatbot. O modelo opera em um ambiente com ferramentas, tempo de execução, estado e oportunidades repetidas para corrigir erros.
O estudo constatou que os modelos frequentemente reconheciam a fraqueza correta antes de falhar. Muitas perdas decorreram de execução inadequada, como escolher um objetivo desnecessariamente difícil ou delegar uma busca impraticável a um resolvedor genérico.
Essa descoberta torna mais fácil imaginar avanços futuros. Melhor planejamento, maior tempo de execução, uso aprimorado de ferramentas e coordenação mais eficiente podem aumentar as taxas de conclusão de ataques sem exigir uma percepção criptográfica inteiramente nova.
A vantagem do Mythos 5 pareceu particularmente forte quando o benchmark permitiu mais computação em tempo de teste. Computação em tempo de teste é o orçamento de processamento usado enquanto um modelo trabalha em um problema, incluindo tokens, chamadas de ferramentas e tentativas paralelas.
Isso cria uma tensão entre capacidade e risco. Defensores podem usar os mesmos sistemas para revisar esquemas candidatos, examinar implementações de referência e gerar ataques antes da implantação.
Atacantes podem usá-los para revisitar algoritmos obscuros, protocolos proprietários ou produtos pouco auditados. Eles não precisam quebrar AES se um sistema depender de uma primitiva personalizada mais fraca ou de uma implementação defeituosa.
A Anthropic enquadrou modelos cibernéticos avançados em torno de uma implantação defensiva controlada. Sua pesquisa criptográfica descreve trabalhos sobre fraquezas em Hawk e AES de rodadas reduzidas, junto ao esforço mais amplo do benchmark.
O AES de rodadas reduzidas remove algumas das rodadas repetidas de transformação da cifra para fins de pesquisa. Atacar essa variante enfraquecida ajuda a medir o progresso, mas não derrota o AES-128 padrão com todas as 10 rodadas.
Essa fronteira é fácil de perder na discussão pública. Uma manchete dizendo “IA ataca AES” pode descrever um resultado acadêmico significativo, ao mesmo tempo em que sugere uma quebra prática que nunca ocorreu.
Criptógrafos estudam há muito tempo variantes de rodadas reduzidas para mapear a margem de segurança de um projeto. O progresso contra sete rodadas pode ampliar o entendimento analítico sem tornar o AES de rodadas completas descriptografável.
A pressão, portanto, é organizacional antes de se tornar catastrófica. Órgãos de padronização, desenvolvedores de modelos e fornecedores de software precisam de procedimentos para validar ataques gerados por IA e divulgar fraquezas genuínas.
As equipes de revisão também precisarão triar um volume maior de descobertas plausíveis. Um modelo que propõe centenas de ataques pode consumir o escasso tempo de especialistas, mesmo quando a maioria das tentativas falha.
A verificação automática ajuda dentro do benchmark porque cada tarefa tem um jogo formal e uma implementação controlada. Sistemas reais raramente oferecem condições tão limpas.
Um protocolo de produção combina primitivas criptográficas com serialização, gerenciamento de chaves, fluxos de autenticação, comportamento de hardware e política operacional. Um ataque pode ter sucesso por meio dessas fronteiras sem invalidar o algoritmo central.
Por outro lado, um ataque de laboratório aparentemente bem-sucedido pode depender de uma interface ou escolha de implementação ausente nos produtos implantados. A revisão humana continua necessária para determinar o impacto prático.
O repositório aberto do benchmark oferece a pesquisadores independentes um caminho para inspecionar tarefas e comparar modelos futuros. A reprodutibilidade será crucial à medida que fornecedores fizerem alegações de capacidade mais fortes.
As organizações sob maior pressão não são apenas os laboratórios de IA. Projetos de padrões criptográficos precisam decidir quando os testes com agentes se tornarão uma parte rotineira da avaliação.
Fornecedores que usam criptografia personalizada enfrentam um alerta ainda mais claro. Os modelos podem explorar a lacuna entre as propriedades de segurança declaradas de um projeto e o comportamento real de seu código.
O Que o Benchmark Não Estabelece
O CryptanalysisBench mede uma capacidade real, mas memorização, parâmetros reduzidos, bugs de implementação e grandes orçamentos computacionais limitam conclusões amplas.
A primeira incerteza diz respeito aos dados de treinamento. Os ataques do Nível 1 já são públicos, portanto um modelo pode reproduzir textos, fórmulas ou padrões de código encontrados durante o treinamento.
Os pesquisadores realizaram auditorias em nível de rastreamento para identificar se os modelos citavam artigos, recordavam ataques conhecidos ou desenvolviam rotas diferentes. No entanto, uma derivação aparentemente inédita ainda pode refletir memorização não reconhecida.
O AIMer ofereceu um controle parcial porque um ataque eficiente de 2026 surgiu após os limites de treinamento relatados para diversos modelos. Nenhum modelo testado reproduziu o método de eliminação publicado sob as condições do benchmark.
Alguns modelos recuperaram o segredo em configurações mais permissivas, usando mais vetores de inicialização do que o ataque recente exigia. Isso sugere raciocínio útil, mas também mostra a diferença entre encontrar um ataque e igualar a eficiência de especialistas.
A segunda limitação diz respeito às variantes reduzidas. Os pesquisadores enfraqueceram muitos algoritmos do Nível 2 para tornar os ataques computacionalmente viáveis.
Essa é uma prática criptanalítica padrão, mas alterações de parâmetros podem criar vulnerabilidades artificiais. O artigo relata casos em que um script de redução truncava o processamento ou deixava buffers dependentes com tamanhos inconsistentes.
Esses sucessos descrevem uma variante defeituosa do benchmark, não progresso contra o projeto original. Os autores separaram oito ou nove desses artefatos por modelo dos resultados criptanalíticos genuínos.
A terceira limitação diz respeito às implementações de referência. Quatro das 24 tarefas do Nível 1 resolvidas por todos os modelos envolviam defeitos de código, e não falhas na primitiva subjacente.
Ataques de implementação continuam valiosos no trabalho de segurança real. No entanto, eles respondem a uma pergunta diferente daquela sobre se a construção matemática de uma cifra é sólida.
A quarta limitação é o uso de recursos. Agentes avançados podem consumir longos tempos de execução e enormes orçamentos de tokens enquanto exploram um único alvo.
O resultado ainda importa como demonstração de capacidade, mas não mostra que todo atacante pode automatizar de forma barata a criptoanálise especializada. Acesso aos modelos, infraestrutura de inferência, verificação e supervisão humana continuam sendo restrições.
A quinta limitação é a cobertura do benchmark. O conjunto de desafios representa várias cifras de nível de produção, mas não consegue abranger todos os protocolos, implementações, canais laterais ou configurações usados na prática.
Seus jogos formais restringem deliberadamente a interação a um modelo de ameaça definido. Isso impede que agentes vençam por meio de acesso acidental a arquivos secretos ou de fragilidades não relacionadas do contêiner.
Esse isolamento melhora a medição. Também remove as condições confusas nas quais atacantes reais frequentemente têm sucesso.
As salvaguardas introduzem outra complicação. Os pesquisadores relataram que não conseguiram avaliar o GPT-5.6 ou o Claude Fable 5 porque esses modelos bloquearam as tarefas de criptoanálise.
Uma recusa por segurança não indica menor capacidade subjacente. Significa que os resultados do benchmark dependem tanto da competência do modelo quanto das políticas de acesso que cercam essa competência.
Isso cria um problema de comparação. Um modelo mais capaz pode parecer mais fraco se recusar, enquanto um modelo menos restrito pode concluir mais tarefas.
Também levanta uma questão de governança. Criptógrafos defensivos precisam de acesso a análises avançadas, mas o acesso irrestrito pode disseminar capacidade ofensiva.
O benchmark não decide onde essa linha deve ficar. Ele fornece dados para um debate que antes dependia fortemente de evidências anedóticas.
Outra incerteza é a transferência. O desempenho em candidatos de competições históricas pode não prever o desempenho contra padrões maduros e amplamente revisados.
O AES recebeu décadas de atenção contínua. Um modelo encontrar uma falha em um candidato menos estudado não implica que escalar a mesma abordagem quebrará o AES.
A camada de desafios do artigo foi projetada para acompanhar esse limite. Os resultados atuais ainda estão longe de saturá-la, o que é tranquilizador e cientificamente útil.
A interpretação do anthropic schneier deve, portanto, resistir aos dois extremos. O trabalho é mais forte do que uma demonstração com uma cifra de brinquedo, mas mais fraco do que uma evidência de que a criptografia implantada enfrenta colapso iminente.
A Oportunidade Defensiva Chega Antes do Risco de Pior Caso
As organizações já podem se beneficiar ao adicionar ataques gerados por IA à revisão humana, desde que preservem verificação, divulgação e agilidade criptográfica.
Algoritmos candidatos são um ponto de partida óbvio. Equipes de padrões podem permitir que vários modelos investiguem projetos antes da seleção e, em seguida, enviar ataques reproduzíveis a criptógrafos independentes.
Isso pode ampliar a cobertura entre submissões que recebem atenção humana desigual. Candidatos das primeiras rodadas frequentemente atraem menos escrutínio depois que alternativas mais fortes surgem.
As descobertas sobre SpoC e KINDI ilustram esse valor. Mesmo quando um esquema nunca chega a ser implantado, uma falha recém-identificada pode melhorar as práticas de projeto futuras.
As implementações de referência são outro alvo prático. Agentes podem comparar uma propriedade formal de segurança com caminhos de código que ignoram autenticação, tratam incorretamente entradas vazias ou omitem componentes de mensagens.
Esse trabalho se sobrepõe à descoberta convencional de vulnerabilidades, mas o código criptográfico exige raciocínio especializado. Um scanner genérico pode detectar erros de memória e ainda assim deixar passar uma falsificação em nível de protocolo.
A IA também pode ajudar a construir testes de regressão após a descoberta de uma fraqueza. Um script de ataque válido se torna um artefato concreto que os desenvolvedores podem preservar junto ao código corrigido.
As organizações não devem permitir que um modelo aprove suas próprias descobertas. A reprodução independente continua necessária, especialmente quando o resultado afeta um padrão ou biblioteca amplamente utilizada.
Uma cadeia de revisão sensata começa com um ataque executável automaticamente. Em seguida, um criptógrafo humano identifica se ele visa o projeto, a implementação ou uma condição artificial do benchmark.
Depois, os mantenedores podem reproduzir o resultado na base de código afetada. Só então as equipes devem avaliar a exposição em produção e coordenar a divulgação.
Essa estrutura limita alarmes falsos sem descartar pesquisas geradas por modelos. Também mantém o modelo na função em que o benchmark mostra seu valor mais claro: gerar e implementar hipóteses.
A agilidade criptográfica se torna mais importante à medida que a análise automatizada melhora. O termo significa projetar sistemas para que algoritmos e chaves possam ser substituídos sem reconstruir um produto inteiro.
O processo de padronização do NIST já demonstra por que o planejamento de migração importa. Selecionar um algoritmo é apenas o começo; a implantação em protocolos, hardware e sistemas de longa vida leva anos.
A IA não muda essa realidade operacional. Ela pode encurtar o tempo entre a publicação de um projeto e a descoberta de fraquezas, tornando migrações lentas mais custosas.
As equipes devem inventariar onde primitivas criptográficas aparecem, quais bibliotecas as implementam e se os protocolos podem negociar substituições mais seguras. Algoritmos personalizados merecem atenção imediata porque não têm o histórico de revisão dos padrões estabelecidos.
No entanto, as organizações não devem substituir criptografia madura apenas porque um modelo produz uma análise preocupante. Mudanças prematuras podem introduzir novos defeitos de implementação e falhas de interoperabilidade.
A oportunidade defensiva depende de evidências disciplinadas. Um ataque que vence um jogo formal merece investigação, enquanto uma prosa sem suporte merece ceticismo.
O modelo de verificação do benchmark oferece um modelo útil além da criptografia. Avaliações de segurança de IA devem exigir artefatos reproduzíveis sempre que a tarefa permitir.
Isso importa porque alegações sobre modelos de fronteira moldam cada vez mais regras de acesso, decisões de compra e políticas públicas. As medições devem distinguir raciocínio, memorização, habilidade de implementação e uso de recursos de força bruta.
O CryptanalysisBench não resolve completamente esses problemas de medição. Ele os torna visíveis em um domínio no qual o sucesso tem uma definição excepcionalmente clara.
Três Sinais Mostrarão se a Criptoanálise por IA Está Acelerando
A próxima fase depende de vitórias em benchmarks mais difíceis, reprodução independente de ataques inéditos e adoção rotineira por equipes de padrões.
O primeiro sinal é o progresso contra o conjunto de desafios não resolvidos. Pesquisadores devem acompanhar se modelos futuros produzem ataques não triviais contra rodadas mais avançadas de AES, ChaCha ou outras cifras de produção.
Um resultado importa mais quando avança a fronteira criptanalítica publicada sem depender de um bug no ambiente de teste. Especialistas independentes devem confirmar a complexidade, os requisitos de dados e o significado prático.
Nenhum resultado isolado em rodadas reduzidas significa que a criptografia de força total falhou. Um padrão sustentado em variantes mais fortes mostraria que a pesquisa assistida por modelos está se aproximando da criptoanálise especializada.
O segundo sinal é a reprodução independente das descobertas sobre SpoC e KINDI. Outros criptógrafos precisam verificar os ataques, pesquisar a literatura anterior e avaliar se as suposições afetadas aparecem em outros lugares.
Uma reprodução bem-sucedida reforçaria a afirmação de que agentes de fronteira podem contribuir com criptoanálise original. Uma publicação anterior ou dependência específica do benchmark restringiria essa conclusão.
Versões futuras do benchmark também devem incluir alvos recentes, privados ou recém-publicados que sejam posteriores ao treinamento dos modelos. Isso tornaria a memorização uma explicação menos plausível.
O terceiro sinal é a adoção por organismos de padronização e laboratórios de segurança. O benchmark se torna operacionalmente importante quando os testes com agentes se juntam à revisão de código e à criptoanálise humana como uma etapa normal antes da implantação.
Essa mudança deve incluir regras de divulgação. Os modelos podem gerar descobertas mais rapidamente do que especialistas conseguem validá-las, portanto uma fila maior sem triagem pode retardar o trabalho defensivo.
Observe se os desenvolvedores de modelos compartilham transcrições, orçamentos de recursos, tentativas fracassadas e código de verificação. É mais fácil confiar nos resultados quando pessoas externas conseguem distinguir um novo ataque matemático de um defeito de codificação.
Observe também a política de acesso. A Anthropic limitou seu modelo cibernético mais capaz a parceiros selecionados, refletindo preocupação com o uso ofensivo.
O acesso restrito pode desacelerar o uso indevido, mas também pode concentrar capacidade defensiva avançada em poucos laboratórios. Uma participação mais ampla em pesquisa exigirá ambientes controlados e processos responsáveis de divulgação.
A resposta ponderada de Bruce Schneier é o ponto de referência correto. Estes são resultados iniciais, mas descrevem uma capacidade com implicações diretas para a infraestrutura digital.
A pergunta útil não é se um LLM pode “quebrar a criptografia” em abstrato. É se cada geração de modelos consegue derrotar alvos mais difíceis, mais limpos e mais atuais sob regras verificáveis.
Líderes de segurança devem acompanhar essa progressão e preparar seus próprios sistemas para uma revisão criptográfica mais rápida. Inventariem os algoritmos dos quais sua organização depende, eliminem projetos personalizados e testem se protocolos críticos oferecem suporte à substituição.
Para os pesquisadores, a ação imediata é igualmente concreta. Reproduzam os novos ataques, questionem as premissas do benchmark e enviem alvos mais robustos antes que as alegações de capacidade ultrapassem as evidências.
A história anthropic schneier continua sendo um sinal de alerta, não uma declaração de colapso criptográfico. Seu valor está em medir a distância entre os sucessos limitados de hoje e os ataques que obrigariam toda a indústria a responder.


