💻 computer science

SNARKChain: Proof-of-Useful-Work Blockchain Consensus with General-Purpose SNARK Marketplace

Cet article présente SNARKChain, un nouveau protocole de consensus de type Proof-of-Useful-Work qui sécurise la blockchain en intégrant la génération de preuves SNARK externalisée par les clients directement dans le processus de minage, éliminant ainsi le gaspillage d'énergie tout en établissant le premier marché décentralisé de preuves SNARK au niveau de la couche de consensus.

Auteurs originaux : Samuel Oleksak, Richard Gazdik, Martin Peresini, Ivan Homoliak

Publié 2026-07-14

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Samuel Oleksak, Richard Gazdik, Martin Peresini, Ivan Homoliak

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 le monde de la blockchain comme un immense registre numérique mondial auquel tout le monde fait confiance, mais qu'aucune personne ne contrôle. Pour protéger ce registre des méchants, la plupart des blockchains utilisent un système appelé Preuve de Travail (Proof of Work - PoW). Voyez cela comme une immense chasse au trésor technologique où des ordinateurs font la course pour résoudre des énigmes mathématiques incroyablement difficiles. Le premier qui résout l'énigme obtient le droit d'écrire la page suivante dans le registre et reçoit une récompense.

Le problème ? Ces énigmes sont comme brûler une bibliothèque juste pour entretenir un feu. Elles consomment une quantité énorme d'électricité mais ne produisent rien d'utile en dehors de la blockchain elle-même. Certains rapports suggèrent que seule une célèbre blockchain (Bitcoin) pourrait être responsable d'autant de dioxyde de carbone que l'émission annuelle de l'ensemble du pays de la Grèce !

Entrez en scène SNARKChain, une nouvelle idée d'une équipe de chercheurs de l'Université de technologie de Brno. Ils ont demandé : Et si les énigmes « inutiles » que nous résolvons pour sécuriser la blockchain pouvaient réellement servir à quelque chose d'utile pour le monde réel ?

La Grande Idée : Résoudre des Énigmes qui Comptent

Les chercheurs proposent un système appelé Preuve de Travail Utile (Proof of Useful Work - PoUW). Au lieu de brûler de l'énergie sur des problèmes mathématiques aléatoires, les mineurs résoudraient des énigmes qui génèrent des zk-SNARKs.

Pour comprendre les zk-SNARKs, imaginez un magicien capable de prouver qu'il connaît un mot de passe secret sans jamais prononcer le mot de passe à voix haute. Ce sont des outils puissants pour la confidentialité et la sécurité dans le monde numérique, mais ils sont incroyablement lourds à créer. Ils nécessitent des ordinateurs massifs et beaucoup de temps, ce qui les rend trop coûteux pour que les gens ordinaires puissent les générer seuls.

SNARKChain transforme la blockchain en un marché décentralisé. Voici comment la magie opère :

Les Clients (les personnes ayant besoin de ces preuves magiques) publient une requête sur la blockchain.
Les Mineurs (les ordinateurs qui assurent la sécurité du réseau) récupèrent ces requêtes.
Pendant qu'ils travaillent à sécuriser la blockchain, ils génèrent ces preuves utiles comme un « sous-produit ».
Si un mineur résout l'énigme correctement, il peut ajouter un nouveau bloc à la chaîne et gagner une récompense.

C'est la première fois, selon les auteurs, qu'un tel marché a été directement intégré dans la couche de sécurité fondamentale d'une blockchain.

La Partie Délicate : Garantir l'Équité

Les chercheurs savaient que le simple remplacement d'une énigme par une autre ne suffirait pas. Ils devaient s'assurer que le système ne brise pas les règles d'or de la sécurité de la blockchain. Ils devaient résoudre quelques problèmes spécifiques :

1. Le Problème du « Travail Volé »
Autrefois, si un mineur résolvait une énigme mais ne gagnait pas la course pour ajouter le bloc, son travail était perdu. Dans SNARKChain, si un mineur génère une preuve mais perd la loterie pour publier le bloc, cette preuve est inutile pour quiconque car elle est liée à un « paramètre d'intégrité » spécifique (une empreinte numérique du bloc actuel). Cela empêche les acteurs malveillants de voler le travail acharné de quelqu'un d'autre pour l'utiliser à leur propre compte.

