Formation Tezos - Apprendre à développer sur Tezos
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.
- 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
- Développeurs, Architectes, Ingénieurs concepteurs
- 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
- 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
Ils nous font Confiance
Nos partenaires de confiance
Questions fréquentes
FAQ : Formation Tezos - Apprendre à développer sur Tezos
Oui, mais la prise en charge d'une formation professionnelle par un OPCO dépend de votre opérateur de compétences, de votre branche d'activité et des critères de financement applicables. Ascent Formation vous accompagne dans l'identification des possibilités de financement adaptées à votre entreprise.
Une formation inter-entreprises réunit des participants issus de différentes organisations, tandis qu'une formation intra-entreprise est organisée pour les collaborateurs d'une même entreprise. Le format intra permet notamment d'adapter le contenu et les modalités aux besoins spécifiques de vos équipes.
Selon la formation proposée, il est possible de suivre une formation professionnelle à distance, en présentiel ou selon d'autres modalités disponibles. Consultez les informations de la session concernée ou contactez-nous pour connaître les formats possibles.
Oui, une formation professionnelle peut être adaptée aux objectifs, au niveau des participants et aux besoins opérationnels de votre entreprise. Ascent Formation vous propose des parcours personnalisés pour accompagner le développement des compétences de vos équipes.
Formations similaires
BlockchainFormation Blockchain - L'essentiel pour son adoption
BlockchainFormation Ethereum - Apprendre à concevoir et développer
BlockchainFormation Exploiter la blockchain dans un contexte de cybersécurité
Blockchain