💻 computer science

How to Sign Quantum Messages

Autores originales: Mohammed Barhoush, Louis Salvail

Publicado 2026-01-28

📖 5 min de lectura🧠 Análisis profundo

Autores originales: Mohammed Barhoush, Louis Salvail

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que vives en un futuro donde las computadoras no solo envían correos electrónicos o archivos; envían mensajes cuánticos. Estos son como delicadas e invisibles burbujas de jabón que transportan información. El problema es que, en el mundo de la física cuántica, no puedes simplemente "firmar" una burbuja con un sello digital para demostrar quién la envió. Si intentas mirar la burbuja para verificar la firma, la burbuja estalla o cambia de forma, haciendo que la firma sea inútiles. Durante mucho tiempo, los científicos pensaron que esto significaba que firmar mensajes cuánticos era imposible.

Este artículo dice: "¡Un momento!". Los autores, Mohammed Barhoush y Louis Salvail, han encontrado tres formas ingeniosas de firmar estas burbujas cuánticas, siempre que aceptemos algunas reglas nuevas sobre el tiempo y la memoria.

Aquí explicamos cómo lo hicieron, utilizando analogías de la vida cotidiana:

1. La firma de "Bloqueo Temporal" (El rompecabezas lento)

El Problema: Si firmas un mensaje cuántico, un hacker astuto podría intentar copiar la firma y usarla para firmar un mensaje falso más tarde.
La Solución: Los autores introducen Firmas Dependientes del Tiempo. Piensa en esto como enviar una carta dentro de un Rompecabezas de Bloqueo Temporal.

Cómo funciona: Cuando firmas un mensaje, lo pones dentro de una caja fuerte digital que tarda exactamente una hora en abrirse. La "firma" es la caja fuerte cerrada.
El inconveniente: Para verificar el mensaje, el receptor tiene que esperar una hora para resolver el rompecabezas y abrir la caja fuerte. Para cuando la caja se abre, el "tiempo" del mensaje ya ha pasado.
Por qué detiene a los hackers: Un hacker que intente robar la firma y usarla para firmar un nuevo mensaje mañana fracasará. Para cuando resuelva el rompecabezas para obtener la llave, el "sello de tiempo" de la llave será antiguo, y el sistema la rechazará. Es como intentar usar un boleto que expiró ayer para entrar a un concierto hoy.

2. La firma de "Llave Cambiante" (La cerradura rotativa)

El Problema: Los rompecabezas de bloqueo temporal son lentos y requieren matemáticas complejas. ¿Podemos hacerlo más rápido?
La Solución: Utilizan Llaves de Verificación Dinámicas. Imagina una bóveda bancaria donde la cerradura cambia cada hora.

Cómo funciona: El banco (el firmante) tiene una llave maestra. Cada hora, generan una llave temporal para esa hora específica y la usan para firmar mensajes.
La revelación: Al final de la hora, el banco anuncia: "Esta fue la llave para la hora de las 2:00 PM".
Por qué funciona: Si un hacker intenta falsificar una firma para las 2:00 PM, necesita esa llave específica. Pero no puede adivinarla porque las matemáticas son demasiado difíciles. Si intenta usar esa llave a las 3:00 PM, no servirá de nada porque el sistema ya ha cambiado a la llave de las 3:00 PM. La llave antigua está "expirada". Esto permite firmas basadas en supuestos matemáticos muy estándar y simples sin necesidad de los lentos rompecabezas de bloqueo temporal.

3. La firma de "Memoria Limitada" (La memoria a corto plazo)

El Problema: ¿Qué pasa si no queremos depender del tiempo en absoluto?
La Solución: Observan un mundo donde los hackers tienen memoria cuántica limitada. Imagina un hacker que puede mantener un estado cuántico en su mente, pero solo por una fracción de segundo antes de que se desvanezca.

