⚛️ quantum physics

Statistically-Secure Bit Commitment and Coin Flipping Protocols Based on Quantum Hardware Assumptions

Este artículo presenta los primeros protocolos de compromiso de bits y de lanzamiento de moneda estadísticamente seguros basados en funciones físicas no clonables híbridas bloqueadas (HLPUF), superando la imposibilidad de la seguridad incondicional en la criptografía cuántica al combinar tokens de hardware clásicos con comunicación cuántica para lograr un nuevo paradigma para la criptografía de dos partes práctica y de desconfianza.

Autores originales: Roo Dunnill, Mina Doosti

Publicado 2026-08-12

📖 8 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Roo Dunnill, Mina Doosti

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

=== RESUMEN ===
Imagina que estás intentando construir una bóveda digital que sea tan segura que ni siquiera un robot súper inteligente con tiempo infinito podría romperla. Este es el sueño de la "seguridad incondicional" en la criptografía. Durante décadas, los científicos han intentado construir un tipo específico de bóveda llamado "compromiso de bits" (bit commitment). Piensa en ello como un sobre sellado: metes una nota secreta dentro, se la entregas a un amigo y prometes que no puedes cambiar la nota más tarde, mientras que tu amigo no puede mirar dentro hasta que tú lo digas. Suena simple, pero en el mundo cuántico —el reino de los átomos y las partículas de luz donde las cosas pueden estar en dos lugares a la vez— famosos teoremas matemáticos demostraron que esto es imposible de hacer perfectamente sin ayuda adicional. Es como intentar construir una casa de naipes que nunca se caiga, incluso en un huracán; las leyes de la física dicen que no se puede hacer si solo tienes aire y papel.

Sin embargo, los científicos han encontrado un ingenioso truco: en lugar de confiar solo en las matemáticas, pueden confiar en el mundo físico mismo. Imagina usar una huella digital única e incopiable hecha de hardware para cerrar la bóveda. Este artículo explora una nueva forma de construir esa bóveda utilizando una mezcla especial de chips de computadora de la vieja escuela y física cuántica de la nueva escuela. El objetivo es crear un sistema donde dos personas que no confían entre sí puedan jugar juegos justos, como lanzar una moneda o hacer una apuesta secreta, sin necesidad de confiar en un tercero o de confiar en que el enemigo sea demasiado estúpido para hacer trampa.

El juego imposible y el truco del hardware

En el mundo de la criptografía, el "compromiso de bits" es el equivalente digital de un sobre sellado. Tú (Alice) quieres comprometerte con una elección (un 0 o un 1) y entregársela a tu amigo (Bob). Necesitas prometer dos cosas: primero, que Bob no pueda mirar tu elección antes de que estés lista para revelarla (esto se llama ocultación o hiding); y segundo, que una vez que hayas sellado el sobre, no puedas cambiar sigilosamente tu elección por el otro número (esto se llamado vinculación o binding).

Durante mucho tiempo, los científicos pensaron que la mecánica cuántica podría resolver esto perfectamente. Pero entonces, un famoso teorema de "no existencia" (no-go theorem) llegó y dijo: "No, no es posible". Resulta que en un mundo puramente cuántico, si intentas ocultar el bit perfectamente, dejas una brecha que permite al tramposo cambiar de opinión más tarde. Es como un truco de magia donde el mago no puede hacer desaparecer al conejo sin dejar una pista de que podría haber sacado un conejo diferente del sombrero más tarde.

Para evitar esto, los autores de este artículo decidieron dejar de intentar resolver el problema solo con matemáticas y luz. En su lugar, trajeron un objeto físico: una Función Físicamente No Clonable Híbrida Bloqueada, o HLPUF por sus siglas en inglés.

Piensa en un HLPUF como un token mágico e incopiable de "caja negra".

