Mostrando entradas con la etiqueta Quantum. Mostrar todas las entradas
Mostrando entradas con la etiqueta Quantum. Mostrar todas las entradas

jueves, octubre 22, 2026

Claude Mythos reduce hasta 39 veces el coste de Circuitos Cuánticos

Hace poco os contábamos en este blog cómo Claude Mythos Preview se había sentado atrabajar como criptoanalista y había encontrado nuevas formas de debilitar HAWK y AES. Aquella historia tenía a la Inteligencia Artificial buscando grietas en los algoritmos que protegen nuestra información. Ahora Claude vuelve a aparecer en el mundo de la Criptografía y la Computación Cuántica, pero en el lado contrario de la mesa. Esta vez no intenta romper un algoritmo: intenta diseñar los circuitos con los que funcionarán los ordenadores cuánticos del futuro.

 
La ironía es bastante buena. Una Inteligencia Artificial clásica está ayudando a reducir los recursos que necesitarán los Quantum Computers que, algún día, podrán ejecutar algoritmos como el de Shor y poner contra las cuerdas a buena parte de la criptografía actual.


El trabajo, liderado por Andi Gu dentro del programa STEM Fellows de Anthropic junto con Alek Kemeny, Susanne Yelin y Mikhail Lukin, plantea un experimento aparentemente sencillo: darle a Claude Mythos 5 la descripción en lenguaje natural de ocho circuitos cuánticos, dejar que proponga implementaciones en Python y utilizar un evaluador independiente para comprobar que funcionan y medir cuánto cuestan.


El resultado es de los que obligan a mirar dos veces la tabla. En siete de las ocho tareas, los circuitos encontrados reducen simultáneamente el número de Puertas Toffoli y el número de qubits respecto al mejor diseño de referencia. En las comparaciones directas, la mejora del coste combinado llega hasta 39 veces. Y en la octava tarea Claude no se limitó a optimizar una implementación conocida: encontró una nueva arquitectura reversible pararealizar inversión modular.

La carrera cuántica no se gana sólo fabricando mejores qubits

Cuando hablamos de Quantum Computing solemos imaginar que el gran cuello de botella está en el hardware: fabricar más qubits, mantenerlos aislados del ruido y corregir sus errores durante el tiempo suficiente. Y todo eso es cierto. Los procesadores actuales siguen teniendo muy pocos qubits para ejecutar muchas de las aplicaciones que prometen una ventaja real, y además son extraordinariamente frágiles. Pero hay otra forma de acercar una aplicación al hardware disponible: hacer que el algoritmo necesite mucho menos ordenador.

El ejemplo que utiliza Anthropic es FeMoco, el cluster de hierro y azufre que se encuentra en el corazón de la nitrogenasa, la enzima con la que algunas bacterias convierten el nitrógeno del aire en amoníaco. Entender su química podría ayudar a diseñar catalizadores industriales mejores y procesos de fabricación de fertilizantes más limpios.

En 2017 se estimó que calcular su energía fundamental exigiría alrededor de 50 billones de puertas Toffoli. Después de ocho años de mejoras algorítmicas y rediseños de circuitos, la estimación cayó hasta unos 340 millones: aproximadamente 150.000 veces menos. No apareció de repente un ordenador 150.000 veces mejor. Gran parte del progreso consistió en aprender a pedirle mucho menos trabajo a la máquina. Hay dos formas de hacer que un ordenador sea 150.000 veces mejor en una tarea: la primera que el ordenador sea 150.000 veces mejor y la segunda que la tarea sea 150.000 veces más sencilla


Aquí conviene explicar qué se está contando. Un circuito cuántico, igual que uno clásico, se construye aplicando operaciones elementales. La Puerta Toffoli es especialmente costosa en una arquitectura tolerante a fallos, así que su número se utiliza como una aproximación al trabajo lógico y, muchas veces, al tiempo de ejecución.

Pero contar operaciones no basta. También importa cuántos qubits necesita utilizar el circuito a la vez. Pensad en lo que ocurre con un programa normal: puede guardar resultados en memoria para no tener que calcularlos de nuevo. Ahorra trabajo, pero ocupa más espacio. En estos circuitos aparece una negociación parecida: guardar resultados intermedios consume qubits; no guardarlos puede obligar a repetir cálculos.


