Saltar al contenido
El bit perdido
Newsletter

¿Puede un ordenador cuántico romper RSA hoy?

Nivel bachillerato3 min de lecturaPor Fernando Hernando

Qué haría falta para romper RSA-2048 con el algoritmo de Shor, según las estimaciones publicadas más recientes. Página viva: se actualiza con cada estimación nueva.

cada dato lleva su fuente al final

No. Romper una clave RSA de 2048 bits exigiría, según la estimación publicada más reciente (Paul Webster y otros, de la empresa Iceberg Quantum, en un preprint de febrero de 2026), un ordenador cuántico con menos de 100 000 cúbits físicos funcionando sin parar del orden de un mes, y con una calidad que los ordenadores cuánticos actuales todavía no tienen a esa escala. Lo que sí ha cambiado es la cifra: en 2019 la estimación era de 20 millones de cúbits durante 8 horas, y en mayo de 2025 Craig Gidney la bajó a menos de un millón durante menos de una semana. El preprint de 2026 supone la misma tasa de error (0,1 %) y los mismos tiempos que Gidney; lo que cambia es el código corrector cuántico (códigos QLDPC en lugar de códigos de superficie), que pide conexiones entre cúbits algo alejados y no solo entre vecinos. Son diseños sobre el papel: nadie los ha construido.

La idea

RSA es seguro porque multiplicar dos primos grandes es fácil y deshacer la multiplicación, no: con los mejores algoritmos clásicos conocidos, factorizar un número de 2048 bits está muy fuera del alcance de todos los ordenadores del mundo juntos. El NIST le asigna una seguridad de 112 bits: romperla cuesta del orden de 2112≈5⋅10332^{112} \approx 5\cdot 10^{33} operaciones. En 1994, Peter Shor descubrió que un ordenador cuántico podría hacerlo en un tiempo razonable. La pregunta ya no es si se puede, sino cuántos cúbits hacen falta, y esa cifra no deja de bajar.

Mueve el deslizador para ver cuántos cúbits lógicos necesita el algoritmo según el tamaño de la clave, y lo que cuesta de verdad con cúbits físicos para RSA-2048:

Cúbits lógicos (sin errores)
6189
Puertas de Toffoli
2,6 · 10⁹

Fórmulas de Gidney y Ekerå (2019) en el modelo de circuito abstracto: 3n + 0,002·n·lg n cúbits lógicos y 0,3·n³ + 0,0005·n³·lg n puertas de Toffoli. No incluyen el coste de corregir errores: cada cúbit lógico se construye con muchos cúbits físicos.

Lo que cuesta de verdad RSA-2048, con cúbits físicos ruidosos

EstimaciónCúbits físicosTiempo
Gidney y Ekerå, mayo de 201920 millones de cúbits ruidosos8 horas
Gidney, mayo de 2025menos de 1 millón de cúbits ruidososmenos de una semana
Webster y otros, febrero de 2026 (preprint)menos de 100 000 cúbits ruidososdel orden de un mes

Las tres suponen un error del 0,1 % por operación, un ciclo del código corrector de 1 microsegundo y un tiempo de reacción de 10 microsegundos. Las dos primeras usan códigos de superficie en una rejilla con conexiones entre vecinos; la de 2026 usa códigos QLDPC, que piden conexiones entre cúbits algo alejados.

Incrusta esta demo en tu web

Copia este código y pégalo en tu web, tu blog o tu aula virtual. Es gratis; solo te pedimos que dejes el pie con el enlace.

Ver cómo queda ↗

La diferencia entre las dos cifras es la clave. Un cúbit lógico es un cúbit ideal, sin errores. Los cúbits reales, los físicos, se equivocan, así que cada cúbit lógico se construye con muchos físicos mediante un código corrector de errores cuántico. Por eso el número que importa en un titular no es cuántos cúbits tiene un ordenador, sino cuántos cúbits lógicos fiables consigue.

Para situar las cifras: en 2024, el chip Willow de Google (105 cúbits superconductores) mostró un código corrector de errores cuántico por debajo del umbral crítico (el error baja al aumentar el código), con un cúbit lógico formado por 101 cúbits y un error de 0,143 % por ciclo. Y un grupo de Caltech atrapó más de 6100 átomos neutros en una matriz de pinzas ópticas, centrado en atraparlos y conservarlos, no en hacer cálculos. Son avances reales, pero lejos de lo que exige romper RSA-2048: hacen falta a la vez muchos más cúbits, errores más bajos y miles de millones de operaciones corregidas seguidas.

Las matemáticas de verdad

El algoritmo de Shor convierte factorizar en encontrar un periodo. Sea NN el número que queremos factorizar y aa un número al azar con mcd⁡(a,N)=1\operatorname{mcd}(a, N) = 1. El orden de aa módulo NN es el menor r>0r > 0 tal que

