⚛️ quantum physics

Quantum Homomorphic Encryption: Towards Practical and Private Computation on Untrusted Quantum Hardware

Este trabajo propone un marco universal de cifrado homomórfico cuántico basado en la almohadilla de un solo uso cuántica que garantiza seguridad teórica y permite la evaluación no interactiva de circuitos en hardware cuántico no confiable, validando su viabilidad práctica mediante simulaciones y experimentos en procesadores cuánticos reales.

Autores originales: Jon Hernández-Bueno, Oscar Lage, Marivi Higuero, Jasone Astorga

Publicado 2026-04-22

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Jon Hernández-Bueno, Oscar Lage, Marivi Higuero, Jasone Astorga

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

¡Hola! Vamos a desglosar este artículo científico sobre Cifrado Homomórfico Cuántico (QHE) de una manera muy sencilla, usando analogías de la vida cotidiana para que cualquiera pueda entenderlo.

Imagina que este trabajo es como un nuevo tipo de "caja de seguridad mágica" para la era de las computadoras cuánticas.

1. El Problema: ¿Quién maneja mis datos?

Imagina que tienes un secreto muy valioso (tus datos financieros, tu historial médico, etc.) y quieres que una computadora muy potente (como las que están en la nube) haga cálculos con él.

El miedo: Si le envías tus datos "desnudos" (sin cifrar), la empresa dueña de la computadora podría espiarlos.
El problema actual: Si cifras los datos (los pones en una caja cerrada), la computadora no puede abrir la caja para hacer los cálculos. Tendrías que bajar la caja, abrirla, hacer el cálculo y volver a cerrarla. Pero si la computadora es "desconfiada" (un traidor), no quieres que vea el interior ni siquiera un segundo.

En el mundo clásico (las computadoras de hoy), ya tenemos soluciones para esto (llamadas Cifrado Homomórfico), pero en el mundo cuántico (el futuro con computadoras superpoderosas), esto era un rompecabezas sin solución práctica.

2. La Solución: La "Caja de Seguridad" que se transforma sola

Los autores de este paper (Jon, Oscar, Marivi y Jasone) han creado un nuevo sistema llamado QOTPH.

La analogía de la "Caja de Seguridad Homomórfica":
Imagina que tienes una caja de seguridad hecha de un material especial.

Cifrado (La Caja): Tú pones tus datos dentro y cierras la caja con un candado especial (el Quantum One-Time Pad o "Cifrado de Uso Único"). Nadie puede ver lo que hay dentro.
El Cálculo (La Magia): Le envías la caja cerrada a la computadora desconfiada.
- En el pasado, la computadora no podía tocar la caja.
- Con este nuevo sistema: La computadora puede sacudir, girar y manipular la caja para hacer cálculos, sin abrirla nunca.
- Lo increíble es que, gracias a unas reglas matemáticas muy inteligentes (llamadas "reglas de actualización de claves"), la computadora sabe exactamente cómo mover la caja para que, al final, el resultado dentro sea el correcto, aunque la caja siga cerrada y oscilando.

3. ¿Cómo funciona la magia? (Las Reglas del Juego)

Para que esto funcione, los autores crearon un "manual de instrucciones" (una tabla de reglas) que dice:

"Si la computadora hace este movimiento (una puerta lógica cuántica) sobre la caja cerrada, tú (el dueño) debes cambiar tu llave mental de esta manera específica".
Es como si la computadora hiciera un baile con la caja, y tú, desde tu casa, fueras cambiando tu llave mental paso a paso para seguirle el ritmo.
Al final, cuando la computadora te devuelve la caja, tú usas tu llave final (que has estado actualizando todo el tiempo) para abrirla y ver el resultado.

El truco clave: La computadora nunca necesita saber tu llave. Solo sigue las reglas de movimiento. Tú eres el único que sabe cómo descifrar el resultado final.

4. La Prueba: ¡Funciona en la vida real!

Lo más emocionante de este papel es que no es solo teoría.

