> Formations > Technologies numériques > Cybersécurité > Sécurité applicative > Formation Blockchain, développer sur Tezos > Formations > Technologies numériques > Formation Blockchain, développer sur Tezos
Formation référencée dans le catalogue Clé en main d’un OPCO

Formation : Blockchain, développer sur Tezos

Blockchain, développer sur Tezos

Télécharger au format pdf Partager cette formation par e-mail 2

Télécharger au format pdf Partager cette formation par e-mail 2

La blockchain Tezos se distingue des précédentes générations (Bitcoin, Ethereum) par trois caractéristiques principales : la gouvernance permettant l'auto-évaluation du protocole, le consensus Liquid Proof Of Stake et le développement des smart contracts avec le langage Michelson autorisant la vérification formelle.


Inter
Intra
Sur mesure

Cours pratique en présentiel ou en classe à distance

Réf. BKT
Prix : 2860 € H.T.
  4j - 28h00
Pauses-café et
déjeuners offerts
Financements




La blockchain Tezos se distingue des précédentes générations (Bitcoin, Ethereum) par trois caractéristiques principales : la gouvernance permettant l'auto-évaluation du protocole, le consensus Liquid Proof Of Stake et le développement des smart contracts avec le langage Michelson autorisant la vérification formelle.

Objectifs pédagogiques
À l’issue de la formation, le participant sera en mesure de :
  • 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 modèles simples de smart contracts

Public concerné
Développeurs, architectes, ingénieurs concepteurs.

Prérequis
Connaissances de l'environnement Linux (ssh, bash) et d’au moins un langage de programmation.
Vérifiez que vous avez les prérequis nécessaires pour profiter pleinement de cette formation en faisant  ce test.

Programme de la formation

La blockchain Tezos

  • Introduction à la blockchain et au consensus.
  • Architecture et enjeux.
  • Gouvernance en chaîne.
  • Discussion vérification formelle.
  • Les cas d'usage par segment (finance, énergie, logistique, agroalimentaire...).
  • Les interfaçages possibles de la blockchain avec d'autres technologies comme le big data, l'Internet des objets, l'IA.

Interactions avec la blockchain Tezos

  • Installation.
  • Lancement d'un nœud.
  • Outil de ligne de commande.
  • Interactions par HTTP.
Travaux pratiques
Création d'un nœud en sandbox et transactions.

Les langages Michelson et Ligolang

  • Michelson : smart contract (paramètres, storage, code).
  • Michelson : langage et commandes, point d'accès, typage.
Travaux pratiques
Exécution d’un exemple simple avec Michelson.

Le langage Ligolang (Pascaligo)

  • Les bases de la programmation fonctionnelle.
  • Le langage.
  • Storage, entrypoint, transaction.
  • Outil de transpilation.
  • Fonction anonyme.
  • Bonnes pratiques.
Travaux pratiques
Simulation d’un smart contract Ligo avec manipulation de counter smart contract, smart contrat de vote.

Tests unitaires

  • Paramètres d’appel et storage.
  • Gestion des exceptions.
  • Mise en place et utilisation de PyTezos.
Travaux pratiques
Manipulation avec counter smart contract.

Déploiement de smart contracts

  • Préparation des paramètres et storage.
  • Comptes et faucet.
  • Simulation du déploiement.
  • Déploiement/baking.
Travaux pratiques
Premier déploiement.

Invocation de smart contract

  • Préparation des paramètres d'invocation.
  • Exécution.
Travaux pratiques
Invocation et accès au storage.

Vérification formelle et modèle de smart contract avec Tezos

  • Coq et Mi-Cho-Coq.
  • Démarche et modélisation pour la vérification formelle.
  • La librairie SmartPy.
  • Interactions entre smart contracts et "polymorphism".
Travaux pratiques
Exemple de vote. Multisig et proxy.


Modalités pratiques
Travaux pratiques
Pédagogie déductive basée sur des échanges, des exemples, des démonstrations.

Modalités d'évaluation
Le formateur évalue la progression pédagogique du participant tout au long de la formation au moyen de QCM, mises en situation, travaux pratiques…
Le participant complète également un test de positionnement en amont et en aval pour valider les compétences acquises.

Solutions de financement
Pour trouver la meilleure solution de financement adaptée à votre situation : contactez votre conseiller formation.
Il vous aidera à choisir parmi les solutions suivantes :
  • Le plan de développement des compétences de votre entreprise : rapprochez-vous de votre service RH.
  • Le dispositif FNE-Formation.
  • L’OPCO (opérateurs de compétences) de votre entreprise.
  • Pôle Emploi sous réserve de l’acceptation de votre dossier par votre conseiller Pôle Emploi.
  • Le plan de développement des compétences de votre entreprise : rapprochez-vous de votre service RH.
  • Le dispositif FNE-Formation.
  • L’OPCO (opérateurs de compétences) de votre entreprise.
  • Pôle Emploi sous réserve de l’acceptation de votre dossier par votre conseiller Pôle Emploi.

Financement par les actions collectives ou clé en main
Jusqu’à 100% de prise en charge des frais pédagogiques de la formation dans la cadre des actions collectives ou des tarifs négociés avec les actions « clé en main » mises en place par les OPCO. Cliquez sur l’OPCO pour découvrir les modalités financières associées

Horaires
En présentiel, les cours ont lieu de 9h à 12h30 et de 14h à 17h30.
Les participants sont accueillis à partir de 8h45. Les pauses et déjeuners sont offerts.
En classe à distance, la formation démarre à partir de 9h.
Pour les stages pratiques de 4 ou 5 jours, quelle que soit la modalité, les sessions se terminent à 15h30 le dernier jour.

Dates et lieux
Sélectionnez votre lieu ou optez pour la classe à distance puis choisissez votre date.
Classe à distance