Efficient Multi-basis Quantum Position Verification Secure against Generalized Adversaries

Résumé technique : Vérification de position quantique multi-bases efficace et sécurisée contre des adversaires généralisés

Énoncé du problème
La vérification de position quantique (QPV) vise à certifier qu'un prouveur est situé à une position physique spécifique en utilisant la communication quantique et des hypothèses physiques. Bien que la vérification de position classique nécessite des hypothèses fortes (par exemple, une mémoire classique bornée ou des clés pré-partagées), la QPV repose sur des hypothèses physiques plus faibles, telles que l'impossibilité de cloner l'information quantique. Cependant, les protocoles de QPV existants font face à des défis pratiques importants :

1. Sensibilité aux pertes : Les protocoles basés sur les états BB84 ne tolèrent généralement qu'au maximum 50 % de perte de canal.
2. Complexité expérimentale : Les protocoles nécessitant une correspondance entre les bases de préparation et de mesure exigent souvent une préparation d'état complexe ou une communication sécurisée des choix de bases entre les vérificateurs.
3. Lacunes de sécurité : Les analyses de sécurité existantes reposent souvent sur des hypothèses implicites, telles que l'utilisation d'états purs par les adversaires, l'absence de hasard partagé illimité, ou des taux de transmission indépendants des entrées.

Méthodologie
Les auteurs proposent un cadre complet traitant de la conception de protocoles, de l'affinement de l'analyse de sécurité et de la généralisation du modèle d'adversaire.

1. Conception de protocole (QPV multi-bases) :
   Le document introduit un protocole (Protocole 1) où les vérificateurs préparent l'un des six états ($|0\rangle, |1\rangle, |+\rangle, |-\rangle, |+i\rangle, |-i\rangle$), mais le prouveur effectue des mesures dans plusieurs bases ($m$ bases) sur la sphère de Bloch. Crucialement, la base de préparation et la base de mesure n'ont pas besoin de correspondre. Pour évaluer la performance sans correspondance de bases, les auteurs utilisent le score d'espérance de Bell asymétrique (ABE) ($C$), généralisé pour la préparation à six états. Le score normalisé $\hat{C} = C/\eta$ est surveillé parallèlement à la transmission $\eta$. Ce découplage permet une préparation d'état par un tiers et élimine la nécessité pour les vérificateurs de communiquer les choix de bases de manière sécurisée.

2. Affinement de l'analyse de sécurité :
   Pour prouver la sécurité contre les adversaires intriqués, les auteurs adaptent et affinent les techniques de travaux antérieurs (spécifiquement la Réf. [3]). Les améliorations méthodologiques clés incluent :

• Resserrement de la distance de trace : Au lieu d'utiliser l'inégalité de Fano ou une réduction à des jeux plus simples, les auteurs formulent la borne inférieure de la distance de trace entre les ensembles d'états sous la forme d'un programme semi-défini (SDP) en utilisant la hiérarchie de Navascués-Pironio-Acín (NPA) et une approximation linéaire.
• Arrondi classique : Un argument d'arrondi classique modifié est introduit, où la taille de l'ensemble de sortie est fixée à $m-1$ (plutôt que $m$), resserrant ainsi l'analyse.
• Analyse basée sur le score : L'analyse passe d'une surveillance du taux d'erreur à une surveillance basée sur le score afin de s'adapter aux bases non correspondantes.

3. Modèle d'adversaire généralisé :
   Les auteurs identifient et suppriment trois hypothèses implicites des preuves de sécurité précédentes :

• États mixtes : Les adversaires peuvent partager des états quantiques mixtes (dimension bornée) plutôt que seulement des états purs.
• Hasard partagé illimité : Les adversaires peuvent partager un hasard classique illimité.
• Transmission dépendante de l'entrée : Le taux de transmission $\eta$ peut dépendre des entrées $(x, y)$ et du hasard partagé $r$.
  Pour gérer cela, les auteurs emploient la purification partielle (convertissant les états mixtes et les applications CPTP générales en états purs et unitaires avec des systèmes auxiliaires) et une stratégie de partitionnement qui catégorise les cycles d'attaque selon des critères de haute/basse erreur et de haute/basse transmission.

Contributions clés