Por eso los investigadores valoran ambas cosas conjuntamente. Cada propuesta de Claude recibe una puntuación que combina las operaciones que necesita y los qubits que utiliza. Así pueden comparar diseños que ahorran por caminos distintos: unos reducen mucho el trabajo, otros necesitan menos memoria y algunos consiguen mejorar las dos cosas.

La idea es sencilla: hacer la misma tarea con menos recursos, sin que el ahorro en una parte dispare el gasto en la otra.

La maquinaria de búsqueda se parece más a un laboratorio automático que a una conversación normal con un chatbot. Cada tarea comienza con una especificación escrita por investigadores y un programa vacío. Claude propone varias familias de soluciones, escribe el código que construye cada circuito y recibe del evaluador los errores o la puntuación. Las propuestas válidas sobreviven y se modifican; las que dejan una ancilla sin limpiar, calculan mal una salida o incumplen la interfaz quedan descartadas.



El sistema utiliza OpenEvolve para mantener esa búsqueda evolutiva y Claude Mythos 5 para proponer arquitecturas y reescrituras. Entre iteraciones no hay una conversación infinita que lo recuerde todo: cada sesión recibe una parte limitada del archivo de diseños, sus costes, algunos intentos anteriores y el feedback del evaluador.

La extraña regla cuántica: aquí no se puede tirar la basura

Hasta aquí parece un problema de optimización de código bastante convencional. El detalle que lo vuelve realmente interesante es que un circuito cuántico no puede programarse igual que una aplicación normal.

La primera dificultad es el control de flujo. Un programa clásico mira una condición y decide: “si ocurre esto, ejecuta A; si no, ejecuta B”. Un circuito cuántico puede estar procesando una superposición de entradas en la que unas necesitarían A y otras B. No puede seleccionar tranquilamente una sola rama clásica: tiene que expresar ese comportamiento mediante operaciones controladas dentro de una secuencia fija de puertas. Y el coste de esas ramas termina dentro del circuito.

La segunda dificultad es todavía más extraña: no se puede borrar la información intermedia sin más.

Imaginad que resolvéis un problema en una pizarra. Hacéis unas cuentas auxiliares, utilizáis el resultado y después borráis la esquina donde estaban los garabatos. En un ordenador cuántico esa basura no puede desaparecer de manera irreversible. Si queda enganchada al estado, puede impedir que las amplitudes interfieran como deben. Y si intentáis borrarla de la manera clásica, destruís la reversibilidad del cálculo.

La salida habitual es el "uncomputation": una vez utilizado el resultado intermedio, se ejecutan en sentido inverso las operaciones que lo produjeron hasta devolver los qubits auxiliares a cero. Funciona, pero cuesta más puertas.


Y esto crea una negociación permanente. Guardar resultados intermedios ahorra repetir cálculos, pero consume qubits. Limpiarlos cuanto antes libera memoria, pero puede obligar a recomputarlos más tarde. Diseñar un buen circuito significa encontrar un punto inteligente en esa frontera.

El primer gran examen que pusieron a Claude fue la suma de puntos sobre curvas elípticas. Quienes hayáis leído el artículo sobre el algoritmo de Grover ya sabéis que un algoritmo cuántico no es una especie de magia universal: cada ventaja necesita un circuito muy concreto.  En este caso la suma de puntos es una pieza central de los algoritmos cuánticos para resolver el logaritmo discreto en curvas elípticas, el problema sobre el que descansa ECDSA y buena parte de la criptografía de curva elíptica.

El paso más caro de esa suma suele ser la inversión modular. En un ordenador clásico existe un método muy eficaz llamado divsteps, que va actualizando una pareja de números y decide en cada ronda si intercambia, suma, resta o divide entre dos.

El problema es que, para ejecutar el proceso al revés, un circuito cuántico tendría que recordar qué decisión tomó en cada una de sus muchas iteraciones. Guardar toda esa historia de ramas consume una cantidad enorme de qubits. Por eso un algoritmo clásico excelente podía ser una mala base para un circuito reversible.

Claude propuso una salida bastante elegante: tal vez la historia no tenía que guardarse porque podía reconstruirse mirando el estado actual de los números. Es decir, el propio resultado de cada paso podía actuar como memoria de la decisión que lo había producido.

Las primeras reglas que encontró funcionaban en ejemplos pequeños y fallaban al llegar a números de 256 bits. Entonces dejó de probar trucos locales y empezó a estudiar la estructura matemática de divsteps. Derivó identidades algebraicas, construyó una regla exacta para recuperar la rama, la comprobó con simulaciones a gran escala y formalizó la afirmación en Lean. El resultado fue la primera implementación reversible de divsteps sin almacenar toda la historia de ramas.

