⚛️ quantum physics

Towards Simple and Useful One-Time Programs in the Quantum Random Oracle Model

Este trabajo presenta un esquema simple y seguro de memorias de un solo uso en el modelo de oráculo aleatorio cuántico, basado en estados de Wiesner y obfuscación de conjunción, que ofrece seguridad contra adversarios cuánticos con profundidad adaptativa limitada y allana el camino para la implementación práctica de programas de un solo uso.

Autores originales: Lev Stambler

Publicado 2026-03-17

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Lev Stambler

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 tienes un mensaje secreto muy importante que quieres enviar a un amigo, pero con una condición estricta: el mensaje solo puede ser leído una vez. Si intentas leerlo dos veces, o si alguien más intenta copiarlo, el mensaje se autodestruye o se vuelve ilegible.

En el mundo de la criptografía, esto se llama un "Programa de Un Solo Uso" (One-Time Program). El problema es que, en la física clásica, es casi imposible hacer esto de forma segura sin hardware especial. Pero en el mundo cuántico, la física nos da herramientas mágicas para lograrlo.

Este paper, escrito por Lev Stambler, propone una forma nueva, más sencilla y práctica de crear estos "programas de un solo uso" que sean seguros incluso contra hackers con computadoras cuánticas.

Aquí te lo explico con analogías sencillas:

1. El Problema: La "Fotocopiadora" Cuántica

Imagina que tienes una carta escrita con tinta invisible. En el mundo clásico, si alguien la copia, la copia es idéntica. Pero en el mundo cuántico, hay una regla de oro: no puedes copiar un estado cuántico sin destruirlo (esto se llama el Teorema de No-Clonación).

Sin embargo, un hacker con una computadora cuántica muy potente podría intentar medir la carta de muchas formas diferentes para intentar descifrarla antes de que se destruya. El objetivo de este trabajo es crear un sistema donde, incluso si el hacker es muy inteligente, solo pueda leer una de las dos opciones posibles, y nada más.

2. La Solución: Tres Ingredientes Simples

El autor dice: "No necesitamos máquinas complejas ni enredos cuánticos extraños". Solo necesitamos tres cosas:

Monedas Cuánticas (Estados de Wiesner): Imagina que tienes $n$ monedas cuánticas. Cada moneda puede estar en un estado especial. Si la miras de frente (Base Z), ves "Cara" o "Cruz". Si la giras y la miras de lado (Base X), ves algo totalmente diferente. La magia es que no puedes saber cómo se ve la moneda de lado si la has mirado de frente, y viceversa. El autor usa solo monedas individuales, no necesita conectarlas entre sí (lo cual es muy difícil de hacer en la vida real).
Cajas Fuertes de Lógica (Obfuscación de Conjunción): Imagina que tienes dos cajas fuertes. Para abrir la Caja A, necesitas saber una serie de respuestas específicas. Para abrir la Caja B, necesitas otra serie. El truco es que las cajas están "enmascaradas" (obfuscadas). Nadie puede ver qué respuestas se necesitan hasta que las pruebes. Si fallas, la caja no se abre y no sabes qué respuesta era la correcta.
El "Muro de Preguntas" (Oráculo Aleatorio): Para probar las respuestas, tienes que hacer preguntas a un muro gigante (un oráculo). El muro te dice si tu respuesta es correcta o no. Pero el muro es tan estricto que te obliga a decidir qué respuesta vas a dar antes de poder hacer la pregunta. No puedes dudar ni cambiar de opinión a mitad de camino.

3. Cómo Funciona el Truco (La Analogía del Doble Ciego)

Imagina que el remitente (el que envía el mensaje) prepara el paquete así:

Envía un sobre con 100 monedas cuánticas.
Envía dos cajas fuertes enmascaradas: una para el mensaje "A" y otra para el mensaje "B".
Para abrir la caja "A", necesitas saber el estado de las monedas en posiciones impares. Para abrir la "B", necesitas las posiciones pares.