Cómo funciona: Los autores crearon un sistema donde la "firma" es un programa cuántico complejo. Para falsificar una firma, el hacker necesitaría mantener una cantidad masiva de información cuántica en su memoria a la vez para copiarla.
El resultado: Si la memoria del hacker es demasiado pequeña (lo cual es físicamente difícil de construir actualmente), simplemente no podrá retener suficiente información de la firma para falsificarla. Es como intentar memorizar toda una biblioteca de libros para escribir uno falso; si tu cerebro solo puede retener una página, no puedes falsificar la biblioteca. Este método es "incondicionalmente seguro", lo que significa que es seguro basado en las leyes de la física, no solo en las matemáticas.

¿Qué podemos hacer con esto?

El artículo muestra que estos nuevos métodos de firma desbloquean dos aplicaciones principales:

Dinero Cuántico:
Imagina un dólar digital que es una burbuja cuántica. En el pasado, crear "dinero cuántico de clave pública" (donde cualquiera puede verificarlo sin preguntar al banco) se consideraba imposible.
- La solución: Usando las firmas "Dependientes del Tiempo", el banco puede emitir dinero que caduca. Puedes gastarlo y el sistema verifica el tiempo. Si intentas copiar el dinero y gastarlo dos veces, las verificaciones de tiempo revelarán el fraude. Esto crea el primer "dinero cuántico de clave pública" basado en supuestos estándar.
Claves Cuánticas Seguras:
En una futura "Internet Cuántica", las personas necesitan compartir claves secretas para cifrar sus mensajes. Normalmente, tienes que confiar en la persona que envía la clave.
- La solución: Los autores muestran cómo "firmar" estas claves cuánticas usando sus nuevos métodos. De esta manera, incluso si un hacker intenta cambiar la clave por una falsa, el receptor puede verificar la firma con sello de tiempo y saber: "Esta clave es auténtica y no ha sido manipulada".

La Conclusión

Durante años, los científicos pensaron que no se podía firmar un mensaje cuántico sin una clave compartada previamente o un tercero de confianza. Este artículo rompe esa barrera. Al utilizar el tiempo (esperando a que los rompecabezas se resuelvan o las llaves expiren) o los límites de memoria (obligando a los hackers a retener demasiados datos), los autores han creado las primeras formas de firmar mensajes cuánticos que cualquiera puede verificar. Es un gran paso hacia una internet cuántica segura en el futuro.

Resumen Técnico: Cómo firmar mensajes cuánticos

1. Planteamiento del problema

La transmisión segura de datos cuánticos dentro de una futura internet cuántica requiere mecanismos tanto para el cifrado como para la autenticación. Si bien el cifrado cuántico se ha logrado bajo supuestos estándar, firmar mensajes cuánticos se ha considerado durante mucho tiempo imposible, incluso bajo supuestos computacionales. Los resultados de imposibilidad previos (p. ej., Barnum et al., Alagic et al.) establecieron que cualquier algoritmo de verificación capaz de deducir un mensaje cuántico a partir de una firma puede ser invertido para falsificar una firma para un mensaje diferente.

Consecuentemente, la comunidad criptográfica ha dependido de la signcriptografía, una primitiva que combina el cifrado y la firma. Sin embargo, la signcriptografía carece de verificabilidad pública; solo el destinatario previsto (que posee una clave de descifrado secreta) puede verificar la autenticidad. Esta limitación impide el establecimiento de una infraestructura de clave pública (PKI) para sistemas cuánticos, donde las claves públicas deben ser autenticadas sin secretos precompartidos. Además, la imposibilidad de firmar estados cuánticos ha obstaculizado la realización de dinero cuántico de clave pública, un objetivo que ha permanecido esquivo bajo supuestos computacionales estándar, requiriendo a menudo supuestos fuertes y potencialmente inseguros como la ofuscación de indistinguibilidad.

Este trabajo desafía la noción de que firmar mensajes cuánticos es imposible mediante la introducción de la dependencia temporal y el almacenamiento cuántico limitado como recursos para eludir los ataques de inversión inherentes a los esquemas de firma estándar.