Todo ese recorrido nació de un encargo de un párrafo y una ejecución de 53 horas, con intervención humana limitada a la especificación inicial y a algunas indicaciones para que explorase alternativas más amplias.

Pero no existe un único circuito ganador. Decodificar la historia ahorra qubits y cuesta puertas; almacenarla cuesta memoria y puede ahorrar tiempo. Claude produjo una familia de soluciones que amplía la frontera entre ambos recursos.


La comparación que resume mejor la idea es ésta: frente al diseño anterior con menos qubits, una de las nuevas variantes utiliza aproximadamente un 12% más de qubits, pero necesita 17 veces menos puertas. En un hardware donde el tiempo sea la restricción dominante, ésa puede ser una negociación extraordinaria. En otro donde cada qubit sea carísimo, puede interesar una variante diferente.

Optimizar al propio optimizador cuántico

La segunda historia del trabajo parece un trabalenguas: Claude optimizó el decodificador que utiliza un algoritmo cuántico de optimización. El algoritmo se llama Decoded Quantum Interferometry o DQI. En vez de buscar una única respuesta de manera directa, prepara un estado cuántico en el que las soluciones mejores tienen más probabilidad de aparecer al medir. Para construir ese estado necesita un decodificador de códigos Reed–Solomon, y ese decodificador era la parte más cara del circuito.

Para ponerle una imagen al problema, Anthropic utiliza la intersección polinómica óptima donde cada columna admite ciertos valores y buscamos una curva sencilla que pase por tantos de ellos como sea posible. La figura original permite ver qué intenta optimizar DQI antes de entrar en la maquinaria del decodificador.


La implementación anterior estaba basada en el algoritmo de Euclides extendido. Es un método estupendo en un Quantum Computer, pero su secuencia de divisiones e intercambios depende de la entrada. Para un circuito cuántico con una única secuencia fija de puertas, esa variabilidad obliga a reservar rondas y operaciones que muchas entradas no necesitarán. Claude cambió la base del diseño por el algoritmo de Berlekamp–Massey, que realiza el mismo tipo de actualización en cada ronda y ejecuta un número fijo de rondas. Es una forma de cálculo mucho más compatible con el control de flujo cuántico.

Aun así quedaba la basura. Una traducción reversible ingenua debería conservar valores temporales de muchas rondas. Reservar memoria para el peor caso –35 valores excepcionales– exigiría 665 qubits. Claude volvió a utilizar la misma idea de fondo: reconstruir casi toda la historia a partir del estado actualizado y guardar únicamente lo que de verdad no puede recuperarse.

Para saber cuánto espacio necesitaba, escribió un simulador de alta velocidad y ejecutó 403 millones de decodificaciones. Casi todas necesitaron guardar como máximo un valor, por lo que el circuito reserva sólo 19 qubits. Aproximadamente una de cada 10.000 ejecuciones necesita más y falla, una probabilidad que entra dentro del presupuesto de error permitido por la tarea.


La mejora no salió de apretar un único tornillo. Llegó de rediseñar tres capas a la vez: elegir otro algoritmo, cambiar la forma de hacerlo reversible y dejar de dimensionar la memoria para un caso extremadamente raro que la propia tarea permitía tratar como fallo. En conjunto, el decodificador Reed–Solomon pasó de unos 5,1 millones de puertas Toffoli y 1.938 qubits a 440.000 Toffoli y 1.837 qubits: una mejora de unas 12 veces en el coste T Q. Y no fue un caso aislado.

Los ocho problemas cubrían decodificación para optimización, funciones numéricas utilizadas en simulación, química cuántica, teoría de números y simulación de teorías gauge. En la Función Gaussiana de punto fijo, la mejora del coste T Q llegó a 39 veces; en el ángulo de rotación de HHL fue de 32 veces; en el potencial de Coulomb, de 9,9; y en una rutina para simular un sistema no abeliano, de 7,7.


No todas estas cifras significan que una aplicación completa vaya a ejecutarse exactamente 39 veces más rápido. Son mejoras en primitivas concretas y bajo una función de coste concreta. Pero esas primitivas se llaman una y otra vez dentro de algoritmos mucho mayores, de modo que reducirlas puede cambiar de manera significativa la factura total.