Físicamente No Clonable: Al igual que no hay dos copos de nieve iguales, no hay dos de estos tokens de hardware que sean exactamente iguales. Incluso la fábrica que los fabricó no puede copiar el cableado interno. Si intentas escanearlo y construir una imitación, la imitación se comportará de manera diferente.
Híbrido: Es una mezcla de un chip de computadora estándar (que es fácil de fabricar) y una capa cuántica (que es difícil de falsificar).
Bloqueado: Este es el ingrediente especial. El token tiene un mecanismo de "bloqueo". Una vez que lo usas de cierta manera, se bloquea a sí mismo. No puedes abrirlo de nuevo para ver qué hay dentro o cambiar cómo funciona.

El nuevo protocolo: Un juego de "Confía en la caja"

Los autores diseñaron un protocolo (un conjunto de reglas para un juego) que utiliza esta caja mágica para resolver el problema imposible. Así es como funciona el juego, paso a paso:

1. La configuración (El reclutamiento)
Alice comienza con el token HLPUF en un estado "desbloqueado". Ella le hace al token una serie de preguntas (desafíos) y anota las respuestas (respuestas) en un cuaderno. Esta es su base de datos. Luego, mueve un interruptor para bloquear el token. Ahora, el token está sellado. Ella le entrega este token bloqueado a Bob.

2. El compromiso (El sobre sellado)
Alice quiere comprometerse con un bit (0 o 1). Elige una pregunta de su cuaderno, digamos "Pregunta X".

Ella le pide al token la respuesta a la "Pregunta X".
También utiliza un algoritmo especial para generar una pregunta "falsa", la "Pregunta Y", que es muy similar a X pero ligeramente diferente.
Envía tanto la Pregunta X como la Pregunta Y a Bob.
Ahora, aquí está el truco de magia: Ella toma la respuesta a la Pregunta X y la convierte en una cadena de partículas cuánticas (qubits).
- Si quiere comprometerse con 0, codifica la respuesta usando el "estilo" (base) de la Pregunta X.
- Si quiere comprometerse con 1, codifica la misma respuesta usando el "estilo" de la Pregunta Y.
Envía esta cadena de partículas cuánticas a Bob.

¿Por qué Bob no puede mirar?
Bob tiene las preguntas, pero no sabe qué "estilo" usó Alice. Debido a que las respuestas son aleatorias y los estilos están mezclados, las partículas cuánticas le parecen exactamente iguales, ya sea que ella haya elegido 0 o 1. Es como enviar un mensaje en una botella donde la botella parece idéntica tanto si el mensaje dentro dice "Sí" como si dice "No". Él no puede notar la diferencia hasta que ella lo abra.

¿Por qué Alice no puede hacer trampa?
Alice tiene el token bloqueado. Para cambiar de opinión, necesitaría cambiar su compromiso después del hecho. Pero para demostrar que no cambió de opinión, tiene que revelar la respuesta completa al token.

Si intenta mentir, tiene que adivinar la respuesta a la pregunta del token sin tener realmente el token.
Pero el token es no clonable. Ella no puede hacer uno falso.
Y el token está bloqueado. Ella no puede hacerle nuevas preguntas para averiguar la respuesta.
La única forma de ganar es tener la respuesta real del token real. Si intenta falsificarla, las matemáticas dicen que fallará casi siempre.

Los resultados: Un nuevo tipo de seguridad

El artículo demuestra que este sistema funciona con seguridad estadística. Esto significa que, aunque un tramposo súper inteligente podría ser capaz de cambiar su compromiso, las probabilidades son tan astronómicamente bajas que es prácticamente imposible. No es "matemáticamente imposible" (algo que el artículo dice que no se puede lograr), sino que es "tan improbable que nunca verás que suceda".

Los autores demostraron dos cosas principales:

Ocultación Perfecta: Bob no puede adivinar el bit antes de la revelación. Los estados cuánticos son tan similares que, incluso con una computadora cuántica perfecta, él no puede distinguirlos.
Vinculación Fuerte: Alice no puede cambiar su bit después de enviar las partículas cuánticas. La única forma de abrir el sobre con éxito es tener la respuesta genuina e infalsificable del token de hardware.