2. Metodología y conceptos centrales

Los autores proponen tres enfoques distintos para firmar mensajes cuánticos, aprovechando dos restricciones primarias para prevenir la falsificación: el tiempo y la memoria cuántica.

A. Firmas dependientes del tiempo (TD)

La innovación central es la introducción de firmas dependientes del tiempo (TD), donde los algoritmos de firma y verificación dependen del tiempo actual $t$ . La idea central es que el "ataque de inversión" (invertir la verificación para falsificar una firma) requiere recursos que se vuelven prohibitivos cuando el tiempo es un factor.

Mecanismo: Una firma es válida solo si se verifica dentro de una ventana de tiempo específica relativa a su creación. Si un adversario intenta invertir el proceso de verificación para falsificar una nueva firma, el tiempo requerido para resolver el rompecabezas criptográfico subyacente hace que la firma falsificada quede obsoleta para cuando sea generada.
Supuestos: Las construcciones se basan en Funciones Unidireccionales Post-Cuánticas (pq-OWFs) y, en algunos casos, en Rompecabezas de Bloqueo Temporal (TLPs). Los TLPs aseguran que un mensaje (o clave) permanezca oculto durante una duración específica $t$ , pero pueda ser descifrado poco después.

B. Claves de Verificación Dinámicas (TD-DVK)

Para eliminar la dependencia de los TLPs, los autores introducen las firmas TD con Claves de Verificación Dinámicas (TD-DVK).

Mecanismo: La clave de verificación evoluciona con el tiempo. Una clave secreta se utiliza para generar claves de firma temporales para intervalos de tiempo específicos. La clave de verificación para un intervalo específico se anuncia después de que dicho intervalo haya transcurrido.
Seguridad: Un adversario no puede falsificar una firma para un intervalo pasado porque no puede predecir la clave de firma (asegurada por pq-PRFs). No puede falsificar una firma para el futuro porque la clave de verificación para el intervalo actual aún no ha sido anunciada, y la clave de firma para el intervalo futuro es desconocida. Esto crea una propiedad de seguridad "desapareciente" donde las firmas expiran.

C. Modelo de Almacenamiento Cuántico Limitado (BQSM)

El segundo enfoque principal opera bajo el Modelo de Almacenamiento Cuántico Limitado, donde los adversarios están limitados en su memoria cuántica ( $s$ qubits).

Mecanismo: Este enfoque utiliza primitivas de programas de un solo uso y difusión de programas. La clave pública es un estado cuántico de gran tamaño (un programa difundido) que los usuarios solo pueden almacenar parcialmente debido a las restricciones de memoria.
Seguridad: La firma involucra programas de un solo uso que revelan la información necesaria para la verificación solo cuando se evalúan sobre entradas específicas derivadas de la subclave almacenada por el usuario. Un adversario con memoria limitada no puede almacenar suficiente información para falsificar una firma o manipular una existente sin ser detectado, ya que no puede mantener el entrelazamiento o el estado necesario a través del proceso de verificación.

3. Contribuciones clave y resultados

1. Firmas dependientes del tiempo (Dos construcciones)

Construcción 1 (basada en TLP): Un esquema de firma TD que asume pq-OWFs y TLPs. La firma consiste en un mensaje cuántico cifrado y un TLP que contiene la clave de descifrado y una marca de tiempo. La verificación requiere resolver el TLP, lo cual toma un tiempo $t$ . Para cuando la clave es revelada, la firma ha expirado temporalmente.
Construcción 2 (TD-DVK): Un esquema de firma TD basado únicamente en pq-OWFs. Utiliza un esquema de cifrado autenticado simétrico donde la clave se revela solo después del intervalo de firma. Esta construcción logra unforgeabilidad cuántica (QUF) y una propiedad de desaparición (las firmas no pueden ser reutilizadas o falsificadas para mensajes pasados, incluso si una firma fue observada previamente).

2. Firmas en el BQSM