Lo más importante no es que Claude escribiera el código

Hay una lectura superficial de este trabajo que sería: “Claude sabe programar circuitos cuánticos”. Es cierta, pero se queda corta. Lo realmente interesante es el tipo de entorno científico que han construido. El modelo puede proponer ideas arriesgadas porque cada resultado terminado pasa por un juez externo. Si calcula mal, si no devuelve los ancillas a cero o si utiliza demasiados recursos, el evaluador lo detecta. El sistema no confunde una explicación convincente con una demostración correcta. Ésta parece ser una de las combinaciones más fértiles para acelerar investigación con inteligencia artificial:

1. un problema que pueda representarse como código;
2. una comprobación externa y suficientemente barata de la corrección;
3. una función de coste objetiva;
4. y libertad para explorar familias de soluciones que no sean simples retoques locales.

Claude no se limitó a rebajar contadores. En los dos ejemplos principales cambió la manera de representar la información que un circuito reversible necesita conservar. La idea recurrente fue especialmente física: no guardes toda la historia si el estado presente ya contiene huellas suficientes para reconstruirla.

También conviene mantener los pies en el suelo. Los circuitos no se ejecutaron en un ordenador cuántico real. El evaluador funciona de forma eficiente porque las tareas estudiadas pertenecen a una clase concreta: circuitos que implementan funciones clásicas de forma coherente y que pueden comprobarse siguiendo estados de la base computacional. No cualquier circuito cuántico arbitrario admite una verificación clásica tan barata.



El coste T Q tampoco representa por igual todas las máquinas. En algunas arquitecturas dominará el número de puertas; en otras, la profundidad, el enrutamiento o el número de qubits activos. El propio paper subraya que la función de puntuación puede cambiarse para reflejar restricciones de hardware diferentes.

Y tampoco hubo una ausencia absoluta de humanos. Las especificaciones, las interfaces y los criterios de corrección fueron escritos por investigadores. En el experimento de curvas elípticas hubo indicaciones ocasionales para que Claude ampliara la búsqueda, porque el modelo tendía a ser conservador y a volver a enfoques conocidos. Esa cautela también tuvo una cara útil: lo llevó a comprobar repetidamente el resultado y a formalizar una parte en Lean.

Pero el salto sigue siendo difícil de ignorar. La reducción acumulada de FeMoco necesitó ocho años y muchos equipos. La nueva familia de circuitos para curvas elípticas apareció en una ejecución de 53 horas. No son comparaciones idénticas, pero sí señalan una diferencia enorme en la velocidad con la que puede explorarse un espacio de diseños cuando una IA propone y una máquina verifica.


Y aquí aparece la posibilidad más ambiciosa del trabajo. Un Quantum Computer tolerante a fallos no es sólo un circuito. También necesita códigos de corrección de errores, decodificadores, compilación, enrutamiento y decisiones de hardware. Hoy solemos diseñar cada capa por separado porque hacerlo todo a la vez es demasiado complejo. Pero muchas de esas capas comparten las mismas propiedades: pueden escribirse como código, comprobarse y puntuarse. ¿Y si una IA pudiera diseñarlas conjuntamente para una aplicación concreta?

Tal vez los primeros ordenadores cuánticos útiles no lleguen únicamente porque aprendamos a fabricar millones de qubits mejores. Puede que lleguen también porque sistemas como éste descubran que, para resolver el problema que nos interesa, no necesitábamos tantos qubits ni tantas puertas como creíamos.

La última vez que Claude Mythos apareció en este blog estaba buscando una grieta en la criptografía postcuántica. Esta vez ha estado diseñando parte de la maquinaria que algún día podría ejecutar los algoritmos cuánticos contra la criptografía clásica. Visto así, la Inteligencia Artificial no sólo está acelerando la ciencia. También está empezando a diseñar las herramientas con las que haremos la siguiente.

Saludos,

Otros artículos sobre Quantum Computing publicados:

sábado, octubre 17, 2026

Cómo recuperar claves de Wallets de Criptomonedas Exodus : "Not Your Keys, Not Your Coins"... ¿o tal vez sí?

Tuve mi primer ordenador a los 16 años. No tenía disco duro. Solo una enorme disquetera de 5¼ pulgadas y MS-DOS. No aprendí a programar entonces, pero hice algo que acabaría marcando mi forma de entender la informática: me leí la ayuda de prácticamente todos los comandos. Quería saber qué hacía cada instrucción, de dónde venían los datos, adónde iban y qué relación existía entre lo que escribía en la consola y lo que terminaba almacenado en aquel disco. 

