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.
Programme d'études
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
