Comment acheter MINA PROTOCOL (MINA) en toute sécurité ?

Qu’est-ce que le protocole Mina ?

Mina est le premier protocole de crypto-monnaie doté d’une blockchain succincte. Les crypto-monnaies actuelles, telles que le Bitcoin et l’Ethereum, stockent des centaines de gigaoctets de données, et au fil du temps, leurs blockchains ne font que croître en taille. Cependant, avec Mina, quelle que soit l’augmentation de l’utilisation, la blockchain conserve toujours la même taille : environ 22kb1 (la taille de quelques tweets). Cela signifie que les participants peuvent rapidement synchroniser et vérifier le réseau.

Cette avancée est rendue possible par les zk-SNARKs, un type de preuve cryptographique succincte. Chaque fois qu’un nœud Mina produit un nouveau bloc, il génère également une preuve SNARK qui vérifie que le bloc est valide. Tous les nœuds peuvent alors stocker la petite preuve, plutôt que la chaîne entière. En n’ayant pas à se préoccuper de la taille des blocs, le protocole Mina permet de créer une blockchain décentralisée à l’échelle.

Comment travaille Mina ?

Comment fonctionne une « blockchain succincte » ? Lisez notre livre blanc technique pour en savoir plus sur nos préliminaires cryptographiques et la construction de la blockchain succincte utilisée dans Mina.

Lisez notre livre blanc sur l’économie pour en savoir plus sur les rôles au sein du protocole Mina, la conception des incitations et la politique monétaire.

« L’ensemble de la blockchain de Mina fait environ 22kb – la taille de quelques tweets ». Pour analyser la déclaration ci-dessus, précisons d’abord ce que nous entendons ici par  » blockchain  » : une représentation utilisable sans ambiguïté (c’est-à-dire pas simplement des hachages) des parties de l’état qui comptent pour un utilisateur typique – à savoir, le solde actuel […].

La blockchain entière de Mina fait environ 22kb – la taille de quelques tweets. »

Pour analyser la déclaration ci-dessus, précisons d’abord ce que nous entendons ici par « blockchain » :

Une représentation utilisable et sans ambiguïté (c’est-à-dire pas simplement des hachages) des parties de l’état qui comptent pour un utilisateur type, c’est-à-dire le solde de son compte courant.

Les données dont un nœud a besoin pour vérifier que cet état est réel de manière non fiable.

La possibilité d’émettre des transactions sur le réseau pour effectuer un transfert.

Le terme « blockchain » englobe ici les points 1), 2) et 3).

Dans d’autres réseaux, comme le Bitcoin ou l’Ethereum, les mineurs ont besoin de l’historique complet des transactions sur le réseau (organisé par la blockchain) pour valider complètement toute partie de l’état actuel de ces réseaux. Ceci est vrai pour les réseaux basés sur les comptes et pour UTXO. Tout nouveau nœud (ou un nœud qui a été hors ligne pendant une longue période) devra se synchroniser avec le réseau non fiable, en téléchargeant les blocs qu’il a perdus.

Dans d’autres réseaux, tels que Bitcoin ou Ethereum, il existe la notion de « client léger ». Ces clients légers sont destinés aux environnements à faible capacité et aident les utilisateurs à vérifier/accéder aux informations qui les concernent à partir du dernier état de la blockchain sans avoir à effectuer une opération de synchronisation coûteuse (en temps et en espace). Pour ce faire, ils lisent l’en-tête d’un bloc et vérifient que l’équilibre est correct par rapport au bloc qu’ils ont reçu, faisant ainsi confiance au nœud complet qui leur envoie les données. Ces nœuds légers ne sont pas en mesure de représenter la blockchain telle que nous l’avons définie ci-dessus.

Mina remplace l’ensemble de la blockchain, de la genèse à n’importe quel bloc, par une preuve cryptographique de taille constante et facilement vérifiable. Vérifier cette preuve pour un bloc équivaut à vérifier toutes les transactions jusqu’à quelques blocs derrière le bloc actuel. La preuve et les entrées de la fonction de vérification se trouvent toutes dans le dernier bloc à glaner. Notez qu’en raison de la définition de la blockchain ci-dessus, le terme « utilisable » est inclus. Cette définition signifie que dans un protocole succinct comme Mina, nous avons besoin de plus qu’un simple objet de preuve attaché à un état rempli de hachages opaques.

Ce processus de vérification s’applique à tous les nœuds du réseau Mina. Certains rôles de réseau ont besoin d’informations supplémentaires pour remplir leurs fonctions, mais cela va au-delà de la définition que nous avons donnée ci-dessus. Pour en savoir plus sur un nœud « producteur de blocs », consultez l’annexe.

Données nécessaires pour une représentation utilisable de la blockchain.

Nous souhaitons (1) pouvoir vérifier le solde d’un compte spécifique et (2) pouvoir envoyer des transactions au réseau. Pour ce nœud, que nous appelons « nœud non consensuel », il suffit que les éléments suivants soient stockés dans sa mémoire : un état du protocole, le compte, un chemin de merkle vers ce compte et une clé de vérification. Il est important de noter que ces nœuds puissants ne sont pas des clients légers. Ils ont une sécurité équivalente à celle des nœuds complets.

Ce logiciel client pour un nœud qui souhaite uniquement agir en tant que « nœud non consensuel » n’est pas encore implémenté. C’est sur la feuille de route post-mainnet.

État du protocole

L’état du protocole est une représentation sans ambiguïté de l’état actuel du réseau. Il comprend les hachages de diverses structures de données, dont le grand livre. Les nœuds qui produisent des blocs échangent des informations autour des blocs qui contiennent l’état du protocole.

Un bloc dans Mina contient également d’autres informations ; une preuve qui inclut les nouvelles transactions et les SNARKs pour les transactions incluses dans les blocs précédents. Les zk-SNARKs récursifs, une fonction de vérification et une clé de vérification nous permettent de vérifier la séquence entière de blocs uniquement à travers la preuve et l’état du protocole d’un seul nouveau bloc.

Après avoir vérifié que le nouvel état est valide, le nœud peut également vérifier de manière indépendante si le nouveau bloc est meilleur que l’existant sans avoir à se fier à la source, en le comparant au dernier meilleur état de protocole connu – nous pouvons alors choisir d’oublier cette information si elle n’est pas meilleure que l’existante ou de remplacer celle que nous avons stockée. En d’autres termes, nous ne devons conserver qu’un seul état de protocole tout en écoutant les états plus récents.

Compte

Mina utilise un modèle basé sur les comptes (similaire à Ethereum) ; le solde correspondant à une clé publique est stocké dans un enregistrement de compte. Un nœud qui ne stocke pas l’intégralité du grand livre peut demander un enregistrement de compte particulier à un nœud qui le stocke (par exemple, les nœuds producteurs de blocs – voir annexe).

Chemin de Merkle vers un compte

En outre, le nœud demandera également le chemin de merkle vers le compte pour vérifier que l’enregistrement du compte est valide sans se fier à aucun nœud. La racine merkle qui en résulte doit correspondre à l’état du grand livre qui a été vérifié par le snark de la blockchain.