Figura 1: Cómo recuperar claves de Wallets de Criptomonedas Exodus.
 "Not Your Keys, Not Your Coins"... ¿o tal vez sí?

Así aprendí a “robar” los programas de diseño gráfico para poder instalarlos en mi primer ordenador que me compré con 18 años, copiando los archivos disquete a disquete, copiando las instrucciones de archivos .ini de Windows, creando directorios… Aprendí a lo bruto!

Parte I: La movida.

Décadas después, el mundo cripto me ha devuelto exactamente esa sensación. Existe una idea muy asociada a Warren Buffett: no pongas dinero en algo que no comprendes. Yo descubrí hasta qué punto eso era cierto cuando sufrí mi primer problema serio con una wallet.

Utilizaba Exodus con pocos fondos para experimentar. En una ocasión quise instalarla como extensión en un navegador. No encontré una extensión oficial en la web de Exodus, pero sí una que aparentaba serlo en el marketplace del navegador. Introduje mis 12 palabras: No funcionó. Lo intenté varias veces y me marché a trabajar. Horas después descubrí que los fondos habían desaparecido. Ahí aprendí mi primera gran lección sobre autocustodia.

Yo había configurado una contraseña en Exodus y, de alguna manera, había dado por supuesto que aquella contraseña protegía la wallet en cualquier lugar, como sucede con cualquier cuenta en la nube. No comprendía todavía que aquella contraseña protegía fundamentalmente esa instalación local, mientras que quien dispusiera de mis 12 palabras podía reconstruir el acceso a los activos desde otra aplicación compatible. La lección fue cara, aunque la cantidad fuera pequeña: las verdaderas llaves eran aquellas palabras.

Pasó el tiempo. Seguí leyendo sobre Bitcoin, blockchain, DeFi y wallets, hasta que otro problema volvió a empujarme hacia dentro de la tecnología. Durante unas pruebas con una tarjeta de débito vinculada a criptomonedas tuve que realizar una conexión que acabó provocando avisos de seguridad en mi wallet de pruebas de Exodus. La aplicación terminó restringiendo determinadas operaciones y el soporte técnico no conseguía ofrecerme una solución clara para mover algunos activos.

Ante la impotencia hice algo muy sencillo: restauré las mismas 12 palabras en otra wallet compatible, a ver si funcionaba. Los fondos estaban ahí. Podía operarlos. Y entonces comprendí de verdad algo que hasta ese momento solo conocía superficialmente: la wallet no es el patrimonio. La wallet es una herramienta para acceder, mediante unas claves, a activos registrados en blockchain.

Las mismas 12 palabras podían reconstruir las claves desde aplicaciones diferentes. Aquello despertó una pregunta mucho más interesante: ¿qué relación existe entre doce palabras que un ser humano puede escribir en un papel y las enormes cadenas de números que terminan controlando direcciones criptográficas? Ahí conecté el problema con otra investigación personal que llevaba desarrollando desde hacía muchos años: la sucesión de los números primos.

BIP-39 utiliza una lista de 2.048 palabras. Empecé a estudiar sus posiciones y a representarlas mediante coordenadas asociadas a números primos. Esa representación no rompe BIP-39 ni reduce mágicamente su seguridad; me proporcionó, sobre todo, una forma matemática de estudiar las palabras, sus posiciones y las combinaciones válidas.

Figura 3: “A los monos háblales de plátanos” o sustituir números por
palabras como la manera más fácil de ayudar a recordar una clave,
 además de añadir conceptualmente un punto más de “dificultad”
 a la hora de “desencriptarla”.

Con ayuda de un asistente de programación construí herramientas capaces de generar frases BIP-39 válidas y empecé a comprender algo que antes me parecía casi mágico: las palabras son una representación amigable para humanos de información binaria generada bajo reglas matemáticas muy concretas (a los monos háblales de plátanos). 

Figura 4: 2048 palabras producen un número exageradamente grande de posibles
combinaciones, pero es un número finito, concreto. La posibilidad de
que tu frase semilla NO coincida con la frase semilla que obtenga
otro usuario depende únicamente de capacidad de cómputo.

