A Note on Publicly Verifiable Quantum Money with Low Quantum Computational Resources

1. El Problema

El dinero cuántico, propuesto originalmente por Wiesner en 1970, utiliza las propiedades de la mecánica cuántica (específicamente el teorema de no clonación) para prevenir el doble gasto. Sin embargo, los esquemas existentes presentan limitaciones críticas:

• Verificación Privada: Los esquemas originales (como el de Wiesner) son de "clave privada", lo que significa que solo el emisor (el banco) puede verificar la autenticidad del billete. Esto requiere contacto constante con el emisor, lo cual es impráctico para una moneda de uso general.
• Complejidad Computacional: Las propuestas de "clave pública" para dinero cuántico han requerido hasta ahora capacidades de computación cuántica pesadas (procesadores cuánticos de propósito general) que aún no existen o son inaccesibles.
• Falta de Infraestructura: La necesidad de hardware cuántico avanzado limita la adopción práctica inmediata.

El objetivo de este trabajo es diseñar un esquema de dinero cuántico verificable públicamente que funcione con recursos cuánticos mínimos, accesibles con la tecnología actual de distribución de claves cuánticas (QKD).

2. Metodología y Fundamentos Técnicos

Los autores proponen un protocolo que combina criptografía clásica, suposiciones de hardware seguro y codificación conjugada cuántica.

A. Recursos Cuánticos Mínimos

A diferencia de los esquemas que requieren computación cuántica compleja, este protocolo solo requiere que las partes puedan:

• Preparar, transmitir y medir estados de un solo qubit.
• Realizar mediciones en dos bases conjugadas (Base Z: $|0\rangle, |1\rangle$ y Base X: $|+\rangle, |-\rangle$).
• Esta capacidad es inherente a la infraestructura de QKD, que es mucho más accesible que un procesador cuántico universal.

B. Codificación Conjugada y Memorias de Un Solo Uso (OTM)

El núcleo del esquema son las Memorias de Un Solo Uso (OTM - One-Time Memories).

• Definición: Un dispositivo que permite a un receptor recuperar exactamente uno de dos valores secretos ($s_0$ o $s_1$), pero no ambos.
• Construcción: Se basan en la codificación conjugada (dos bits clásicos codificados en dos qubits de tal manera que solo uno puede ser recuperado sin destruir el otro) combinada con hardware seguro (como entornos de ejecución confiables TEE: Intel SGX, ARM TrustZone).
• Seguridad: La seguridad se basa en la imposibilidad de clonar los estados cuánticos y en la resistencia del hardware a la extracción de estado interno. Si un OTM se mide en la base incorrecta, el resultado es ruido aleatorio.

C. Esquema de Dinero Cuántico (Construcción 4.4 y 4.5)

El billete cuántico consiste en:

1. Componente Cuántico: Un conjunto de $\zeta$ OTMs, cada uno codificado en estados de qubits. Cada OTM $i$ codifica dos preimágenes de hash ($\kappa_{0,i}, \kappa_{1,i}$).
2. Componente Clásico: Los hashes de estas preimágenes ($H(\kappa)$) firmados digitalmente por el emisor (el banco).

Mecanismo de Verificación (Cut-and-Choose):
Para verificar un billete sin consumir todo su valor, el verificador utiliza un método de "cortar y elegir":

1. Se selecciona aleatoriamente un subconjunto de OTMs (tamaño $\xi$) para abrir.
2. El verificador mide estos OTMs en una base aleatoria para revelar una de las preimágenes.
3. Se verifica que la preimagen revelada coincida con el hash firmado por el banco.
4. Consumo: Los OTMs abiertos se descartan (se marcan como usados). Los no abiertos se retienen para futuras verificaciones.
5. Si el billete se agota (demasiados OTMs usados), debe ser canjeado en el banco por uno nuevo.

3. Contribuciones Clave

1. Verificabilidad Pública con Recursos Mínimos: Es el primer esquema que logra la verificabilidad pública sin requerir computación cuántica avanzada, utilizando solo estados de un solo qubit y hardware seguro.
2. Prevención de Doble Gasto: Garantizada por el teorema de no clonación. Un atacante no puede clonar los estados cuánticos de los OTMs para crear dos billetes válidos.
3. Generalización a Tokens Cuánticos (QTDS): El esquema se adapta para crear Tokens Cuánticos para Firmas Digitales. Un poseedor puede usar el billete para firmar un mensaje (o un bit) de manera única. Una vez firmado, el token pierde su capacidad de firmar nuevamente (o firmar el mensaje opuesto), lo que es útil para aplicaciones como apuestas o compromisos de dinero.
4. Implementación Práctica: Los autores han desarrollado una biblioteca de prueba de concepto en Rust disponible públicamente (otm_billz).

4. Resultados y Seguridad

• Teorema de Inforjabilidad (Theorem 1): Se demuestra que la probabilidad de que un adversario cuántico (QPT) duplique un billete válido para que ambos pasen la verificación es negligible.
  • La seguridad se reduce a la resistencia a la preimagen de la función hash $H$ y a la seguridad de simulación del esquema OTM.
  • Para clonar un billete, el atacante necesitaría predecir las preimágenes ocultas sin tener acceso a los OTMs, lo cual es computacionalmente imposible si la función hash es resistente.
• Tolerancia al Ruido: El esquema es robusto frente a cierto nivel de ruido en el canal cuántico, siempre que no supere un umbral específico.
• Limitación de Verificaciones: El billete tiene un número finito de verificaciones ($\approx \zeta / \xi$). Una vez agotado, requiere canje. Esto es una característica inherente al método de "cut-and-choose" para evitar el doble gasto sin consenso global.

5. Significado y Aplicaciones

• Privacidad y Peer-to-Peer: A diferencia de las blockchains, este sistema no requiere un protocolo de consenso ni incentivos económicos complejos. Funciona como efectivo: privado y peer-to-peer.
• Aplicaciones Potenciales:
  • Monedero Digital Cuántico: Transferencia de valor entre partes sin intermediarios.
  • Firmas Digitales de Un Solo Uso: Útil para votación, auditoría de fondos o apuestas donde se necesita garantizar que una acción (como una predicción o un voto) no se repita.
  • Compromisos de Dinero: Permitir a una parte demostrar que posee fondos en un momento dado sin revelar la identidad completa o usar una cadena de bloques.

6. Desafíos y Futuro

El artículo identifica varias limitaciones actuales:

• Verificación Pre-Transferencia: Actualmente, el receptor no puede verificar la autenticidad de los estados cuánticos antes de recibirlos (si el remitente es malicioso). Se necesita investigación para permitir verificaciones sin posesión.
• Escalabilidad de Recursos: El consumo de recursos cuánticos crece linealmente con el número de verificaciones. Se busca reducir esto a crecimiento sublineal.
• Suposiciones de Hardware: El esquema depende de hardware seguro (TEE). Futuros trabajos buscan debilitar esta suposición o reemplazarla con suposiciones de computación cuántica limitada.
• Verificabilidad Infinita: Un objetivo a largo plazo es lograr un esquema que permita un número ilimitado de verificaciones sin consumir el billete.

En conclusión, este trabajo representa un paso significativo hacia la viabilidad práctica del dinero cuántico, demostrando que es posible construir sistemas seguros y verificables públicamente utilizando la infraestructura cuántica que está emergiendo actualmente (QKD), en lugar de esperar a la computación cuántica de escala masiva.