Resumen Técnico: Operaciones de Conjuntos Privados Cuánticos Verificables y Resistentes a la Colusión

1. Planteamiento del Problema

Las Operaciones de Conjuntos Privados (PSO), que incluyen la Intersección de Conjuntos Privados (PSI) y la Unión (PSU), son fundamentales para el Cálculo Multipartito Seguro (SMC). Aunque existen soluciones criptográficas clásicas, la llegada de algoritmos cuánticos (por ejemplo, el algoritmo de Shor) amenaza los esquemas actuales basados en la teoría de números. En consecuencia, la investigación se ha desplazado hacia la PSI Cuántica (QPSI).

Sin embargo, los protocolos de PSO cuántica (QPSO) existentes enfrentan limitaciones significativas:

• Modelos de Amenaza: La mayoría de los esquemas de QPSI existentes asumen un Tercero de Confianza (TP) semi-honesto o dependen de supuestos de que el TP no puede coludir con ningún participante.
• Resistencia a la Colusión: Los protocolos previos de QPSI multipartito (MP-QPSI) a menudo fallan al resistir la colusión entre el TP y un subconjunto de participantes, o solo toleran la corrupción de un único participante.
• Verificabilidad: Muchos esquemas carecen de mecanismos para verificar que el TP ejecutó correctamente el circuito cuántico prescrito, lo que deja al sistema vulnerable a desviaciones maliciosas.

2. Metodología

Los autores proponen un protocolo de Intersección de Conjuntos Privados Cuánticos Multipartito (MP-QPSI) que integra el Cifrado Totalmente Homomórfico Cuántico Verificable (vQFHE) con el Cifrado Totalmente Homomórfico de Umbral (TFHE). El protocolo opera en un modelo que involucra a $n$ participantes poseedores de datos, un TP cuántico potente y una Autoridad de Confianza (TA).

Componentes Principales

1. Gestión de Claves de Umbral (TFHE):

   • La clave secreta para el descifrado se comparte entre $n$ participantes utilizando un esquema de distribución de secretos de umbral $(t, n)$.
   • El descifrado requiere que al menos $t$ participantes colaboren. Esto asegura que ni un subconjunto de participantes corruptos ni una colusión entre el TP y menos de $t$ participantes puedan recuperar la clave secreta o conocer los datos de entrada privados.

2. Evaluación Cuántica Verificable (vQFHE):

   • El protocolo utiliza la construcción TrapTP (de [ADS+17]) como la capa de vQFHE.
   • Cifrado: Los participantes codifican sus conjuntos privados en estados cuánticos usando códigos CSS, añaden qubits trampa ($|0\rangle$ y $|+\rangle$), aplican una permutación aleatoria y enmascaran el resultado con un QOTP (Quantum One-Time Pad). Las claves del QOTP se cifran bajo TFHE y se autentican con Códigos de Autenticación de Mensajes (MAC).
   • Evaluación: El TP realiza la evaluación homomórfica de un circuito AND multipartito ($C_{\text{AND}}$) sobre los estados cuánticos cifrados. El TP actualiza las claves QOTP cifradas de forma homomórfica y consume "gadgets" (estados mágicos) para manejar puertas no-Clifford (T), siguiendo el modelo de manguera de jardín (garden-hose model).
   • Verificación: El TP genera un registro clásico (log) de la evaluación. Los participantes y la TA verifican este registro contra los MAC, el arreglo de puertas y las mediciones del código trampa para asegurar que el TP no se desvió del circuito objetivo.

3. Flujo del Protocolo:

   • Fase 1 (Preparación): La TA genera las claves, muestrea las permutaciones, prepara los gadgets de puerta T y distribuye las partes secretas.
   • Fase 2 (Cifrado): Los participantes codifican sus conjuntos en estados cuánticos, aplican las trampas y el QOTP, y envían los estados cifrados y las claves al TP.
   • Fase 3 (Evaluación): El TP ejecuta el circuito $C_{\text{AND}}$ de forma homomórfica, actualizando las claves y registrando un historial.
   • Fase 4 (Verificación y Descifrado): Los participantes realizan la verificación clásica (comprobación de MAC, puertas y registro) y el descifrado de umbral para recuperar las claves QOTP. La TA realiza la verificación cuántica (comprobación de trampas) y descifra el estado final para transmitir el resultado de la intersección.

