💻 computer science

BloQBench: A Blockchain Benchmarking Framework for Quantum Supremacy

Le document présente BloQBench, un cadre décentralisé basé sur Ethereum qui utilise des énigmes classiquement insolubles sans secrets précalculés afin de fournir une assurance publiquement vérifiable et sans confiance de la suprématie quantique, et déclenche automatiquement les transitions vers des schémas cryptographiques à sécurité quantique lors d'une démonstration réussie.

Auteurs originaux : Nicholas J. C. Papadopoulos, Ramin Ayanzadeh

Publié 2026-08-04

📖 8 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Nicholas J. C. Papadopoulos, Ramin Ayanzadeh

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez un monde où les ordinateurs deviennent si puissants qu'ils peuvent résoudre des énigmes qui prendraient à un superordinateur classique plus de temps que l'âge de l'univers pour être déchiffrées. C'est la frontière passionnante, et légèrement terrifiante, de l'informatique quantique. Ne voyez pas un ordinateur quantique comme une version plus rapide de votre ordinateur portable, mais comme une clé magique capable d'ouvrir instantanément des serrures conçues pour être incassables par des moyens normaux. La grande question que se posent les scientifiques est la suivante : « Comment savoir avec certitude quand un ordinateur quantique a réellement réussi cela ? »

Habituellement, quand quelqu'un affirme : « Je l'ai fait ! », il se contente de le dire, et nous devons le croire sur parole. Mais en science, la confiance ne suffit pas ; il nous faut des preuves. Le problème est que si une énigme est trop difficile pour un ordinateur classique, elle est aussi trop difficile pour qu'un ordinateur classique puisse vérifier la réponse. C'est comme demander à quelqu'un de résoudre un labyrinthe dans sa tête, puis de lui demander de vérifier s'il n'a pas triché, alors que vous ne pouvez pas voir le labyrinthe. Ce document s'attaque précisément à ce problème : comment créer un test impossible à falsifier pour un ordinateur classique, mais facile à prouver comme étant réel, sans avoir besoin de faire confiance à la personne qui a organisé le test ?

Le Leurre Numérique : BloQBench

Les auteurs de ce document, Nicholas J.C. Papadopoulos et Ramin Ayanzadeh, ont construit un piège numérique appelé BloQBench. Imaginez un immense coffre au trésor public situé sur un réseau mondial appelé blockchain (pensez à un grand registre public immuable où tout le monde peut voir tout ce qui se passe). Ce coffre est rempli d'argent, mais il est verrouillé par 119 serrures différentes et incroyablement complexes.

Voici le tour de magie : personne, pas même la personne qui a construit le coffre, ne connaît la combinaison de ces serrures. Les serrures sont générées par un programme informatique (un « smart contract » ou contrat intelligent) qui les crée sur le champ en utilisant une méthode garantissant qu'aucun « secret pré-calculé » n'existe. C'est comme un distributeur automatique qui imprimerait de manière aléatoire une énigme unique et insoluble à chaque fois que vous appuyez sur un bouton, et la machine oublierait elle-même la réponse immédiatement après l'avoir imprimée.

Le défi ? Les serrures sont basées sur la factorisation d'entiers. En langage clair, cela signifie prendre un nombre massif et désordonné et découvrir quels deux nombres premiers plus petits ont été multipliés pour le créer. Pour un ordinateur classique, c'est comme essayer de défaire un gâteau pour retrouver exactement les œufs et la farine utilisés ; c'est pratiquement impossible avec de grands nombres. Mais pour un ordinateur quantique, en utilisant un algorithme spécial, c'est comme avoir une machine à remonter le temps capable de voir les ingrédients avant qu'ils ne soient mélangés.

Le Plan de Match : Comment ça fonctionne

Le processus est configuré comme un jeu télévisé à enjeux élevés, avec un rebondissement :