Detrás de aquel simple papel con doce palabras había todo un universo. Y entonces decidí intentar el camino contrario. No preguntarme solamente cómo se genera una frase válida, sino:

¿Qué información deja una aplicación de wallet en un ordenador y hasta dónde puede llevarnos esa información?

Parte II. La investigación técnica

Empecé por Exodus Desktop en Windows. Analicé sus carpetas locales, sus copias de seguridad y posteriormente parte del código de la propia aplicación. Dos archivos aparecieron una y otra vez en la investigación:
  • passphrase.json
  • seed.seco
Construí una herramienta experimental para estudiar esos archivos en mis propias wallets de pruebas. El resultado fue sorprendente. En determinados estados locales de Exodus sin contraseña configurada, el material almacenado permite descifrar una estructura interna que contiene información suficiente para reconstruir la frase BIP-39.

Figura 5 El guardado local de archivos que contengan información de
cualquier tipo de login es el eslabón más débil de la cadena.
A partir de descifrar el mecanismo de generación de la clave,
puede recorrerse el camino a la inversa:

La aplicación que desarrollé no se limita a mostrar doce palabras. Reconstruye la información BIP-39, comprueba que reproduce correctamente el seed y deriva una dirección Ethereum estándar (funcionaría también con otras direcciones de criptomoneda). 

Figura 6: No es magia, es cálculo.

Después utiliza una dirección pública conocida únicamente como verificador del resultado. En mis pruebas apareció:

BIP39 = OK

MATCH

Eso es importante porque también establece lo que no he descubierto. No se pueden obtener las 12 palabras simplemente mirando una dirección pública. No he roto BIP-39. No he reducido mediante números primos el enorme espacio criptográfico de búsqueda hasta hacerlo atacable. El elemento decisivo de esta recuperación es el material criptográfico que Exodus conserva localmente en determinados estados de la aplicación. Quedaba entonces una pregunta fundamental: 

¿Qué sucede cuando el usuario establece una contraseña? 

Realizamos un experimento controlado con una wallet nueva y sin fondos. En el primer estado, sin contraseña, estaban presentes passphrase.json y seed.seco. La recuperación funcionaba. Después establecimos una contraseña: passphrase.json desapareció y seed.seco cambió. Ejecutamos de nuevo la herramienta sobre una copia exacta de aquel estado. Esta vez no pudo recuperar la frase.

Posteriormente restauramos esa misma wallet mediante sus 12 palabras, sin establecer nuevamente contraseña. Exodus generó un nuevo passphrase.json y un nuevo seed.seco. La herramienta volvió a funcionar: 

BIP39 = OK. MATCH. 

Por tanto, el experimento produjo un ciclo muy claro:
  • Wallet sin contraseña → recuperación posible con el método estudiado.
  • Wallet protegida por contraseña → el método deja de funcionar.
  • Wallet restaurada de nuevo sin contraseña → recuperación posible otra vez.

Y esto establece un límite esencial de mi investigación: hasta ahora no he demostrado ningún método para saltarse una contraseña de Exodus configurada correctamente. De hecho, nuestras pruebas muestran precisamente que establecerla bloquea el procedimiento que hemos reproducido. Pero aparece una segunda cuestión: si antes de establecer esa contraseña ya se generaron o conservaron copias locales correspondientes al estado anterior, proteger la wallet posteriormente no significa necesariamente que aquellas copias históricas hayan desaparecido. Y ahí podría encontrarse la verdadera superficie de riesgo. 
Una posible mejora de diseño sería garantizar que el material sensible quede protegido antes de que se cree o conserve el primer estado local recuperable, ya sea mediante contraseña u otro sistema de protección adecuado.

Esta investigación nació intentando recuperar una wallet y ha terminado recordándome una idea básica: “Not your keys, not your coins” no significa únicamente poseer las claves. Significa asumir la responsabilidad de protegerlas. Durante décadas hemos delegado la custodia de nuestro patrimonio en terceros. La autocustodia nos permite recuperar una parte de esa soberanía, pero también devuelve al propietario una enorme responsabilidad. 

Y resulta fascinante que algo tan importante pueda quedar representado por 12 ó 24 palabras escritas en un pequeño papel (recuerda, a los monos háblales de plátanos). Detrás de esas palabras existe criptografía, entropía, funciones hash, derivación de claves y una enorme estructura matemática. No necesitamos comprenderla completamente para utilizarla. Pero sí necesitamos comprender el valor de aquello que estamos custodiando.

