Support & Downloads

Quisque actraqum nunc no dolor sit ametaugue dolor. Lorem ipsum dolor sit amet, consyect etur adipiscing elit.

s f

Contact Info
198 West 21th Street, Suite 721
New York, NY 10010
youremail@yourdomain.com
+88 (0) 101 0000 000
Follow Us

Tezos - Apprendre à développer sur Tezos

réf : BLK-TZ
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 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

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

Public concerné

    Développeurs, Architectes, Ingénieurs concepteurs

Programme

  • Introduction
  • Historique & enjeux
  • Architecture
  • Gouvernance en chaîne
  • Discussion vérification formelle
  • 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

  • Les Smart Contracts
  • Langage et commandes
  • Point d’accès & typage

Travaux pratiques

Construction d’un smart contract

  • La programmation fonctionnelle
  • Langage & storage
  • Entrypoint
  • Transaction
  • Outil transpilation
  • Best practices
  • Fonctions anonymes

Travaux pratiques

Création d’un smart contract sur Ligo

  • 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

  • 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

  • Coq et Mi-Cho-Coq
  • Démarche et modélisation

Travaux pratiques

Exemple de vote

  • Introduction à SmartPy

Travaux pratiques

Exemple de code

  • Multisignature transaction
  • Interaction entre smart contract et polymorphism

Équipe pédagogique

Professionnel expert dans la Blockchain

Moyens pédagogiques et techniques

  • Espace intranet de formation.
  • Documents supports de formation projetés.
  • Exposés théoriques
  • Étude de cas concrets
  • Mise à disposition en ligne de documents supports à la suite de la formation.

Dispositif de suivi

  • Émargement numérique.
  • Mises en situation.
  • Formulaires d’évaluation de la formation.
  • Certificat de réalisation de l’action de formation.

Vous avez une question ?

    Jours

    4 (28 heures)

    Prix

    2600 € HT

    Télécharger