2. Le Problème du « Riche qui s'enrichit »
Si le système récompensait simplement l'ordinateur le plus rapide, seules les plus grandes et plus coûteuses fermes de minage gagneraient. Les chercheurs ont conçu un système de loterie pour corriger cela.

Imaginez qu'un mineur génère une preuve. Au lieu de simplement vérifier si elle est « assez bonne », le système lance un dé numérique.
Plus la preuve est grande et complexe, plus sa chance de gagner à la loterie est élevée.
Cela signifie qu'un mineur plus petit avec un ordinateur plus faible a toujours une chance équitable de gagner, tant qu'il continue de travailler. Les auteurs ont effectué des simulations (modèles informatiques) pour tester cela, et les résultats suggèrent que les récompenses sont distribuées équitablement en fonction du travail réellement effectué par chaque mineur.

3. Le Problème de l'« Embouteillage »
Et si tout le monde essayait de résoudre la même requête en même temps ? Les chercheurs ont proposé un système de « compartimentation » (bucketing). Imaginez un bureau de poste avec de nombreux casiers de courrier différents. Au lieu que tout le monde se batte pour un seul casier, les requêtes sont triées dans différents compartiments basés sur un code. Les mineurs choisissent un compartiment et travaillent uniquement sur les requêtes qu'il contient. Cela empêche les mineurs de se marcher sur les pieds et de gaspiller de l'énergie. Leurs simulations ont montré que l'utilisation de plus de compartiments réduit considérablement le travail gaspillé.

Ce que l'Article Dit (et Ne Dit Pas)

Les auteurs sont très prudents quant à leurs affirmations. Ils suggèrent que leur système fonctionne et ont démontré ses propriétés de sécurité via des simulations. Ils n'ont pas prétendu avoir construit une blockchain entièrement opérationnelle et en direct qui a été testée dans le monde réel pendant des années.

Ils excluent également explicitement certaines idées qui pourraient sembler évidentes mais qui ne fonctionnent pas :

Ils rejettent l'idée d'« amortissement » : On ne peut pas simplement regrouper plusieurs preuves pour les rendre plus faciles. Le système est conçu de telle sorte que chaque preuve doit être calculée à partir de zéro, garantissant que personne ne puisse tricher en faisant moins de travail.
Ils rejettent l'idée de « pré-calcul » : Un mineur ne peut pas résoudre secrètement une énigme aujourd'hui pour un bloc qui n'existera que la semaine prochaine. L'énigme change chaque seconde en fonction de l'état actuel de la blockchain, vous devez donc la résoudre maintenant.

L'Essentiel

Les chercheurs ont conçu un système où l'énergie dépensée pour sécuriser une blockchain n'est pas gaspillée. Au lieu de cela, cette énergie est utilisée pour créer des preuves cryptographiques précieuses qui aident d'autres parties d'Internet à rester privées et sécurisées.

Bien qu'ils aient démontré par des simulations que les mathématiques tiennent la route et que le système est équitable, ils reconnaissent que le déploiement dans le monde réel est une étape future. Ils ont établi le plan directeur d'une blockchain qui ne se contente pas de brûler de l'énergie, mais qui fait réellement quelque chose d'utile, transformant le « travail inutile » du passé en le « travail utile » du futur.

Résumé Technique : SNARKChain – Une Blockchain de Preuve de Travail Utile avec un Marché de SNARK à Usage Général

1. Définition du Problème

La Preuve de Travail (PoW) demeure le protocole de consensus sans permission le plus sécurisé, mais elle souffre d'une inefficacité environnementale significative en raison de son recours à des énigmes de calcul intensif qui ne produisent aucune valeur en dehors de la blockchain (par exemple, les collisions de hachage). La Preuve de Travail Utile (PoUW) vise à remplacer ces énigmes arbitraires par des tâches générant une valeur réelle, telles que des simulations scientifiques ou des preuves cryptographiques. Cependant, les propositions de PoUW existantes échouent souvent à répondre aux exigences rigoureuses de sécurité de la PoW, spécifiquement en ce qui concerne la fraîcheur (résistance aux attaques par rejeu), l'intégration de l'intégrité de la chaîne et la liaison de l'identité du mineur.