Esta investigación se encuentra todavía en una fase inicial. El primer resultado reproducible lo he obtenido estudiando Exodus Desktop en Windows, y las conclusiones deben limitarse por ahora a ese entorno y a las versiones analizadas. El siguiente paso será ampliar la metodología, de forma controlada y responsable, a otras wallets del mercado para estudiar cómo almacenan y protegen localmente el material necesario para recuperar una frase semilla.

Parte III: Criptografía y Criptomonedas

Puede que Exodus sea un caso particular. Puede que encontremos comportamientos similares en otras aplicaciones. O puede que encontremos arquitecturas completamente diferentes. Eso es precisamente lo que toca investigar ahora.

Hay que recordar también que este año, el equipo de Google Quantum AI, junto a la Fundación Ethereum, publicó en marzo otro paper clave titulado "Securing Elliptic Curve Cryptocurrencies against Quantum Vulnerabilities". En este caso, lograron reducir a menos de 500.000 qubits físicos el requisito para romper la criptografía de curva elíptica (ECDLP-256) que protege a Bitcoin y Ethereum, permitiendo un ataque en cuestión de minutos.

Éste es un tema delicado, ya que obliga a cambiar las bases del código de Bitcoin y esto requeriría un "Hard Fork" que afectaría a toda la red, desde desarrolladores hasta mineros, ya hay propuestas concretas sobre la mesa. Recientemente, investigadores de Blockstream han planteado una solución: migrar hacia firmas basadas en hash, con algoritmos de Post-Quanum Cryptography específicamente un esquema basado en SLH-DSA (Formerly SPHINCS+)

Parte IV: Conclusiones finales sobre la investigación

A esta investigación se suma una posibilidad especialmente esperanzadora: 

Que determinados usuarios que hayan perdido sus 12 ó 24 palabras semilla puedan llegar a recuperarlas a partir de datos locales que todavía conserven y, con ellas, recuperar el acceso a activos que consideraban perdidos.

Pero esa oportunidad abre al mismo tiempo un importante desafío jurídico y fiscal. Una herramienta capaz de recuperar credenciales de autocustodia no debería utilizarse simplemente porque alguien afirme ser propietario de una wallet: habría que establecer procedimientos sólidos para acreditar la titularidad o el control legítimo de los activos, obtener una autorización expresa para intervenir sobre los dispositivos y archivos y documentar la cadena de custodia y todo el proceso de recuperación ante notario.

A ello se añade la cuestión fiscal y regulatoria, que dependerá de la jurisdicción de residencia del usuario y de las circunstancias concretas: procedencia de los activos, documentación histórica, obligaciones de declaración, eventual tributación y justificación de movimientos posteriores. 

Por eso, convertir esta investigación en un servicio real de recuperación exigiría desarrollar, junto al procedimiento técnico, un protocolo jurídico, de cumplimiento y trazabilidad que permita distinguir una recuperación legítima de un intento de acceso a patrimonio ajeno. Poder devolver a una persona el acceso a un patrimonio que creía perdido sería una magnífica noticia; hacerlo con suficientes garantías para todas las partes constituye, al mismo tiempo, uno de los grandes desafíos que abre esta investigación.

Mientras, aquella sensación que tenía a los 16 años ha vuelto: abrir una consola, no entender todavía todo lo que está ocurriendo y seguir investigando hasta descubrir de dónde vienen los datos, adónde van y qué sucede realmente entre medias.

jueves, octubre 01, 2026

Factorización de RSA Challenge RSA-896 en 10 días con 30 GPU Core-Years ... y un poco de ayuda de la IA

Esta semana ya hablamos de RSA, en el artículo de "Cómo Falsificar Firmas RSA, sin Factorizar el Módulo, usando 1.380 CPU Core-Years", un artículo que merece la pena que te leas para entender el mundo en el que estamos hoy en día respecto a la criptografía, pero no quería dejar pasar más tiempo sin hablar de la publicación de Stephen A. Weis que ha publicado la resolución del RSA Challenge para RSA-896.

