Private Delegated Quantum Computing for User-Level and Industry-Level Settings

Este artículo introduce una jerarquía modular de protocolos de computación cuántica delegada privada adaptados a entornos de usuario e industria, que categoriza sistemáticamente las garantías de privacidad y los requisitos de recursos en función de las capacidades del cliente, los modelos adversarios y las suposiciones específicas de filtración.

Lo esencial

Imagina que tienes una receta secreta para el pastel más delicioso del mundo, pero no tienes una cocina lo suficientemente grande para hornearlo. Necesitas enviar los ingredientes a una pastelería profesional (el "Servidor") para que lo hornee. Sin embargo, no puedes permitir que el pastelero vea tu receta secreta, o podrían robársela, o peor aún, podrían cambiar los ingredientes y servirte un pastel malo sin que lo sepas.

Este artículo es un plano sobre cómo enviar tu receta secreta a una pastelería en la que no confías plenamente, utilizando diferentes estrategias dependiendo de cuánto "equipo de cocina" (recursos cuánticos) tengas en casa.

Aquí está el desglose de su solución, utilizando analogías cotidianas:

El Problema Central: La Cocina "Caja Negra"

En el mundo de la computación cuántica, la "pastelería" (el Servidor) es poderosa pero costosa. El "cocinero casero" (el Cliente) quiere usarla pero necesita mantener ocultos sus datos (la receta) y sus instrucciones específicas (los ángulos de las capas del pastel).

El artículo propone una jerarquía de soluciones. Piénsalo como un menú de niveles de seguridad, donde el nivel de seguridad depende de cuánto equipo tengas en casa.

Los Cuatro Niveles de Seguridad (Los Protocolos)

1. El Cliente de "Cocina Completa" (Protocolo 1)

Quién eres: Tienes una cocina casera decente con un juego completo de herramientas (una computadora cuántica de M qubits). Puedes hornear pasteles pequeños tú mismo, pero el grande necesita la pastelería profesional.
La Estrategia: Encriptas tus ingredientes con una "Almohadilla de Un Solo Uso Cuántica" (QOTP). Esto es como poner tus ingredientes en una caja que cambia su cerradura cada vez que la tocas.

• Qué ve el Pastelero: Ve una caja de ingredientes e instrucciones para mezclarlos de una manera específica y pública (como "remueve en sentido horario"). No puede ver qué hay dentro de la caja.
• Qué haces tú: Guardas las partes secretas de la receta (las especias no estándar) para ti. Cuando el pastelero termina la mezcla pública, recuperas la caja, la desbloqueas, añades tu especia secreta, la vuelves a bloquear y la envías de nuevo.
• El Truco: El pastelero aún sabe cuántos ingredientes usaste y cuándo los enviaste, pero no qué son.

2. El Cliente de "Herramienta Única" (Protocolo 2)

Quién eres: No tienes una cocina completa. Solo tienes unas pocas herramientas individuales (dispositivos de qubit único independientes). No puedes mezclar dos ingredientes juntos en casa.
La Estrategia: Aún usas la caja de seguridad secreta (QOTP), pero ahora debes ser muy cuidadoso sobre cómo envías las cosas.

• El Truco: Para ocultar la forma de tu receta, utilizas "Permutaciones de Enrutamiento". Imagina que tienes 5 frascos de ingredientes. Barajas qué frasco va a qué estante en la pastelería. El pastelero ve frascos moviéndose, pero como los has barajado, no puede decir si estás haciendo un pastel o un pastel de manzana solo mirando el orden de los frascos.
• El Truco: Tienes que intercambiar frascos constantemente de un lado a otro, lo cual toma tiempo.

3. El Cliente "Minimalista" (Protocolo 3)

Quién eres: Casi no tienes herramientas. Solo puedes bloquear y desbloquear cajas, pero ni siquiera puedes rotar los ingredientes dentro.
La Estrategia: Esta es la parte más ingeniosa. No puedes ocultar el ángulo de una rotación (como "gira la perilla 45 grados") haciéndolo tú mismo. Así que, utilizas un truco de "Compartición de Código Secreto".

