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

Type de formation

Formation à distance

Durée de formation

28 heures (4 jours)

Tezos - Apprendre à développer sur Tezos


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