Résumé Technique : Vérification de Position Quantique Arbitrairement Tolérante aux Pertes en une Seule Exécution

1. Énoncé du Problème

La vérification de position quantique (QPV - Quantum Position Verification) vise à certifier l'emplacement spatial d'un prouveur non fiable en utilisant des contraintes de signalisation relativiste et de l'information quantique. Bien que le théorème de non-clonage empêche les attaques de copie classique, la sécurité inconditionnelle est impossible contre des adversaires partageant un enchevêtrement arbitrairement grand. Par conséquent, la recherche se concentre sur le modèle de l'enchevêtrement borné (BE - bounded-entanglement), où les adversaires partagent un nombre limité de qubits enchevêtrés.

Un obstacle pratique critique pour la QPV est la perte de photons. Dans les fibres optiques, la perte de transmission augmente exponentiellement avec la distance. Les protocoles QPV standards (par exemple, $QPV_{BB84}$, $QPV^f_{BB84}$, et le protocole parallèle $QPV^{f:n\to m}_{BB84}$) supposent une transmission idéale. Cette hypothèse crée une vulnérabilité fondamentale : un adversaire peut intercepter les qubits, les mesurer dans des bases aléatoires, et ne rapporter les résultats que lorsque sa supposition de base est correcte, en déclarant « perte » dans le cas contraire. Cette stratégie brise la sécurité dès que le taux de transmission descend en dessous de 50 %.

Les travaux précédents ont traité la perte et l'enchevêtrement séparément ou simultanément uniquement dans des contextes séquentiels. Plus précisément, [ABB+23] a introduit une modification basée sur l'engagement ($c-QPV^f_{BB84}$) qui tolère une perte arbitraire en exigeant que le prouveur s'engage sur les qubits reçus avant de connaître la base de mesure. Cependant, cette technique reposait sur la structure séquentielle du protocole, où la répétition de cycles permet aux vérificateurs de détecter des engagements incohérents. Ces techniques ne s'étendent pas aux protocoles à exécution unique (parallèle), qui sont préférables pour une mise en œuvre pratique et pour une utilisation comme sous-routines dans des schémas cryptographiques plus larges. Les protocoles à exécution unique existants sont soit dépourvus de tolérance aux pertes, soit nécessitent une communication quantique à la vitesse de la lumière, ce qui limite leur applicabilité.

2. Méthodologie

Les auteurs proposent une modification basée sur l'engagement du protocole parallèle à exécution unique $QPV^{f:n\to m}_{BB84}$, dénommée $c-QPV^{f:n\to m}_{BB84}$.

Structure du Protocole

Le protocole implique deux vérificateurs ($V_0, V_1$) et un prouveur ($P$) :

1. Préparation : Les vérificateurs génèrent des entrées classiques $x, y \in \{0,1\}^n$ et des états quantiques (qubits BB84) basés sur une fonction $z = f(x,y)$.
2. Distribution : Les états quantiques sont envoyés à $P$, suivis de chaînes classiques $x$ et $y$ synchronisées pour arriver simultanément à la position revendiquée.
3. Engagement (Nouvelle étape) : Lors de la réception des systèmes quantiques mais avant de connaître $x$ et $y$, le prouveur diffuse une chaîne d'engagement $c \in \{0,1\}^m$, indiquant quels qubits ont été reçus avec succès ($c_i=1$) et lesquels ont été perdus ($c_i=0$).
4. Condition de Vérification : Le protocole ne se poursuit que si le nombre de qubits engagés $|c| \geq k$, où $k$ est un seuil prédéfini.
5. Mesure : Une fois que $x$ et $y$ arrivent, $P$ calcule $z = f(x,y)$ et ne mesure que les qubits appartenant à l'ensemble engagé $C = \{i \mid c_i=1\}$ dans les bases spécifiées par $z_C$.
6. Vérification : Les vérificateurs acceptent si les résultats rapportés correspondent aux valeurs attendues avec une marge d'erreur $\gamma$ pour le sous-ensemble $C$.

Techniques d'Analyse de Sécurité

La preuve de sécurité aborde le défi selon lequel, contrairement à la répétition séquentielle, une exécution unique ne fournit qu'une seule chaîne d'engagement, empêchant la détection d'incohérences entre les cycles. Les auteurs emploient les techniques suivantes :

• Contraintes de Non-Signalisation : L'analyse tire parti du fait que les adversaires (Alice et Bob) sont spatialement séparés. Leur distribution d'engagement conjointe doit satisfaire les conditions de non-signalisation ; spécifiquement, l'engagement d'Alice ne peut dépendre de l'entrée $y$ de Bob, et vice versa.
• Décomposition de la Probabilité d'Acceptation : Les auteurs décomposent la probabilité totale d'acceptation en une somme sur les chaînes d'engagement possibles $c$. Ils bornent la probabilité d'acceptation conditionnelle $Pr[\text{accept } w_C \mid c]$ pour un $c$ fixé en la reliant à la sécurité du protocole $QPV^{f:n\to m}_{BB84}$ original restreint au sous-ensemble $C$.
• Décroissance Exponentielle : En combinant les contraintes de non-signalisation avec la décroissance exponentielle de la solidité (soundness) du protocole original (régie par le paramètre $\lambda_\gamma$), ils dérivent une borne globale qui décroît exponentiellement avec le seuil $k$.
• Analyse Séquentielle Affinée : Les auteurs revisitent également le protocole séquentiel de [ABB+23]. Ils remplacent le temps d'arrêt stochastique (attente d'un nombre polynomial de cycles réussis) par un nombre fixe de cycles $m$ et un seuil fixe $k$. Cela permet d'obtenir une borne directe sur la probabilité d'acceptation sans dépendre d'énoncés de type « soit-soit » concernant des engagements incohérents.