Simultanément, la génération de preuves de connaissance non interactives succinctes à divulgation nulle de connaissance (zk-SNARK) est prohibitive pour de nombreux utilisateurs, nécessitant une externalisation. Bien que des marchés décentralisés pour la génération de SNARK existent, ils opèrent généralement au niveau de la couche applicative ou sont limités à des circuits spécialisés, échouant à intégrer la génération de preuves directement dans la couche de consensus tout en conservant des capacités à usage général.

2. Méthodologie

Les auteurs proposent SNARKChain, un nouveau protocole de consensus où le « travail utile » est la génération de preuves SNARK externalisées par les clients. Le système fonctionne comme un marché décentralisé où les mineurs calculent des preuves pour sécuriser le réseau.

Architecture Centrale

Le réseau se compose de trois rôles de participants :

Clients : Soumettent des transactions de pièces et des « transactions de preuve » contenant des circuits arithmétiques et des paramètres pour demander la génération de SNARK.
Mineurs (Nœuds Pleins) : Sélectionnent des transactions, génèrent les preuves SNARK requises et concourent pour publier des blocs. Ils reçoivent des récompenses pour les blocs contenant des preuves valides.
Nœuds de Registre de Circuits : Un sous-réseau mis en gage (staked) responsable de l'enregistrement décentralisé des circuits arithmétiques, du stockage des clés de preuve/vérification et de la participation à un Calcul Multi-Parties Sécurisé (SMPC) pour la configuration de confiance (trusted setup).

Mécanisme de Consensus : La Loterie et l'Intégrité

Pour répondre aux défis spécifiques de la PoUW, le protocole introduit un Mécanisme de Loterie et une Liaison d'Intégrité :

