Mina s'efforce de réaliser un système de paiement distribué efficace qui permet aux utilisateurs de vérifier nativement la plateforme dès le bloc de genèse. Son livre blanc technique appelle cela une "blockchain succincte". Le protocole utilise des Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), une preuve cryptographique qui permet à quelqu'un d'authentifier des informations sans révéler les dites informations. Cependant, permettre à un utilisateur de retracer la plateforme jusqu'à son bloc de genèse peut être impraticable dans un vaste réseau. Ainsi, Mina calcule progressivement des SNARKs qui se concentrent uniquement sur les derniers blocs — ce qui signifie que les utilisateurs finaux vérifient cette preuve compressée par zk-SNARK, au lieu de l'historique complet des transactions d'un bloc. Au cœur du protocole Mina se trouve le MINA, sa monnaie native, qui fonctionne comme une pièce utilitaire et moyen d'échange.

Mina est similaire à Bitcoin, à part la manière dont elle gère les transactions, mais utilise également le modèle de compte utilisé dans Ethereum. À cet égard, la différence entre Bitcoin et Ethereum réside dans le fait que l'état de la blockchain Bitcoin contient une liste de pièces non dépensées, alors que l'état d'Ethereum est constitué de soldes de comptes. Mina, quant à elle, utilise un prouveur (ou snarker, si vous préférez), l'équivalent d'un mineur, pour s'assurer que chaque bloc s'engage envers l'état. Mina emploie l'Ouroboros Samasika, un type de mécanisme PoS spécialement conçu pour les réseaux décentralisés succincts, car il permet de démarrer à partir d'un bloc de genèse. Les blockchains succinctes contiennent deux fonctions majeures : vérifier et mettre à jour. La vérification concerne le consensus, le résumé de la blockchain et les blocs, tandis que la fonction de mise à jour interagit avec le consensus et le résumé de la chaîne. Outre les implémentations ci-dessus, le projet utilise un état de balayage parallèle pour optimiser la vitesse de traitement des transactions, ce qui fonctionne en groupant les blocs non prouvés et en assignant le processus à des prouveurs parallèles.

Mina vise à révolutionner le paysage actuel de la blockchain, où la plupart des plateformes disposent de vérificateurs tels que des mineurs ou des stakers, ainsi que de clients légers jouant le rôle de tiers dans la vérification des transactions. Mina adopte une approche différente en impliquant plusieurs participants, chacun gérant une fonction spécifique au sein du réseau décentralisé. Les trois principaux rôles comprennent les vérificateurs, les producteurs de blocs et les snarkers. * Vérificateurs * Les vérificateurs interagissent avec les zk-SNARKS qui s'occupent de certifier les informations de consensus. Chaque utilisateur du protocole Mina est considéré comme un vérificateur, à condition que leurs appareils puissent gérer une chaîne de 22 Ko et supporter quelques millisecondes de temps de traitement.

Les producteurs de blocs prennent la forme de stakers ou de mineurs et gagnent des récompenses de bloc ainsi que des paiements de frais de transaction. Fait intéressant, le protocole ne réduit pas les incitations qui vont aux producteurs de blocs. Cette catégorie de participants permet aux utilisateurs de Mina de déléguer leurs pièces à ces producteurs. En plus de regrouper les transactions en blocs, les producteurs de blocs doivent également produire un nombre équivalent de transactions, déjà validées par SNARK, car ne pas le faire lors de la production de blocs entraînerait des blocs incomplets et le rejet de leur validité par les autres nœuds. Si un producteur de blocs souhaite incorporer 10 transactions sur la chaîne, il doit également intégrer des transactions depuis le début de la file d'attente par le biais de SNARK. Toutefois, ils ont la possibilité de produire le SNARK eux-mêmes ou d'utiliser ceux générés par un groupe spécial de participants appelés snarkers. ‍## Snarkers Les snarkers, également appelés testeurs, produisent des zk-SNARKs utilisés pour vérifier les transactions. Les producteurs de blocs paient les snarkers à partir des frais de transaction globaux qu'ils reçoivent pour l'ajout de nouveaux blocs. Cependant, pour être admissibles aux frais, ils doivent déposer des offres. Notez qu'un zk-SNARK d'un snarker doit être utilisé dans un bloc, et le producteur de blocs qui l'utilise est responsable de l'incitation du snarker. Cela crée une économie d'entreprise où plusieurs snarkers peuvent soumettre des offres liées à la même transaction. Les producteurs de blocs, quant à eux, recherchent le profit et choisiront l'offre avec les frais les plus bas. Par conséquent, les snarkers sont mis au défi de produire des SNARKs à faible coût.

Le processus démarre lorsqu'un utilisateur initie une transaction, après quoi l'échange va dans le mempool, un ensemble de transactions valides mais non confirmées. Ensuite, les snarkers interviennent en créant des preuves ou SNARKS. Le processus se poursuit avec la sélection d'un producteur de blocs (BP) pour regrouper les transactions dans un bloc. Il est important de noter qu'un BP examine le mempool pour trouver des transactions rentables. Puis, le BP choisit un SNARK selon les règles du mécanisme de consensus. Notez qu'un producteur de blocs analyse les offres pour le SNARK au prix le plus bas. De plus, les transactions récemment ajoutées ont un carnet de commandes SNARKS mis à jour. Ensuite, il est temps d'incorporer les SNARKS dans un bloc, puis d'ajouter le bloc à la chaîne et de mettre à jour le réseau. Les transactions snarked sont retirées de la chaîne afin de maintenir une taille constante pour le protocole. Ensuite, le producteur de blocs met à jour les zk-SNARKS du protocole. Enfin, le nouveau bloc devient de manière immuable partie intégrante de la chaîne.