Détails
- 18 Sections
- 82 Lessons
- 28 heures
Expand all sectionsCollapse all sections
- Introduction à Tezos et à la Blockchain5
- 1.1Introduction
- 1.2Historique & enjeux
- 1.3Architecture
- 1.4Gouvernance en chaîne
- 1.5Discussion vérification formelle
- Introduction à Tezos et à la Blockchain5
- 2.1Introduction
- 2.2Historique & enjeux
- 2.3Architecture
- 2.4Gouvernance en chaîne
- 2.5Discussion vérification formelle
- Les interactions sous Tezos5
- 3.1Initialisation de Tezos
- 3.2Lancement d’un nœud
- 3.3Outil de ligne de commande
- 3.4Interactions par HTTP
- 3.5Travaux pratiques: création de nœuds et d’interactions
- Les interactions sous Tezos5
- 4.1Initialisation de Tezos
- 4.2Lancement d’un nœud
- 4.3Outil de ligne de commande
- 4.4Interactions par HTTP
- 4.5Travaux pratiques: création de nœuds et d’interactions
- Présentation du langage Michelson4
- 5.1Les Smart Contracts
- 5.2Langage et commandes
- 5.3Point d’accès & typage
- 5.4Travaux pratiques: construction d’un smart contract
- Présentation du langage Michelson4
- 6.1Les Smart Contracts
- 6.2Langage et commandes
- 6.3Point d’accès & typage
- 6.4Travaux pratiques: construction d’un smart contract
- Ligolang8
- 7.1La programmation fonctionnelle
- 7.2Langage & storage
- 7.3Entrypoint
- 7.4Transaction
- 7.5Outil transpilation
- 7.6Best practices
- 7.7Fonctions anonymes
- 7.8Travaux pratiques: création d’un smart contract sur Ligo
- Ligolang8
- 8.1La programmation fonctionnelle
- 8.2Langage & storage
- 8.3Entrypoint
- 8.4Transaction
- 8.5Outil transpilation
- 8.6Best practices
- 8.7Fonctions anonymes
- 8.8Travaux pratiques: création d’un smart contract sur Ligo
- Tests unitaires5
- 9.1Mise en place
- 9.2Utilisation de pyTezos
- 9.3Paramètres d’appels & de storage
- 9.4Les exceptions
- 9.5Travaux pratiques: réalisation de tests unitaires sur des smart contracts
- Tests unitaires5
- 10.1Mise en place
- 10.2Utilisation de pyTezos
- 10.3Paramètres d’appels & de storage
- 10.4Les exceptions
- 10.5Travaux pratiques: réalisation de tests unitaires sur des smart contracts
- Déploiement et invocation d'un Smart contract7
- 11.1Mise en place des paramètres et du storage
- 11.2Comptes & faucets
- 11.3Simulation de déploiement et gaz
- 11.4Déploiement / baking
- 11.5Mise en place des paramètres d’invocation
- 11.6Exécution de l’invocation
- 11.7Travaux pratiques: déploiement de smart contracts et invocation
- Déploiement et invocation d'un Smart contract7
- 12.1Mise en place des paramètres et du storage
- 12.2Comptes & faucets
- 12.3Simulation de déploiement et gaz
- 12.4Déploiement / baking
- 12.5Mise en place des paramètres d’invocation
- 12.6Exécution de l’invocation
- 12.7Travaux pratiques: déploiement de smart contracts et invocation
- La vérification formelle3
- 13.1Coq et Mi-Cho-Coq
- 13.2Démarche et modélisation
- 13.3Travaux pratiques: exemple de vote
- La vérification formelle3
- 14.1Coq et Mi-Cho-Coq
- 14.2Démarche et modélisation
- 14.3Travaux pratiques: exemple de vote
- Librairie SmartPy2
- 15.1Introduction à SmartPy
- 15.2Travaux pratiques: exemple de code
- Librairie SmartPy2
- 16.1Introduction à SmartPy
- 16.2Travaux pratiques: exemple de code
- Pattern de smart contracts2
- 17.1Multisignature transaction
- 17.2Interaction entre smart contract et polymorphism
- Pattern de smart contracts2
- 18.1Multisignature transaction
- 18.2Interaction entre smart contract et polymorphism