ar≡1(modN).a^r \equiv 1 \pmod{N}.

Si rr es par y ar/2≢−1(modN)a^{r/2} \not\equiv -1 \pmod N, entonces NN divide a (ar/2−1)(ar/2+1)(a^{r/2} - 1)(a^{r/2} + 1) sin dividir a ninguno de los dos factores, así que mcd⁡(ar/2−1, N)\operatorname{mcd}(a^{r/2} - 1,\, N) es un divisor propio de NN. Para NN con al menos dos factores primos impares distintos (los factores 2 se quitan antes, clásicamente), esto ocurre con probabilidad al menos 1/21/2 al elegir aa.

Por ejemplo, con N=15N = 15 y a=7a = 7: las potencias de 7 módulo 15 son 7,4,13,17, 4, 13, 1, así que r=4r = 4. Entonces 72=49≡47^2 = 49 \equiv 4, y mcd⁡(3,15)=3\operatorname{mcd}(3, 15) = 3 y mcd⁡(5,15)=5\operatorname{mcd}(5, 15) = 5 son los factores.

La parte cuántica es encontrar rr: la función x↦ax mod Nx \mapsto a^x \bmod N es periódica con periodo rr, y la transformada cuántica de Fourier permite leer ese periodo (se mide una aproximación de una fracción k/rk/r y rr se recupera con fracciones continuas) con un número de operaciones polinómico en el número de bits de NN. Clásicamente no se conoce ninguna forma eficiente de hacerlo. En el modelo de circuito abstracto, la construcción de Gidney y Ekerå usa 3n+0,002 nlg⁡n3n + 0{,}002\, n \lg n cúbits lógicos para un número de nn bits: unos 6200 para RSA-2048. La de Gidney de 2025 baja a menos de 1600 gracias a una aritmética aproximada con residuos.

Fuentes

Preguntas frecuentes

¿Cuántos cúbits hacen falta para romper RSA-2048?

Según la estimación más reciente (Paul Webster y otros, Iceberg Quantum, preprint de febrero de 2026), menos de 100 000 cúbits físicos ruidosos funcionando del orden de un mes, con un error del 0,1 % por operación. La de Craig Gidney de mayo de 2025, con las mismas tasas de error y tiempos pero con códigos de superficie, pedía menos de un millón durante menos de una semana, y la de 2019, 20 millones durante 8 horas.

¿Qué ordenadores cuánticos existen hoy?

Las mayores matrices de átomos neutros atrapan miles de átomos: Caltech ha mantenido más de 6100 en una matriz de pinzas ópticas, aunque ese experimento se centró en atraparlos y conservarlos, no en hacer cálculos con ellos. El chip Willow de Google, de 105 cúbits superconductores, demostró en 2024 un código corrector por debajo del umbral, con un cúbit lógico de 101 cúbits. Estamos a bastante distancia de un ordenador con cientos de miles de cúbits corregidos de errores.

¿Por qué hacen falta tantos cúbits físicos si el algoritmo usa unos pocos miles de lógicos?

La construcción de Gidney y Ekerå (2019) usa unos 6200 cúbits lógicos y la de Gidney (2025), menos de 1600. Son cúbits ideales, sin errores. Cada cúbit lógico se fabrica con muchos cúbits físicos mediante un código corrector de errores cuántico, y además hacen falta cúbits para preparar estados especiales y mover la información.

¿Qué hay que hacer mientras tanto?

Migrar a criptografía postcuántica, que se basa en problemas que no se sabe resolver de forma eficiente ni siquiera con un ordenador cuántico. Los datos cifrados hoy pueden guardarse y descifrarse dentro de años, así que la migración no puede esperar a que el ordenador exista.

Publicado el

Cómo citar esta página

Fernando Hernando (2026). ¿Puede un ordenador cuántico romper RSA hoy? [Página web], versión del 20 de octubre de 2026. El bit perdido. https://elbitperdido.com/ordenador-cuantico-romper-rsa

@misc{hernando2026ordenadorcuanticoromperrsa,
  author = {Fernando Hernando},
  title = {¿Puede un ordenador cuántico romper RSA hoy?},
  year = {2026},
  howpublished = {El bit perdido},
  url = {https://elbitperdido.com/ordenador-cuantico-romper-rsa},
  note = {Página web, versión del 20 de octubre de 2026}
}

Para saber más

  1. Qué es Lean y Mathlib: demostraciones que se comprueban solas

    Lean 4 y Mathlib permiten que un ordenador compruebe cada paso de una demostración. Quién los creó, qué se ha formalizado con ellos y un teorema real en código.

    7 min de lectura