También utilizaron este juego de compromiso de bits para construir un protocolo de Lanzamiento de Moneda (Coin Flipping). Imagina que Alice y Bob quieren decidir quién va primero en un juego lanzando una moneda, pero están en ciudades diferentes y no confían el uno en el otro. Usando este nuevo método basado en hardware, pueden lanzar una moneda que ninguno puede manipular. Si Alice intenta forzar que la moneda caiga en Cara, tiene que romper el token de hardware, lo cual es estadísticamente imposible.

Por qué esto es importante

Este artículo sugiere un nuevo camino hacia el futuro de internet. En lugar de esperar que los hackers sean demasiado torpes para romper nuestros códigos, o que no tengan suficiente memoria de computadora, podemos construir sistemas que dependan de las leyes físicas del propio hardware.

Los autores admiten que esto no es una varita mágica que lo soluciona todo instantáneamente. Señalan que construir estos tokens requiere supuestos de hardware específicos (como que el token sea verdaderamente no clonable y que el bloqueo sea inquebrantable). Pero argumentan que este es un camino realista. Ya tenemos los chips; solo necesitamos añadir la capa cuántica y el mecanismo de bloqueo.

En resumen, el artículo dice: "No podemos hacer una bóveda perfecta basada puramente en matemáticas, pero si construimos una bóveda con una llave física especial e incopiable, podemos hacer una que sea lo suficientemente segura para el mundo real". Es un cambio de "confiar en las matemáticas" a "confiar en la física", ofreciendo una ruta concreta hacia la comunicación segura en un mundo donde todos sospechan de todos.

BORRADOR

Aquí se presenta un resumen técnico detallado del artículo "Statistically-Secure Bit Commitment and Coin Flipping Protocols Based on Quantum Hardware Assumptions" de Roo Dunnill y Mina Doosti.

Planteamiento del Problema

El compromiso de bits (bit commitment) es una primitiva criptográfica fundamental, esencial para tareas como el lanzamiento de moneda (coin flipping), las pruebas de conocimiento cero y la computación multipartita segura. Sin embargo, el teorema de imposibilidad de Mayers–Lo–Chau establece que el compromiso de bits cuántico unconditionally seguro es imposible en un modelo estándar de dos partes no relativista. Cualquier protocolo que sea suficientemente oculto (hiding) es inevitablemente susceptible de admitir una estrategia coherente para el comitente (Alice) basada en la purificación y la medición retardada, rompiendo así la propiedad de vinculación (binding).

Los enfoques existentes para sortear este teorema de imposibilidad suelen basarse en:

Nociones de seguridad más débiles (por ejemplo, sensibilidad al engaño o cheat sensitivity).
Supuestos computacionales (por ejemplo, permutaciones de un solo sentido cuánticas).
Restricciones relativistas (por ejemplo, la no comunicación entre agentes separados).
Limitaciones de almacenamiento en el adversario (por ejemplo, modelos de almacenamiento cuántico limitado o de almacenamiento ruidoso).

Los autores identifican una brecha: los supuestos de hardware físico se han utilizado con éxito para la autenticación y la generación de claves contra adversarios externos, pero no se han adaptado eficazmente para la criptografía de dos partes con desconfianza mutua (donde ambas partes pueden ser maliciosas). Un intento directo de utilizar un token de hardware para el compromiso de bits falla porque una parte maliciosa podría simplemente reemplazar el hardware prescrito por un dispositivo similar o retrasar su elección del bit comprometido hasta la fase de apertura. El desafío central es diseñar un protocolo que obligue al comitente a utilizar el comportamiento genuino del hardware mientras se mantiene el bit comprometido oculto para el receptor.

Metodología

Los autores proponen un protocolo constructivo basado en Funciones Físicamente No Clonables Híbridas Bloqueadas (HLPUFs). Una HLPUF es una primitiva de hardware que combina una cPUF (PUF clásica) con una capa de comunicación cuántica.

