Résumé Technique : Opérations d'Ensemble Privées Quantiques Vérifiables et Résistantes à la Collusion

1. Énoncé du Problème

Les opérations d'ensemble privées (PSO), incluant l'intersection d'ensembles privés (PSI) et l'union (PSU), sont fondamentales pour le calcul multipartite sécurisé (SMC). Bien que des solutions cryptographiques classiques existent, l'avènement des algorithmes quantiques (par exemple, l'algorithme de Shor) menace les schémas actuels basés sur la théorie des nombres. Par conséquent, la recherche s'est orientée vers le QPSI (Quantum PSI).

Cependant, les protocoles de QPSO (Quantum PSO) existants font face à des limitations significatives :

• Modèles de Menaces : La plupart des schémas de QPSI quantiques supposent un tiers de confiance (TP) semi-honnête ou reposent sur l'hypothèse que le TP ne peut pas être de connivence avec un participant.
• Résistance à la Collusion : Les protocoles MP-QPSI (Multi-Party QPSI) antérieurs échouent souvent à résister à la collusion entre le TP et un sous-ensemble de participants, ou ne tolèrent que la corruption d'un seul participant.
• Vérifiabilité : De nombreux schémas manquent de mécanismes pour vérifier que le TP a correctement exécuté le circuit quantique prescrit, laissant le système vulnérable aux déviations malveillantes.

2. Méthodologie

Les auteurs proposent un protocole d'intersection d'ensembles privés quantiques multipartites (MP-QPSI) qui intègre le chiffrement quantique totalement homomorphe vérifiable (vQFHE) avec le chiffrement totalement homomorphe à seuil (TFHE). Le protocole opère dans un modèle impliquant $n$ participants détenteurs de données, un TP quantique puissant et une autorité de confiance (TA).

Composants Clés

1. Gestion de Clé à Seuil (TFHE) :

   • La clé secrète de déchiffrement est partagée entre $n$ participants à l'aide d'un schéma de partage de secret à seuil $(t, n)$.
   • Le déchiffrement nécessite la collaboration d'au moins $t$ participants. Cela garantit qu'aucun sous-ensemble de participants corrompus, ni une collusion entre le TP et moins de $t$ participants, ne peut récupérer la clé secrète ou apprendre les entrées privées.

2. Évaluation Quantique Vérifiable (vQFHE) :

   • Le protocole utilise la construction TrapTP (issue de [ADS+17]) comme couche vQFHE.
   • Chiffrement : Les participants encodent leurs ensembles privés en états quantiques en utilisant des codes CSS, ajoutent des qubits pièges ($|0\rangle$ et $|+\rangle$), appliquent une permutation aléatoire et masquent le résultat avec un masque de chiffrement quantique à usage unique (QOTP). Les clés du QOTP sont chiffrées sous TFHE et authentifiées par des codes de contrôle d'intégrité de message (MAC).
   • Évaluation : Le TP effectue l'évaluation homomorphe d'un circuit AND multipartite ($C_{\text{AND}}$) sur les états quantiques chiffrés. Le TP met à jour les clés QOTP chiffrées de manière homomorphe et consomme des "gadgets" (états magiques) pour gérer les portes non-Clifford (T), suivant le modèle "garden-hose".
   • Vérification : Le TP génère un transcript classique (log) de l'évaluation. Les participants et la TA vérifient ce log par rapport aux MAC, au réseau de portes et aux mesures du code piège afin de s'assurer que le TP n'a pas dévié du circuit cible.

3. Flux du Protocole :

   • Phase 1 (Préparation) : La TA génère les clés, échantillonne les permutations, prépare les gadgets de porte T et distribue les parts secrètes.
   • Phase 2 (Chiffrement) : Les participants encodent leurs ensembles en états quantiques, appliquent les pièges et le QOTP, puis envoient les états chiffrés et les clés au TP.
   • Phase 3 (Évaluation) : Le TP exécute le circuit $C_{\text{AND}}$ de manière homomorphe, en mettant à jour les clés et en enregistrant un transcript.
   • Phase 4 (Vérification et Déchiffrement) : Les participants effectuent une vérification classique (vérification des MAC, des portes et du transcript) et un déchiffrement à seuil pour récupérer les clés QOTP. La TA effectue une vérification quantique (vérification des pièges) et déchiffre l'état final pour diffuser le résultat de l'intersection.

