⚛️ física cuántica

Quantum Cryptomania with Classical Communication without One-Way Functions

Este artículo establece que el cifrado de clave pública cuántica con comunicación clásica puede existir incluso en ausencia de funciones unidireccionales al demostrar una separación de caja negra entre ambos primitivos y proporcionar una construcción basada en la ofuscación de indistinguibilidad cuántica y acertijos unidireccionales.

Autores originales: Mohammed Barhoush, Amit Behera

Publicado 2026-10-26

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Mohammed Barhoush, Amit Behera

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

En el mundo de la seguridad digital, el fundamento de casi todo sistema para guardar secretos es un tipo específico de cerradura matemática llamada función unidireccional. Imagine una máquina que es increíblemente fácil de ejecutar en una dirección pero casi imposible de revertir; puedes introducirle un número y obtener un resultado, pero no puedes averiguar el número original simplemente mirando el resultado. Durante décadas, los científicos han creído que sin estas cerraduras, los sistemas de cifrado más avanzados, como los sistemas de clave pública que aseguran nuestra banca en línea y mensajes privados, sencillamente no podrían existir. Esta creencia creó una jerarquía donde la sencilla cerradura unidireccional era la llave necesaria para construir la compleja bóveda.

Sin embargo, las reglas cambian cuando entramos en el reino de la computación cuántica, donde la información se comporta según las extrañas leyes de la física en lugar de la lógica clásica. En este mundo cuántico, los investigadores han descubierto que algunas herramientas básicas de seguridad pueden existir incluso sin estas cerraduras unidíreccionales. Esto ha dejado una gran pregunta suspendida sobre el campo: ¿requiere el cifrado de clave pública, la forma más poderosa de cifrado, todavía la función unidireccional para funcionar, incluso cuando las claves y los mensajes mismos siguen siendo clásicos y fáciles de leer? Si la respuesta es sí, entonces el mundo cuántico no es tan diferente del clásico como esperábamos. Si la respuesta es no, significaría que podemos construir las bóvedas digitales más fuertes utilizando únicamente herramientas más débiles y frágiles.

Un equipo de investigadores ha respondido ahora a esta pregunta, revelando que la forma más fuerte de cifrado no necesita realmente que la función unidireccional exista. Demostraron que es posible construir un sistema de cifrado de clave pública seguro donde las claves y los mensajes sean enteramente clásicos, aun cuando las funciones unidireccionales requeridas por la teoría tradicional simplemente no existen. Este hallazgo revierte una suposición largamente sostenida de que estos dos conceptos estaban inextricablemente vinculados. Los investigadores no solo sugirieron esta posibilidad; proporcionaron una prueba matemática rigurosa demostrando que, en un entorno cuántico específico, un esquema de cifrado seguro puede operar perfectamente mientras las funciones unidireccionales de las que se pensaba que dependía están completamente ausentes.

Para entender cómo funciona esto, uno debe observar la naturaleza de las herramientas que se están utilizando. En la informática clásica, una función unidireccional se define por su estricta predictibilidad; si introduces el mismo dato, debes obtener siempre el mismo resultado. Los investigadores demostraron que en el entorno cuántico, este requisito estricto no es necesario para el cifrado. Construyeron un escenario donde el sistema de cifrado funciona impecablemente, pero cualquier intento de crear una función unidireccional falla porque el sistema es demasiado flexible. El esquema de cifrado depende de un proceso que puede producir diferentes salidas para la misma entrada, una característica que rompe la definición rígida de una función unidireccional pero que es perfectamente aceptable para mantener los mensajes en secreto.

