Française et publique de son état, 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.

Tezos a par ailleurs été écrit dans le langage fonctionnel OCaml, réputé pour sa sécurité grâce à sa capacité à écrire des programmes informatiques proches des formules de la logique mathématique.

À travers des exercices concrets, cette formation Tezos vous propose de préparer un environnement puis d’apprendre à faire tourner un nœud de blockchain, et de développer, tester, déployer et interagir avec des smarts contracts. La formation vous permettra aussi de mieux comprendre Ligo et le langage Michelson.

Objectifs opérationnels :

Savoir développer des smart contracts sur la Blockchain Tezos.
Savoir construire des architectures de contrats répondant aux divers besoins fonctionnels.

Objectifs pédagogiques :

À l’issue de cette formation Tezos, vous serez à même 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 patterns simples de smart contracts

Public :

Ce cours Tezos s’adresse aux développeurs, architectes et ingénieurs concepteurs.

 

Prérequis :

Pour suivre cette formation Tezos, il est nécessaire d’avoir des connaissances de l’environnement Linux (ssh, bash) et de connaître au moins un langage de programmation.

Il est également demandé d’avoir suivi la formation La Blockchain – État de l’art et cas concrets (DBEA) ou de posséder les connaissances équivalentes.

 

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 (deuxième partie)

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 »

Les travaux pratiques représentent 70% du temps de formation.