⚛️ quantum physics

A Unified Approach to Quantum Key Leasing with a Classical Lessor

Este artículo presenta un marco modular para la construcción de esquemas de arrendamiento de claves cuánticas seguros con un arrendador totalmente clásico, permitiendo el arrendamiento y la revocación de claves para el cifrado de clave pública, funciones pseudialeatorias y firmas digitales mediante comunicación clásica, al tiempo que satisface una fuerte seguridad contra ataques de revelación de la clave de verificación bajo el supuesto de aprendizaje con errores.

Autores originales: Fuyuki Kitagawa, Jiahui Liu, Shota Yamada, Takashi Yamakawa

Publicado 2026-07-22

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Fuyuki Kitagawa, Jiahui Liu, Shota Yamada, Takashi Yamakawa

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 un mundo donde puedes alquilar una herramienta superpotente, como una llave mágica que abre una bóveda digital, pero con un truco: una vez que devuelves la llave, te ves mágicamente obligado a olvidar cómo hacer una copia de ella. Este es el sueño del arrendamiento de claves seguras (secure key leasing). En el mundo real, si le prestas a alguien una llave física, esta puede copiarla fácilmente y seguir usándola incluso después de que se la pidas de vuelta. Pero en el mundo cuántico, las leyes de la física dicen que no se puede copiar un tipo específico de información sin destruir el original. Este artículo explora cómo usar esa regla de "no-copia" para crear un sistema donde un jefe (el arrendador) pueda alquilar una clave secreta a un trabajador (el arrendatario) y, cuando termine el periodo de alquiler, verificar que el trabajador realmente ha eliminado la clave y ya no puede usarla.

La parte difícil es que, por lo general, para alquilar una clave cuántica, el jefe necesita ser una computadora cuántica en sí misma, lo cual es costoso y difícil de construir. Este artículo plantea una pregunta audaz: ¿Puede un jefe que es completamente "clásico" (solo una computadora regular sin poderes cuánticos) alquilar también estas claves cuánticas imposibles de copiar? Los autores proponen un nuevo marco modular que dice "sí". Demuestran cómo actualizar el cifrado estándar, los generadores de contraseñas y las firmas digitales a versiones "arrendables" donde el jefe permanece clásico, el trabajador realiza todo el trabajo pesado cuántico, y la clave puede ser revocada y verificada mediante mensajes clásicos normales.

El marco de "Alquiler Mágico"

Piensa en el problema como esto: un gerente quiere permitir que un empleado use un sello digital especial para firmar documentos mientras está de vacaciones. Cuando el gerente regrese, debe asegurarse de que el empleado no pueda seguir usando ese sello. En el pasado, las soluciones requerían que el gerente fuera un mago cuántico, enviando señales cuánticas complejas al empleado. Este nuevo artículo introduce un "Adaptador Universal" que permite que un gerente clásico y regular realice el mismo trabajo.

Los autores construyeron un marco que toma tres herramientas digitales comunes y les otorga una actualización de "alquiler cuántico":

Cifrado de Clave Pública (PKE): La capacidad de enviar mensajes secretos.
Funciones Pseudoaleatorias (PRF): Herramientas que generan números que parecen aleatorios pero que en realidad están determinados por una clave secreta (como un generador de contraseñas).
Firmas Digitales (DS): La capacidad de firmar documentos para demostrar que son auténticos.

La magia ocurre a través de una hábil danza de tres pasos que involucra una función de "Trampa Ruidosa Libre de Garras" (Noisy Trapdoor Claw-Free o NTCF), que actúa como una caja fuerte cuántica, y una "Evaluación de Función Segura" (SFE), que es como una caja negra segura que computa cosas sin revelar las entradas.

Cómo lo hace el "Jefe Clásico"

Aquí está la analogía lúdica de cómo funciona el sistema, utilizando la construcción específica del artículo:

Paso 1: La Configuración (El jefe permanece Clásico)
El jefe (el arrendador) genera un conjunto de cerraduras "libres de garras" (claw-free). Imagina que estas cerraduras son acertijos especiales donde hay dos llaves diferentes (llamémoslas Llave A y Llave B) que abren la misma puerta. El jefe conoce la "trampa" secreta que revela ambas llaves, pero el empleado (el arrendatario) solo ve la puerta cerrada. El jefe envía las descripciones de estos acertijos al empleado.

Paso 2: El Trabajo Cuántico del Empleado
El empleado, que tiene una computadora cuántica, intenta resolver los acertijos. Debido a las reglas cuánticas, el empleado puede crear un estado de "superposición": un estado mágico donde sostiene tanto la Llave A como la Llave B al mismo tiempo, pero de una manera que es imposible de copiar. Esta es la "clave secreta cuántica". El empleado envía una confirmación clásica al jefe, demostrando que tiene la llave, pero sin revelar qué llaves específicas posee.

