El modelo de seguridad Mythos, de Anthropic, ayudó a encontrar una debilidad inédita en HAWK, un candidato de firma digital poscuántica que ahora abandona la competencia de NIST.
***

• Mythos mejoró el ataque conocido contra HAWK y redujo efectivamente su fortaleza de clave a la mitad.
• El desarrollador de HAWK retiró el algoritmo después de que Anthropic divulgara los resultados.
• El modelo también redujo de 2¹⁰⁵ a 2⁸⁹ las entradas requeridas para un ataque experimental contra una versión debilitada de AES.

El ataque de Mythos a HAWK lo saca de la carrera poscuántica

Una falla que cambia el futuro de HAWK

HAWK, un esquema de firma digital diseñado para resistir futuros ataques de computadoras cuánticas, abandonó la competencia para convertirse en un estándar oficial de Estados Unidos. El retiro ocurrió después de que Mythos, un modelo de seguridad desarrollado por Anthropic, ayudara a descubrir una debilidad relevante en su diseño.

El algoritmo había superado dos rondas de evaluación general del Instituto Nacional de Estándares y Tecnología, conocido como NIST. HAWK participaba en una tercera ronda, creada precisamente para buscar fallas más profundas en los candidatos de criptografía poscuántica.

Anthropic anunció el lunes los resultados de sus pruebas y el desarrollador de HAWK comunicó su retiro el martes. La decisión refleja el impacto inmediato que puede tener un hallazgo criptográfico cuando afecta a un algoritmo que todavía compite por reconocimiento institucional.

El descubrimiento surgió tras aproximadamente 60 horas de trabajo y un costo de computación cercano a USD $100.000. Un investigador de Anthropic sin experiencia previa en criptografía dirigió el uso de Mythos, que terminó mejorando el ataque conocido contra HAWK.

La mejora redujo efectivamente a la mitad la fortaleza de la clave del algoritmo. Sophie Schmieg, experta en criptografía poscuántica de Google, señaló que ya existían sospechas sobre debilidades futuras en HAWK, pero consideró que el nuevo resultado lo volvió menos competitivo frente a ML-DSA y FN-DSA.

“Básicamente, con este artículo, HAWK está muerto”, escribió Schmieg al evaluar las consecuencias del hallazgo. La frase resume la situación del algoritmo dentro de una carrera donde el rendimiento, el tamaño de las claves y la confianza matemática resultan decisivos.

Cómo Mythos encontró el método

La seguridad de HAWK depende de la dificultad del Problema de Isomorfismo de Redes. A diferencia de varios esquemas de firma digital utilizados actualmente, este problema se considera resistente frente a ataques realizados con computadoras cuánticas.

El mejor ataque clásico conocido buscaba simetrías llamadas automorfismos. Mythos produjo un método previamente desconocido para encontrar esas simetrías mediante una combinación de técnicas matemáticas y computacionales.

Matthew Green, profesor de Johns Hopkins y especialista en criptografía, destacó que el resultado no necesitó inventar matemáticas completamente nuevas. Según explicó, el avance consistió en combinar herramientas conocidas que nadie había unido antes de esa manera.

“Lo que es particularmente preocupante, y especialmente propenso para la IA, es que el ataque no inventa matemáticas fundamentalmente nuevas”, escribió Green. “Simplemente extiende un montón de herramientas que estaban allí y bien conocidas, y obtiene un buen resultado”.

Anthropic describió un proceso semiautónomo, con orientación humana ocasional y dirección no técnica. Mythos revisó literatura especializada, desarrolló razonamientos matemáticos, ejecutó experimentos y construyó un flujo de verificación de extremo a extremo para comprobar la corrección del ataque.

La compañía indicó que utilizó dos agentes separados para buscar el método mejorado. Uno rechazó inicialmente la propuesta por considerarla inviable, mientras el segundo encontró una forma de hacerla funcionar; después, ambos trabajaron hasta coincidir en que el ataque era efectivo.

El caso de AES es menos dramático

Mythos también ayudó a mejorar un ataque contra AES, el sistema de cifrado de uso generalizado. En este caso, el resultado fue menos contundente y no implica que los dispositivos o servicios que utilizan AES estén actualmente expuestos.

La técnica pertenece a la familia de ataques de encuentro en el medio. Bajo un modelo de amenaza con texto claro elegido, el atacante introduce grandes cantidades de información conocida y analiza las salidas cifradas en busca de pistas sobre una clave secreta.

El mejor ataque conocido contra AES requería aproximadamente 2¹⁰⁵ entradas de texto claro. Mythos ayudó a encontrar una técnica basada en un Puente de Möbius, un método más sofisticado de identificación utilizado en ataques de encuentro en el medio.