Los autores probaron su sistema en computadoras cuánticas reales (las de IBM) y en simuladores.
El resultado: Funcionó. Aunque las computadoras cuánticas actuales son un poco "ruidosas" (como intentar hacer un cálculo en una habitación con mucho ruido y vibraciones), el sistema logró mantener la privacidad y dar resultados correctos en más del 93% de los casos, incluso con circuitos complejos.

5. ¿Por qué es importante esto?

Imagina que en el futuro, las computadoras cuánticas serán tan poderosas que podrán romper los candados actuales.

Este sistema es inquebrantable por principios físicos (no depende de que sea difícil adivinar una contraseña, sino de que es físicamente imposible ver el estado sin la llave).
Permite que tú, como usuario, delegues trabajos pesados a una nube cuántica sin que nadie, ni siquiera el dueño de la nube, sepa qué estás calculando ni qué datos usaste.

Resumen en una frase

Los autores han creado un "sistema de envío de paquetes cuánticos" donde puedes pedirle a una computadora extraña que haga cálculos sobre tus secretos, y aunque la computadora manipule el paquete, este permanece cerrado y seguro, y solo tú tienes la llave para abrirlo y ver el resultado al final.

Es un gran paso para que, en el futuro, podamos usar la nube cuántica para cosas sensibles (como diagnósticos médicos o secretos de estado) sin miedo a que nos espíen.

Aquí presento un resumen técnico detallado del artículo "Quantum Homomorphic Encryption: Towards Practical and Private Computation on Untrusted Quantum Hardware", estructurado según los puntos solicitados.

1. El Problema

A medida que la computación cuántica madura, surge la necesidad crítica de realizar cálculos sobre datos cuánticos en hardware no confiable (como servicios en la nube cuántica) sin revelar la información subyacente.

Limitación actual: Aunque la criptografía homomórfica clásica (FHE) permite computar sobre datos cifrados, no existe una contraparte cuántica plenamente homomórfica y prácticamente implementable.
Desafío técnico: Los esquemas de cifrado cuántico existentes, como el One-Time Pad Cuántico (QOTP), ofrecen seguridad incondicional (teórica), pero son limitados: no permiten la manipulación computacional de los textos cifrados porque las puertas cuánticas arbitrarias no conmutan con los operadores de Pauli (la base del QOTP). Esto impide evaluar funciones sobre estados cifrados sin descifrarlos primero, rompiendo la privacidad.
Brecha: Existe una desconexión entre la teoría de la encriptación homomórfica cuántica (QHE) y su realización práctica en hardware cuántico de escala intermedia (NISQ) ruidoso.

2. Metodología Propuesta (QOTPH)

Los autores proponen un marco universal de Encriptación Homomórfica Cuántica (QOTPH) basado en el QOTP, diseñado para ser no interactivo y mantener la seguridad de la información.

Fundamento Teórico: Se utiliza el QOTP como base de cifrado simétrico. Para cada qubit, se aplican operadores de Pauli ( $X$ y $Z$ ) controlados por bits de clave aleatorios $(j, k)$ .
Mecanismo de Actualización de Claves: La innovación central es el desarrollo de un conjunto sistemático de reglas de descomposición de puertas y actualización de claves.
- En lugar de intentar que todas las puertas conmuten con el cifrado (lo cual es imposible), el protocolo rastrea analíticamente cómo cada puerta transforma los operadores de Pauli.
- Se derivan reglas explícitas para actualizar los bits de la clave $(j, k)$ después de aplicar cada puerta (Clifford y no-Clifford, como la puerta $T$ ).
- Esto permite que el evaluador (el servidor cuántico) ejecute el circuito sobre datos cifrados, mientras que el cliente (el propietario de los datos) actualiza internamente su estado de clave para mantener la equivalencia semántica.
Soporte de Puertas: El esquema soporta el conjunto universal de puertas Clifford+T, así como operaciones controladas y parametrizadas, esenciales para algoritmos variacionales y computación delegada.
Implementación: Se desarrolló un protocolo modular en Qiskit que gestiona automáticamente la preparación del estado, el cifrado QOTP, la evaluación homomórfica (aplicando puertas ajustadas y actualizando claves) y la descifrado.

