Llamamos seguro a lo que aún no sabemos romper.
Hay una pregunta que la criptografía no responde bien: ¿cuándo podemos decir que algo es seguro? No me refiero a la seguridad práctica —claves de suficiente longitud, parámetros que hacen que un ataque cueste más que cualquier recurso disponible— sino a la seguridad fundamental, la que promete resistir no solo los ataques de hoy sino los de mañana.
Kyber, el estándar post-cuántico que NIST seleccionó en 2024, es seguro según todos los análisis conocidos. Pero esa seguridad descansa sobre una conjetura: que el problema Learning With Errors (LWE) sobre módulos de polinomios no tiene solución eficiente, ni clásica ni cuántica.
No hay demostración. No hay prueba. Hay un contrato.
La estructura del salto
La criptografía asimétrica moderna se sostiene sobre conjeturas de dureza. RSA descansa en la dificultad de factorizar enteros grandes. ECDH descansa en el logaritmo discreto en curvas elípticas. Kyber descansa en LWE.
La diferencia es que RSA y ECC caen ante una computadora cuántica suficientemente grande —el algoritmo de Shor las resuelve en tiempo polinomial— mientras que LWE no tiene un Shor conocido. Pero "no tener Shor conocido" no es lo mismo que "ser irrompible".
Estado del conocimiento (julio 2026):
RSA-2048: Shor la rompe con ~4099 qubits lógicos
ECC P-256: Shor la rompe con ~2330 qubits lógicos
Kyber-768: No se conoce ataque cuántico subexponencial
Pregunta abierta: ¿existe un algoritmo cuántico para LWE?
Respuesta: no se sabe. Es una conjetura.
La conjetura es plausible: treinta años de análisis no han encontrado un algoritmo eficiente contra LWE, ni siquiera con ayuda cuántica. Pero la historia de la criptografía está llena de conjeturas que fueron plausibles hasta que dejaron de serlo.
El contrato social de la seguridad
Rousseau escribió que la sociedad se funda en un contrato: los individuos ceden parte de su libertad a cambio de seguridad colectiva. La criptografía funciona igual. Cada vez que usamos Kyber —o RSA, o ECC— estamos firmando un contrato tácito:
Aceptamos que la seguridad de este esquema es suficiente para el presente previsible, y confiamos en que la comunidad criptográfica nos avisará si la conjetura deja de sostenerse.
No es una promesa de seguridad eterna. Es un pacto de transparencia: mientras el esquema resista el escrutinio público, lo consideramos seguro. Cuando alguien encuentre un ataque, migramos.
# El contrato criptográfico, expresado informalmente
def es_seguro(esquema, tiempo):
ataques_conocidos = criptoanalisis(esquema)
if not ataques_conocidos:
return True # por ahora
else:
return all(a.costo > RECURSOS_DISPONIBLES for a in ataques_conocidos)
La variable RECURSOS_DISPONIBLES cambia con el tiempo. No solo por el avance tecnológico sino por la aparición de nuevos paradigmas computacionales.
El problema de la inducción
Hume señaló que no podemos justificar la inducción lógicamente: asumir que el sol saldrá mañana porque ha salido todos los días anteriores es una creencia, no una verdad demostrable. La criptografía sufre el mismo problema.
Que LWE haya resistido treinta años de análisis no garantiza que resista treinta más. Que ningún algoritmo cuántico conocido resuelva LWE no garantiza que no exista uno. La criptografía post-cuántica es, en este sentido, un ejercicio de inducción aplicada: asumimos que el futuro se parecerá al pasado.
No es una fórmula rigurosa —no puede serlo— pero describe el criterio implícito que usamos para confiar en un esquema. Classic McEliece, con ~40 años de análisis y una estructura más conservadora (códigos de Goppa), tendría un valor más alto que Kyber, con ~20 años y una estructura más novel. Pero Classic McEliece tiene claves de ~1 MB, y eso lo hace impracticable para casi todo.
La seguridad no es solo matemática. Es también logística.
¿Qué significa entonces "seguro"?
En el dominio de Kyber, "seguro" significa:
- Resistencia a ataques conocidos: ningún ataque práctico publicado rompe los parámetros recomendados.
- Márgenes de seguridad: los parámetros están elegidos con un factor de seguridad que excede holgadamente lo necesario contra los mejores ataques conocidos.
- Análisis continuo: la comunidad criptográfica examina el esquema desde 2017 y no ha encontrado debilidades fundamentales.
- Múltiples implementaciones: existen implementaciones independientes (C, Go, Rust, Python) que se verifican entre sí.
- Adopción temprana: el escrutinio que viene con el despliegue masivo (Chrome, Cloudflare, Signal) es la forma más exigente de auditoría.
Ninguno de estos criterios es una prueba. Son indicadores. La confianza en Kyber es razonable —más razonable que la confianza en RSA/ECC a largo plazo— pero sigue siendo confianza, no certeza.
En II: La capa que falla, exploraremos el abismo entre el algoritmo y su implementación: cómo un esquema matemáticamente sólido puede desplomarse por un error en código Dart, una variable no constante en tiempo, o un compilador que optimiza donde no debe.
Referencias cruzadas con la investigación:
- Fundamentos de LWE — La conjetura de dureza de LWE en detalle técnico
- Ataques conocidos — Estado del arte del criptoanálisis contra Kyber
- Estandarización — El proceso NIST y las controversias sobre la confianza en retículos
- Conclusiones — Análisis integrado sobre la naturaleza provisional de la seguridad