1. La primitiva de hardware (HLPUF asimétrica):
El protocolo utiliza una variante asimétrica de la HLPUF introducida en trabajos previos [22]. La respuesta clásica $f(x)$ de la cPUF subyacente se divide en dos partes:

$f_1(x)$ (Verificador): Una cadena más corta utilizada para la verificación.
$f_2(x)$ (Carga útil/Payload): Una cadena más larga codificada en estados cuánticos.

El dispositivo opera en dos modos:

Modo Desbloqueado (Configuración): Alice consulta el dispositivo para construir una base de datos de pares desafío-respuesta.
Modo Bloqueado (Ejecución): El dispositivo está "bloqueado". Acepta un desafío $x$ y un estado cuántico $|\psi\rangle$ . Verifica si $|\psi\rangle$ coincide con el estado esperado derivado de $f_1(x)$ . Si es válido, emite el estado cuántico correspondiente a $f_2(x)$ ; de lo contrario, aborta. Crucialmente, una vez bloqueado, el dispositivo no puede ser desbloqueado ni consultado clásicamente para $f_2(x)$ .

2. El diseño del protocolo:
El protocolo introduce una asimetría deliberada para prevenir el comportamiento deshonesto:

Generación de pares de desafíos: Para un desafío elegido $x_0$ , el protocolo utiliza un algoritmo específico (Algoritmo 1) para generar un desafío alternativo $x_1$ . Estos desafíos se construyen de tal manera que difieren en un conjunto específico de índices $J$ (tamaño $\ell_{min}$ ), asegurando que los bits de la base de la codificación BB84 difieran significativamente mientras los bits de valor permanecen equilibrados.
Compromiso: Alice compromete un bit $b \in \{0, 1\}$ $b \in {0, 1}$ preparando un estado cuántico $\rho_b$ $ρ_{b}$ . Este estado codifica la subcadena de carga útil $f_2(x_0)_J$ $f_{2} (x_{0})_{J}$ (los bits de respuesta en los índices $J$ $J$ ).
- Si $b=0$ , el estado se codifica en la base definida por $x_0$ ( $\beta(x_0)$ ).
- Si $b=1$ , el estado se codifica en la base definida por $x_1$ ( $\beta(x_1)$ ).
- Alice envía el par $(x_0, x_1)$ y el orden $J$ a Bob, junto con el estado cuántico $\rho_b$ .
Apertura: Alice revela $b$ , el desafío $x_0$ y las respuestas clásicas completas $f_1(x_0)$ y $f_2(x_0)$ .
Verificación: Bob utiliza la HLPUF bloqueada para verificar la autenticidad de la respuesta. Prepara un estado verificador basado en $f_1(x_0)$ y consulta el dispositivo. Si el dispositivo acepta, Bob mide el estado almacenado en la base correspondiente al bit revelado $b$ y comprueba la consistencia con $f_2(x_0)_J$ .

3. Mecanismos de Seguridad:

Ocultación (Hiding): Se basa en la infalsificabilidad de la HLPUF. Sin la capacidad de falsificar un estado verificador válido, Bob no puede extraer información sobre $f_2(x_0)$ antes de la revelación. El protocolo asegura que los dos posibles estados de compromiso sean estadísticamente indistinguibles porque los bits de la carga útil están distribuidos uniformemente y los patrones de la base están equilibrados.
Vinculación (Binding): Se basa en el mecanismo de bloqueo y en el límite de la norma del operador. Una Alice deshonesta no puede preparar un estado entrelazado que le permita abrir hacia 0 y 1 con alta probabilidad, porque el paso de verificación requiere una respuesta clásica específica $f_1(x_0)$ que es difícil de falsificar. La prueba de vinculación reduce cualquier estrategia deshonesta a un límite de la norma del operador sobre la suma de los proyectores de aceptación, mostrando que la probabilidad de abrir exitosamente ambos bits está acotada por una función insignificante.

Contribuciones Clave

