Qu’est-ce qu’un Tezos (XTZ)
Tezos est une plateforme blockchain open-source conçue pour l’exécution d’actifs et d’applications décentralisées (dApps). Elle dispose d’un actif natif, appelé XTZ ou tez, qui est une plateforme de cryptomonnaie et de contrats intelligents. En d’autres termes, il s’agit d’une monnaie programmable.
À ce jour, il existe probablement plus d’un millier de projets de cryptographie qui utilisent des contrats intelligents et exécutent des dApps. Si vous connaissez la cryptomonnaie populaire, Ethereum, vous aurez probablement remarqué qu’elle présente de nombreuses similitudes avec les tez. Cela signifie-t-il que XTZ est une copie d’Ethereum ? Absolument pas.
Mais qu’est-ce qui rend les Tezos uniques ?
Blockchain à modification automatique
En tant que blockchain auto-modifiable, Tezos contient un mécanisme de gouvernance sur la chaîne qui permet de proposer, sélectionner, tester et activer des mises à jour de protocoles sans avoir recours à des forks contentieux.
Contrairement à la plupart des cryptomonnaies qui sont sujettes aux hard forks (divisions du réseau), l’équipe a trouvé une méthode permettant au réseau Tezos de se mettre à jour par lui-même grâce à un processus d’amendement au sein du protocole. Ce processus permet de faire progresser l’innovation plus rapidement et réduit considérablement la possibilité de fourches dures hostiles.
En d’autres termes, seule la meilleure « branche » gagne en cas de désaccord. En même temps, la branche perdante reste pour soutenir les gagnants.
D’une certaine manière, cela rend non seulement la gouvernance de la chaîne mais aussi la structure de gouvernance globale plus décentralisée car le projet est décidé par la plupart des utilisateurs, et non par les principaux développeurs ou même par la fondation Tezos.
Selon l’équipe, Tezos a été conçu pour résister à l’épreuve du temps grâce à cette structure de gouvernance en chaîne.
Tezos : contrats et langues intelligents
OCaml
Le protocole Tezos est écrit en OCaml, une langue polyvalente qui met l’accent sur la sécurité et l’expressivité. OCaml permet la création de logiciels de haute assurance, qui sont utilisés dans des applications critiques où une seule erreur pourrait coûter des millions.
OCaml dispose d’une bibliothèque étendue et standard, efficace pour de nombreuses applications et similaire à celle de Python. En outre, sa robustesse le rend adapté à l’ingénierie informatique à grande échelle. Ce langage est également utilisé par de grandes entreprises comme Bloomberg et Facebook.
Michelson
Tout comme Solidité d’Ethereum, Tezos possède son propre langage de contrat intelligent appelé Michelson. Michelson est un langage de bas niveau basé sur une pile qui ne contient aucune variable. Il a été conçu pour accélérer ce que l’on appelle la « vérification formelle », qui permet aux utilisateurs de fournir la preuve des propriétés de leurs contrats intelligents.
Contrairement à d’autres langages de programmation, Michelson peut être un peu restrictif et pas si facile à gérer. Mais c’est l’objectif de sa conception, car il permet également de faciliter la vérification formelle d’un programme de contrats intelligents.
Vérification formelle
Essentiellement, la vérification formelle est le processus qui consiste à prouver ou à réfuter la précision d’un programme selon certaines spécifications. En termes simples, elle garantit que nous pouvons prouver mathématiquement que ce que nous essayons de faire ne contiendra pas d’erreurs.
Pourquoi est-ce important pour les contrats intelligents Tezos ? Parce que les Tezos et les autres plateformes cryptomonnaie ont de la valeur. Ce sont des monnaies numériques.
Dans cette optique, il est essentiel que la monnaie programmable soit correcte et sans faille. D’autres moyens de vérifier l’exactitude du code, comme les « tests unitaires », ne couvrent pas tous les cas et erreurs qui pourraient se produire dans le monde réel, et donc, ne sont pas fiables.
Si nous devons choisir le principal argument de vente de la blockchain des Tezos, il faudrait que ce soit son mécanisme de consensus, la preuve liquide de l’enjeu. Il est donc crucial de creuser en profondeur et de voir ce qui distingue les Tezos des autres blockchains de preuve d’enjeu.
La preuve d’achat est un type de mécanisme de consensus qui permet aux utilisateurs de valider les transactions en fonction du nombre de pièces qu’ils détiennent.
La preuve de paiement liquide (LPOS) peut avoir été dérivée du POS d’Ethereum, mais elle fonctionne de manière très différente. Il ne faut pas non plus confondre la LPOS avec la dPOS, l’algorithme de consensus de l’EOS, du Tron et de nombreux autres blockchains.
L’aspect le plus important à réaliser est que l’objectif de la création de ce nouvel algorithme consensuel est de maintenir un système modulaire qui peut faciliter de façon transparente une gouvernance efficace de la chaîne. Là encore, le but ultime est de préserver le réseau et de régler les différends sans diviser la communauté.
En ce qui concerne la preuve liquide de l’enjeu, nous devons prendre note de deux choses : la cuisson et la délégation.
Baking
La première blockchain (Bitcoin) utilisait une opération à forte intensité d’électricité appelée exploitation minière, qui consiste à créer des blocs en résolvant un puzzle. Dans la blockchain des Tezos, il existe une procédure similaire qui consiste à ajouter des blocs dans une chaîne de grand livre. Mais au lieu de l’extraction minière, on l’appelle la cuisson.
« Les boulangers » ou Bakers en anglais sont des utilisateurs qui alimentent le réseau avec leur puissance de calcul afin de valider les transactions. Et comme dans l’exploitation minière, ils sont récompensés par des pièces nouvellement frappées (16 XTZ par bloc).
En gros, plus le prix des XTZ est élevé, plus les boulangers gagnent. Et en permettant aux boulangers de valider les transactions, le réseau Tezos reste sécurisé, résistant à la censure et inviolable.
Pour devenir boulanger, vous devez posséder au moins 10 000 XTZ, ce qui correspond à un rouleau. Plus vous avez de rouleaux, plus vous avez de chances de gagner la récompense du bloc suivant.
Délégation
Tout le monde ne veut pas mettre en place une plateforme informatique pour cuire des blocs et tout le monde n’a pas 10 000 XTZ. Mais cela ne veut pas dire qu’ils ne peuvent pas participer au réseau Tezos.
Tant que vous avez des XTZ, vous pouvez les prêter à un boulanger. Cela donne à votre boulanger sélectionné une plus grande chance d’être sélectionné pour le prochain bloc. Si le boulanger sélectionné gagne, vous partagez tous les deux les bénéfices des pièces prêtées.
Dans ce scénario, vous pouvez être appelé un délégant, puisque vous déléguez votre pièce à un boulanger. De plus, vous recevrez une grosse partie de la récompense, le boulanger prenant environ 10 à 20 % de réduction sur ses honoraires.
Forks
L’un des inconvénients les plus courants des projets blockchain à code source ouvert est que, en cas de désaccord entre les principaux membres, ils ont tendance à scinder le réseau en deux versions différentes et à suivre leur propre voie. Malheureusement, cela entraîne des répercussions indésirables telles qu’une fracture dans la communauté et chez les développeurs, ce qui pourrait nuire au projet nouvellement séparé.
Cela s’est produit à plusieurs reprises dans le passé avec Bitcoin. Au début, il s’agissait simplement de Bitcoin. Puis il a bifurqué, créant une autre pièce, qui est le Bitcoin Cash. Ensuite, Bitcoin Cash a bifurqué et une nouvelle pièce appelée Bitcoin SV est arrivée. Cela ne finira jamais. Et beaucoup d’autres altcoins ont eu les mêmes occurrences.
L’objectif de Tezos n’est pas d’empêcher les fourchettes de se produire ; les désaccords sont normaux. Leur solution consiste à trouver une procédure efficace et formelle pour déterminer quel camp est gagnant. Ainsi, la communauté n’a plus à se diviser.
La règle du choix de Forks
Alors comment l’algorithme du consensus Tezos détermine-t-il quel côté de deux protocoles conflictuels l’emporte ? Apparemment, en se basant sur le nombre de boulangers qui approuvent le bloc suivant. Par conséquent, le protocole ayant obtenu le plus grand nombre de votes de boulangers devient la chaîne canonique, tandis que les perdants sont humiliés mais restent sur le réseau.
Les Bakers sont incités à voter sur le protocole pour lequel ils pensent que les autres voteront également, car ils seront récompensés si leur boulanger gagne. Ainsi, le meilleur protocole gagne, le réseau reste intact et tout va bien.
L’avenir des Tezos
Étant une blockchain qui se modifie automatiquement, le réseau Tezos (XTZ) s’adaptera probablement et sera capable de naviguer dans le labyrinthe sans fin de la cryptographie. Des problèmes futurs sont garantis, mais le protocole est construit pour résister aux obstacles qui se présenteront.
Tezos se met continuellement à niveau, et nombre de ses développeurs explorent différentes possibilités pour améliorer le réseau en termes de confidentialité, de meilleurs algorithmes de consensus, d’évolutivité, etc.
Parmi les améliorations prévues du protocole, on peut citer Tenderbake, Avalanche, sharding et certaines solutions de la couche 2 (mise à l’échelle).
Découvrez les autres cryptomonnaies :