3. Contribuciones Clave

• Extensión Multipartito: Los autores extienden el vQFHE a un entorno multipartito combinándolo con TFHE, permitiendo que $n$ partes computen intersecciones de conjuntos sin revelar sus datos privados.
• Resistencia a la Colusión: A diferencia de los esquemas de QPSI previos, este protocolo resiste la colusión entre el TP y hasta $t-1$ participantes. El mecanismo de umbral asegura que, mientras haya menos de $t$ partes corruptas, la clave secreta y los datos privados permanezcan seguros.
• Verificabilidad contra un TP Malicioso: El protocolo proporciona seguridad semántica y verificabilidad. Puede detectar si un TP malicioso se desvía del circuito prescrito (por ejemplo, alterando el arreglo de puertas o la salida) mediante una combinación de verificación de registro clásico y comprobaciones de código trampa cuántico.
• Marco Modular: La construcción se presenta como un marco modular. Los autores demuestran cómo:
  • Reducir la complejidad del circuito (por ejemplo, usando puertas CCCZ en lugar de $C_nX$ para reducir el conteo de puertas T).
  • Extender la funcionalidad a la Unión de Conjuntos Privados Cuánticos (QPSU) reemplazando el circuito AND por un circuito OR mediante operaciones de control abierto.
  • Intercambiar las instancias subyacentes de vQFHE para diferentes compensaciones de eficiencia/seguridad.

4. Resultados y Análisis

• Corrección: Los autores validaron la puerta AND multipartito lógica utilizando la plataforma IBM Quantum y Qiskit. Las simulaciones confirmaron que la distribución de salida coincide con la tabla de verdad ideal para la operación lógica AND.
• Pruebas de Seguridad:
  • Privacidad: Se demuestra que el protocolo es información-teóricamente seguro contra el TP respecto a los estados cuánticos (debido al QOTP y estados máximamente mezclados) y computacionalmente seguro respecto a los datos clásicos (debido al TFHE y MAC).
  • Colusión: El Teorema 3 demuestra que cualquier coalición de participantes corruptos (tamaño $<t$) que coluda con el TP no obtiene información más allá del resultado de la intersección.
  • Verificabilidad: Bajo el modelo de seguridad semántica ($\kappa$-SEM-VER), se demuestra que el protocolo es verificable. Un argumento híbrido demuestra que cualquier desviación por parte del TP es detectada con una probabilidad abrumadora.
• Desempeño:
  • Complejidad de Comunicación: El costo de comunicación cuántica es $O(n\kappa L)$, donde $n$ es el número de partes, $\kappa$ es el parámetro de seguridad y $L$ es el tamaño del conjunto.
  • Comparación: Comparado con esquemas existentes (por ejemplo, [SMZ+15], [ZLS+20], [HZZ24]), el protocolo propuesto es el único que soporta escenarios multipartito con capacidades tanto de PSI como de PSU, ofreciendo resistencia a la colusión TP-participante y al comportamiento de un TP malicioso.

5. Significancia y Reivindicaciones

El artículo afirma ofrecer un avance significativo en el campo de la computación segura cuántica al abordar la brecha de "colusión TP-participante" que afecta a las soluciones de QPSI existentes.

• Robustez: Al integrar TFHE, el protocolo logra un nivel de resistencia a la colusión ausente anteriormente en la PSI cuántica, asegurando la seguridad incluso si el TP y un subconjunto de participantes conspiran.
• Minimización de la Confianza: La capa de verificabilidad permite que el sistema funcione de manera segura incluso si el TP es malicioso, eliminando la necesidad de confiar en la honestidad del TP, solo en su capacidad computacional.
• Flexibilidad: El diseño modular permite que el marco se adapte para diferentes operaciones de conjuntos (Unión, Cardinalidad) y se optimice para diferentes restricciones de hardware (por ejemplo, reduciendo la complejidad de las puertas T).

Los autores reconocen que, si bien el protocolo ofrece una seguridad sólida, hereda la sobrecarga clásica asociada con el vQFHE basado en TrapTP. Se sugiere como trabajo futuro explorar el manejo de puertas T sin gadgets y otras optimizaciones para reducir los costos de comunicación clásica.