Paso 3: El Truco de la "Marca de Agua"
Aquí es donde el artículo se vuelve realmente ingenioso. El jefe no solo le entrega al empleado una clave bruta; incrusta una "marca de agua" en la clave. Piensa en esto como un número de serie oculto dentro del estado cuántico. Si el empleado intenta usar la clave para descifrar un mensaje o firmar un documento, la marca de agua estará allí. Si el empleado intenta hacer trampa y conservar una copia, la marca de agua ayudará al jefe a probarlo más tarde. Los autores muestran que si un empleado intenta conservar la clave después de devolverla, inevitablemente dejará un rastro que permitirá al jefe extraer el "número de serie" (la marca de agua) y probar que el empleado aún posee la clave.

Paso 4: La Revocación (El botón de "Eliminar")
Cuando el periodo de alquiler termina, el jefe le pide al empleado que "elimine" la clave. El empleado mide su estado cuántico de una manera específica y envía el resultado de vuelta. Debido a la regla de "no-clonación" cuántica, si el empleado envía con éxito la prueba de eliminación, se le obliga matemáticamente a perder la información necesaria para usar la clave nuevamente. El jefe verifica la prueba usando su trampa. Si esta pasa, el jefe tiene la certeza virtual (con una probabilidad tan cercana a 100% que la posibilidad de fallo es insignificante) de que el empleado ya no puede usar la clave.

Lo que este artículo realmente logra

El artículo demuestra que este marco funciona bajo el supuesto de que el problema de "Aprendizaje con Errores" (Learning With Errors o LWE) es difícil de resolver. LWE es un problema matemático estándar que se cree es difícil incluso para las computadoras cuánticas, lo que constituye una base sólida para la seguridad futura.

Los autores demuestran que:

Lograron los primeros esquemas para Funciones Pseudoaleatorias y Firmas Digitales que permiten el arrendamiento seguro de claves con un arrendador totalmente clásico (junto con un trabajo concurrente de Takeuchi y Xu que logró resultados similares de forma independiente).
Mejoraron los esquemas existentes para el Cifrado de Clave Pública (PKE), haciendo que el proceso sea más modular y menos dependiente de estructuras matemáticas complejas y específicas.
Demostraron la "Seguridad VRA": Esto significa "Seguridad contra Ataques de Revelación de Clave de Verificación" (Verification Key Revealing Attack). Significa que, incluso si un hacker roba la clave de verificación del jefe después de que el empleado haya devuelto la clave, el hacker aún no podrá averiguar cómo usar la clave. Esta es una garantía de seguridad muy fuerte.

Lo que NO hicieron (y lo que descartaron)

Es importante notar lo que este artículo no afirma. Los autores declaran explícitamente que su método depende del supuesto LWE; no afirman haber resuelto el problema usando solo el esquema de cifrado sin herramientas adicionales como NTCF o SFE. También aclaran que, aunque hicieron que el proceso de generación de claves fuera "no interactivo" (lo que significa que el jefe no necesita chatear de ida y vuelta con el empleado para las claves de cifrado), la configuración inicial aún requiere algunas rondas de comunicación. No pretendieron haber construido un dispositivo físico; este es un modelo matemático teórico de que tal sistema puede existir.

Por qué es importante

Este trabajo es un paso significativo hacia la criptografía cuántica práctica. Al demostrar que un jefe "clásico" puede gestionar claves "cuánticas", los autores eliminan una enorme barrera de entrada. En el mundo real, las empresas y los individuos no necesitarán comprar computadoras cuánticas caras y frágiles solo para alquilar servicios digitales de forma segura. Pueden usar sus computadoras regulares para gestionar el proceso, mientras que el trabajo pesado cuántico es realizado por el servidor o el usuario. Este enfoque modular sugiere que podemos construir un futuro donde la gestión de derechos digitales, el licenciamiento de software y el acceso seguro a datos no solo sean posibles, sino también verificables y revocables, todo ello manteniendo al "jefe" simple y clásico.

Resumen Técnico: Un Enfoque Unificado para el Arrendamiento de Claves Cuánticas con un Arrendador Clásico

Planteamiento del Problema

El Arrendamiento de Claves Seguras (SKL, por sus siglas en inglés) es una primitiva criptográfica que permite a un arrendador arrendar una clave secreta cuántica a un arrendatario, permitiendo que este último realice una funcionalidad criptográfica específica (por ejemplo, desencriptación, firma o evaluación de un PRF). Crucialmente, el arrendador debe ser capaz de revocar esta capacidad de manera verificable más adelante. El arrendatario debe devolver un certificado de eliminación que demuestre que ha destruido la clave, tras lo cual debería ser incapaz de realizar la funcionalidad.