3. Contribuciones Clave

Validación Experimental Universal: Es la primera validación experimental sistemática de un esquema QHE basado en QOTP en hardware cuántico real (IBM Quantum), demostrando viabilidad más allá de simulaciones ideales.
Reglas de Actualización de Claves: Se proporciona una especificación formal y tablas de reglas para la actualización de claves en una amplia gama de puertas (incluyendo $CNOT$, $H$ , $S$ , $T$ , puertas controladas y rotaciones), permitiendo la evaluación no interactiva de circuitos arbitrarios.
Dos Modos de Ejecución:
- Descifrado en el circuito (Algoritmo 1): La descifrado se realiza dentro del dispositivo cuántico antes de la medición.
- Descifrado Local (Algoritmo 2): El dispositivo devuelve resultados cifrados (bits aleatorios desde la perspectiva del atacante) y el cliente los descifra localmente. Esto maximiza la privacidad, ya que el proveedor de hardware nunca ve los resultados en claro.
Privacidad Mejorada: Se introduce el uso de puertas SWAP aleatorias antes de la medición para ocultar la estructura de los datos y la posición de los qubits, añadiendo una capa extra de seguridad contra inferencias basadas en la topología del circuito.

4. Resultados Experimentales

Los experimentos se realizaron en simuladores ruidosos y en hardware real (IBM Basquecountry, procesador Heron r2 de 156 qubits).

Fidelidad y Corrección:
- En simuladores, la fidelidad fue casi perfecta (> 0.999), confirmando que el protocolo en sí mismo no introduce errores lógicos.
- En hardware real, la fidelidad se mantuvo alta (> 0.93 para circuitos de hasta 20 qubits y 15 puertas), demostrando que el esquema es robusto frente al ruido inherente de los dispositivos actuales.
- La fidelidad disminuye proporcionalmente al número de qubits y la profundidad del circuito debido al ruido del hardware (decoherencia, errores de puerta), no por fallos en el protocolo de encriptación.
Escalabilidad: El protocolo funcionó correctamente en circuitos de 5, 10, 20 y 40 qubits.
Seguridad: Los resultados de medición en el hardware (sin descifrar) aparecieron estadísticamente aleatorios, confirmando que el proveedor no obtiene información sobre los datos en claro ni sobre la clave.
Comparación: Tanto el Algoritmo 1 como el Algoritmo 2 produjeron distribuciones de salida idénticas tras el descifrado, validando la corrección de ambos enfoques.

5. Significado e Impacto

Este trabajo representa un paso crucial para cerrar la brecha entre la teoría de la criptografía cuántica y su implementación práctica:

Viabilidad Práctica: Demuestra que la computación homomórfica cuántica es posible en hardware de la era NISQ (Noisy Intermediate-Scale Quantum), ofreciendo un modelo escalable y simétrico.
Privacidad en la Nube Cuántica: Proporciona un mecanismo real para delegar tareas cuánticas complejas a proveedores de nube sin revelar los datos de entrada, el algoritmo (en cierta medida) ni los resultados, manteniendo la seguridad basada en la información (information-theoretic security).
Base para Futuras Investigaciones: Establece un marco modular que puede extenderse a esquemas de verificación de integridad, firmas cuánticas y algoritmos de mitigación de errores.
Limitaciones y Futuro: El principal obstáculo sigue siendo el ruido del hardware, que limita la profundidad de los circuitos ejecutables. El futuro trabajo se dirige hacia la mitigación de errores y el desarrollo de protocolos para ocultar completamente la estructura del circuito (computación cuántica ciega) para evitar que el proveedor infiera el algoritmo a partir de la lista de puertas enviada.

En resumen, el artículo presenta QOTPH como una primitiva criptográfica simétrica, segura y funcional que permite la computación privada sobre datos cuánticos cifrados en hardware no confiable, validada experimentalmente en dispositivos reales.