⚛️ quantum physics

Quantum Multi-Party Threshold Private Set Intersection with Explicit Cardinality Testing

Este artículo propone un protocolo cuántico de intersección privada de conjuntos de umbral multipartito que presenta una prueba de cardinalidad explícita, el cual utiliza una construcción de fotón único basada en rotación y primitivas criptográficas para permitir que un tercero realice mediciones sin interpretar los resultados mientras revela de forma segura únicamente si el tamaño de la intersección cumple con un umbral.

Autores originales: Zixian Gong, Kun Tian, Yi Zhang, Fengxia Liu

Publicado 2026-06-29

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Zixian Gong, Kun Tian, Yi Zhang, Fengxia Liu

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 a un grupo de amigos que cada uno tiene una lista secreta de sus películas favoritas. Quieren saber: "¿Estamos todos de acuerdo en al menos tres películas?"

Si la respuesta es sí, quieren ver la lista de esas tres películas.
Si la respuesta es no, quieren saber nada —ni siquiera cuántas películas tuvieron en común.

Este es el problema de la Intersección de Conjuntos Privada con Umbral (TPSI, por sus siglas en inglés). El artículo propone una nueva forma de resolver esto utilizando la Mecánica Cuántica (específicamente, fotones individuales de luz) y una matemática ingeniosa, asegurando que incluso la persona que dirige el experimento no pueda hacer trampas o espiar los secretos.

Así es como funciona la solución del artículo, desglosada en conceptos simples:

1. El problema con los métodos antiguos

En intentos cuánticos anteriores, el grupo dependía de un "Árbitro" (llamado Tercera Parte o TP) para contar las coincidencias.

El fallo: El Árbitro contaba las coincidencias, comparaba ese número con el umbral (por ejemplo, "¿Es 3?") y luego decidía qué decirle al grupo.
El riesgo: Esto significaba que el Árbitro veía el número exacto de coincidencias. Si el grupo solo tenía 2 coincidencias, el Árbitro lo sabía. Pero el grupo solo quería saber si tenían suficiente (3 o más), no el recuento exacto. Es como preguntarle a un juez: "¿Es el acusado culpable?", pero el juez primero tiene que escribir una biografía completa del crimen antes de responder.

2. La nueva solución: El "Árbitro con los ojos vendados"

Los autores crearon un protocolo donde el Árbitro realiza las mediciones, pero tiene los ojos vendados respecto al significado de los resultados.

La configuración: El código secreto

Antes de que comience el experimento, los amigos (participantes) acuerdan un código secreto entre ellos. También mezclan sus listas de películas reales con algunas listas falsas de "señuelo" (anclas) que el Árbitro desconoce.

La clave de ocultación: Mezclan las posiciones de sus películas usando una clave secreta. Para el Árbitro, las listas parecen ruido aleatorio.
El giro (The Flip): Acuerdan un "giro" secreto (como un saludo secreto) que cambia el significado de los resultados. Si una luz se pone en "Encendido", podría significar en realidad "Apagado" dependiendo de este giro secreto.

La danza cuántica (La rotación)

El experimento utiliza fotones (partículas de luz) como mensajeros.

El Árbitro prepara una línea de fotones y los envía al primer amigo.
El Amigo 1 observa su lista secreta. Si tiene una película específica en un lugar determinado, le da al fotón un pequeño "giro" (una rotación). Si no la tiene, la deja tal cual. También añade una rotación de "máscara" secreta que solo él y el Árbitro conocen.
La cadena: Los fotones viajan al Amigo 2, luego al Amigo 3, y así sucesivamente. Cada amigo añade su propio giro basado en su lista secreta.
El regreso: Los fotones regresan al Árbitro.

La magia de las "Etiquetas ocultas"

Cuando los fotones regresan, el Árbitro elimina sus propias máscaras y mide la luz.

El resultado: El Árbro ve un patrón de luz "Igual" o "Opuesto".
El truco: Debido al "giro" secreto acordado por los amigos, el Árbitro no puede entender lo que significa el patrón. Un resultado de "Igual" podría significar "Coincidencia" o "No coincidencia" dependiendo de un bit secreto que solo los amigos conocen. El Árbitro tiene los datos, pero para él son pura jerga.

3. La comprobación final: El "Voto ciego"

Ahora los amigos y el Árbitro deben decidir: "¿Alcanzamos el umbral?" sin que el Árbitro aprenda el recuento exacto.

El truco matemático (OLE): Utilizan una herramienta criptográfica llamada Evaluación Lineal Obliviosa. Piensa en esto como una calculadora segura donde el Árbitro introduce sus números de "jerga" y los amigos introducen sus "claves secretas".
El Circuito Garbled (Garbled Circuit): Ejecutan un pequeño programa de computadora bloqueado (un circuito garbled). Este programa suma los números internamente.
El resultado: El programa devuelve solo un bit: 1 (Sí, tenemos suficientes coincidencias) o 0 (No, no tenemos suficientes).
- Si la respuesta es 1, los amigos revelan la clave secreta para decodificar el patrón de "jerga" del Árbitro, y ven las películas coincidentes.
- Si la respuesta es 0, lo desechan todo. El Árbitro nunca llega a conocer el número exacto de coincidencias, solo que no fue lo suficientemente alto.