Aunque trabajos previos han implementado SKL para diversas primitivas (PKE, FHE, PRF, firmas), estos sufren de dos limitaciones principales:

Falta de Modularidad: Las construcciones suelen ser ad-hoc y adaptadas a primitivas específicas en lugar de surgir de un marco unificado.
Requisito de Arrendador Cuántico: Los esquemas existentes generalmente requieren que el arrendador (cliente) sea totalmente cuántico, capaz de preparar y enviar estados cuánticos. En escenarios prácticos de computación en la nube, minimizar los recursos cuánticos requeridos del cliente es esencial. El único esquema conocido con un arrendador clásico (Chardouvelis et al., Eurocrypt 2025) está limitado a la Criptografía de Clave Pública (PKE) y al Cifrado Totalmente Homomórfico (FHE) y depende fuertmente de estructuras LWE específicas, lo que dificulta la generalización a otras primitivas.

La pregunta central abordada es: ¿Podemos desarrollar un marco de SKL modular que soporte un arrendador totalmente clásico y abarque una amplia gama de funcionalidades criptográficas ampliamente utilizadas?

Metodología

Los autores proponen un marco modular que "actualiza" primitivas criptográficas genéricas en esquemas SKL con un arrendador clásico. La construcción se basa en tres componentes principales:

Generadores de Trampa Ruidosa Sin Garra (NTCF, por sus siglas en inglés): Basados en el trabajo de Broadbent et al. y Mahadev, los NTCF permiten que un cliente clásico verifique que un servidor cuántico ha preparado un estado de "garra" específico (una superposición de dos preimágenes $|0\rangle|a_0\rangle + |1\rangle|a_1\rangle$ tal que $f(a_0)=f(a_1)=y$ ). La seguridad se basa en la propiedad de bit duro adaptativo, que asegura que una vez que el servidor mide el estado en la base de Hadamard (para probar la eliminación), pierde la capacidad de recuperar las preimágenes en la base computacional.
Evaluación de Funciones Seguras (SFE) de Doble Modo Especial: Los autores construyen un nuevo esquema SFE basado en la suposición de Aprendizaje con Errores (LWE). Este SFE posee propiedades específicas requeridas por el marco:
- Doble Modo: Opera ya sea en un modo extractable (permitiendo la extracción del mensaje de entrada del texto cifrado) o en un modo de ocultación (ocultando estadísticamente la entrada).
- Recuperabilidad de Estado: En el modo de ocultación, la información del estado mantenida por el receptor puede recuperarse del texto cifrado y la entrada utilizando una trampa.
- Generación de Superposición Eficiente: El receptor puede generar el estado SFE en superposición sin dejar entrelazamiento con la aleatoriedad utilizada.
- Descomponibilidad: El estado del receptor puede descomponerse en bloques dependientes de bits individuales de la entrada, una propiedad crucial para la reducción de seguridad.
Marcado de Agua con Extracción Paralela: El marco utiliza versiones de las primitivas objetivo que permiten el marcado de agua (watermarking). Un esquema con marcado de agua permite incrustar una "marca" (una cadena secreta) en una clave. La noción de seguridad requiere que si un adversario produce un programa funcional (por ejemplo, un desencriptador o firmador) que funciona correctamente, un "extractor paralelo" puede recuperar las marcas incrustadas del estado cuántico del adversario.

El Mecanismo Central:
El marco transforma una clave estándar en un estado cuántico entrelazándolo con estados de garra NTCF.

El arrendador (clásico) envía los parámetros públicos de NTCF y las Cadenas de Referencia Comunes (CRS) de SFE al arrendatario.
El arrendatario prepara los estados de garra y ejecuta la primera ronda de SFE.
El arrendador define un circuito $C$ que mapea las preimágenes de NTCF a las claves secretas reales de la primitiva subyacente (por ejemplo, una clave de PKE con marca de agua). Este circuito se ejecuta homomórficamente a través de la SFE.
El arrendatario recibe el resultado, obteniendo efectivamente un estado cuántico donde la clave secreta está incrustada en superposición: $|0\rangle|sk_0\rangle + |1\rangle|sk_1\rangle$ .
Eliminación: Para revocar la clave, el arrendador pide al arrendatario que mida el estado en la base de Hadamard. Debido a las propiedades de NTCF y la SFE, una medición de certificado válida prueba que el arrendatario ha perdido la información de la base computacional (las preimágenes y, por ende, las claves secretas).
Reducción de Seguridad: Si un adversario pasa la verificación de eliminación pero aún retiene la capacidad de realizar la tarea criptográfica (por ejemplo, desencriptar un mensaje), la reducción utiliza la propiedad de extracción de marca paralela del esquema de marcado de agua para extraer las preimágenes de NTCF. Combinado con el certificado de eliminación (que proporciona mediciones en la base de Hadamard), esto rompe la propiedad de bit duro de corte y elección adaptativa del NTCF.

