Strategies for quantum-enabled Bitcoin miners

Résumé Technique : Stratégies pour les mineurs de Bitcoin à capacité quantique

Énoncé du Problème
La sécurité du réseau Bitcoin repose sur l'hypothèse que l'exécution d'une attaque des « 51 % » — où un consortium contrôle la majorité de la puissance de calcul du réseau pour effectuer un doublement de dépense ou inverser des transactions — est prohibitivement coûteuse. Bien que des travaux antérieurs aient théoriquement suggéré que l'algorithme de Grover pourrait réduire le coût d'une telle attaque en fournissant une accélération quadratique de la résolution du problème de la Preuve de Travail (PoW), ces études reposaient souvent sur des modèles adverses étroits. Plus précisément, les modèles précédents restreignaient les mineurs quantiques à une seule mesure quantique par course de minage et à une stratégie « pacifique » (abandon de la recherche dès la diffusion d'un nouveau bloc). Ce document comble cette lacune en étudiant l'impact de deux mineurs quantiques agressifs et non collusoires sur le seuil d'attaque des 51 % au sein d'un modèle adverse plus réaliste. Le problème central est de déterminer les stratégies de minage quantique optimales pour deux mineurs concurrents capables d'effectuer plusieurs mesures quantiques et d'utiliser la stratégie de minage quantique agressive (AQMS) de Sattath, ainsi que de quantifier l'effet résultant sur le taux de blocs obsolètes ($p_{stale}$) et sur le seuil effectif d'attaque des 51 %.

Méthodologie
Les auteurs étendent le cadre de la théorie des jeux des Courses Quantiques à Deux Joueurs Symétriques (S2QR) pour modéliser la compétition entre deux mineurs quantiques, Alice et Bob, au sein d'un réseau Bitcoin par ailleurs classique.

1. Extensions du Modèle :

   • Mesures Multiples : Contrairement aux modèles précédents supposant une mesure unique, ce modèle permet aux mineurs d'effectuer $c$ mesures quantiques entre deux blocs successifs.
   • Stratégie Agressive : Le modèle incorpore l'AQMS de Sattath, où les mineurs interrompent leur recherche et mesurent immédiatement dès la réception de la diffusion d'un nouveau bloc, plutôt que d'abandonner leur effort de calcul. Cette stratégie augmente la corrélation entre les temps de mesure et la découverte de blocs, augmentant potentiellement le taux de blocs obsolètes.
   • Contraintes de Ressources : Les mineurs opèrent sous un budget cumulé d'itérations de Grover $\kappa$, distribué sur $c$ mesures. L'espace stratégique consiste à allouer ces itérations pour maximiser la probabilité d'être le premier à trouver un bloc valide.