El Dilema del Hacker:
El hacker recibe las monedas. Quiere abrir ambas cajas para leer ambos mensajes.

Para abrir la caja "A", debe medir las monedas impares en un sentido específico.
Para abrir la caja "B", debe medir las monedas pares en el sentido opuesto.

Aquí entra la física cuántica: Si el hacker mide las monedas impares para abrir la caja "A", destruye la información de cómo se verían esas mismas monedas si las hubiera medido en el otro sentido (necesario para la caja "B").

El paper demuestra matemáticamente que, si el hacker intenta adivinar el estado de las monedas para la caja "B" después de haber medido para la "A", sus posibilidades de éxito son tan bajas que es como intentar ganar la lotería comprando un solo boleto. Es imposible para él.

4. La Innovación: "Adaptabilidad Limitada"

Lo más interesante de este trabajo es cómo trata a los hackers.

Antes: Se asumía que el hacker tenía que medir todo muy rápido o no podía guardar memoria cuántica.
Ahora: El autor asume que el hacker puede pensar (hacer cálculos clásicos) tanto como quiera, pero su máquina cuántica tiene un límite de profundidad (como una batería que se agota rápido).

La analogía de la batería: Imagina que el hacker tiene un robot cuántico con una batería muy pequeña. Puede pensar mucho tiempo (cálculos clásicos), pero cada vez que el robot intenta hacer una operación cuántica compleja, la batería se gasta. Si el robot intenta hacer demasiadas operaciones seguidas sin recargar (medir), la batería muere y el robot se vuelve tonto.

El autor demuestra que, aunque el hacker sea muy inteligente, si su "batería cuántica" es limitada, no podrá engañar al sistema.

5. ¿Por qué es importante esto?

Simplicidad: No necesitamos crear "monstruos" cuánticos con miles de partículas enredadas. Solo necesitamos manejar fotones o electrones individuales, algo que ya podemos hacer en laboratorios hoy en día.
Seguridad Realista: Acepta que los hackers tendrán computadoras cuánticas, pero asume que estas computadoras tendrán limitaciones físicas (ruido, batería, tiempo).
Futuro: Esto abre la puerta a crear programas que se pueden enviar por internet y que, una vez que el usuario los ejecuta, desaparecen para siempre, protegiendo secretos comerciales, licencias de software o votos electrónicos.

En Resumen

El paper dice: "Podemos crear un candado cuántico simple usando solo monedas individuales y cajas fuertes lógicas. Gracias a las leyes de la física y a la limitación de la batería de los hackers, es imposible que alguien robe más de un secreto. Es seguro, simple y listo para el futuro".

Es como enviar un sobre que, si intentas abrirlo dos veces, explota en tu cara, y la física misma te garantiza que nadie puede evitar que explote.

Resumen Técnico: Programas de un Solo Uso Simples y Útiles en el Modelo de Oráculo Aleatorio Cuántico

1. El Problema

Los programas de un solo uso (One-Time Programs, OTPs) son primitivas criptográficas que permiten ejecutar un programa exactamente una vez, sin revelar su código interno ni permitir su reutilización. Aunque introducidos en el contexto clásico, su construcción segura es imposible bajo supuestos criptográficos estándar (como la dificultad de factorización o logaritmos discretos) tanto en entornos clásicos como cuánticos.

Las construcciones existentes requieren suposiciones adicionales fuertes, como:

Tokens de hardware sin estado (difíciles de implementar y vulnerables).
Suposiciones físicas como qubits aislados o almacenamiento cuántico ruidoso/bounded.
Obfuscación indistinguible (iO) o estados de subespacio oculto, que son complejos y poco prácticos.

El desafío principal es diseñar un esquema de OTP que sea simple de implementar (usando hardware cuántico a corto plazo), seguro contra adversarios cuánticos realistas (que pueden mantener memoria cuántica pero tienen profundidad de circuito limitada) y que no requiera entrelazamiento complejo o criptografía cuántica avanzada.

