Aperçu du cours
Tezos est une blockchain publique de son état et française. Elle est reconnue pour sa sécurité, elle apporte aussi à l’utilisateur des nouveautés comparée aux autres blockchains. Cette formation vous permettra de découvrir et de manipuler cet outil.
Prérequis
- Avoir suivi les formations introductives à la Blockchain (« Blockchain – Comprendre son fonctionnement et ses enjeux » ou « Blockchain – L’essentiel pour son adoption ») ou avoir des connaissances équivalentes.
- Connaissance en environnement Linux
- Maîtrise d’un langage de programmation
Objectifs pédagogiques
- Découvrir les notions de base de Tezos
- Initialiser Tezos
- Apprendre à écrire un code de smart contract sécurisé
- Coder un Smart Contract en Ligo
- Déployer un Smart Contract avec Michelson
- Interagir avec un smart contract déployé
- Coder et déployer une application sur Tezos
Public ciblé
- Développeurs, Architectes, Ingénieurs concepteurs
Programme de formation
-
Introduction à Tezos et à la Blockchain
-
Introduction
-
Historique & enjeux
-
Architecture
-
Gouvernance en chaîne
-
Discussion vérification formelle
-
-
Les interactions sous Tezos
-
Initialisation de Tezos
-
Lancement d’un nœud
-
Outil de ligne de commande
-
Interactions par HTTP
-
Travaux pratiques: création de nœuds et d’interactions
-
-
Présentation du langage Michelson
-
Les Smart Contracts
-
Langage et commandes
-
Point d’accès & typage
-
Travaux pratiques: construction d’un smart contract
-
-
Ligolang
-
La programmation fonctionnelle
-
Langage & storage
-
Entrypoint
-
Transaction
-
Outil transpilation
-
Best practices
-
Fonctions anonymes
-
Travaux pratiques: création d’un smart contract sur Ligo
-
-
Tests unitaires
-
Mise en place
-
Utilisation de pyTezos
-
Paramètres d’appels & de storage
-
Les exceptions
-
Travaux pratiques: réalisation de tests unitaires sur des smart contracts
-
-
Déploiement et invocation d'un Smart contract
-
Mise en place des paramètres et du storage
-
Comptes & faucets
-
Simulation de déploiement et gaz
-
Déploiement / baking
-
Mise en place des paramètres d’invocation
-
Exécution de l’invocation
-
Travaux pratiques: déploiement de smart contracts et invocation
-
-
La vérification formelle
-
Coq et Mi-Cho-Coq
-
Démarche et modélisation
-
Travaux pratiques: exemple de vote
-
-
Librairie SmartPy
-
Introduction à SmartPy
-
Travaux pratiques: exemple de code
-
-
Pattern de smart contracts
-
Multisignature transaction
-
Interaction entre smart contract et polymorphism
-
Instructeur