El equipo probó esto creando un modelo teórico, o un "mundo", gobernado por reglas cuánticas específicas. En este mundo, construyeron un sistema de cifrado que es seguro contra cualquier atacante, incluso uno con una capacidad de cómputo inmensa. Luego demostraron que en este mismo mundo, es imposible crear una función unidireccional. La prueba se basa en una técnica de separación ingeniosa. Demostraron que si un atacante pudiera romper el cifrado, también sería capaz de romper la función unidireccional, pero dado que la función unidireccional no existe en este modelo, el cifrado debe permanecer seguro. Esto crea una clara separación entre los dos conceptos, probando que la existencia de uno no garantiza la existencia del otro.

Además, los investigadores exploraron qué podría reemplazar a la función unidireccional en este nuevo panorama. Encontraron que un tipo de acertijo diferente y más débil, conocido como acertijo unidireccional eficientemente verificable, combinado con una herramienta poderosa llamada ofuscación de indistinguibilidad, es suficiente para construir el sistema de cifrado. Este acertijo es más fácil de crear que una función unidireccional, pero sigue siendo lo suficientemente difícil de resolver como para proporcionar seguridad. Al combinar este acertijo con la herramienta de ofuscación, que oculta el funcionamiento interno de un programa informático, construyeron un esquema de cifrado de clave pública plenamente funcional. Esta construcción es significativa porque muestra un camino hacia adelante para la criptografía cuántica que no depende de los supuestos más fuertes y, quizás, más difíciles de encontrar.

Las implicaciones de este trabajo son profundas para el futuro de la criptografía. Sugieren que el paisaje de la seguridad cuántica es más complejo y matizado que la jerarquía simple vista en la informática clásica. Los investigadores no solo encontraron un vacío legal; mapearon un nuevo territorio donde las reglas de la seguridad son distintas. Mostraron que la necesidad de funciones unidireccionales no es una ley universal sino una característica del mundo clásico que no se aplica necesariamente cuando interviene la mecánica cuántica. Esto significa que la búsqueda del cifrado seguro frente al ataque cuántico podría no requerir el hallazgo de la esquiva función unidireccional, sino centrarse en estos acertijos más débiles y accesibles.

El estudio también abordó la robustez de sus hallazgos. Demostraron que sus resultados se mantienen incluso cuando el atacante tiene acceso a las herramientas más poderosas disponibles en la mecánica cuántica, incluyendo la capacidad de revertir operaciones o copiar estados cuánticos de ciertas maneras. La prueba no se basa en una suposición o una simulación que pueda fallar bajo diferentes condiciones; es una certeza matemática dentro del modelo definido. Los investigadores también aclararon que, aunque su sistema de cifrado funciona sin funciones unidireccionales, eso no significa que las funciones unidireccionales sean inútiles. Simplemente demostraron que no son un requisito obligatorio para este tipo específico de cifrado.

Al final, esta investigación proporciona una imagen completa de la relación entre los bloques de construcción de la seguridad cuántica. Confirma que el mundo cuántico permite una variedad más rica de posibilidades criptográficas de lo que se pensaba anteriormente. La capacidad de construir cifrado de clave pública seguro sin la tradicional cerradura unidireccional abre nuevas vías para la investigación y el desarrollo. Desafía a los científicos a repensar los supuestos fundamentales de su campo y a explorar nuevas combinaciones de herramientas que antes se consideraban demasiado débiles para ser útiles. El trabajo constituye una prueba definitiva de que, en el reino cuántico, el camino hacia la comunicación segura no es tan estrecho como se creía.

Resumen Técnico: Criptomanía Cuántica con Comunicación Clásica sin Funciones de Un Solo Sentido

1. Planteamiento del Problema

En la criptografía clásica, la existencia de Funciones de Un Solo Sentido (OWF, por sus siglas en inglés) es un supuesto fundacional, necesario para la mayoría de los primitivos no triviales, incluyendo firmas, cifrado de clave privada y compromisos de bits. Aunque las OWF están implícitas en primitivos más fuertes como el Cifrado de Clave Pública (PKE), se sabe que las OWF por sí solas pueden no ser suficientes para construir PKE mediante reducciones de caja negra (Impagliazzo y Rudich).

