Tezos - Apprendre à développer sur Tezos
Formation créée le 20/05/2021. Dernière mise à jour le 21/12/2021.
Version du programme : 1
Programme de la formation
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.
Objectifs de la formation
- 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
Profil des bénéficiaires
Pour qui
- Développeurs, Architectes, Ingénieurs concepteurs
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
Contenu de la 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
Équipe pédagogique
Professionnel de la Blockchain
Suivi de l'exécution et évaluation des résultats
- Feuilles de présence
- Mises en situation
- Formulaires d'évaluation de la formation
- Certificat de réalisation de l’action de formation
- Émargement numérique
Ressources techniques et pédagogiques
- Documents supports de formation projetés
- Exposés théoriques
- Etude de cas concrets
- Mise à disposition en ligne de documents supports à la suite de la formation
- Espace intranet de formation
Qualité et satisfaction
Taux de satisfaction des stagiaires
Progression des compétences visées
Taux d'abandon
Taux de retour des enquêtes
Taux d'interruption en cours de prestation