Construcción 3: Un esquema de firma con seguridad de información teórica para mensajes cuánticos en el BQSM.
Características: Aborda tres limitaciones de trabajos previos de BQSM: firma mensajes cuánticos (no solo clásicos), es seguro contra adversarios con acceso irrestricto al oráculo de firma (a diferencia de trabajos anteriores) e incluye claves públicas cuánticas certificadas.
Mecanismo: La clave pública es un programa difundido de una función lineal. La firma utiliza dos programas de un solo uso interdependientes para autenticar el mensaje y la clave, evitando que un adversario modifique la firma sin conocer la clave secreta, la cual no puede reconstruir completamente debido a los límites de memoria.

3. Aplicaciones

Los autores demuestran que las firmas TD permiten varias primitivas criptográficas anteriormente difíciles o imposibles:

Claves Públicas Cuánticas Autenticadas (QPKE):
- Construcción 4 (Estado Mixto): Un esquema de QPKE que utiliza firmas TD-DVK para autenticar claves públicas cuánticas de estado mixto. Logra seguridad IND-qCKCA2 (indistinguibilidad bajo ataque adaptativo de clave y texto cifrado cuántico elegido) a partir de pq-OWFs.
- Construcción 5 (Estado Puro): Un esquema de QPKE que utiliza firmas TD-DVK de un solo uso para autenticar claves de estado puro. Este esquema logra seguridad IND-CKPA basada en Estados de Funciones Pseudoaleatorias (PRFS), un supuesto potencialmente más débil que los pq-OWFs. Resuelve preguntas abiertas sobre errores de descifrado y la fuerza de los supuestos en trabajos previos de QPKE.
Dinero Cuántico de Clave Pública:
- Esquema Semi-en línea (TD-DVK): Un esquema de dinero cuántico de clave pública basado en pq-OWFs. Los billetes son estados cuánticos cifrados con múltiples capas de QAE de un solo uso. Las claves de verificación se anuncian periódicamente, permitiendo a los usuarios validar el billete. El billete expira después de que todas las claves son reveladas.
- Esquema Fuera de Línea (TD + TLP): Un esquema de dinero cuántico de clave pública completamente fuera de línea basado en pq-OWFs y TLPs. Las claves se codifican en TLPs, permitiendo a los usuarios deducirlas solo en momentos específicos sin interactuar con el banco. Este es el primer esquema de dinero cuántico de clave pública construido a partir de supuestos computacionales estándar (pq-OWFs).

4. Significancia y Reclamaciones

El artículo afirma ser el primer trabajo en firmar mensajes cuánticos sin utilizar signcriptografía, logrando así la verificabilidad pública para los datos cuánticos.

Superación de la Imposibilidad: El trabajo desafía la imposibilidad establecida de firmar información cuántica al demostrar que es posible cuando el proceso de verificación está restringido por el tiempo o la memoria.
Supuestos Estándar: Proporciona las primeras construcciones para el dinero cuántico de clave pública y las claves públicas cuánticas autenticadas basadas en supuestos computacionales estándar (pq-OWFs), evitando la necesidad de ofuscación de indistinguibilidad u otros supuestos complejos y potencialmente inseguros.
Practicidad del Tiempo: Los autores argumentan que el tiempo actúa como una forma de sincronización que es simple de implementar en la práctica, ofreciendo una herramienta poderosa para construir primitivas criptográficas fundamentales.
Niveles de Seguridad: La construcción BQSM ofrece seguridad de información teórica, mientras que las construcciones TD ofrecen seguridad computacional basada en supuestos post-cuánticos bien estudiados.

Los autores reconocen limitaciones, como la expiración de las firmas y los billetes, y la necesidad de sincronización temporal o anuncios de claves dinámicas. Sin embargo, postulan que estos son compromisos razonables para lograr sistemas criptográficos cuánticos públicamente verificables y resistentes a la manipulación. El trabajo abre nuevas vías para la investigación en modelos dependientes del tiempo y la aplicación de modelos de almacenamiento limitado a otras primitivas criptográficas.