Robust and leakage-resilient device-independent oblivious transfer in MiniQCryp

En el mundo de la criptografía, el objetivo es a menudo mantener los secretos seguros incluso cuando las personas involucradas no pueden ser plenamente confiables. Dos de sus herramientas más fundamentales son el "compromiso de bits" (bit commitment) y la "transferencia oblicua" (oblivious transfer). El compromiso de bits es como una caja fuerte digital: una persona pone un secreto dentro, lo cierra y le entrega la llave a otra, demostrando que el secreto existe sin revelarlo. Más tarde, pueden abrir la caja fuerte para mostrar que el secreto estuvo allí todo el tiempo. La transferencia oblicua es un intercambio ligeramente más complejo donde una persona posee dos secretos, y la otra persona elige aprender solo uno de ellos, sin que la primera persona sepa cuál fue elegido, y sin que la segunda persona aprenda nada sobre el otro secreto. Durante décadas, construir estas herramientas de forma segura requirió confiar en que el hardware físico —láseres, detectores y computadoras— estaba funcionando exactamente como se anunciaba. Si un dispositivo era defectuoso o había sido manipulado por un proveedor deshonesto, toda la garantía de seguridad podía colapsar.

Esta dependencia de un hardware perfecto es una debilidad importante. En un escenario del mundo real, los dispositivos pueden ser ruidosos, imperfectos o incluso diseñados secretamente para filtrar información. Un nuevo enfoque llamado criptografía "independiente del dispositivo" intenta resolver esto eliminando la necesidad de confiar totalmente en el hardware. En lugar de verificar si el dispositivo funciona correctamente, los usuarios simplemente observan los patrones de las respuestas que da el dispositivo. Si las respuestas siguen un patrón específico e imposible de falsificar, los usuarios pueden estar matemáticamente seguros de que ocurrió un intercambio seguro, independientemente de lo que el dispositivo esté haciendo realmente en su interior. Sin embargo, los intentos previos para hacer que esto funcionara para tareas complejas como la transferencia oblicua chocaron con un muro: o requerían que los dispositivos estuvieran perfectamente aislados entre sí, o asumían que los dispositivos eran impecables, o no podían probar la seguridad contra computadoras cuánticas potentes.

Un equipo de investigadores ha cerrado finalmente esta brecha. Han construido un nuevo método que permite realizar transferencias oblicuas y compromisos de bits utilizando dispositivos cuánticos no confiables, defectuosos y potencialmente con fugas de información, basándose únicamente en la existencia de ciertas funciones matemáticas conocidas como funciones de un solo sentido (one-way functions). Su trabajo demuestra que, incluso si un dispositivo tiene ruido, si se le permite filtrar una cantidad mínima y acotada de información, y si los usuarios confían solo en sus propias computadoras clásicas, pueden realizar estas tareas criptográficas con un nivel de seguridad que se mantiene frente a un atacante con una computadora cuántica. Los investigadores no solo sugirieron que esto era posible; proporcionaron una construcción completa, paso a paso, y una rigurosa prueba matemática de que funciona.

El núcleo de su logro reside en cómo manejan las imperfecciones del mundo real. En su sistema, las dos partes, llamémoslas Alice y Bob, utilizan dispositivos no confiables para jugar un juego basado en un rompecabezas conocido como el "Cuadrado Mágico" (Magic Square). En este juego, Alice y Bob reciben preguntas y deben proporcionar respuestas que satisfagan reglas de consistencia específicas. Si ganan el juego con la frecuencia suficiente, esto demuestra que están compartiendo una correlación secreta que no puede ser falsificada. Los investigadores diseñaron un protocolo donde Alice y Bob juegan este juego muchas veces en paralelo. Luego utilizan un proceso de filtrado ingenioso: verifican una pequeña muestra aleatoria de las respuestas para asegurar que los dispositivos se comporten correctamente. Si la muestra pasa la prueba, utilizan las respuestas restantes para generar las claves secretas necesarias para la transferencia.

Una innovación crítica en este trabajo es cómo manejan la "fuga" (leakage). En un laboratorio real, un proveedor deshonesto podría haber construido un canal oculto en el dispositivo, permitiendo que este susurre información al mundo exterior. Las teorías previas asumían que estos dispositivos estaban completamente aislados. El nuevo protocolo acepta que puede haber cierta fuga, pero establece un presupuesto estricto. Se permite que los dispositivos intercambien una cantidad limitada de información, medida en bits cuánticos, durante una sola ronda del juego. Los investigadores demostraron que, mientras esta fuga se mantenga dentro de ese presupuesto, la seguridad del sistema permanece intacta. Mostraron que incluso si los dispositivos están entrelazados de formas complejas y el atacante intenta medirlos conjuntamente, la cantidad de información que el atacante puede robar está matemáticamente acotada y es insuficiente para romper el código.