2. Metodología y Enfoque

El autor propone una construcción de Memorias de un Solo Uso (OTM) que se basa en tres pilares fundamentales:

Estados de Wiesner de un solo qubit: En lugar de usar estados entrelazados complejos o subespacios ocultos, el esquema utiliza productos tensoriales de estados de Wiesner independientes (codificación conjugada en bases $Z$ y $X$ ).
Obfuscación de Conjunciones (Conjunction Obfuscation): Se utiliza un obfuscador distribuido VBB (Virtual Black-Box) para conjunciones, instantiable bajo la suposición de Paridad con Ruido (LPN), que se cree que es resistente a ataques cuánticos.
Modelo de Oráculo Aleatorio Cuántico (QROM) y Profundidad Acotada: La seguridad se demuestra primero contra adversarios que solo hacen consultas clásicas al oráculo aleatorio. Luego, se argumenta (mediante un "teorema de elevación" o lifting theorem) que la seguridad se extiende a adversarios cuánticos con profundidad de circuito polinomial acotada entre consultas al oráculo.

El Modelo de Adversario:
El trabajo se centra en la clase de complejidad $\mathsf{BPPQNCBPP}^d$ . Estos adversarios pueden realizar computación clásica en tiempo polinomial intercalada con circuitos cuánticos de profundidad $d$ (polinomial). Pueden mantener coherencia cuántica dentro de cada bloque de profundidad $d$ , pero deben medir el estado entre rondas de computación clásica. Esto es físicamente natural para estados que no están codificados con corrección de errores, donde el ruido acumulado limita la profundidad de procesamiento coherente.

3. Contribuciones Clave

Esquema Simplificado: La construcción evita el entrelazamiento multipartito y la obfuscación indistinguible (iO). Solo requiere operaciones de un solo qubit y obfuscación clásica instantiable desde LPN.
Nuevo Límite POVM (Medida de Operador Positivo): Se demuestra un nuevo teorema (Sección 3) que establece que cualquier POVM que identifica estados en una base (computacional) con probabilidad de éxito $1-\epsilon$ tiene una probabilidad de adivinar la cadena en la base conjugada (Hadamard) acotada por:
$\frac{1}{2^m} + O(\epsilon^{1/4})$
Este límite es secuencial: se mantiene incluso si el adversario aprende la elección de la base después de realizar la medición. Esto generaliza resultados anteriores de un solo qubit al caso de $m$ qubits.
Seguridad con Profundidad Acotada: Mediante una aplicación informal del marco de elevación de Arora et al. [1], se conjetura que la seguridad contra consultas clásicas se eleva a la seguridad contra adversarios cuánticos con profundidad acotada. La idea central es que un adversario con profundidad limitada no puede mantener superposiciones coherentes a través de muchas consultas al oráculo sin colapsar el estado, reduciendo efectivamente sus consultas a un traspaso clásico.
Camino Práctico: El esquema apunta a una implementación a corto plazo, ya que requiere solo operaciones de un solo qubit y obfuscación clásica.

4. Descripción del Esquema (Construcción)

El protocolo para una memoria de un solo uso con mensajes $(m_X, m_Z)$ funciona de la siguiente manera:

Preparación (Emisor):
- Se generan $n$ estados de Wiesner independientes. Cada estado $i$ codifica un secreto aleatorio $s_i$ en una base $\theta_i$ elegida aleatoriamente ( $X$ o $Z$ ).
- Se define un subconjunto aleatorio de posiciones $\Theta_X$ (base $X$ ) y su complemento $\Theta_Z$ (base $Z$ ).
- Se calculan hashes $h_i = \mathcal{H}(i, s_i)$ usando un oráculo aleatorio $\mathcal{H}$ .
- Se generan claves aleatorias $k_X, k_Z$ .
- Se crean dos obfuscaciones de conjunción ( $\mathcal{O}_X$ y $\mathcal{O}_Z$ ). Cada una verifica si los hashes de las mediciones en sus posiciones correspondientes coinciden con los valores esperados. Si la verificación es correcta, la obfuscación devuelve la clave $k_\alpha$ .
- Los mensajes se cifran como $c_\alpha = k_\alpha \oplus m_\alpha$ .
- Salida: El estado cuántico $|\psi\rangle$ , las dos obfuscaciones $\mathcal{O}_X, \mathcal{O}_Z$ y los cifrados $c_X, c_Z$ .
Evaluación (Receptor):
- El receptor elige una base $\alpha \in \{X, Z\}$ .
- Mide el estado cuántico en la base $\alpha$ , obteniendo resultados $x_i$ .
- Calcula los hashes $y_i = \mathcal{H}(i, x_i)$ .
- Evalúa la obfuscación correspondiente $\mathcal{O}_\alpha(y)$ . Si los hashes coinciden, obtiene $k_\alpha$ .
- Descifra el mensaje: $m_\alpha = k_\alpha \oplus c_\alpha$ .

5. Resultados y Análisis de Seguridad

Corrección: Un evaluador honesto que mide en la base correcta recupera los secretos $s_i$ con probabilidad 1, por lo que los hashes coinciden y la obfuscación devuelve la clave correcta.
Seguridad (Consultas Clásicas):
- Para recuperar ambos mensajes, el adversario necesitaría medir correctamente en ambas bases simultáneamente.
- Gracias al límite POVM (Teorema 3.1), si el adversario mide correctamente en la base $Z$ (para obtener $m_Z$ ), la información sobre la base $X$ queda con alta entropía mínima.
- El oráculo aleatorio fuerza al adversario a comprometerse a resultados de medición específicos mediante consultas clásicas.
- La seguridad de la obfuscación de conjunción (bajo LPN) asegura que el adversario no puede adivinar qué posiciones pertenecen a qué base ni las claves sin pasar la verificación.
- La probabilidad de que un adversario evalúe exitosamente ambas conjunciones es despreciable ( $negl(\lambda)$ ).
Seguridad (Profundidad Cuántica):
- Se argumenta que, bajo el modelo de Arora et al., un adversario con profundidad de circuito limitada no puede realizar consultas cuánticas coherentes al oráculo que eludan la extracción de información clásica. Por lo tanto, la prueba de seguridad para consultas clásicas se mantiene válida para este modelo de adversario más general.

6. Significado y Conclusiones

Este trabajo es significativo porque:

Simplificación Radical: Elimina la necesidad de hardware cuántico complejo (entrelazamiento, corrección de errores) y primitivas criptográficas pesadas (iO), utilizando solo estados de un solo qubit y suposiciones computacionales estándar (LPN).
Modelo Realista: Aborda la seguridad contra adversarios cuánticos que tienen memoria cuántica pero están limitados por la profundidad de sus circuitos debido al ruido físico, un escenario muy probable en la computación cuántica a corto y mediano plazo (NISQ).
Viabilidad Práctica: Abre la puerta a la implementación de programas de un solo uso que pueden almacenarse en memoria cuántica y usarse más tarde, manteniéndose seguros contra atacantes con capacidades de procesamiento limitadas.

Direcciones Futuras:
El autor identifica la necesidad de:

Mejorar el límite del error en el teorema POVM (de $O(\epsilon^{1/4})$ a $O(\epsilon^{1/2})$ ).
Analizar la tolerancia al ruido real (depolarización, desfase).
Formalizar la noción de "memoria sin corrección de errores" para modelar adversarios realistas.
Proveer una prueba formal completa del teorema de elevación aplicado a este esquema específico.

En resumen, Stambler presenta un camino prometedor hacia OTPs prácticos y seguros, combinando teoría de la información cuántica, criptografía post-cuántica (LPN) y modelos de complejidad cuántica restringida.