3. Contributions Clés

1. Premier QPV Single-Shot Tolérant aux Pertes : L'article présente $c-QPV^{f:n\to m}_{BB84}$, le premier protocole qui atteint simultanément :
   • Une solidité négligeable en une seule exécution.
   • La sécurité contre des adversaires partageant une quantité linéaire d'enchevêtrement (dans la taille des entrées classiques).
   • Aucune exigence de communication quantique à la vitesse de la lumière.
   • La tolérance à des pertes de transmission arbitrairement grandes.
2. Généralisation du Paradigme d'Engagement : Ce travail réussit à porter la modification par engagement du cadre séquentiel au cadre parallèle en utilisant des corrélations de non-signalisation, surmontant ainsi la dépendance à la structure séquentielle qui empêchait auparavant cette extension.
3. Amélioration des Paramètres Séquentiels : L'article affine l'analyse des protocoles d'engagement séquentiels, remplaçant les temps d'arrêt stochastiques par des paramètres fixes. Cela produit des bornes quantitatives améliorées où la probabilité d'acceptation de l'adversaire décroît exponentiellement en fonction du seuil $k$, avec un terme de correction d'ordre $O(k^{-1/3})$ (une amélioration par rapport au $O(r^{-1/4})$ des travaux antérieurs).
4. Robustesse : Le protocole résultant maintient une robustesse face aux niveaux de bruit allant jusqu'à 3,7 % par qubit, égalant la tolérance au bruit du protocole original sous-jacent.

4. Résultats

Le résultat théorique principal (Théorème 1.1 et Théorème 4.1) établit que pour une fonction $f$ appropriée, la probabilité qu'un adversaire soit accepté dans le modèle BE($O(n)$) est bornée par :
$$Pr[\text{accept } c-QPV^{f:n\to m}_{BB84}] \lesssim 2(\lambda_\gamma)^{k/2}$$
où $\lambda_\gamma = 2^{h(\gamma)}(\frac{1}{2} + \frac{1}{2}\sqrt{2})$ et $h(\cdot)$ est la fonction d'entropie binaire.

• Tolérance aux Pertes : La sécurité dépend de $k$ (le nombre de qubits reçus avec succès), et non du nombre total de qubits transmis $m$. Ainsi, le protocole reste sécurisé même si le taux de transmission est arbitrairement bas, à condition qu'assez de qubits soient finalement reçus pour atteindre le seuil $k$.
• Tolérance au Bruit : Le protocole reste sécurisé pour des taux d'erreur $\gamma < 0,037$ (3,7 %), car cela garantit que $\lambda_\gamma < 1$.
• Répétition Parallèle : Pour les protocoles construits par répétition parallèle d'une fonction booléenne $g$ (c'est-à-dire $f = g^{\otimes m}$), la sécurité de la version avec engagement se réduit à la sécurité de la version sans engagement avec $k$ répétitions : $Pr[\text{accept } c-QPV^{g^{\otimes m}}_{BB84}] \leq 2\sqrt{Pr[\text{accept } QPV^{g^{\otimes k}}_{BB84}]}$.

5. Signification et Revendications

Les auteurs affirment que ce travail comble un fossé critique entre la sécurité théorique et la mise en œuvre pratique de la QPV.

• Faisabilité sur des Distances Arbitraires : En rendant le protocole arbitrairement tolérant aux pertes, ce travail rend la QPV réalisable sur de longues distances où la perte de photons est significative, une condition préalable pour un déploiement réel.
• Utilité Pratique : La nature à exécution unique du protocole est soulignée comme particulièrement attractive pour les implémentations à court terme et pour une utilisation comme sous-routine dans des constructions cryptographiques plus larges (par exemple, la distribution de clés quantiques, l'authentification de messages), où la répétition séquentielle est souvent impraticable.
• Avancée Théorique : Ce travail démontre qu'une sécurité par engagement peut être obtenue dans des contextes parallèles sans sacrifier les garanties de sécurité du protocole sous-jacent contre des adversaires à enchevêtrement borné.
• Pertinence Expérimentale : L'article fournit des paramètres quantitatifs améliorés pour les implémentations expérimentales, spécifiquement en fixant le nombre de cycles et le seuil d'acceptation, ce qui élimine l'incertitude de la durée d'exécution inhérente aux approches séquentielles précédentes.

L'article conclut que $c-QPV^{f:n\to m}_{BB84}$ représente le premier protocole QPV single-shot entièrement tolérant aux pertes et sécurisé contre des attaquants enchevêtrés, éliminant ainsi efficacement la barrière du taux de transmission qui limitait auparavant la QPV à des distances courtes ou à des conditions idéalisées.