Los investigadores también abordaron el problema de los "fallos". Los dispositivos reales cometen errores; pueden leer mal una pregunta o producir una respuesta incorrecta debido al ruido. Un protocolo que exija respuestas perfectas fallaría inmediatamente en un laboratorio real. La nueva construcción es robusta, lo que significa que puede tolerar una tasa constante de estos errores honestos. Utiliza códigos de corrección de errores para reconciliar las diferencias entre lo que Alice y Bob pretendían hacer y lo que sus dispositivos ruidosos realmente hicieron. Esto permite que el sistema funcione correctamente incluso cuando el hardware es imperfecto, una característica que faltaba anteriormente en los protocolos independientes de dispositivos que también podían manejar fugas de información.

La construcción funciona en dos modos distintos, dependiendo del entorno. En el primer modo, si los dispositivos están perfectamente aislados y el dispositivo del receptor mide cada parte del juego por separado, el sistema puede tolerar una tasa más alta de fallos. En el segundo modo, más general, el sistema permite mediciones conjuntas arbitrarias y fugas de información acotadas entre los laboratorios. En este entorno más flexible, el sistema sigue funcionando, aunque requiere un mayor número de rondas de juego para mantener el mismo nivel de seguridad. En ambos casos, la cantidad total de recursos requeridos —tiempo, comunicación y uso de dispositivos— crece a un ritmo manejable a medida que aumenta el nivel de seguridad, lo que hace que el protocolo sea práctico para su implementación futura.

Las implicaciones de este trabajo se extienden más allá del simple envío de un único secreto. Debido a que la transferencia oblicua es un bloque de construcción fundamental para toda la computación segura, este nuevo protocolo desbloquea efectivamente la capacidad de realizar cualquier cálculo seguro entre partes que no confían en nada más que en sus propias computadoras clásicas. Ya sea que dos empresas comparen sus bases de datos sin revelar los datos, o un grupo de votantes emita votos de forma segura, los investigadores demostraron que su método puede escalarse para manejar estos escenarios complejos de múltiples participantes. La seguridad se mantiene incluso si algunos de los participantes están corrompidos o si los dispositivos que utilizan son compartidos con un adversario.

Lo que hace que este resultado sea particularmente significativo es que elimina la necesidad de "hardware cuántico confiable". En esquemas anteriores, los usuarios tenían que creer que los láseres y detectores habían sido fabricados correctamente y no habían sido manipulados. En este nuevo marco, la seguridad proviene enteramente de las estadísticas observadas del juego y de las leyes de la física, verificadas mediante computación clásica. Los investigadores demostraron que los dispositivos pueden tratarse como cajas negras; siempre que produzcan las correlaciones correctas, el protocolo es seguro. Esto traslada la carga de la confianza de la cadena de suministro física a la estructura matemática del propio protocolo.

Los investigadores también abordaron la cuestión de la "simulación", que es el estándar de oro para probar la seguridad en la criptografía. Demostraron que, para cualquier ataque que un adversario pueda lanzar, existe un simulador que puede reproducir exactamente el mismo resultado utilizando la versión teórica e ideal del protocolo. Esto significa que cualquier cosa que un atacante aprenda del mundo real y desordenado de los dispositivos defectuosos, podría haberla aprendido con la misma facilidad del mundo teórico y perfecto. Dado que se sabe que el mundo teórico es seguro, el mundo real también debe serlo. Esta prueba se sostiene frente a cualquier atacante limitado por las leyes de la mecánica cuántica, asegurando que el sistema esté preparado para el futuro frente a la llegada de computadoras cuánticas potentes.

En resumen, este trabajo representa un gran paso adelante en la búsqueda de una comunicación verdaderamente segura. Toma el concepto teórico de la criptografía independiente del dispositivo y lo aterriza en una realidad donde los dispositivos son ruidosos, aislados y potencialmente comprometidos. Al combinar una estrategia de corrección de errores robusta con una contabilidad estricta de la fuga de información, los investigadores han creado un protocolo que es tanto práctico como demostrablemente seguro. Han demostrado que no necesitamos esperar a tener un hardware cuántico perfecto para construir un futuro seguro; podemos construirlo ahora, utilizando las herramientas imperfectas que tenemos, apoyándonos en la lógica inquebrantable de las matemáticas y las extrañas y poderosas correlaciones de la mecánica cuántica.