Contribuciones Clave y Resultados

1. Un Marco de SKL Unificado con Arrendador Clásico

El artículo presenta un compilador general que convierte cualquier primitiva segura post-cuántica equipada con marcado de agua de extracción paralela en un esquema SKL con arrendador clásico. Este marco es modular y se basa en supuestos estándar (LWE) en lugar de construcciones ad-hoc.

2. Esquemas Específicos

Basándose en este marco, los autores construyen:

PKE-SKL con Arrendador Clásico: Mejora las construcciones previas basadas en LWE (Chardouvelis et al., Eurocrypt 2025) al eliminar la dependencia de estructuras LWE específicas para el esquema de PKE en sí. La PKE subyacente puede ser cualquier esquema post-cuántico seguro bajo IND-CPA.
PRF-SKL con Arrendador Clásico: La primera construcción de un PRF con arrendamiento de clave seguro y un arrendador clásico. Se basa en LWE y utiliza Funciones Impredecibles (UPF) con marcado de agua.
DS-SKL con Arrendador Clásico: La primera construcción de una Firma Digital con arrendamiento de clave seguro y un arrendador clásico. Esto requiere que el esquema de firma subyacente posea firmabilidad coherente (la capacidad de firmar usando una superposición de claves sin colapsar el estado), la cual los autores construyen a partir de LWE/SIS.

3. Nociones de Seguridad

Todos los esquemas satisfacen la Seguridad VRA (Seguridad contra Ataques de Revelación de Clave de Verificación). Esta es una noción de seguridad fuerte donde el esquema permanece seguro incluso si el adversario recibe la clave de verificación de eliminación después de presentar un certificado de eliminación válido. Esto evita que el adversario utilice la clave de verificación para engañar o aprender información sobre la clave después del hecho.

4. Generación de Claves No Interactiva

Los autores refinan su construcción para lograr la generación de claves no interactiva para PKE-SKL (y de rondas constantes para PRF/DS). En el protocolo estándar, el arrendador y el arrendatario interactúan para generar la clave. La versión mejorada permite al arrendador publicar los parámetros públicos una vez, tras lo cual el arrendatario puede generar la clave de forma no interactiva. La generación completa de la clave se difiere a la fase de encriptación/firma, donde el arrendatario utiliza información auxiliar del texto cifrado para completar la preparación de la clave.

5. Construcciones Auxiliares

A lo largo del camino, el artículo construye:

Un Esquema de Marcado de Agua para PKE, UPFs y Firmas Digitales con propiedades de extracción paralela.
Un Esquema SFE de Doble Modo Especial basado en LWE, que satisface propiedades únicas de recuperabilidad de estado y descomponibilidad no encontradas en las definiciones estándar de SFE.

Significancia y Reivindicaciones

El artículo afirma proporcionar el primer marco modular para el arrendamiento de claves seguras que soporta un arrendador totalmente clásico a través de un amplio espectro de funcionalidades criptográficas (PKE, PRF, Firmas).

Modularidad: A diferencia de trabajos anteriores que fueron adaptados a primitivas específicas, este enfoque abstrae el problema en un compilador que funciona para cualquier primitiva con marcado de agua de extracción paralela.
Practicidad: Al permitir un arrendador clásico, el marco se alinea con escenarios reales de computación en la nube donde los clientes carecen de capacidades cuánticas.
Fortaleza de Seguridad: Los esquemas logran la seguridad VRA, una garantía más fuerte que muchas definiciones de SKL existentes, asegurando la robustez incluso si las claves de verificación se filtran post-eliminación.
Mejoras Fundacionales: La construcción del SFE de doble modo especial y los esquemas de marcado de agua con extracción paralela se presentan como contribuciones de interés independiente.

Los autores señalan que, aunque su construcción de PKE-SKL depende de LWE, la PKE subyacente no necesita estar basada en LWE, ofreciendo mayor flexibilidad que los esquemas de PKE-SKL con estructura LWE previos. También reconocen que su enfoque para firmas requiere la propiedad específica de firmabilidad coherente, la cual construyen a partir de LWE/SIS, mientras que otros enfoques de arrendador cuántico dependían de supuestos diferentes o estructuras de firma específicas.

En resumen, este trabajo cierra la brecha entre el arrendamiento de claves cuánticas teórico y el despliegue práctico al eliminar la carga cuántica del arrendador, manteniendo fuertes garantías de seguridad mediante un enfoque modular y unificado.