3. Contributions Clés

• Extension Multipartite : Les auteurs étendent le vQFHE à un contexte multipartite en le combinant avec le TFHE, permettant à $n$ parties de calculer des intersections d'ensembles sans révéler de données privées.
• Résistance à la Collusion : Contrairement aux schémas de QPSI précédents, ce protocole résiste à la collusion entre le TP et jusqu'à $t-1$ participants. Le mécanisme de seuil garantit que tant que moins de $t$ parties sont corrompues, la clé secrète et les entrées privées restent sécurisées.
• Vérifiabilité contre un TP Malveillant : Le protocole offre une sécurité sémantique et une vérifiabilité. Il peut détecter si un TP malveillant dévie du circuit prescrit (par exemple, en modifiant le réseau de portes ou la sortie) grâce à une combinaison de vérification de transcript classique et de contrôles de code piège quantique.
• Cadre Modulaire : La construction est présentée comme un cadre modulaire. Les auteurs démontrent comment :
  • Réduire la complexité du circuit (par exemple, en utilisant des portes CCCZ au lieu de $C_nX$ pour réduire le nombre de portes T).
  • Étendre les fonctionnalités à l'Union d'Ensembles Privés Quantiques (QPSU) en remplaçant le circuit AND par un circuit OR via des opérations à contrôle ouvert.
  • Remplacer les instances de vQFHE sous-jacentes pour différents compromis efficacité/sécurité.

4. Résultats et Analyse

• Correction : Les auteurs ont validé la porte AND logique multipartite en utilisant la plateforme quantique IBM et Qiskit. Les simulations ont confirmé que la distribution de sortie correspond à la table de vérité idéale pour l'opération logique AND.
• Preuves de Sécurité :
  • Confidentialité : Le protocole est prouvé comme étant informationnellement sûr contre le TP concernant les états quantiques (en raison du QOTP et des états mélangés maximaux) et computationnellement sûr concernant les données classiques (en raison du TFHE et du MAC).
  • Collusion : Le Théorème 3 prouve que toute coalition de participants corrompus (taille $<t$) collidant avec le TP n'obtient aucune information au-delà du résultat de l'intersection.
  • Vérifiabilité : Sous le modèle de sécurité sémantique ($\kappa$-SEM-VER), le protocole est montré comme étant vérifiable. Un argument hybride démontre que toute déviation par le TP est détectée avec une probabilité écrasante.
• Performance :
  • Complexité de Communication : Le coût de communication quantique est de $O(n\kappa L)$, où $n$ est le nombre de parties, $\kappa$ est le paramètre de sécurité et $L$ est la taille de l'ensemble.
  • Comparaison : Comparé aux schémas existants (par exemple, [SMZ+15], [ZLS+20], [HZZ24]), le protocole proposé est le seul à supporter des scénarios multipartites avec des capacités de PSI et de PSU tout en offrant une résistance à la collusion TP-participant et au comportement malveillant du TP.

5. Signification et Revendications

L'article affirme offrir une avancée significative dans le domaine du calcul quantique sécurisé en comblant la lacune de la "collusion TP-participant" qui affecte les solutions de QPSI actuelles.

• Robustesse : En intéant le TFHE, le protocole atteint un niveau de résistance à la collusion absent auparavant dans le QPSI, garantissant la sécurité même si le TP et un sous-ensemble de participants conspirent.
• Minimisation de la Confiance : La couche de vérifiabilité permet au système de fonctionner de manière sécurisée même si le TP est malveillant, supprimant la nécessité de faire confiance à l'honnêteté du TP, seulement à sa capacité de calcul.
• Flexibilité : La conception modulaire permet au cadre d'être adapté pour différentes opérations d'ensemble (Union, Cardinalité) et optimisé pour différentes contraintes matérielles (par exemple, réduire la complexité des portes T).

Les auteurs reconnaissent que bien que le protocole offre une sécurité forte, il hérite de la surcharge classique associée au vQFHE basé sur TrapTP. Des travaux futurs sont suggérés pour explorer la gestion des portes T sans gadget et d'autres optimisations pour réduire les coûts de communication classique.