La Mise en Place : Le contrat intelligent génère 119 « serrures ». Chaque verrou est un nombre composé de 4 608 bits (un nombre énorme). Le contrat est conçu de telle sorte qu'il n'y a qu'une chance sur un milliard que toutes ces serrures puissent être résolues par un ordinateur classique. Le but est de s'assurer qu'au moins une d'entre elles soit véritablement impossible à craquer pour un ordinateur normal.
La Prime : Il y a une cagnotte (une « bounty ») dans le contrat. Le document suggère un minimum de 800 000 000 de gas (la monnaie utilisée pour payer les transactions sur le réseau Ethereum) pour couvrir le coût de la résolution des énigmes. Si le prix actuel est de 23,8 Gwei par unité de gas, cela représente environ 19,04 ETH.
La Course : N'importe qui peut tenter de résoudre les verrous. Si vous possédez un ordinateur quantique (ou un génie très chanceux avec un superordinateur), vous pouvez essayer de trouver les facteurs premiers.
L'Anti-Triche : Pour empêcher les gens de voler les réponses des autres, le système utilise un schéma de « commit-reveal » (engagement-révélation). Vous devez d'abord enfermer votre réponse dans une enveloppe numérique (un hash) et attendre un jour. Après ce jour, vous ouvrez l'enveloppe et montrez la réponse. Cela empêche le « front-running », où un acteur malveillant voit votre réponse arriver et la vole avant que vous ne puissiez réclamer le prix.
La Victoire : Si vous résolvez un verrou, le contrat le marque comme « résolu ». Si vous résolvez la dernière verrou, la plus difficile, vous obtenez toute la prime, et un grand drapeau sur la blockchain passe à « TRUE » (VRAI). Ce drapeau est la preuve indéniable que la suprématie quantique a été atteinte.

Pourquoi cela importe : L'Interrupteur Automatique

La partie la plus intéressante de BloQBench n'est pas seulement l'argent ; c'est ce qui se passe lorsque le drapeau change. Actuellement, les blockchains utilisent une sécurité « classique » (comme RSA et ECDSA) pour protéger votre argent. Ces systèmes sont sûrs jusqu'à ce qu'un ordinateur quantique arrive et les brise.