2. Formulation Théorique des Jeux :

   • La compétition est modélisée comme un jeu stratégique où Alice et Bob choisissent des stratégies pures (vecteurs d'itérations de Grover pour chacune de leurs $c$ mesures).
   • Matrices de Gains : Les auteurs dérivent des expressions en forme close pour les matrices de gains ($A$ et $B$) pour les deux joueurs. Ces matrices tiennent compte de :
     • La probabilité de succès de l'algorithme de Recherche Quantique à Budget Fini (FQS) basée sur le nombre d'itérations de Grover.
     • La structure additive des gains à travers les multiples mesures.
     • Les termes introduits par l'AQMS, qui modifient les gains lorsqu'un mineur mesure après qu'un adversaire a déjà trouvé une solution (ou lorsque les mesures se produisent simultanément).
   • Calcul de l'Équilibre : Les stratégies optimales sont identifiées comme des équilibres de Nash. En raison de l'explosion combinatoire de l'espace stratégique (croissant avec $c$), les auteurs emploient une heuristique pour échantillonner l'espace des stratégies pures et utilisent l'algorithme de Lemke-Howson pour calculer les équilibres de Nash exacts.

3. Simulation :

   • Pour évaluer l'impact sur la sécurité, les auteurs réalisent des simulations de Monte Carlo (1 000 000 de jours) utilisant les équilibres de Nash calculés.
   • Les simulations suivent le taux de blocs obsolètes ($p_{stale}$), défini comme le ratio des blocs hors de la chaîne la plus longue par rapport au nombre total de blocs.
   • L'étude évalue si $p_{stale}$ dépasse le seuil critique de $1/3$, ce qui abaisserait le seuil effectif d'attaque des 51 % à 40 % ou moins.
   • Les simulations sont menées à travers trois régimes de difficulté de réseau : Faible ($D \le 2^{32}$), Élevée ($D > 2^{32}$, reflétant les difficultés actuelles et projetées), et Idéal (où l'oracle quantique encode l'intégralité de l'en-tête du bloc).

Contributions Clés

• Inclusion de Nouvelles Stratégies : Le document introduit la « Stratégie de Minage Quantique Agressive » (AQMS) dans un cadre de théorie des jeux, analysant son impact aux côtés des mesures quantiques multiples.
• Matrices de Gains Généralisées : Les auteurs dérivent la structure mathématique des matrices de gains pour $c$ mesures quantiques, étendant le modèle S2QR pour gérer la nature cumulative des tentatives multiples et les corrélations temporelles induites par l'AQMS.
• Calcul de la Stratégie Optimale : L'étude calcule les stratégies de minage quantique optimales (équilibres de Nash) pour $c \in \{1, 2, 3, 4\}$ à travers différents régimes de difficulté, révélant comment les mineurs doivent allouer leurs budgets d'itérations de Grover.
• Quantification de la Sécurité : Le document fournit une évaluation quantitative du seuil d'attaque des 51 % sous ces stratégies optimales, allant au-delà des possibilités théoriques vers des résultats simulés.

Résultats

• Stratégies Optimales :
  • Dans le Régime de Haute Difficulté (actuel et projeté), la stratégie optimale pour les deux mineurs est d'allouer toutes les ressources à la mesure finale. Le gain attendu est extrêmement bas ($\approx 8,9 \times 10^{-5}$), et les mineurs sont statistiquement indiscernables des mineurs classiques.
  • Dans les Régimes de Faible Difficulté et Idéal, les mineurs distribuent les ressources sur plusieurs mesures. Pour $c=2$, les ressources sont partagées pour équilibrer la probabilité de succès et l'avantage temporel. Pour $c \ge 3$, les mineurs concentrent souvent les ressources sur moins de mesures ou effectuent zéro itération sur certaines tentatives pour maximiser la probabilité de succès quadratique des autres.
• Taux de Blocs Obsolètes et Seuil d'Attaque des 51 % :
  • Haute Difficulté : L'impact sur le taux de blocs obsolètes est négligeable. Les percentiles 95 et 99 de $p_{stale}$ sont effectivement nuls. La probabilité que $p_{stale}$ dépasse le seuil de $1/3$ est nulle. Le réseau produit les 144 blocs par jour attendus, et la présence de mineurs quantiques est indétectable.
  • Faible Difficulté/Idéal : Ces régimes montrent une augmentation significative de $p_{stale}$, certains jours simulés approchant le benchmark de $1/3$. Cependant, la probabilité empirique que $p_{stale} > 1/3$ est dérisoire ($10^{-6}$ à $10^{-8}$).
  • Détection : Dans les régimes de Faible Difficulté et Idéal, la présence des mineurs quantiques est statistiquement certaine d'être détectée ($P_{det} = 1$) en raison du taux de bifurcation anormal, tandis que dans le régime de Haute Difficulté, la détection est négligeable.

Signification et Revendications
Le document conclut que la menace posée par deux mineurs quantiques non collusoires se faisant la course pour rejoindre le réseau Bitcoin est négligeable pour l'avenir prévisible.

• Préservation de la Sécurité : Même sous les hypothèses les plus agressives (mesures multiples, AQMS et jeu optimal), le taux de blocs obsolents résultant ne dépasse pas durablement le seuil requis pour rendre une attaque des 51 % réalisable. Le réseau Bitcoin reste sécurisé contre ce modèle adverse spécifique.
• Réalisme : Les auteurs soulignent que les régimes où $p_{stale}$ augmente de manière significative (Faible Difficulté et Idéal) sont peu probables en pratique. Le régime de Faible Difficulté nécessite une difficulté de réseau non vue depuis l'apparition de Bitcoin, et le régime Idéal nécessite un oracle quantique capable d'encoder l'intégralité de l'en-tête de bloc de 640 bits, ce qui est actuellement technologiquement irréalisable.
• Détection : Dans les scénarios où le taux de blocs obsolètes augmente effectivement, le réseau détecterait statistiquement les mineurs quantiques immédiatement, permettant d'éventuelles contre-mesures.
• Portée Modeste : Les auteurs notent que leur modèle représente un scénario du « meilleur cas » pour les mineurs quantiques, car il ignore les surcoûts associés à la préparation de l'état et à la construction de l'oracle. Par conséquent, l'impact réel sur le taux de blocs obsolètes serait probablement encore plus faible que prévu. Ce travail établit une base pour l'étude d'un plus grand nombre de mineurs ou de stratégies de collusion, tout en affirmant que, pour deux mineurs, le seuil d'attaque des 51 % reste robuste.