Masterclass Blockchain Tezos Mixte : présentiel / à distance

Le Tezos est une crypto monnaie et une plateforme Blockchain de protocoles de registres décentralisés pour le développement de contrats intelligents ou smart contracts. La plateforme Tezos a été développée dans le langage fonctionnel OCaml principalement utilisé dans le domaine de la recherche, et connu pour sa fiabilité et sa capacité à écrire des programmes informatiques proches des formules de la logique mathématique.

Cette formation vous guidera jusqu'au développement de smart contracts sur la Blockchain Tezos. A travers des exercices concrets, vous apprendrez à préparer un environnement, mais aussi à faire tourner un nœud de blockchain, développer / tester / déployer / interagir avec des smart contrats. A la fin de cette session, vous aurez une compréhension solide de Ligo, et de comment faire des smart contrats Tezos, des notions de Michelson et de programmations fonctionnelles. A travers nos mises en pratique, vous saurez construire des architectures de contrats répondant aux divers besoins fonctionnels.

Jour 1

BLOCKCHAIN : LES BASES DE LA DÉCENTRALISATION

• Introduction
• Consensus
• Historique

BLOCKCHAIN TEZOS

• Historique
• Architecture
• Enjeux
• Gouvernance en chaîne
• Discussion vérification formelle

BLOCKCHAIN TEZOS : INTERACTIONS

• Installation
• Lancement d'un noeud
• Outil de ligne de commande
• Interactions par http
• Mise en pratique : «Noeud sandbox et transactions»

MICHELSON

• Smart contract (paramètres, storage, code)
• Langage et commandes
• Point d'accès
• Typage
• Mise en pratique : «Exécution d'un exemple simple »

Jour 2

LIGOLANG (PASCALIGO)

• Les base de la programmation fonctionnelle
• Langage
• Storage
• Entrypoint
• Transaction
• Outil transpilation
• Mise en pratique : «Counter smart contract»
• Simulation d'un smart contract Ligo

TESTS UNITAIRES

• Mise en place / Utilisation pyTezos
• Paramètres d'appel et storage
• Gestion des exceptions
• Mise en pratique : « Counter smart contract »

DÉPLOIEMENT DE SMART CONTRACT

• Préparation des paramètres et storage
• Comptes et faucet
• Simulation du déploiement et gaz
• Déploiement / baking
• Mise en pratique : « Premier déploiement »

INVOCATION DE SMART CONTRACT

• Préparation des paramètres d'invocation
• Exécution
• Mise en pratique : « Invocation et accès au storage »

Jour 3

LIGOLANG (PART 2)

• Bonnes pratiques
• Mise en pratique : « smart contrat de Vote »
• Fonction anonyme

INTRODUCTION À LA VÉRIFICATION FORMELLE AVEC TEZOS

• Coq et Mi-cho-coq
• Démarche et modélisation
• Exemple Vote

INTRODUCTION À LA LIBRAIRIE SMARTPY

• Présentation de SmartPy
• Exemple de code

Jour 4

PATTERN DE SMART CONTRACT

• Mise en pratique : « Multisig »
• Mise en pratique : « Proxy »
• Interactions entre smart contracts et « polymorphism »

Formation avec apports théoriques, complétés de travaux pratiques.

Toutes nos formations sont animées par des consultants-formateurs expérimentés et reconnus par leurs pairs.