Sélection de Bloc Basée sur la Loterie : Au lieu d'exiger que les mineurs atteignent un seuil de difficulté fixe (ce qui mène à la centralisation par le mineur le plus puissant), le protocole utilise une loterie pondérée. Chaque fois qu'un mineur génère une nouvelle preuve pour un bloc, il déclenche un contrôle de loterie. La probabilité de gagner ( $P_{win}$ ) est proportionnelle à la complexité ( $C_i$ ) de la preuve générée par rapport à la cible de difficulté actuelle ( $\kappa$ ) :
$P_{win}(i) = \frac{C_i}{\kappa}$
Cela garantit l'absence de progression (progress-freeness) : la probabilité de gagner dépend uniquement de la preuve la plus récemment générée, et non du temps déjà passé à miner.
Paramètre d'Intégrité ( $\eta$ ) : Pour prévenir le vol de preuve et les attaques par rejeu, chaque circuit arithmétique est modifié pour inclure un paramètre public d' intégrité. Ce paramètre est dérivé du hachage de l'en-tête du bloc en cours de construction. Si un mineur échoue à la loterie, il doit recalculer le paramètre d'intégrité pour inclure la nouvelle preuve générée, créant ainsi une chaîne de preuves cryptographiquement liée au sein du bloc. Cela garantit qu'une preuve ne peut pas être réutilisée dans un autre bloc sans invalider la vérification.
Prévention de l'Amortissement : Pour empêcher les mineurs d'obtenir des avantages injustes en regroupant (batching) les preuves, le système utilise un paramètre masque (combinant l'adresse du mineur et le nombre d'utilisation du circuit) et garantit que le changement des entrées publiques (comme le paramètre d'intégrité) invalide l'intégralité de l'évaluation QAP dans Groth16, nécessissant un recalcul complet.
Compartimentation (Bucketing) : Pour réduire le travail gaspillé causé par les chevauchements de transactions lorsque plusieurs mineurs travaillent en parallèle, le protocole partitionne l'espace de transaction en « compartiments » (buckets) basés sur les préfixes de hachage des transactions. Les mineurs sélectionnent un compartiment, assurant des ensembles de transactions disjoints et minimisant les conflits.

Détails Cryptographiques

Le système utilise les SNARK Groth16. Les auteurs ont choisi Groth16 pour sa taille de preuve constante (128 octets) et son temps de preuve linéaire par rapport au nombre de contraintes. Le protocole supporte des circuits à usage général (définis dans des DSL comme ZoKrates ou Circom) plutôt que d'être limité à un seul circuit spécialisé.

3. Contributions Clés

Le papier revendique les contributions suivantes :

Premier Marché de SNARK au Niveau de la Couche de Consensus : La proposition représente le premier marché décentralisé de génération de zk-SNARK à usage général qui opère directement au niveau de la couche de consensus, où la génération de preuve est inséparable de la sécurité de la blockchain.
Conception de Protocole PoUW : Une approche novatrice pour décharger la computation intensive des SNARK sur des nœuds, satisfaisant toutes les propriétés critiques de la PoW (asymétrie, granularité, absence d'amortissement, indépendance, efficacité, infalsifiabilité, fraîcheur, déterminisme, absence de progression et vérifiabilité publique).
Gestion des Entrées Privées : Le papier propose une méthode (détaillée dans l'Annexe) pour gérer les preuves avec des paramètres privés via l'externalisation de l'obscurcissement du témoin (witness obfuscation), répondant à la limitation des paramètres uniquement publics de la conception initiale.
Analyse de Sécurité : Une analyse formelle et une simulation (utilisant des réseaux de Petri colorés à temps stochastique) démontrant que le protocole maintient les propriétés de loyauté et de sécurité.

4. Résultats et Évaluation

Les auteurs ont évalué le protocole à l'aide d'un modèle de réseau de Petri pour tester quatre hypothèses :

H1 (Équité) : La distribution des récompenses est proportionnelle à la puissance de minage. Les simulations ont confirmé que les récompenses de bloc augmentent linéairement avec la puissance de calcul. Cependant, les récompenses de preuve ont montré une dépendance quadratique par rapport à la puissance, suggérant que les récompenses de preuve devraient être minimisées par rapport aux récompenses de bloc pour éviter la centralisation des pools de minage.
H2 (Indépendance) : La complexité des preuves sélectionnées n'influence pas injustement les récompenses. Les résultats ont indiqué que les mineurs ayant une préférence pour les preuves plus grandes n'ont pas obtenu de récompenses de bloc disproportionnées, bien qu'ils aient généré plus de preuves.
H3 (Centralisation vs Efficacité) : L'introduction d'un paramètre ( $\psi$ ) pour favoriser les chaînes de preuves plus longues réduit le travail gaspillé mais augmente la centralisation. Le compromis suggère que si l'efficacité peut être améliorée, elle risque de compromettre l'équité du réseau.
H4 (Compartimentation) : Augmenter le nombre de compartiments réduit considérablement le travail gaspillé causé par les chevauchements de transactions. La simulation a montré qu'un nombre plus élevé de compartiments est corrélé à un pourcentage de travail gaspillé plus faible.

L'analyse confirme que Groth16 offre l'échelle linéaire nécessaire pour le temps de génération de preuve, rendant le protocole prévisible et évolutif.

5. Signification et Revendications

Le papier positionne SNARKChain comme une solution aux doubles défis du gaspillage énergétique des blockchains et du coût élevé de la génération de zk-SNARK.

Sécurité : Contrairement aux propositions de PoUW précédentes, ce système intègre l'intégrité de la chaîne et l'identité du mineur directement dans les solutions des énigmes, répondant aux exigences strictes de « fraîcheur » et d'« infalsifiabilité » de la PoW.
Utilité : Il transforme le « gaspillage » de la PoW en preuves cryptographiques utiles qui peuvent être utilisées pour la confidentialité, la scalabilité et l'interopérabilité cross-chain dans des applications plus larges.
Nouveauté : Les auteurs affirment qu'à leur connaissance, il s'agit du premier système ayant réussi à intégrer la génération de SNARK à usage général dans la couche de consensus tout en satisfaisant toutes les propriétés nécessaires de la PoW.

Le travail conclut que bien que des défis subsistent (tels que le compromis entre le travail gaspillé et la centralisation via le paramètre $\psi$ ), le protocole proposé offre une voie viable vers des blockchains sécurisées et économes en énergie qui produisent des sous-produits cryptographiques utiles.