Le document propose que BloQBench agisse comme un déclencheur automatique. Imaginez que votre compte bancaire possède un interrupteur de sécurité. Tant que le « Drapeau Quantique » est faux, la banque utilise la sécurité classique, rapide et peu coûteuse. Mais dès que quelqu'un résout l'énigme et fait passer le drapeau à « TRUE », le système bascule automatiquement vers un nouveau système de sécurité « résistant au quantique » (utilisant ce qu'on appelle des signatures de Lamport).

Ceci est crucial car la nouvelle sécurité résistante au quantique est plus lente et plus coûteuse à utiliser. Si nous basculons trop tôt, nous gaspillons de l'argent et ralentissons tout. Si nous basculons trop tard, notre argent sera volé. BloQBench résout cela en attendant le moment exact où la menace est prouvée réelle, puis en basculant l'interrupteur instantanément.

Ce que le document écarte

Les auteurs ont été très prudents sur ce qu'ils n'ont pas fait. Ils ont explicitement rejeté plusieurs autres idées :

Pas de Générateurs de Confiance : Ils ont rejeté l'idée de faire générer les énigmes par un humain ou une entreprise. Si un humain crée l'énigme, il pourrait garder une « porte dérobée » secrète pour la résoudre lui-même, ce qui ruinerait la preuve.
Pas de « Order-Finding » : Ils ont considéré un autre type de puzzle mathématique appelé « order-finding » (recherche d'ordre), mais ils ont trouvé que cela coûtait trop cher à mettre en place sur la blockchain (plus de 6 milliards de gas pour le déploiement) par rapport à leur méthode de factorisation (qui en coûtait environ 237 millions).
Pas d'Énigmes Invérifiables : Ils ont rejeté les « problèmes d'échantillonnage » (où un ordinateur génère des motifs aléatoires) car, bien que difficiles à réaliser, ils sont aussi difficiles à prouver comme étant corrects. On ne peut pas facilement vérifier si le motif est correct, donc cela ne fonctionne pas comme une preuve publique.

L'Essentiel

Le document ne prétend pas que les ordinateurs quantiques ont déjà vaincu le monde. Au lieu de cela, il fournit un cadre et un outil (BloQBench) pour le prouver lorsqu'ils le feront. Ils ont construit le contrat, l'ont testé et ont démontré qu'il fonctionne. Ils ont calculé que la résolution d'un de leurs verrous coûterait environ 6 110 290 gas pour la vérification, et que la résolution des 119 verrous coûterait environ 741 048 802 gas.

Les auteurs suggèrent que ce système crée un « gradient ajustable ». Vous pourriez rendre les verrous plus faciles pour détecter les premiers signes de puissance quantique, ou les garder super difficiles (comme les verrous de 4 608 bits qu'ils ont choisis) pour attendre le moment où les ordinateurs quantiques pourront briser les standards de chiffrement les plus célèbres du monde, comme le RSA.

En bref, BloQBench est un arbitre impartial, public et automatisé. Il attend que l'ordinateur quantique entre sur le terrain, résout l'énigme, puis bascule instantanément l'interrupteur pour protéger notre monde numérique, le tout sans que personne n'ait besoin de faire confiance à une seule personne. Il transforme la course à la suprématie quantique en un jeu avec un vainqueur clair et un filet de sécurité garanti.

Résumé Technique : BloQBench

Énoncé du Problème
Alors que l'informatique quantique arrive à maturité, la vérification des affirmations de « suprématie quantique » (la capacité d'un ordinateur quantique à résoudre des problèmes impossibles pour les ordinateurs classiques) demeure un défi critique. Les méthodes de vérification actuelles reposent souvent sur des hypothèses basées sur la confiance ou des audits localisés, manquant d'un standard public universellement accepté. Un goulot d'étranglement fondamental existe : si une charge de travail est calculatoirement insoluble pour le matériel classique, vérifier sa solution est souvent tout aussi insoluble, ce qui rend la validation indépendante impossible. De plus, les approches existantes pour générer de telles charges de travail (par exemple, la factorisation d'entiers) nécessitent généralement une tierce partie de confiance pour générer l'instance du problème. Cela introduit une vulnérabilité où le générateur pourrait conserver des secrets pré-calculés (par exemple, les facteurs premiers d'un grand nombre), lui permettant de simuler une solution sans jamais exécuter de charge de travail quantique. La communauté manque d'un mécanisme « sans confiance » (trustless) pour prouver qu'une charge de travail spécifique a été exécutée sur du matériel quantique plutôt que d'être simulée classiquement.

Méthodologie
Les auteurs proposent BloQBench, un cadre de benchmarking décentralisé implémenté via un contrat intelligent Ethereum. L'innovation centrale est la génération de casse-têtes classiquement insolubles directement sur la chaîne (on-chain) sans secrets pré-calculés ni générateurs de confiance.

Génération de Casse-tête Sans Confiance : Le cadre utilise la nature déterministe et publique d'Ethereum. Il emploie une méthode basée sur la technique de Sander pour générer de manière probabiliste des « RSA-UFOs » (de grands entiers difficiles à factoriser) directement sur la blockchain. Comme tous les changements d'état, la génération de nombres aléatoires (via la pseudo-aléatorité on-chain) et les chemins d'exécution sont publics, le contrat ne peut pas cacher les facteurs premiers utilisés pour créer le casse-tête. Cela élimine le besoin d'un générateur de confiance.
La Charge de Travail : Le casse-tête spécifique sélectionné est la factorisation d'entiers. Le contrat génère 119 « verrous », chacun étant un entier de 4 608 bits (composé de deux nombres premiers de 1 536 bits). La taille est choisie pour être irréalisable pour les ordinateurs classiques (avec un niveau de confiance de $10^{-9}$ qu'au moins un verrou ne peut pas être factorisé classiquement) tout en restant soluble par le matériel quantique via l'algorithme de Shor.
Vérification et Incitations : Le cadre utilise un schéma de commit-reveal avec un tampon d'un jour pour empêcher les attaques de type front-running. Les solveurs doivent d'abord soumettre un hachage de leur solution (chiffré avec leur adresse) et attendre 24 heures avant de révéler les facteurs premiers réels. Si la solution est correcte (vérifiée via des tests de primalité de Miller-Rabin et la vérification du produit), le verrou est marqué comme résolu.
Déclenchements Automatisés : Le contrat intelligent agit comme un registre global et immuable pour la vérification. Lors de la résolution réussie du dernier verrou, un drapeau public est défini sur « True ». Ce drapeau sert de déclencheur automatisé pour des systèmes externes. Comme preuve de concept, les auteurs ont implémenté un compte Ethereum qui surveille ce drapeau. Avant que le drapeau ne soit activé, le compte utilise une vérification de signature classique standard (ECDSA) ; une fois le drapeau activé, il bascule automatiquement vers un schéma de signature post-quantique (signatures de Lamport).
Modèle Économique : Le contrat accepte des dons pour financer une « prime » (minimum 800 000 000 de gas) afin de rembourser les solveurs pour les coûts de vérification. La conception permet à la communauté de résoudre des verrous « faciles » de manière incrémentielle, ne laissant que les verrous les plus difficiles, nécessitant du quantique, pour le solveur final.

Principales Contributions

Un Générateur de Benchmark Décentralisé et Ajustable : Une conception de contrat intelligent capable de générer des casse-têtes classiquement insolubles sans secrets pré-calculés, fournissant un gradient mesurable pour suivre les étapes incrémentielles des capacités quantiques.
Capacité de Vérification Sans Confiance : L'établissement d'un cadre impartial et universellement auditable pour prouver les jalons de la suprématie quantique, en utilisant la blockchain comme registre public pour éliminer le besoin de tiers de confiance.
Transitions Technologiques Automatisées : Une démonstration de la manière dont un benchmark vérifiable peut déclencher des replis de système vers des protocoles post-quantiques, gérant le compromis entre le coût d'exécution et la sécurité post-quantique.
Implémentation de BloQBench : Une implémentation fonctionnelle utilisant la factorisation d'entiers et les signatures de Lamport, incluant l'analyse des coûts et les évaluations de sécurité.

Résultats et Évaluation

Implémentation : Les auteurs ont déployé avec succès le contrat BloQBench sur Ethereum en utilisant Solidity et Hardhat.
Analyse des Coûts :
- Déploiement : Le déploiement du contrat de factorisation de nombres premiers avec 119 verrous (4 608 bits chacun) a coûté environ 237 898 716 de gas. C'était nettement inférieur à l'alternative de l'approche par « recherche d'ordre » (order-finding), qui coûtait plus de 6 milliards de gas pour une configuration similaire.
- Vérification : La vérification d'une solution de verrou a coûté environ 6 110 290 de gas (dominée par le test de primalité de Miller-Rabin). La résolution des 119 verrous (incluant ceux avec des factorisations connues pour les tests) a coûté un total de 741 048 802 de gas.
- Prime : Les auteurs recommandent une prime minimale de 800 000 000 de gas pour garantir que les solveurs soient remboursés, avec des dispositions pour des ajustements de financement dynamiques basés sur les fluctuations du prix du gas.
Sécurité : Le schéma de commit-reveal avec un délai d'un jour atténue efficacement les attaques de front-running. Les auteurs démontrent qu'un attaquant devrait inonder le mempool de transactions à frais élevés pendant un jour entier pour empêcher une révélation légitime, ce qui est économiquement irréaliste.
Comparaison : Le papier compare la factorisation d'entiers à la recherche d'ordre et à d'autres puzzles potentiels (ex: problèmes d'échantillonnage, preuves de quanticité). La factorisation a été choisie en raison de ses coûts de déploiement plus faibles et du fait qu'il s'agit d'un problème vérifiable, contrairement aux problèmes d'échantillonnage qui sont souvent invérifiables.

Signification et Revendications
Le papier affirme que BloQBench fournit une métrique nouvelle, transparente et automatisée pour mesurer la suprématie quantique. En supprimant la dépendance à une vérification basée sur la confiance, il offre un moyen de trancher définitivement les débats concernant les revendications d'avantage quantique. Le cadre est significatif car il :

Sécurise la Transition : Il permet aux réseaux blockchain de maintenir une cryptographie classique de haute performance (évitant les coûts de gas élevés des schémas post-quantiques) jusqu'au moment exact où la suprématie quantique est prouvée cryptographiquement, moment auquel un basculement automatisé vers la sécurité post-quantique (comme les signatures de Lamport) peut avoir lieu.
Crée un Standard Mondial : Il établit un enregistrement historique unique et immuable du moment où une capacité quantique spécifique a été prouvée, éliminant la latence entre une revendication et sa vérification.
Incite à la Découverte : En combinant le prestige de la réputation et une prime financière, le cadre attire activement les systèmes quantiques avancés pour résoudre les casse-têtes.

Les auteurs maintiennent une position modeste, notant que bien que BloQBench représente le seuil « définitif » (suprématie quantique cryptographique), les travaux futurs pourraient explorer des charges de travail alternatives pour détecter des formes d'avantage quantique plus précoces et plus faibles. La exigence fondamentale reste que le benchmark doit être classiquement vérifiable et généré sans paramètres cachés.

Le Leurre Numérique : BloQBench

Le Plan de Match : Comment ça fonctionne

Pourquoi cela importe : L'Interrupteur Automatique

Ce que le document écarte

L'Essentiel

Articles similaires