• La Analogía: Imagina que necesitas decirle al pastelero que gire una perilla, pero no puedes decir "45 grados". En su lugar, le dices que la gire "10 grados" y "35 grados" por separado. Pero aquí está el giro: también le dices secretamente que gire una de ellas hacia atrás (signo negativo).
• La Magia: El pastelero ve dos giros: +10 y +35. Pero debido a la instrucción secreta de "hacia atrás" que tú guardas, la verdadera matemática suma 45. El pastelero no sabe cuál giro fue el real y cuál fue el de "hacia atrás".
• El Truco: Esto solo funciona si el pastelero no puede descubrir qué dos giros pertenecen a la misma instrucción secreta. Ocultas esto barajando el orden de los giros y utilizando giros "falsos" que parecen reales pero no hacen nada.

4. El Cliente "Puramente Clásico" (Protocolo 4)

Quién eres: No tienes herramientas cuánticas en absoluto. Solo eres una persona con una computadora portátil.
La Estrategia: No puedes bloquear las cajas tú mismo. Así que, contratas a dos pastelerías competitivas (Servidor 1 y Servidor 2) y a un gerente neutral (Nodo Común).

• La Configuración: Divides tu receta secreta en dos mitades. Das una mitad al Pastelero A y la otra mitad al Pastelero B. El Gerente guarda la "clave" para saber cómo volver a unirlas.
• La Regla: El Pastelero A y el Pastelero B no tienen permitido hablar entre sí. El Gerente es confiable para barajar las claves de modo que ninguno de los dos Pasteleros conozca el panorama completo.
• El Truco: Si el Pastelero A, el Pastelero B y el Gerente deciden unirse y compartir sus notas, tu secreto se pierde. El sistema depende de que no colaboren.

La Capa "Trampa" (Verificación)

¿Cómo sabes si el pastelero no hizo trampa? Quizás no robó la receta, pero simplemente horneó un pastel quemado.
Los autores sugieren un sistema "Trampa".

• La Analogía: Imagina que envías al pastelero unos pocos ingredientes "falsos" que se ven exactamente como los reales, pero sabes exactamente en qué deberían convertirse (por ejemplo, "este huevo específico debería convertirse en una esfera perfecta").
• La Verificación: Si el pastelero devuelve una esfera deformada, sabes que hizo trampa o cometió un error. Como los ingredientes falsos se mezclan aleatoriamente con los reales, el pastelero no sabe cuáles son las trampas. Tiene que ser honesto con todo para evitar ser descubierto.

La Verificación de la Realidad de "Filtración"

El artículo es muy honesto sobre lo que no hace. Admite que, aunque el pastelero no puede ver los ingredientes (los datos), aún podría adivinar algunas cosas basándose en:

• Tiempo: Cuánto tardó en hornear.
• Tamaño: Cuántos frascos se usaron.
• Estructura: La forma general de la receta (por ejemplo, "parece un pastel, no una sopa").

El artículo llama a esto "Privacidad Dependiente de la Filtración". Significa: "Ocultamos los detalles secretos, pero admitimos que el pastelero podría adivinar el tipo general de plato a menos que añadamos relleno y ruido extra para ocultar eso también".

Resumen

Este artículo no promete un escudo mágico que te haga invisible ante un hacker súper poderoso. En su lugar, ofrece un conjunto de herramientas modular:

1. Si tienes una computadora cuántica: Usa el método de la "Caja de Seguridad".
2. Si tienes herramientas limitadas: Usa los métodos de "Barajado" y "Compartición de Código Secreto".
3. Si no tienes herramientas: Usa el método de "Dos Pastelerías + Gerente".
4. Para todos: Añade "Trampas" para atrapar a los tramposos.

Es una guía práctica sobre cómo usar computadoras cuánticas poderosas hoy en día sin entregar tus secretos, reconociendo que el secreto perfecto es difícil, pero un secreto "suficientemente bueno" es alcanzable con la mezcla correcta de trucos.

Resumen técnico

Resumen Técnico: Computación Cuántica Delegada Privada para Entornos a Nivel de Usuario y a Nivel Industrial

1. Declaración del Problema

El acceso al hardware cuántico sigue siendo un cuello de botella para usuarios individuales e industrias debido al alto costo de construir, operar y mantener dispositivos cuánticos. La Computación Cuántica Delegada (DQC) ofrece una solución donde un cliente con recursos limitados delega cálculos a un servidor potente. Sin embargo, un desafío crítico es preservar la privacidad de los datos de entrada del cálculo, los datos de salida y la descripción del cálculo (estructura y parámetros).