El RSA Challenge es un viejo reto de RSA Laboratories, ya cerrado en cuanto a premios, pero que tenía como siguiente parada el RSA-896, tal y como podéis ver en esta captura que publiqué en uno de mis artículos de criptografía para ilustrar el estado actual de RSA.
Lo cierto es que con los avances en Inteligencia Artificial, hemos tenido una consecuencia menos esperada, y es que han proliferado los Centros de Cómputo, y la potencia de computo se ha abarato muchísimo, así que atacar a nuestro querido RSA es posible a precios manejables, como vimos en el artículo de "Cómo Falsificar Firmas RSA, sin Factorizar el Módulo, usando 1.380 CPU Core-Years" donde los investigadores tuvieron acceso a los recursos para conseguir esos 1.380 CPU Core-Years, algo impensable antes.
En el caso de Stephen A. Weiss, para resolver el RSA-896, necesitó de 10 días con 30 GPU Core-Years, utilizando 2048 GPUs que estuvieran en periodos de baja prioridad e inactividad en los Centros de Cómputo de Anthropic, lo que le ahorró muchos costes económicos, pero que sirvió para resolver el reto.
Para poder ejecutarlo, utilizó el algoritmo de Number Field Sieve (NFS) del que ya hemos hablado en el artículo anterior, usando el programa OpenSource CADOS-NFS, que está escrito en C/C++. Pero, con una mejora para la que utilizó Antrophic Claude.
Se utilizó la Inteligencia Artificial para migrar CADOS-NFS, construido para correr en CPUs, para que pudiera ejecutarse en en GPUs - una de las optimizaciones de las que los investigadores que hicieron las firmas falsas de RSA plantearon como mejora a su trabajo -.
La solución la ha publicado en su blog personal, y puedes verla aquí, sin mucho más que contar. El avance de la IA permitió acceder a centros de datos de GPUs a costes asequibles, y al mismo tiempo migrar el software que era necesario para romper el RSA-896 del reto.
Para los que entendáis el algoritmo NFS y el proceso de factorización, Steven A. Weis ha dejado los detalles del proceso. El polinomio utilizado era de grado 6, alfa -11,12, Murphy E 5,293e-10, Res(f,g) = -8N. 

La alerta está clara, RSA-1024 es asequible para cualquiera con un poco de recursos, por lo que hay que preocuparse. Si quieres animarte, el RSA-1024 del RSA Challenge lo tienes aún en la web de Archive.org, y aquí está.
La recomendación está clara, seguir acelerando la migración a Post-Quantum Cryptography, no ya porque lleguen los Quantum Computers, que puede que sean más o menos tarde, pero cada vez se están cercando más los algoritmos de criptografía basados en RSA.
Hay que recordar que este año, el equipo de Google Quantum AI, junto a la Fundación Ethereum, publicó en marzo otro paper clave titulado "Securing Elliptic Curve Cryptocurrencies against Quantum Vulnerabilities". En este caso, lograron reducir a menos de 500.000 cúbits físicos el requisito para romper la criptografía de curva elíptica (ECDLP-256) que protege a Bitcoin y Ethereum, permitiendo un ataque en cuestión de minutos.
Este paper aceleró en todas las compañías el proceso de migración a PQC en todas las empresas, y en Cloudflare, por ejemplo, se decidió ir Full Post-Quantum Security en 2029, y esta misma semana hemos anunciado un montón de nuevos despliegues de PQC en la plataforma. Os los dejo aquí:
Si a esto le sumamos los anuncios de este mes de Septiembre con el aviso del trabajo de "Cómo Falsificar Firmas RSA, sin Factorizar el Módulo, usando 1.380 CPU Core-Years" y el que tenemos aquí al resolverse tan "fácilmente" RSA-896, nos lleva claramente a un escenario de aceleración a Post-Quantum Cryptography lo antes posible.
Si te gusta todo este mundo, durante el mes de Noviembre vamos a dar el Programa de la Universiad de Deusto de Quantum y Post-Quantum Computing para Ciberseguridad. al cuál aún te puedes apuntar. Es online, y lo damos un grupo de amantes de la ciberseguridad y las tecnologías Quantum.


Y si quieres saber más sobre estos temas, te dejo una lista de artículos de Quantum Security que te recomiendo que te leas si no lo has hecho ya.
¡Saludos Malignos!

Autor: Chema Alonso (Contactar con Chema Alonso)  


Entrada destacada

Hacking IA: Jailbreak, Prompt Injection, Hallucinations & Unalignment. Nuestro nuevo libro en 0xWord

Pocas veces me ha hecho tanta ilusión que saliera un nuevo libro en 0xWord como con este libro de " Hacking IA: Jailbreak, Prompt Inje...

Entradas populares