Format : Séminiaire
Répartition du temps : 30% exposés
70% pratique

La formation en détails

Description

Le Tezos est une crypto monnaie et une plateforme Blockchain de protocoles de registres décentralisés pour le développement de contrats intelligents ou smart contracts. La plateforme Tezos a été développée dans le langage fonctionnel OCaml principalement utilisé dans le domaine de la recherche, et connu pour sa fiabilité et sa capacité à écrire des programmes informatiques proches des formules de la logique mathématique.

Cette formation vous guidera jusqu'au développement de smart contracts sur la Blockchain Tezos. A travers des exercices concrets, vous apprendrez à préparer un environnement, mais aussi à faire tourner un nœud de blockchain, développer / tester / déployer / interagir avec des smart contrats. A la fin de cette session, vous aurez une compréhension solide de Ligo, et de comment faire des smart contrats Tezos, des notions de Michelson et de programmations fonctionnelles. A travers nos mises en pratique, vous saurez construire des architectures de contrats répondant aux divers besoins fonctionnels.

Objectifs

  • Appréhender les concepts de la Blockchain Tezos
  • Modéliser et créer un smart contract en Ligo
  • Mettre en place les tests unitaires sur un smart contract
  • Déployer un smart contract avec Michelson
  • Interagir avec un smart contract déployé
  • S'approprier des patterns simples de smart contracts

Public cible

  • Développeur
  • Architecte
  • Ingénieur concepteur

Prérequis

  • Connaissances de l'environnement Linux (ssh, bash)
  • Connaissance d'un langage de programmation
  • Avoir suivi le module “[R]évolution Blockchain” (SBLOC) ou disposer de connaissances équivalentes
  • Notions de programmation fonctionnelle (en option)

Modalités pédagogiques

Formation avec apports théoriques, complétés de travaux pratiques.
 

Profil du formateur

Toutes nos formations sont animées par des consultants-formateurs expérimentés et reconnus par leurs pairs.
 

Programme détaillé

Jour 1

BLOCKCHAIN : LES BASES DE LA DÉCENTRALISATION
  • Introduction
  • Consensus
  • Historique

BLOCKCHAIN TEZOS
  • Historique
  • Architecture
  • Enjeux
  • Gouvernance en chaîne
  • Discussion vérification formelle

BLOCKCHAIN TEZOS : INTERACTIONS
  • Installation
  • Lancement d’un noeud
  • Outil de ligne de commande
  • Interactions par http
  • Mise en pratique : «Noeud sandbox et transactions»

MICHELSON
  • Smart contract (paramètres, storage, code)
  • Langage et commandes
  • Point d'accès
  • Typage
  • Mise en pratique : «Exécution d’un exemple simple »

Jour 2

LIGOLANG (PASCALIGO)
  • Les base de la programmation fonctionnelle
  • Langage
  • Storage
  • Entrypoint
  • Transaction
  • Outil transpilation
  • Mise en pratique : «Counter smart contract»
  • Simulation d’un smart contract Ligo

TESTS UNITAIRES
  • Mise en place / Utilisation pyTezos
  • Paramètres d’appel et storage
  • Gestion des exceptions
  • Mise en pratique : « Counter smart contract »

DÉPLOIEMENT DE SMART CONTRACT
  • Préparation des paramètres et storage
  • Comptes et faucet
  • Simulation du déploiement et gaz
  • Déploiement / baking
  • Mise en pratique : « Premier déploiement »

INVOCATION DE SMART CONTRACT
  • Préparation des paramètres d’invocation
  • Exécution
  • Mise en pratique : « Invocation et accès au storage »

Jour 3

LIGOLANG (PART 2)
  • Bonnes pratiques
  • Mise en pratique : « smart contrat de Vote »
  • Fonction anonyme

INTRODUCTION À LA VÉRIFICATION FORMELLE AVEC TEZOS
  • Coq et Mi-cho-coq
  • Démarche et modélisation
  • Exemple Vote

INTRODUCTION À LA LIBRAIRIE SMARTPY
  • Présentation de SmartPy
  • Exemple de code

Jour 4

PATTERN DE SMART CONTRACT
  • Mise en pratique : « Multisig »
  • Mise en pratique : « Proxy »
  • Interactions entre smart contracts et « polymorphism »

Nos autres formations du domaine « Blockchain » Toutes les formations du domaine

Durée : 14 h / 2 j
Prochaine session : Sur demande
CORDA Développer des applications Blockchain avec Corda
Formation officielle : "Corda Developer Certification"
Meilleure vente Certifiant
Durée : 14 h / 2 j
Prochaine session : Sur demande

Besoin d'aide pour trouver votre formation ?

Contactez-nous

Sessions & Inscriptions

Session partagée avec d'autres organisations

Aucune session n'est programmée pour le moment 😕

N'hésitez pas à nous contacter pour signaler votre besoin !

Durée
28 h / 4 j

Contactez-nous Télécharger le programme

Organiser une session dédiée à votre organisation

Durée
28 h / 4 j

Vous avez plusieurs collaborateurs à former ?

Cette formation peut être organisée
sous la forme de sessions dédiées
aux membres de votre organisation.

Demandez un devis Contactez-nous Télécharger le programme

Personnaliser cette formation

Cette formation vous intéresse
et vous souhaitez l'adapter pour
vos collaborateurs ?

Nos formateurs et notre équipe pédagogique sont à
votre disposition pour en discuter
et vous proposer un programme sur-mesure.

Contactez-nous Télécharger le programme

OCTO Academy respecte votre vie privée

Ce site web stocke des informations vous concernant via le dépôt de cookie afin de mesurer l’audience du site. Ces données de navigation sont anonymisées.

En cliquant sur « OK pour moi », vous manifestez votre consentement pour le dépôt de ces cookies.

Lire la politique de confidentialité

À propos des cookies

Sur ce site, nous utilisons des cookies pour mesurer notre audience, entretenir la relation avec vous et vous adresser de temps à autre du contenu qualitif ainsi que de la publicité. Vous pouvez sélectionner ici ceux que vous autorisez à rester ici.

Cookies