1. Nouveauté au niveau du protocole : Introduction d'un protocole QPV multi-bases utilisant six états préparés et plusieurs bases de mesure. Cela réduit la complexité expérimentale (moins d'états préparés), améliore la flexibilité (découplage préparation/mesure) et élimine le besoin de canaux de communication sécurisés pour les bases entre les vérificateurs, le tout sans compromettre la performance de sécurité par rapport aux propositions précédentes.
2. Nouveauté au niveau de la preuve : Développement d'une analyse de sécurité raffinée présentant des bornes de distance de trace resserrées via SDP et un argument d'arrondi classique modifié. Ces améliorations augmentent la tolérance aux erreurs et aux pertes du protocole sous des modèles d'adversaires restreints.
3. Nouveauté au niveau du modèle : Généralisation du modèle d'adversaire pour inclure les états mixtes, le hasard illimité et la transmission dépendante de l'entrée. Cela expose les limites des analyses antérieures et clarifie la portée des garanties de sécurité rigoureuses.
4. Application : Illustration de la QPV comme mécanisme d'authentification pour la distribution de clés quantiques (QKD), spécifiquement pour amorcer l'échange de clés lorsque l'authentification standard de Wegman-Carter échoue ou lorsqu'un besoin de justificatifs basés sur la localisation est requis.

Résultats

• Adversaires non intriqués : Les simulations numériques utilisant la nouvelle formulation SDP (Éq. 6) montrent que la QPV multi-bases simple égale la performance de la QPV multi-bases originale (Réf. [3]) mais avec une tolérance aux erreurs améliorée par rapport à l'analyse de la Réf. [3]. Le score ABE est validé comme un substitut robuste aux taux d'erreur.
• Adversaires intriqués (restreints) : Pour les stratégies restreintes à $q$ qubits (états purs, opérations unitaires), l'analyse resserrée (lignes pleines de la Fig. 5) démontre une tolérance aux erreurs plus élevée que les méthodes précédentes (lignes pointillées) pour des tailles de mémoire quantique fixes ($q_0$). La limite asymptotique montre que le taux d'erreur contre les adversaires intriqués est au plus la moitié de celui contre les adversaires non intriqués.
• Adversaires intriqués (généralisés) : En généralisant aux états mixtes, au hasard illimité et à la transmission dépendante de l'entrée, les exigences de sécurité deviennent nettement plus exigeantes. L'analyse (Fig. 6) révèle une dégradation sévère des performances : la tolérance aux pertes chute à $\eta > 75 \%$ pour 2 bases et $\eta > 90,6 \%$ pour 3 bases. Cela indique que bien que le cadre fournisse une sécurité rigoureuse, le modèle généralisé actuel impose des contraintes expérimentales strictes.
• Faisabilité : Le document estime que contre les adversaires intriqués restreints, une mise en œuvre sécurisée est possible jusqu'à environ $6,8$ km (en supposant $q_0=5,5$), soit une amélioration par rapport à la limite de $2,8$ km des analyses précédentes. Cependant, contre les adversaires généralisés, les configurations actuelles se situent en dessous des seuils de transmission requis.

Signification et affirmations
Le document affirme faire progresser la praticité de la QPV en réduisant la complexité expérimentale grâce au protocole multi-bases et en fournissant un cadre de sécurité plus rigoureux, bien que plus restrictif.

• Praticité : Le protocole proposé simplifie le matériel et les exigences de communication des vérificateurs, rendant la QPV plus adaptable aux réseaux réels.
• Rigueur : En généralisant le modèle d'adversaire, les auteurs fournissent une garantie de sécurité de type « pire cas » qui tient compte des imperfections réalistes telles que la perte dépendante de l'entrée et le hasard partagé.
• Compromis : Le document reconnaît explicitement une tension : l'amélioration de l'analyse de sécurité contre les adversaires généralisés dégrade considérablement la tolérance aux pertes par rapport aux modèles restreints. Les auteurs déclarent que cela souligne la nécessité de développer de meilleures techniques d'analyse de sécurité pour combler ce fossé.
• Application : Ce travail positionne la QPV non seulement comme un vérificateur de position, mais comme un composant viable, bien que complexe, pour la cryptographie basée sur la position et l'authentification QKD, offrant une solution pour les scénarios où les clés pré-partagées sont indisponibles ou compromises.

Les auteurs concluent que si leurs améliorations assouplissent les exigences expérimentales sous des modèles restreints, la dégradation observée sous les modèles généralisés souligne la difficulté d'atteer une QPV pratique contre les adversaires les plus puissants sans nouvelles percées théoriques.