Primer Compromiso de Bits Cuántico Estadísticamente Seguro: El artículo presenta el primer protocolo de compromiso de bits que logra tanto ocultación como vinculación estadística bajo supuestos de hardware híbrido (específicamente HLPUFs) sin depender de la dureza computacional o de restricciones relativistas.
Uso Novedoso de Hardware: Los autores demuestran cómo utilizar tokens de hardware en un entorno de desconfianza mutua. Superan el problema del "dispositivo similar" (look-alike) estructurando el protocolo de modo que el estado de compromiso esté estadísticamente ligado al comportamiento de desafío-respuesta del hardware genuino, haciendo imposible que una parte maliciosa sustituya el token sin ser detectada.
Construcción de HLPUF Asimétrica: La introducción de una división asimétrica en la respuesta de la PUF (Verificador vs. Carga útil) y un algoritmo específico de generación de pares de desafíos (Algoritmo 1) que asegura distribuciones de estado BB84 equilibradas.
Primer Lanzamiento de Moneda Basado en Hardware: Al aplicar la transformación estándar a su esquema de compromiso de bits, los autores construyen el primer protocolo fuerte de lanzamiento de moneda cuántica basado en supuestos de hardware híbrido.
Técnicas de Prueba: El artículo desarrolla nuevas técnicas de prueba, incluyendo un argumento de "simetría de ensamble intrínseca" para la ocultación y una reducción de la norma del operador para la vinculación, que separan las limitaciones cuánticas intrínsecas de los parámetros del hardware.

Resultados

Corrección: El protocolo es correcto; las partes honestas siempre tienen éxito con probabilidad 1.
Ocultación (Hiding): El protocolo es $\epsilon_{hide}$ -oculto, donde $\epsilon_{hide} \le \epsilon_{forge}$ (el parámetro de infalsificabilidad de la HLPUF). Si la HLPUF es exponencialmente infalsificable, la ocultación es perfecta (estadísticamente indistinguible).
Vinculación (Binding): El protocolo es $\epsilon_{bind}$ -vinculante. La probabilidad de que una Alice deshonesta pueda abrir exitosamente ambos bits está acotada por:
$p_0 + p_1 \le 1 + 2^{-\frac{\ell_{min} - 2s}{4}}$
donde $s$ es la longitud de la cadena del verificador y $\ell_{min}$ es la longitud de la subcadena de la carga útil. Este límite es insignificante para elecciones apropiadas de parámetros.
Sesgo del Lanzamiento de Moneda (Coin Flipping Bias): El protocolo de lanzamiento de moneda resultante tiene un sesgo de como máximo $\delta_{CF} \le \frac{1}{2} \max\{\epsilon_{hide}, \epsilon_{bind}\}$ .

Significancia y Reivindicaciones

Los autores afirman que su trabajo establece un nuevo paradigma para la criptografía de dos partes segura en redes cuánticas. Al combinar garantías de seguridad rigurosas con componentes de hardware concretos y disponibles (PUFs) y comunicación cuántica factible, ofrecen una ruta práctica para implementar primitivas criptográficas fundamentales que de otro modo serían imposibles en el entorno cuántico simple.

El artículo enfatiza que este enfoque no requiere supuestos sobre la memoria cuántica de un adversario (a diferencia de los modelos de almacenamiento limitado), lo que permite una seguridad indefinida. En su lugar, la seguridad depende de la unclonabilidad física y la resistencia a la manipulación del token de hardware. Los autores posicionan esto como una alternativa constructiva a los resultados existenciales, proporcionando un diseño específico que cierra la brecha entre la criptografía cuántica teórica y la implementación práctica.

Los autores se mantienen modestos respecto al trabajo futuro, señalando que la implementación a prueba de manipulaciones del dispositivo es una cuestión de ingeniería abierta y que un análisis de seguridad totalmente composable se deja para estudios futuros. También sugieren que el protocolo podría adaptarse a escenarios sin memoria cuántica (permitiendo la medición temprana), aunque esto debilitaría los parámetros de seguridad.