En el entorno cuántico, trabajos recientes han demostrado que los primitivos de "Minicrypt" (por ejemplo, firmas, cifrado de clave privada) pueden existir en relación con oráculos cuánticos incluso cuando no existen funciones de un solo sentido computables cuánticamente (qOWF), incluso bajo la restricción de comunicación clásica. Sin embargo, la relación entre las qOWF y los primitios de "Cryptomania"—específicamente el Cifrado de Clave Pública con claves y textos cifrados clásicos (qPKE)—seguía siendo una pregunta abierta. El problema central abordado en este trabajo es el Problema Abierto 1: ¿Requiere el cifrado de clave pública todavía funciones de un solo sentido computables cuánticamente en el entorno cuántico, incluso si las claves y la comunicación permanecen enteramente clásicas?

2. Metodología

Los autores emplean una combinación de técnicas de separación de oráculos y criptografía constructiva para responder al problema abierto.

2.1 Separación de Oráculos (Resultado Negativo)

Para demostrar que las qOWF no son necesarias para la qPKE, los autores construyen un oráculo cuántico específico en relación al cual existe un esquema de qPKE seguro, pero no existen qOWF.

Diseño del Oráculo: El oráculo se define mediante una operación unitaria, real y autoinversa. Utiliza dos tablas aleatorias independientes ( $A$ y $B$ ) y un parámetro de interpolación $\tau \in [0, 1]$ . Las operaciones del oráculo (Muestreo de Clave $O_{samp}$ , Cifrado $O_{enc}$ y Descifrado $O_{dec}$ ) interpolan entre los estados definidos por la tabla $A$ y la tabla $B$ basándose en $\tau$ .
El Teorema de la Barrera: Una contribución técnica clave es un "Teorema de la Barrera General" (Teorema 5.2), una generalización de resultados previos de Bouaziz–Ermann et al. Este teorema establece que si una distribución de oráculos admite caminos aleatorios con cambios acotados (continuidad de Lipschitz) entre muestras independientes, entonces cualquier evaluador candidato que sea "fiable" (determinista) en una gran fracción de entradas debe computar la misma función a través de un gran conjunto de oráculos.
Estrategia de Condicionamiento: Los autores condicionan la distribución del oráculo en eventos que obligan a los evaluadores candidatos de qOWF a:
1. Fallar el requisito de determinismo (fallar al producir una salida fija para una entrada dada).
2. Ser invertibles mediante un oráculo PSPACE (porque su comportamiento es lo suficientemente consistente a través del espacio del oráculo como para ser simulado/promediado).
  Al iterar este condicionamiento sobre todos los posibles evaluadores de tiempo polinómico, construyen una distribución donde no existe una qOWF, pero el esquema de qPKE sigue siendo seguro debido a que los límites de entropía relativa preservan la seguridad del cifrado subyacente.

2.2 Enfoque Constructivo (Resultado Positivo)

Para mostrar que la qPKE puede construirse a partir de supuestos más débiles, los autores construyen qPKE utilizando:

Puzzles de Un Solo Sentido Eficientemente Verificables (EV-OWPuzz): Un primitivo más débil que las qOWF, que consiste en un muestreador y un verificador.
Ofuscación de Indistinguibilidad Cuántica (qiO): Específicamente para circuitos cuánticos que computan funciones clásicas y producen descripciones ofuscadas clásicas.
La construcción adapta el paradigma clásico de construir PKE a partir de OWF y Ofuscación de Indistinguibilidad (iO). Un obstáculo técnico crítico es que los verificadores de EV-OWPuzz pueden aceptar múltiples respuestas con probabilidades intermedias, mientras que la prueba clásica depende de respuestas únicas. Los autores superan esto mediante una Lema de Supresión (Lema 6.1), que utiliza hashing y amplificación para suprimir todas las respuestas excepto una que sea aceptada para un puzzle dado, convirtiendo efectivamente el verificador del puzzle en un circuito de tipo función-punto adecuado para la ofuscación.

