Quantum Anonymous Secret Sharing with Permutation Invariant Codes

Cet article propose un protocole de partage secret quantique anonyme qui atteint l'anonymat de l'expéditeur en combinant des codes correcteurs d'erreurs quantiques invariants par permutation avec des algorithmes de transmission anonyme, tout en quantifiant les fuites d'information dans les schémas à seuil progressif à l'aide de l'entropie min conditionnelle quantique pour évaluer la sécurité des parts intermédiaires.

L'essentiel

Imaginez que vous possédiez une recette secrète pour le meilleur cookie du monde. Vous ne voulez pas qu'une seule personne détienne l'intégralité de la recette, car si elle la perd ou se fait enlever, la recette est perdue à jamais. Ainsi, vous décidez de diviser la recette en plusieurs morceaux (parts) et de les remettre à différents amis. C'est l'idée de base du partage de secret : vous avez besoin d'un nombre spécifique d'amis réunis pour reconstituer la recette complète.

Cependant, il y a un problème avec l'ancienne méthode : lorsque vos amis se réunissent pour assembler les morceaux, tout le monde sait qui est présent. Si un méchant observe, il peut voir que "Alice" et "Bob" étaient ceux qui ont récupéré le secret. Peut-être qu'Alice est un lanceur d'alerte, ou peut-être que Bob tente de rester anonyme pour un vote. Ils ont besoin d'un moyen de partager le secret sans que personne ne sache qui a contribué les morceaux.

Cet article propose une nouvelle méthode de haute technologie appelée partage de secret anonyme quantique. Voici comment cela fonctionne, décomposé en concepts simples :

1. La magie des codes "invariants par permutation"

Imaginez la recette secrète non pas comme une liste de mots, mais comme un nœud spécial et emmêlé de ficelle. Dans ce nouveau système, la façon dont le nœud est noué possède une propriété spéciale : peu importe quel morceau de ficelle vous tirez en premier.

En termes techniques, les auteurs utilisent des codes dits "invariants par permutation" (PI). Imaginez que vous avez un sac de 10 billes, et que le secret est caché dans le poids total des billes, et non dans une bille spécifique. Si vous en sortez 3 pour les vérifier, peu importe lesquelles 3 vous avez prises ; tant que vous en avez assez, vous pouvez déterminer le secret. Parce que le système ne se soucie ni de l'ordre ni de l'identité des morceaux, la personne qui décode le secret (le "Décodeur") ne peut pas dire quels amis étaient présents. Ils savent simplement : "D'accord, j'ai assez de morceaux pour résoudre l'énigme."

2. Le protocole du "Messager Fantôme"