Los enfoques existentes, como la Computación Cuántica Ciega Basada en Medición (MBQC) y la Computación Cuántica Ciega Basada en Circuitos (CBQC), a menudo requieren que el cliente posea capacidades cuánticas significativas (por ejemplo, generar estados de grafo o almacenar todos los qubits) o dependen de modelos de confianza específicos. Además, las definiciones estándar de privacidad a menudo confunden diferentes tipos de secreto (privacidad del estado frente a privacidad estructural) o asumen una ceguera universal que puede no ser alcanzable con recursos limitados del cliente.

Este artículo aborda la necesidad de una jerarquía modular de protocolos de computación cuántica delegada privada adaptada a capacidades variables del cliente, que van desde dispositivos multi-qubit totalmente capaces hasta controladores puramente clásicos. El trabajo distingue explícitamente entre proteger el estado cuántico (mediante cifrado) y proteger la estructura del circuito (mediante compilación y enrutamiento), aclarando al mismo tiempo los supuestos específicos de fuga requeridos para cada caso.

2. Metodología y Marco de Trabajo

Los autores proponen una jerarquía basada en recursos donde la elección del protocolo depende de las capacidades cuánticas del cliente ($M$ qubits) y de la naturaleza de las operaciones (Clifford frente a no-Clifford). El marco se basa en varias técnicas centrales:

2.1 Mecanismos Centrales de Privacidad

• Cifrado de Un Solo Uso Cuántico (QOTP): La base para la privacidad del estado. El cliente cifra los qubits con claves aleatorias de Pauli $X$ y $Z$. Bajo el modelo semi-honesto purificado, si las claves son frescas, secretas y uniformes, la matriz de densidad reducida del servidor está máximamente mezclada, sin revelar información sobre el estado.
• Actualizaciones de Claves Clifford: Las operaciones Clifford públicas (H, S, CNOT, CZ) pueden ser realizadas por el servidor sobre datos cifrados. El cliente actualiza el marco de Pauli clásicamente sin descifrar los datos.
• Manejo de No-Clifford: Los protocolos base restringen al servidor a operaciones Clifford. Las puertas no-Clifford (por ejemplo, $T$, rotaciones genéricas) se manejan mediante:
  • Ejecución Local: El cliente descifra, aplica la puerta, vuelve a cifrar y devuelve el qubit (para clientes con capacidad local).
  • Descomposición: Descomponer puertas no-Clifford en capas públicas Clifford y puertas locales de un solo qubit.
  • Primitivas de Ambigüedad de Ángulo: Para clientes restringidos, los ángulos de rotación privados se ocultan mediante el uso de compartición en cuadrícula finita y randomización de signos.

2.2 Privacidad Estructural y Fuga

El artículo introduce una definición de privacidad relativa a la fuga rigurosa. La privacidad no es absoluta, sino relativa a una función de fuga declarada $L(D)$.

• Privacidad Estructural: Ocultar la disposición del circuito, las posiciones de las puertas y el enrutamiento. Esto se logra mediante compiladores aleatorizados, relleno con puertas falsas/canceladoras y permutaciones de enrutamiento.
• Ambigüedad a Nivel de Transcripción: Para clientes restringidos, el artículo define "ambigüedad de ángulo" en lugar de ceguera universal. Mediante el uso de compartición $r$-partida de ángulo con signo randomizado y enrutamiento oculto en cuadrícula finita, el servidor ve participaciones válidas de rotación pero no puede determinar unívocamente el ángulo lógico debido a signos ocultos (inducidos por claves QOTP) y agrupaciones ocultas (inducidas por permutaciones de enrutamiento).

2.3 La Jerarquía de Protocolos

El artículo define cuatro ramas de protocolo distintas basadas en los recursos del cliente:

1. Protocolo 1 (Cliente de $M$ qubits totalmente capaz):

   • Capacidades: Puede almacenar $M$ qubits y realizar puertas locales multi-qubit.
   • Mecanismo: El cliente envía lotes de $M$ qubits al servidor. El servidor realiza operaciones Clifford públicas sobre datos cifrados. Las puertas privadas/no-Clifford se ejecutan localmente por el cliente (descifrar-aplicar-volver a cifrar) si la aridad $\le M$.
   • Privacidad: Privacidad del estado QOTP; la privacidad estructural depende del compilador.

