Mina Protocol (MINA) : fonctionnement de la blockchain de 22 Ko

Qu'est-ce que Mina Protocol ?

Mina est une blockchain de couche 1 qui se décrit comme une blockchain de 22 Ko dotée de contrats intelligents à preuve à divulgation nulle de connaissance, les zkApps, écrits en TypeScript, selon sa documentation officielle. Son jeton natif est le MINA.

Le protocole est conçu par la société O(1) Labs, aujourd'hui o1Labs, qui se présente comme l'incubateur et le développeur de Mina. Le projet portait d'abord le nom de Coda : l'ancien dépôt de code CodaProtocol/coda renvoie désormais vers MinaProtocol/mina. Ce dépôt héberge l'implémentation du protocole, écrite en OCaml et publiée sous licence Apache 2.0.

Le réseau principal a démarré en mars 2021. À son lancement, l'offre initiale comptait 805 385 694 MINA, selon l'article de la fondation sur la distribution du jeton.

Le livre blanc : une « blockchain succincte »

Le fondement technique de Mina est décrit dans l'article « Mina: Decentralized Cryptocurrency at Scale », publié en mars 2020 par Joseph Bonneau, chercheur à l'université de New York, et Izaak Meckler, Vanishree Rao et Evan Shapiro, d'O(1) Labs.

Les auteurs partent d'un constat. Sur une blockchain classique comme le Bitcoin, un nouveau nœud doit télécharger et vérifier tout l'historique pour s'assurer de la validité de l'état courant. Le temps de vérification croît donc avec le nombre de transactions. À l'époque de la rédaction, la chaîne du Bitcoin dépassait 250 Go, et la vérifier prenait plusieurs jours sur un ordinateur portable ordinaire, selon le même document.

Mina propose une « blockchain succincte » : chaque bloc contient une preuve que l'état actuel découle de l'état initial par une suite de transactions valides. Le livre blanc annonce un temps de vérification d'environ 200 millisecondes, quel que soit l'historique, ce qui rend la vérification complète possible depuis un téléphone.

Comment fonctionne la blockchain Mina ?

Des preuves zk-SNARK récursives

Au lieu d'obliger chaque participant à rejouer l'historique, Mina utilise des preuves à divulgation nulle de connaissance récursives, appelées zk-SNARKs. Chaque nouvelle preuve atteste à la fois la validité des dernières transactions et celle de la preuve précédente. La chaîne est ainsi remplacée par une preuve cryptographique de taille constante, facile à vérifier.

D'après le glossaire officiel, le système de preuve Kimchi produit ces preuves récursives qui maintiennent la blockchain autour de 22 Ko, tandis que Pickles assure leur composition. Cette taille ne grossit pas avec le nombre de transactions, contrairement aux chaînes qui conservent l'historique complet.

Le modèle retenu est celui des comptes, comme sur Ethereum, et non celui des sorties non dépensées du Bitcoin. Chaque bloc ne contient qu'un engagement cryptographique vers l'état des comptes, selon le livre blanc.

Deux rôles : producteurs de blocs et producteurs de SNARK

Le réseau repose sur deux catégories d'acteurs.

• Les producteurs de blocs assurent le consensus et la sécurité de la chaîne. Ils reçoivent une récompense de bloc et les frais de transaction, diminués des sommes versées pour acheter le travail de preuve, selon la documentation sur les producteurs de blocs.
• Les producteurs de SNARK calculent les preuves des transactions. Les producteurs de blocs leur achètent ce travail sur un marché pair à pair baptisé « snarketplace », et les paient par une transaction spéciale de transfert de frais, d'après la page consacrée aux SNARK workers.

Un consensus en preuve d'enjeu

Mina utilise la preuve d'enjeu Ouroboros Samasika, dérivée de la famille Ouroboros, conçue pour résoudre les bifurcations longues sans exiger l'historique, selon le glossaire. Pour chaque créneau, une fonction aléatoire vérifiable désigne qui peut produire un bloc, avec une probabilité proportionnelle à l'enjeu détenu.

Tout détenteur peut devenir producteur de blocs ou déléguer ses jetons. Les fonds ne sont ni bloqués ni exposés à une pénalité de type slashing, et une délégation peut être annulée à tout moment, d'après la documentation. Un créneau dure 90 secondes et une époque compte 7 140 créneaux sur le réseau principal.

Le jeton MINA

Le MINA rémunère la production de blocs et sert au staking. Son offre n'est pas plafonnée : de nouveaux jetons sont émis à chaque bloc. Selon la fondation, l'inflation annuelle était de 12 % la première année, avec une cible de 7 % à l'équilibre. Comme le staking est ouvert à tous sans blocage, un détenteur peut éviter la dilution en déléguant ses jetons.

À la genèse, la répartition était la suivante : 42,3 % pour la distribution communautaire, 23,6 % pour les contributeurs principaux, 20,5 % pour les investisseurs, 7,5 % pour la dotation d'o1Labs et 6 % pour celle de la Mina Foundation. Des calendriers de déblocage étalés sur plusieurs années s'appliquaient aux parts de l'équipe et des investisseurs.

Pendant les quinze premiers mois, les comptes non bloqués touchaient des récompenses doublées, dites « supercharged ». La communauté a voté leur suppression via la proposition MIP 1, adoptée le 1er janvier 2023 et appliquée au hard fork suivant, selon le même article.

Les zkApps, contrats intelligents à preuve

Les contrats intelligents de Mina s'appellent zkApps. Leur logique s'exécute hors chaîne, chez l'utilisateur, qui génère une preuve ; la chaîne se contente de vérifier cette preuve. La bibliothèque o1js permet de les écrire en TypeScript, et le cadre Protokit sert à bâtir des chaînes applicatives, selon la documentation des zkApps.

Ce modèle permet de prouver une information sans la révéler, par exemple une condition d'âge ou de solde. Les paiements en MINA ne sont pas pour autant confidentiels par défaut : contrairement à Zcash ou Monero, la confidentialité dépend des applications construites sur le réseau.

Les grandes mises à jour du réseau

La mise à jour Berkeley, achevée en juin 2024, a apporté la programmabilité des zkApps, les preuves récursives côté applications et un nouveau modèle de transaction, selon la page des mises à jour du réseau.

La mise à jour Mesa a suivi en septembre 2026. Le calendrier publié par la fondation prévoyait l'arrêt du réseau le 3 septembre 2026 et la reprise de la production de blocs le même jour à 18 h UTC, d'après l'annonce aux opérateurs. Mesa a réduit la durée d'un créneau de 180 à 90 secondes, relevé les limites des zkApps (champs stockés, mises à jour de comptes par transaction, événements) et automatisé les futurs hard forks, selon o1Labs.

Où conserver des MINA ?

La documentation officielle recense plusieurs portefeuilles compatibles : Auro Wallet, Clorio, l'application Mina Protocol pour les portefeuilles matériels Ledger, MinaPortal, un module pour MetaMask, et Pallad, selon la page dédiée. Auro Wallet pour Chrome et MinaPortal permettent aussi d'interagir avec les zkApps.

Les limites du projet

La taille fixe de la chaîne a un coût. Produire les preuves récursives demande beaucoup de calcul, d'où le rôle rémunéré des producteurs de SNARK. Les nœuds qui produisent des blocs doivent aussi conserver l'état complet des comptes, ce que reconnaît le livre blanc. La légèreté profite donc surtout aux nœuds qui vérifient la chaîne, pas à ceux qui la produisent. Enfin, même ramené à 90 secondes, le temps de bloc reste long par rapport à d'autres réseaux en preuve d'enjeu.