Description
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
Public concerné
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
Déroulé du programme
1
Introduction à Tezos et à la Blockchain
- Introduction
- Historique & enjeux
- Architecture
- Gouvernance en chaîne
- Discussion vérification formelle
2
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
3
Présentation du langage Michelson
- Les Smart Contracts
- Langage et commandes
- Point d’accès & typage
- Travaux pratiques: construction d’un smart contract
4
Ligolang
- La programmation fonctionnelle
- Langage & storage
- Entrypoint
- Transaction
- Outil transpilation
- Best practices
- Fonctions anonymes
- Travaux pratiques: création d’un smart contract sur Ligo
5
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
6
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
7
La vérification formelle
- Coq et Mi-Cho-Coq
- Démarche et modélisation
- Travaux pratiques: exemple de vote
8
Librairie SmartPy
- Introduction à SmartPy
- Travaux pratiques: exemple de code
9
Pattern de smart contracts
- Multisignature transaction
- Interaction entre smart contract et polymorphism
Informations
Durée
4 jour(s)
28h
Tarif
2600 € HT
HT
Formations similaires
Blockchain
Blockchain - L'essentiel pour son adoption
3 jour(s)
2200 € HT
Blockchain
Ethereum - Apprendre à concevoir et développer
4 jour(s)
2600 € HT
Blockchain
Exploiter la blockchain dans un contexte de cybersécurité
3 jour(s)
2200 € HT
Blockchain
Hyperledger – Apprendre à développer sur Hyperledger
3 jour(s)
2200 € HT