Pour s'assurer que personne ne sait qui envoie un morceau du secret, les auteurs utilisent une série d'astuces de "Messager Fantôme" basées sur la physique quantique (spécifiquement, quelque chose appelé états GHZ, qui sont comme un groupe d'amis se tenant la main en cercle).

Imaginez que vous êtes dans une pièce avec 10 personnes. Vous voulez envoyer un message à la personne au fond de la pièce, mais vous ne voulez pas que personne sache que c'était vous.

• L'astuce : Tout le monde dans la pièce effectue une danse synchronisée (une opération quantique) en même temps.
• Le résultat : Le message arrive au fond, mais parce que tout le monde a dansé ensemble, les "empreintes" de l'expéditeur sont effacées. Le Décodeur reçoit le message, mais il semble provenir d'un nuage de possibilités plutôt que d'une seule personne. Même les autres amis dans la pièce ne peuvent pas dire qui l'a envoyé.

3. Mesurer la "fuite" avec une nouvelle règle

Les auteurs voulaient aussi savoir : "Si un méchant vole certains des morceaux, quelle partie du secret apprend-il réellement ?"

Les anciennes façons de mesurer cela consistaient à prendre une moyenne de nombreux scénarios différents. Mais les auteurs soutiennent qu'un méchant n'a qu'une seule chance de voler le secret. Ainsi, ils ont introduit une nouvelle règle de mesure appelée Entropie Min-Conditionnelle.

Voici comment y penser :

• Ancienne règle : "En moyenne, si vous volez 3 morceaux, vous apprenez 20 % de la recette."
• Nouvelle règle (Entropie Min) : "Si vous êtes le voleur le plus intelligent du monde et que vous volez 3 morceaux, quel est le meilleur pourcentage possible de la recette que vous pouvez déterminer ?"

Cette nouvelle règle est plus stricte. Elle vous indique le pire scénario possible pour la sécurité. Les auteurs ont utilisé cette règle pour tester différents types de "nœuds" (codes) afin de voir lesquels fuient le moins d'informations aux voleurs qui n'ont pas assez de morceaux pour résoudre l'énigme complète.

4. L'approche hybride (La "double serrure")

L'article suggère également une méthode "hybride". Imaginez que la recette est une recette de cookie quantique, mais que vous y ajoutez aussi une "serrure" classique (comme un mot de passe).

• Vous brouillez la recette quantique à l'aide d'un mot de passe aléatoire.
• Vous divisez la recette brouillée et le mot de passe en parts.
• Même si un voleur obtient certains morceaux de la recette, sans les morceaux du mot de passe, la recette ressemble à du bruit aléatoire.
• Cela rend le système encore plus sûr, transformant efficacement le secret quantique en un secret classique plus difficile à craquer.

Résumé de ce qu'ils ont accompli

• Anonymat : Ils ont créé un système où des amis peuvent récupérer un secret sans que personne (pas même la personne qui le décode) ne sache qui a participé.
• Robustesse : Contrairement à certaines méthodes précédentes qui exigeaient que tout le monde soit présent, ce système fonctionne même si certains amis sont absents, tant qu'il y a assez de morceaux.
• Meilleure mesure : Ils ont fourni une nouvelle façon stricte de mesurer exactement combien d'informations fuient si un voleur vole quelques morceaux.

En bref, cet article construit un coffre-fort "fantôme" où vous pouvez récupérer un secret sans que personne ne sache qui a ouvert la porte, et ils nous ont donné une meilleure façon de mesurer à quel point ce coffre-fort est réellement sûr.

Résumé technique

1. Énoncé du problème

Le partage de secret quantique (QSS) permet de distribuer un secret parmi plusieurs parties de telle sorte que seuls des sous-ensembles autorisés puissent le reconstruire. Cependant, les schémas QSS existants présentent deux limitations critiques :

• Absence d'anonymat de l'expéditeur : Bien que le secret soit protégé contre les parties non autorisées, les identités des participants (actionnaires) qui contribuent à la reconstruction sont souvent exposées. Dans des applications comme le vote anonyme ou le consensus sécurisé, les participants doivent rester anonymes pour éviter la coercition ou les biais.
• Fragilité et rigidité : De nombreux schémas existants de partage de secret quantique anonyme (QASS) reposent sur des états intriqués spécifiques (comme les états GHZ ou W) qui nécessitent la participation de tous les actionnaires pour la reconstruction. Ils manquent de robustesse face aux participants manquants (effacements) et ne peuvent pas gérer des structures d'accès basées sur un seuil où seul un sous-ensemble d'actionnaires est nécessaire.
• Absence de métriques quantitatives de fuite : Pour les schémas QSS « rampe » (où des ensembles intermédiaires de parts fuient des informations partielles), il n'existe pas de métrie standardisée, en tirage unique, pour quantifier exactement la quantité d'informations qu'un adversaire obtient en détenant un nombre spécifique de parts.

2. Méthodologie

Les auteurs proposent un protocole novateur et une nouvelle métrique pour résoudre ces problèmes.

A. Conception du protocole : Partage de secret anonyme avec codes PI

Le cœur de la solution consiste à combiner des codes de correction d'erreurs quantiques (QEC) invariants par permutation (PI) avec des protocoles de transmission anonyme.

1. Codes invariants par permutation (PI) :

   • Ces codes possèdent un espace de codes invariant sous le réordonnancement des qubits physiques.
   • Avantage clé : Le processus de décodage dépend uniquement du nombre de parts manquantes (effacements), et non de quelles parts spécifiques sont manquantes. Cela permet au décodeur de reconstruire le secret sans connaître les identités des actionnaires participants.
   • Cela permet une récupération basée sur un seuil (n'importe quelles $k$ parts sur $n$) plutôt que d'exiger un consensus complet ($n$ parts sur $n$).

2. Sous-protocoles de transmission anonyme :

   • Pour masquer l'identité de l'expéditeur lors de la transmission des parts au décodeur, les auteurs utilisent des protocoles de Christandl et Wehner [23] :
     • AE (Intrication anonyme) : Crée une paire de Bell intriquée entre un expéditeur et un destinataire de manière anonyme en utilisant un état GHZ à $n$ qubits.
     • ANONQ (Transmission quantique anonyme) : Utilise la téléportation quantique sur la paire de Bell anonyme pour envoyer un qubit sans révéler l'identité de l'expéditeur.
     • Détection de collision : Garantit qu'un seul actionnaire transmet à la fois pour éviter les interférences.
   • Traces nulles : Le protocole garantit que même si un adversaire obtient accès à l'aléa utilisé par les joueurs corrompus, il ne peut pas déterminer qui a envoyé les parts.

3. QASS hybride (HQASS) :

   • Les auteurs étendent le protocole à un schéma hybride où un secret quantique est « élevé » à la sécurité classique. En appliquant des opérateurs de Pauli aléatoires ($X$ et $Z$) au secret quantique et en codant le choix des opérateurs comme des secrets classiques, le schéma garantit qu'un adversaire doit d'abord briser le partage de secret classique pour apprendre quoi que ce soit sur le secret quantique.

B. Métrique : Entropie min-Conditionnelle pour la fuite d'informations

Pour quantifier la fuite d'informations dans les schémas rampe, les auteurs introduisent l'Entropie min-Conditionnelle Quantique ($H_{min}$).

• Raisonnement : Les mesures traditionnelles comme l'information mutuelle quantique sont des mesures « cas moyen » (nécessitant de nombreuses copies d'un état). Dans un scénario en tirage unique (une seule instance de secret), la meilleure tentative de récupération d'un adversaire est mieux modélisée par l'Entropie min-Conditionnelle.
• Lien avec Knill-Laflamme : La métrique est dérivée de la deuxième condition de Knill-Laflamme. Elle mesure la fidélité maximale entre l'état récupéré et l'état de référence original après l'application d'un canal de récupération optimal.
• Calcul pour les codes stabilisateurs : Pour les codes stabilisateurs, les auteurs dérivent une expression sous forme fermée (Théorème III.1) en utilisant le Lemme de nettoyage :
  $$H_{min}(R|E) = \log |G_{M^c}| - k$$
  Où $|G_{M^c}|$ est le nombre d'opérateurs de Pauli logiques qui peuvent être « nettoyés » (trivialisés) à partir du complément de l'ensemble de parts de l'adversaire, et $k$ est le nombre de qubits logiques. Cela évite la complexité exponentielle de la résolution du problème d'optimisation général.

3. Contributions clés

1. Premier QSS anonyme d'expéditeur avec accès par seuil : L'article présente le premier protocole QSS qui atteint l'anonymat de l'expéditeur tout en supportant des structures d'accès par seuil (récupération avec $k < n$ parts). Les travaux antérieurs exigeaient la participation de tous les actionnaires, limitant leur utilité.
2. Robustesse aux effacements : En utilisant des codes PI, le schéma tolère les actionnaires manquants sans compromettre l'anonymat des participants restants.
3. Nouvelle métrique de fuite : La formalisation de l'Entropie min-Conditionnelle comme une mesure valide, en tirage unique, pour la fuite d'informations dans les schémas QSS rampe, justifiée par sa relation avec les conditions de correction d'erreurs.
4. Construction de sécurité hybride : Une méthode pour combiner le partage de secret quantique et classique afin d'améliorer la sécurité, garantissant que la sécurité du secret quantique est bornée par la sécurité du secret classique.

4. Résultats

Les auteurs ont évalué plusieurs codes PI (4, 7, 9, 11 et 13 qubits) en utilisant la métrique $H_{min}$ proposée.

• Codes à 4 qubits :

  • Trois codes PI différents à 4 qubits (Aydin et al., Hagiwara & Nakayama, et Leung et al.) ont été testés.
  • Résultat : Les trois codes ont présenté des valeurs $H_{min}$ identiques.
  • Comportement de fuite :
    • Avec 1 part : Fuite maximale ($H_{min} = 1$, Fidélité = 0,25).
    • Avec 2 parts : Moitié des informations fuit ($H_{min} = 0$, Fidélité = 0,5).
    • Avec 3+ parts : Récupération complète ($H_{min} = -1$, Fidélité = 1,0).
  • Le schéma HQASS utilisant ces codes a montré un seuil de $k=3$ sans fuite intermédiaire, agissant efficacement comme un schéma parfait pour le cas hybride.

• Codes plus grands (7, 9, 11, 13 qubits) :

  • L'étude a comparé divers codes PI (par exemple, codes GNU décalés, codes de Kubischta/Teixeira).
  • Observation : La quantité d'informations gagnée par part n'est pas constante. Certains codes présentent des « plateaux » où l'ajout d'une part ne fournit aucune nouvelle information, tandis que d'autres montrent une fuite progressive.
  • Variabilité : Différents codes PI avec la même distance ($d=3$) présentent des profils de fuite différents pour les ensembles de parts intermédiaires, suggérant que la sélection du code est cruciale pour optimiser la sécurité dans les schémas rampe.

5. Importance et perspectives futures

• Application pratique : Ce travail permet une collaboration anonyme et sécurisée dans des scénarios où les participants doivent rester cachés (par exemple, vote anonyme, consensus distribué dans des environnements hostiles) tout en permettant une participation flexible (seuils).
• Avancement théorique : Il comble le fossé entre la correction d'erreurs quantiques (QEC) et la cryptographie en utilisant les propriétés de la QEC (invariance par permutation) pour résoudre des problèmes d'anonymat cryptographique.
• Travaux futurs :
  • Remplacer les protocoles anonymes dépendants de l'état GHZ par des alternatives plus résistantes au bruit (par exemple, en utilisant des états W).
  • Investiguer des codes PI spécifiquement conçus pour minimiser la fuite dans les ensembles intermédiaires (rampe plus lisse).
  • Formaliser le lien entre le QSS rampe et le QSS approximatif.
  • Développer des algorithmes plus rapides pour calculer $H_{min}$ pour des codes plus grands, car l'approche actuelle de programmation semi-définie évolue de manière exponentielle.

En résumé, l'article fournit un cadre robuste pour le partage de secret quantique anonyme qui est à la fois tolérant aux pannes (gérant les parts manquantes) et quantitativement analysable (via l'entropie min-conditionnelle), faisant progresser de manière significative l'état des protocoles cryptographiques quantiques.