Formation Développer sur la Blockchain Tezos
Maîtrisez la blockchain Tezos en 4 jours : devenez expert en contrats intelligents sécurisés et construisez l’avenir de la tech !
Vue d'ensemble
Maîtrise d'au moins un langage de programmation (par exemple, Python, JavaScript ou équivalent).
Familiarité avec les principes de base de la blockchain.
Objectifs pédagogiques
Programme détaillé
Introduction à la blockchain Tezos
Objectif : Comprendre les principes fondamentaux de la technologie blockchain, explorer l’histoire et l’architecture de Tezos, et appréhender son modèle de gouvernance et son mécanisme de consensus Liquid Proof of Stake (LPoS).
Contenu : Vue d’ensemble de la technologie blockchain, introduction aux caractéristiques uniques de Tezos telles que l’auto-amendement, les composants de l’architecture (nœuds, stockage et protocoles), les processus de gouvernance et les mécanismes de consensus.
Mettre en place un noeud Tezos et interagir avec la blockchain en utilisant des outils en ligne de commande pour explorer ses composants principaux.
Développement de contrats intelligents Tezos : Michelson et Ligo
Objectif : Apprendre à écrire des smart contracts en Michelson et Ligo (Pascaligo), en se concentrant sur la syntaxe, le stockage, les points d’entrée et les transactions.
Contenu : Introduction à Michelson (langage à pile) et Ligo (langage de programmation fonctionnel), compréhension des spécificités de la blockchain, création de points d’entrée, gestion du stockage et des transactions.
Développer des smart contracts simples dans Michelson et Ligo, simuler le comportement des contrats, et s’entraîner à créer des points de stockage et d’entrée.
Test et déploiement des contrats intelligents
Objectif : Apprendre à tester les smart contracts en utilisant des frameworks de tests unitaires et déployer les contrats sur la blockchain Tezos.
Contenu : Explorer PyTezos comme cadre de test, simuler différents scénarios de transaction, gérer les paramètres des contrats, configurer les comptes et les robinets, et comprendre le processus complet de déploiement et de fabrication.
Ecrire des tests unitaires pour les smart contracts avec PyTezos, simuler des déploiements dans un environnement sandbox, et déployer un smart contract sur un testnet.
Interaction avec les smart contracts déployés
Objectif : Exécuter et gérer des interactions avec des smart contracts sur la blockchain.
Contenu : Appeler les contrats déployés avec des paramètres, accéder et modifier le stockage, et gérer les transactions entre les contrats.
Préparer et exécuter des invocations de contrats, interagir avec le stockage, simuler des interactions multi-contrats et valider les résultats des transactions.
Vérification formelle des contrats intelligents
Objectif : Appliquer des techniques de vérification formelle pour assurer la sécurité et la correction des contrats intelligents en utilisant des outils comme Coq et Mi-Cho-Coq.
Contenu : Introduction aux principes de la vérification formelle, présentation de Coq et Mi-Cho-Coq, modélisation des smart contracts, et vérification des propriétés telles que les invariants et la correction.
Modéliser et vérifier formellement un contrat simple, utiliser Coq pour établir des preuves de justesse, et explorer des cas de défaillance pour assurer la robustesse.
Patterns et meilleures pratiques dans le développement de contrats intelligents Tezos
Objectif : Apprendre les modèles de conception courants dans le développement de contrats intelligents et adopter les meilleures pratiques pour des contrats sûrs et efficaces.
Contenu : Explorer les patterns tels que les contrats multi-signatures et le polymorphisme des contrats, adopter les principes de la programmation fonctionnelle et utiliser la librairie SmartPy pour un développement efficace.
Implémenter un contrat multisignature, pratiquer le polymorphisme entre les contrats intelligents, et refactoriser le code en utilisant les outils SmartPy.
Applications pratiques et cas d'utilisation de Tezos
Objectif : Explorer les applications pratiques et les cas d’utilisation de la blockchain Tezos dans diverses industries.
Contenu : Analyser les applications de Tezos dans les domaines de la finance, de l’énergie, de la logistique et de l’agroalimentaire, discuter des opportunités d’affaires et évaluer des études de cas de projets réussis.
Brainstorming d’idées de dApp potentielles, ébauche d’architecture et de contrats intelligents alignés sur les besoins de l’industrie, et présentation de plans de projet pour commentaires des pairs.
Prochaines sessions
Ils nous font confiance
Cette année notre filière Décryptage & Tendances IT a accompagné plus de 11 entreprises dont :
Avis des participants
Très bonne formation pour avoir une connaissance basique de l'IA. Le formateur est clair dans ses explications et a su répondre à toutes nos questions.
Très bonne formation dispensée par Pierre. Il maitrise son sujet, il fait participer les personnes de manière à récolter leur besoin et le projette dans les principes abordés dans la formation de manière à obtenir quelque chose de personnalisé, c'est fort !
J'attendais une acculturation, démystifier le sujet. Comprendre certains acronymes et le contexte général de l'IA et du Machine Learning --> totalement satisfait. En 1 journée on ne peut pas devenir un Data Scientist ;-) Merci pour l'animation.
Très instructifs pour démystifier les modèles de données, le machine learning et le bigdata. Bien que technique la formation est adaptée à des profils métiers comme le mien à condition d'avoir un minimum d'appétence pour comprendre les grandes lignes des aspects techniques sans vouloir en…
Formation dense, beaucoup d'elements sont presentés. Tres intéressante dans tous ses aspects, répond bien a mes objectifs.
Des formateurs experts, reconnus par nos apprenants
Chez Sparks Formation, la qualité de nos formations repose sur l'expertise de nos formateurs et la satisfaction de nos apprenants.
Note moyenne attribuée par les participants à nos formateurs
formateurs experts partenaires
Sparks Formation
sujets IT délivrés chaque jour partout en France
Financement
Cette formation est éligible aux financements OPCO et FNE-Formation. Nos équipes vous accompagnent dans le montage de votre dossier.
Questions fréquentes
Combien de temps dure la formation Développer sur la Blockchain Tezos ?
Cette formation se déroule sur 4 jours.
Quels sont les prérequis pour suivre la formation Développer sur la Blockchain Tezos ?
Maîtrise d'au moins un langage de programmation (par exemple, Python, JavaScript ou équivalent). Familiarité avec les principes de base de la blockchain.
Quel est le prix de la formation Développer sur la Blockchain Tezos ?
En inter-entreprises, elle est à 3 000 € HT par participant ; en intra-entreprise, elle est à 8 200 € HT pour le groupe. Un tarif sur-mesure est également disponible sur devis.
La formation Développer sur la Blockchain Tezos délivre-t-elle une certification ?
Cette formation ne délivre pas de certification. Une attestation de fin de formation vous sera remise à l'issue de la session.
La formation Développer sur la Blockchain Tezos est-elle éligible à un financement OPCO ?
Oui, cette formation est éligible aux financements OPCO et FNE-Formation. Nos équipes vous accompagnent dans le montage de votre dossier.
Choisissez votre formation
Mon contact chez SPARKS est professionnel et très réactif. Les échanges sont simples, efficaces, et la collaboration se déroule dans d'excellentes conditions.