4. Por qué es seguro (Seguridad)

El artículo demuestra tres puntos principales de seguridad:

Sin espías: Si un espía intenta interceptar los fotones, las luces de "señuelo" (que el espía desconoce) cambiarán, alertando a todos de que la línea ha sido intervenida.
El Árbitro es honesto pero curioso: Incluso si el Árbitro intenta hacer trampas o usar trucos cuánticos avanzados para adivinar los secretos, la matemática asegura que no puede distinguir las coincidencias reales del ruido. Son verdaderamente ciegos al significado de los datos.
Los amigos no pueden engañarse entre sí: Incluso si dos amigos se alían para espiar al tercero, no pueden averiguar la lista del tercer amigo debido a las máscaras secretas y la forma en que se rotan los fotones.

5. La prueba del "Modelo de juguete"

Para demostrar que esto realmente funciona, los autores construyeron una pequeña simulación utilizando el simulador de computación cuántica de IBM (Qiskit).

Simularon 3 amigos con listas pequeñas.
Añadieron "ruido" (simulando imperfecciones del mundo real).
El resultado: El sistema identificó correctamente que los amigos tenían 2 películas en común (que estaba por debajo de su umbral de 3). El sistema dijo "No", y los amigos no aprendieron nada.
Luego demostraron que si tuvieran 3 coincidencias, el sistema diría correctamente "Sí" y revelaría la lista.

Resumen

Este artículo presenta un protocolo de Intersección de Conjuntos Privada con Umbral Multipartito Cuántico.

Objetivo: Revelar un secreto compartido solo si el grupo es lo suficientemente grande.
Innovación: Separa el acto de medir (realizado por un Árbitro) del acto de interpretar (realizado por el grupo).
Mecanismo: Utiliza fotones rotatorios y "giros" secretos para crear "etiquetas ocultas" que el Árbitro no puede leer, asegurando que el recuento exacto de coincidencias permanezca privado.
Resultado: El grupo aprende solo un simple "Sí/No" sobre el umbral, y solo si la respuesta es "Sí" ven los elementos compartidos reales.

Resumen Técnico: Intersección de Conjuntos Privados con Umbral Multipartito Cuántico con Prueba de Cardinalidad Explícita

Planteamiento del Problema
La Intersección de Conjuntos Privados (PSI, por sus siglas en inglés) permite que las partes computen la intersección de sus conjuntos privados sin revelar los elementos que no se intersectan. La PSI con Umbral (TPSI) extiende esto al revelar la intersección solo si su cardinalidad alcanza o supera un umbral público $\tau$ . Aunque existen protocolos de TPSI clásicos, los protocolos de TPSI cuánticos existentes (p. ej., [MSD+24, LZY+26, WLS+26]) suelen depender de un Tercero (TP) para realizar las mediciones finales e interpretar los resultados. En estos esquemas, el TP recupera la cardinalidad exacta de la intersección y luego la compara con $\tau$ . Este enfoque se desvía del paradigma ideal de TPSI, ya que expone la estadística de la cardinalidad exacta al TP en lugar de revelar únicamente el predicado de un bit $\mathbb{1}[|\bigcap X_i| \ge \tau]$ . Esto crea un desajuste de funcionalidad y una concentración de autoridad donde el TP actúa tanto como proveedor de recursos cuánticos como intérprete semántico de los datos privados.

Metodología
Los autores proponen un protocolo de MP-QTPSI (Multi-Party Quantum TPSI) que desacopla el rol de medición del rol de interpretación semántica. El protocolo involucra a $n$ participantes ( $P_1, \dots, P_n$ ) y un TP semi-honesto.

