Formation Apprendre à développer sur la Blockchain Tezos.

Programme de formation Apprendre à développer sur la Blockchain Tezos.

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.

Exemples d’activités pratiques : 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.

Exemples d’activités pratiques : 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.

Exemples d’activités pratiques : 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.

Exemples d’activités pratiques : 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.

Exemples d’activités pratiques : 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.

Exemples d’activités pratiques : 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.

Exemples d’activités pratiques : 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.