El código desarrollado durante la investigación redujo el requisito hasta 2⁸⁹ entradas. Anthropic estimó que ese ahorro podría reducir entre 200 y 800 veces el tiempo necesario para ejecutar ataques de ese tipo.

Aun así, generar semejante cantidad de entradas queda fuera del alcance de un ataque práctico fuera del laboratorio. Además, la prueba utilizó una versión debilitada de AES con solo siete rondas, mientras que las especificaciones reales emplean 10, 12 o 14 rondas, dependiendo del tamaño de la clave.

La fuente Ars Technica subrayó que los dos resultados deben analizarse con cautela. Las pruebas utilizaron instancias de desafío debilitadas, entregadas por los autores de las especificaciones para facilitar la revisión adversarial y académica.

Qué significan los hallazgos para la seguridad

Los ataques no rompen los sistemas criptográficos de los que depende la seguridad digital cotidiana. Sus resultados son incrementales, porque reducen moderadamente el trabajo necesario para derrotar ciertos sistemas experimentales, pero no permiten recuperar claves operativas en escenarios normales.

Los investigadores también advirtieron que los primitivas matemáticas subyacentes continúan considerándose seguras, al menos por ahora. En criptografía académica, un sistema suele considerarse roto cuando una debilidad permite derivar una clave más rápido que mediante fuerza bruta.

La retirada de HAWK tiene una consecuencia concreta dentro de la estandarización poscuántica. Aunque duplicar el tamaño de la clave podría mitigar la debilidad, el costo computacional adicional haría que el algoritmo resultara menos atractivo que otras alternativas disponibles.

La investigación también plantea dudas sobre el papel de los modelos de lenguaje en el criptoanálisis. Anthropic sostuvo que estos sistemas podrían producir resultados novedosos con mayor rapidez que los procesos humanos de revisión, verificación y corrección.

La compañía advirtió que los investigadores humanos podrían convertirse en un cuello de botella al evaluar la validez técnica, la novedad y la utilidad de los hallazgos generados por modelos. Sin embargo, también existe un incentivo comercial para presentar estas capacidades de forma favorable.

El desempeño de Mythos todavía no permite establecer cuánto supera a los métodos convencionales. No se sabe si investigadores humanos estaban cerca de encontrar el ataque contra HAWK ni si el modelo podría producir avances comparables contra sistemas más consolidados, como la criptografía de curva elíptica o RSA.

Una advertencia para la criptografía poscuántica

El caso HAWK muestra por qué los candidatos poscuánticos requieren rondas prolongadas de revisión. Un algoritmo puede superar evaluaciones generales y, aun así, revelar debilidades cuando expertos y herramientas especializadas examinan aspectos concretos de su estructura.

La criptografía poscuántica busca proteger comunicaciones, firmas digitales y activos digitales frente a computadoras cuánticas futuras. Aunque esas máquinas todavía no representan una amenaza práctica para los sistemas actuales, la migración tecnológica exige analizar los algoritmos con suficiente anticipación.

Para el ecosistema de criptomonedas, estos procesos tienen una importancia particular. Las redes blockchain dependen de firmas digitales para autorizar transacciones, controlar fondos y demostrar la propiedad de activos, por lo que una debilidad estructural podría tener consecuencias severas si llegara a afectar implementaciones reales.

El resultado contra HAWK no significa que las billeteras, los exchanges o las redes que utilizan criptografía convencional hayan quedado expuestos. Sí demuestra que la resistencia cuántica debe acompañarse de auditorías matemáticas, pruebas independientes y análisis continuo durante todo el ciclo de estandarización.

El episodio deja una conclusión equilibrada. El criptoanálisis asistido por inteligencia artificial todavía no está probado como una amenaza práctica generalizada, pero Mythos ofrece evidencia de que los modelos pueden encontrar combinaciones útiles entre técnicas existentes y acelerar la búsqueda de debilidades.

La carrera futura no consistirá únicamente en crear cifrados más fuertes. También dependerá de la capacidad de investigadores, desarrolladores y organismos de estándares para validar con rapidez los resultados de sistemas de IA, sin confundir una demostración de laboratorio con una ruptura efectiva de la seguridad cotidiana.

Imagen original de DiarioBitcoin, creada con inteligencia artificial, de uso libre, licenciada bajo Dominio Público.

Este artículo fue escrito por un redactor de contenido de IA y revisado por un editor humano para garantizar calidad y precisión.

ADVERTENCIA: DiarioBitcoin ofrece contenido informativo y educativo sobre diversos temas, incluyendo criptomonedas, IA, tecnología y regulaciones. No brindamos asesoramiento financiero. Las inversiones en criptoactivos son de alto riesgo y pueden no ser adecuadas para todos. Investigue, consulte a un experto y verifique la legislación aplicable antes de invertir. Podría perder todo su capital.

Suscríbete a nuestro boletín