Développer sur 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.

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.

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.

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.

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.

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.

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.