Fase Cuántica (Construcción de Etiquetas Ocultas):
- Configuración: Los participantes establecen una clave maestra mediante un Acuerdo de Clave de Conferencia Cuántica (QCKA) libre de TP para derivar una clave de ocultación de posición $k$ , un vector de giro de etiqueta oculto $\mathbf{b}$ y participaciones de rotación $\Delta_i$ . El TP y cada participante establecen claves por pares para las máscaras de rotación $T_i$ .
- Codificación: Los participantes aumentan sus conjuntos con conjuntos de anclaje positivos y aplican un mapa de ocultación de posición $x \mapsto kx \mod M$ . Codifican sus conjuntos en vectores indicadores $Y_i$ .
- Interacción: El TP prepara secuencias de fotones individuales y aplica una rotación de cegamiento inicial. Las secuencias atraviesan a los participantes secuencialmente. Cada participante $P_i$ aplica una rotación basada en sus datos ($0 $o$ \pi/n$), su máscara por pares $T_i$ y su participación de rotación $\Delta_i$ .
- Medición: El TP elimina sus máscaras conocidas y mide las secuencias. Debido a las rotaciones agregadas correlacionadas, los resultados de la medición son deterministas solo para las posiciones donde todos los participantes poseen el elemento (intersección) o ninguno lo posee (no intersección), pero el significado semántico de estos resultados (qué etiqueta corresponde a la "intersección") está cegado por el vector de giro oculto $\mathbf{b}$ . El TP obtiene vectores indicadores de etiquetas ocultas $z_S$ (iguales) y $z_O$ (opuestos), pero no puede interpretarlos sin la información del lado del participante.
Fase Clásica (Prueba de Cardinalidad):
- Prueba de Consistencia con Máscara: El protocolo convierte las mediciones ocultas en una prueba de consistencia de etiquetas con máscara. Los participantes poseen etiquetas de referencia $\rho$ y máscaras de selección para los dominios reales y de anclaje.
- Evaluación Lineal Oblivia (OLE): El TP y los participantes utilizan OIP (Producto Interno Oblivio) basado en OLE para computar las participaciones aditivas de los conteos de consistencia (inconsistencias $d_{\mathcal{R}}$ y $d_{\mathcal{A}}$ ) sin revelar los vectores entre sí.
- Decisión de Umbral: Un circuito garbled ligero evalúa el predicado $\text{flag} = 1 \iff (d_{\mathcal{A}} = 0) \land (d_{\mathcal{R}} \le |\mathcal{R}| - \tau)$ . Esto emite solo el resultado booleano, asegurando que la cardinalidad exacta nunca sea revelada al TP.
- Reconstrucción: Si $\text{flag}=1$ , el TP transmite los vectores ocultos y los participantes utilizan sus etiquetas de referencia y la clave inversa $k^{-1}$ para reconstruir la intersección.

Contribuciones Clave

Prueba de Cardinalidad Explícita: El protocolo es el primero en TPSI cuántico que se adhiere estrictamente al paradigma de prueba de cardinalidad, emitiendo solo el predicado de umbral $\mathbb{1}[|\bigcap X_i| \ge \tau]$ sin revelar la cardinalidad exacta al TP.
Diseño Cuántico de Etiqueta Oculta: Al utilizar rotaciones agregadas correlacionadas del lado del participante y un vector de giro oculto, el protocolo asegura que los resultados de la medición del TP estén semánticamente cegados. El TP actúa únicamente como parte de la medición, incapaz de mapear los resultados a elementos específicos del conjunto o a la cardinalidad.
Seguridad contra Colusión y el TP: El protocolo demuestra seguridad contra espías externos (vía fotones señuelo), el TP semi-honesto (que no aprende ni los conjuntos ni la cardinalidad) y participantes coludidos (que no pueden inferir los conjuntos de otros debido a las máscaras por pares y las rotaciones de cegamiento desconocidas).
Detección de Manipulación: La inclusión de conjuntos de anclaje ocultos permite una verificación de consistencia ( $d_{\mathcal{A}}=0$ ) que puede detectar si el TP modifica los vectores de medición reportados.

Resultados

Corrección: Las pruebas teóricas demuestran que el protocolo codifica correctamente el patrón de intersección y que el subprotocolo clásico evalúa correctamente la condición de umbral.
Simulación: Los autores implementaron la fase cuántica en la plataforma IBM Qiskit utilizando un modelo de juguete ( $n=3$ , tamaño de dominio 8). La simulación incluyó errores de depolarización, de amortiguamiento de fase y de lectura. Los resultados de la simulación ruidosa (Tabla 3) coincidieron estrechamente con las probabilidades teóricas, pasando con éxito la verificación de anclaje y la prueba de umbral para reconstruir la intersección correcta $\{1, 3\}$ .
Complejidad: El costo de comunicación cuántica es $\mathcal{O}(n(\ell M + \delta))$ , y el costo de computación es similar, donde $M$ es el tamaño de dominio aumentado, $\ell$ es el número de repetición y $\delta$ es el número de señuelos.

Significancia y Reclamaciones
El artículo afirma que su principal significancia radica en resolver la "brecha de funcionalidad" en los protocolos de TPSI cuánticos existentes. Al separar el rol de medición cuántica del rol de interpretación semántica, el protocolo propuesto se alinea con la definición ideal de TPSI clásico donde la decisión del umbral es un predicado directo en lugar de un paso de post-procesamiento sobre estadísticas reveladas. Los autores enfatizan que su construcción depende únicamente de rotaciones de fotón único y un paso de post-procesamiento clásico ligero (OLE y circuitos garbled), evitando la complejidad del Cifrado Homomórfico Cuántico (QHE) utilizado en otros trabajos recientes. Afirman que este diseño ofrece un enfoque más preservador de la privacidad para entornos multipartitos donde el TP no debe conocer el tamaño de la intersección. El artículo concluye señalando que el marco es flexible y potencialmente podría extenderse a umbrales basados en proporciones o pesos, aunque actualmente opera bajo un modelo de TP semi-honesto.