3. Contribuciones Clave y Definiciones

El artículo introduce un marco matizado para definir las qOWF para clarificar los resultados de separación:

qOWF1: Requiere determinismo en cada entrada (excepto por un error despreciable) y seguridad contra muestreadores de entrada cuánticos arbitrarios.
qOWF2: Requiere determinismo en promedio sobre entradas uniformes, con seguridad contra entradas uniformes.
qOWF3: Requiere determinismo en promedio sobre muestreadores de entrada cuánticos arbitrarios.

Resultados Clave:

Separación de Oráculo (Teorema 1.1 y 1.3): Existe un oráculo unitario cuántico, real y autoinverso en relación al cual existe una qPKE perfectamente correcta e IND-CPA-segura, pero no existen ni qOWF1 ni qOWF2. Esto establece una separación de caja negra entre la qPKE y estas nociones más fuertes de qOWF.
Equivalencia de qOWF3 y EV-OWPuzz (Teorema 1.4): El artículo demuestra que existe una qOWF3 si y solo si existe una EV-OWPuzz. Dado que la qPKE implica una EV-OWPuzz, se deduce que la qPKE implica la qOWF3. Esto resalta que la separación es específica para las definiciones más fuertes (qOWF1/2) y que la definición más débil (qOWF3) es equivalente al primitivo de puzzle.
Construcción de qPKE (Teorema 1.2 y 6.3): Los autores construyen qPKE IND-CPA-segura con comunicación y claves clásicas mediante la combinación de EV-OWPuzz y qiO. Esto demuestra que la qPKE puede lograrse a partir de supuestos potencialmente más débiles que las qOWF.
Ofuscación de Función-Punto: El resultado de separación también descarta la construcción de caja negra de qOWF a partir de la ofuscación de función-punto, ya que el oráculo construido admite ofuscación de función-punto pero no posee qOWF.

4. Significado y Reivindicaciones

El artículo afirma proporcionar una "imagen integral" de la relación entre las qOWF y la qPKE en el entorno cuántico con comunicación clásica.

Refutación de la Necesidad: La principal significación es la respuesta negativa al Problema Abierto 1. Los autores demuestran que las qOWF no son necesarias para la qPKE, incluso cuando se restringe a claves y textos cifrados clásicos. Esto contrasta con la intuición clásica donde la PKE suele verse como estrictamente más fuerte que las OWF, aunque la existencia de PKE sin OWF (en un sentido de caja negra) era previamente una pregunta abierta en el ámbito cuántico.
Complejidad del Paisaje Cuántico: Los resultados resaltan una diferencia fundamental entre la criptografía clásica y la cuántica. En el mundo clásico, una estructura jerárquica suele vincular la PKE a las OWF. En el mundo cuántico, los autores muestran una "separación de caja negra de dos vías" entre la qPKE perfectamente correcta y la qOWF1/qOWF2, indicando un paisaje más complejo y menos jerárquico.
Debilitamiento de Supuestos: Al construir qPKE a partir de EV-OWPuzz y qiO, el artículo sugiere que los supuestos criptográficos requeridos para el cifrado de clave pública en el mundo cuántico pueden debilitarse al nivel de los puzzles, siempre que se tenga acceso a la ofuscación de indistinguibilidad cuántica.
Robustez de la Separación: La separación se mantiene incluso contra adversarios con acceso a operaciones unitarias, inversas, transpuestas y de conjugación compleja del oráculo, descartando una amplia clase de construcciones de caja negra.

Los autores concluyen que, si bien las qOWF no son necesarias para la qPKE, la noción más débil (qOWF3) es equivalente a EV-OWPuzz, la cual es implicada por la qPKE. Por lo tanto, la necesidad de la "unidireccionalidad" para la qPKE depende críticamente de la definición específica de determinismo y muestreo de entrada utilizada.