2. Protocolo 2 (Cliente con $M$ dispositivos independientes de un solo qubit):

   • Capacidades: $M$ dispositivos independientes; sin puertas de entrelazamiento locales.
   • Mecanismo: Similar al Protocolo 1 pero restringido a puertas locales de un solo qubit. Las operaciones multi-qubit se delegan como capas públicas Clifford. El ocultamiento estructural se logra mediante randomización de puertos (permutaciones de enrutamiento) entre dispositivos para ocultar las asignaciones lógicas de cables.
   • Privacidad: Privacidad del estado QOTP; la privacidad estructural depende de las permutaciones de enrutamiento y el relleno.

3. Protocolo 3 (Dispositivos de un solo qubit restringidos):

   • Capacidades: Dispositivos limitados a Pauli $X, Z$ (máscaras QOTP) y control de enrutamiento; no pueden realizar rotaciones arbitrarias.
   • Mecanismo: Utiliza una primitiva de ambigüedad de ángulo $r$-partida con signo randomizado y enrutamiento oculto en cuadrícula finita. Los ángulos de rotación privados se compilan a una cuadrícula finita, se dividen en $r$ participaciones con signos ocultos (mediante claves $X$ QOTP) y agrupaciones ocultas (mediante enrutamiento).
   • Privacidad: Privacidad del estado QOTP; ambigüedad de ángulo a nivel de transcripción (no ceguera universal) bajo supuestos de signo oculto y enrutamiento oculto.

4. Protocolo 4 (Cliente Clásico):

   • Capacidades: Puramente clásico; sin interacción cuántica directa.
   • Mecanismo: Utiliza dos servidores computacionales ($S_1, S_2$) y un nodo común ($R$). El cliente mantiene una división de QOTP persistente con emparejamiento oculto. El nodo común oculta el emparejamiento entre las participaciones de clave mantenidas por $S_1$ y $S_2$.
   • Privacidad: Privacidad del estado bajo QOTP dividido persistente más ocultamiento de clave $\epsilon_{key}$ (asumiendo no colusión total). La privacidad del ángulo es unlinkabilidad a nivel de transcripción mediante compartición $r$-partida mezclada.
   • Supuesto: Se excluye la coalición completa $\{S_1, S_2, R\}$; el nodo común es de confianza o controlado por canales laterales.

2.4 Capa de Detección Basada en Trampas

Para abordar desviaciones maliciosas (donde el servidor no sigue el protocolo), el artículo propone una capa de detección estadística incrustada.

• Método: El cliente compila "bloques verificadores" (con respuestas conocidas o salidas simulables) y los mezcla con bloques de datos utilizando reetiquetado privado y enrutamiento.
• Garantía: Bajo supuestos de indistinguibilidad, el servidor no puede dirigirse solo a bloques de datos. La probabilidad de detección depende de la densidad de ranuras de verificador y la solidez del modo verificador (respuesta conocida, simulable o eco).
• Limitación: Esta es una capa de detección estadística, no una prueba completa de seguridad maliciosa ni un mecanismo de autenticación.

3. Contribuciones Clave

1. Jerarquía de Protocolos Indexada por Recursos: Un conjunto estructurado de protocolos (Protocolos 1–4) que mapean capacidades específicas del cliente (desde $M$ qubits hasta clásico) a mecanismos de privacidad apropiados, evitando un enfoque de "talla única".
2. Definiciones de Privacidad Relativas a la Fuga: Un marco formal que separa la privacidad del estado QOTP (informativo-teórica) de la privacidad estructural (dependiente del compilador) y la ambigüedad de ángulo (dependiente de la transcripción). El artículo aclara que la "ceguera" es a menudo una función de la fuga declarada y la aleatoriedad del compilador, no una propiedad inherente del cifrado por sí solo.
3. Primitiva de Signo Randomizado con Enrutamiento Oculto: Una técnica novedosa para clientes restringidos para ocultar ángulos de rotación privados mediante compartición en cuadrícula finita, signos ocultos (vía QOTP) y permutaciones de enrutamiento, proporcionando ambigüedad a nivel de transcripción sin requerir ceguera completa del estado cuántico.
4. QOTP Dividido para Clientes Clásicos: Un protocolo multipartita (Protocolo 4) que permite a clientes clásicos lograr privacidad del estado mediante un modelo de clave dividida a través de servidores no coludidos, reemplazando el QOTP del lado del cliente con un invariante persistente de emparejamiento oculto.
5. Alcance de Seguridad Explícito: El artículo delimita explícitamente lo que cada protocolo no afirma (por ejemplo, ninguna ceguera universal para el Protocolo 3, ninguna seguridad maliciosa para los protocolos base, ningún ocultamiento estructural incondicional sin supuestos de compilador).

4. Resultados y Ejemplos

El artículo demuestra la aplicabilidad de estos protocolos a través de tres ejemplos algorítmicos:

• Algoritmo de Grover: Muestra cómo delegar el oráculo (privacidad estructural) y el operador de difusión. La estructura privada se oculta mediante relleno y enrutamiento; los componentes no-Clifford (CCZ) se manejan localmente o mediante descomposición.
• QAOA (Algoritmo Cuántico de Optimización Aproximada): Ilustra la separación de parámetros privados (ángulos en $RZ$y$RZZ$) de la estructura pública. La parte de entrelazamiento $RZZ$ se delega como Clifford público, mientras que los ángulos privados se manejan localmente o mediante la primitiva de ambigüedad de ángulo. El artículo destaca la necesidad de rellenar las transcripciones del optimizador para prevenir la fuga de propiedades de convergencia.
• Redes Neuronales Cuánticas (QNN): Demuestra el ocultamiento de ángulos de codificación de entrada y pesos del modelo. Las rotaciones privadas se ejecutan localmente o mediante la primitiva de signo randomizado, mientras que las puertas de entrelazamiento se delegan.

Análisis de Seguridad:
El artículo proporciona pruebas formales para:

• Privacidad del Estado: Bajo el modelo semi-honesto purificado con claves QOTP frescas (Teorema 1).
• Ambigüedad de Ángulo: Límites sobre el tamaño del conjunto de candidatos para ángulos privados dados signos y agrupaciones ocultos (Proposición 5.1, 5.4).
• Probabilidad de Detección: Límites hipergeométricos para la probabilidad de detectar desviaciones maliciosas basados en la densidad de verificadores (Proposición 6.2, 6.3).

5. Significado y Afirmaciones

Los autores posicionan este trabajo no como un reemplazo de la Computación Cuántica Ciega Universal (UBQC) o la Computación Cuántica Ciega Verificable (VBQC) en sus regímenes más fuertes, sino como un marco modular e indexado por recursos para entornos prácticos donde los clientes tienen capacidades cuánticas parciales o nulas.

• Modestia de las Afirmaciones: El artículo declara explícitamente que no proporciona ceguera universal ni seguridad maliciosa por sí mismo.
  • El Protocolo 3 ofrece "ambigüedad de ángulo a nivel de transcripción", no ceguera universal.
  • El Protocolo 4 depende del supuesto de no colusión total y del control de canales laterales; no ofrece seguridad maliciosa sin capas de verificación adicionales.
  • La Privacidad Estructural es condicional al compilador aleatorizado y a la fuga declarada; no es una garantía incondicional contra todos los canales laterales.
• Practicidad: La jerarquía permite a industrias y usuarios seleccionar un protocolo que coincida con sus restricciones de hardware específicas (por ejemplo, una empresa con un pequeño procesador cuántico frente a un usuario con solo una computadora clásica) mientras comprenden los compromisos precisos en privacidad y sobrecarga.
• Direcciones Futuras: Los autores señalan que el trabajo futuro podría centrarse en reducir la sobrecarga de transmisión de qubits y fortalecer los componentes no-Clifford y de detección para entornos tolerantes a fallos.

En resumen, el artículo proporciona una taxonomía rigurosa y matizada de la computación cuántica delegada privada, aclarando las condiciones exactas bajo las cuales se puede lograr la privacidad para clientes con diversos niveles de recursos cuánticos, mientras se delimitan explícitamente las limitaciones de cada enfoque.