Formation Tezos - Apprendre à développer sur Tezos
Public admis
- Salarié en Poste
- Demandeur d'emploi
- Entreprise
- Etudiant
Financements
Eligible CPF Votre OPCO Financement personnel
Objectifs de la formation
À 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
| Tarif |
Contacter l'organisme |
| Durée | 4 jours (28h) |
| Modes |
|
| Sessions | |
| Lieux | Partout en France |
| Tarif |
Contacter l'organisme |
| Durée | 4 jours (28h) |
| Modes |
|
| Sessions | |
| Lieux | Partout en France |
Description
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.
Programme
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 »
Prérequis
Public
Ces formations pourraient vous intéresser
Objectifs de la formation
• Organiser un service achat performant
• Identifier les enjeux de la mise en place de tableaux de bord de suivi des achats
• Développer des outils de suivi et de contrôle des achats
| Tarif |
A partir de 1 400,00 € |
| Durée |
Nous contacter |
| Modes |
|
Objectifs de la formation
À l'issue de cette formation Communication RH, vous aurez acquis les connaissances et les compétences nécessaires pour :
- Dresser l'état des lieux de sa communication actuelle
- Intégrer la communication dans le travail quotidien du service RH
- Optimiser sa communication et l'adapter selon les situations (informations légales, actions de sensibilisation et de formation…)
- Mettre en œuvre une communication pour accompagner le changement
| Tarif |
A partir de 1 550,00 € |
| Durée |
2j / 14h |
| Modes |
|
Objectifs de la formation
- S'approprier le cadre juridique relatif à la non-discrimination
- Repérer les situations et comportements à risque
- Prévenir toutes formes de discriminations à l'embauche
| Tarif |
A partir de 1 390,00 € |
| Durée |
1j / 7h |
| Modes |
|
Objectifs de la formation
- Pendant la formation, le formateur évalue la progression pédagogique des participants via des QCM, des mises en situation et des travaux pratiques. Les participants passent un test de positionnement avant et après la formation pour valider leurs compétences acquises.
| Tarif |
Contacter l'organisme |
| Durée |
3 jours (21 heures) |
| Modes |
|
Objectifs de la formation
• Identifier les enjeux de l'autonomie
• Développer la confiance en soi
• Etre autonome dans la définition des priorités
| Tarif |
A partir de 1 400,00 € |
| Durée |
Nous contacter |
| Modes |
|
Objectifs de la formation
À l'issue de cette formation Coach Agile ICP-ACC vous aurez acquis les connaissances et compétences nécessaires pour :
- Comprendre ce qu’est le coaching agile
- Se positionner en tant que coach au travers de modèles de compétences
- Savoir sélectionner et utiliser des outils/modèles adaptés aux situations rencontrées
- Obtenir la certification "Agile coaching" (ICP-ACC) d’ICAgile
| Tarif |
A partir de 2 280,00 € |
| Durée |
3j / 21h |
| Modes |
|
Objectifs de la formation
L'objectif de cette formation «Android : Développer des applications Mobiles» est de vous faire acquérir les connaissances et les compétences pour :
- Découvrir la plateforme Android et les outils de développement
- Maîtriser l’architecture MVVM d’une application Android
- Développer des interfaces utilisateurs pour vos applications
- Extraire et sauvegarder les données de votre application Android
- Faire communiquer votre application (tâches (a)synchrones, services, utilisateur, etc.)
- Utiliser les spécificités d’un smartphone Android (capteur, appels, SMS, son, photos, géolocalisation, etc.)
| Tarif |
A partir de 2 590,00 € |
| Durée |
5j / 35h |
| Modes |
|
Objectifs de la formation
Transposer les principales clés de la communication d’influence dans son quotidien professionnel et développer des réflexes d’influence faciles à mettre en place
Muscler sa force de persuasion et guider ses interlocuteurs pour qu’ils prennent la bonne décision
s’évaluer à partir de mises en situation.
| Tarif |
A partir de 29,00 € |
| Durée |
265 minutes |
| Modes |
|
Objectifs de la formation
• Savoir prendre la parole face à un groupe
• Apprendre à animer et conduire un groupe en formation
• Savoir gérer les groupes difficiles
| Tarif |
A partir de 1 400,00 € |
| Durée |
Nous contacter |
| Modes |
|
Objectifs de la formation
Niveau de Maturité 3 : Systémique Le niveau 3 représente l’intégration. Souvent appelé « systémique », ce niveau intègre les bonnes pratiques d’ingénierie, de processus et de ressources humaines. Concrètement à la fin de cette formation vous saurez:
- Identifier la caractéristique du niveau et identifier les enjeux.
- Connaître les composants suivants les représentations.
- Analyser les secteurs clé du niveau, ainsi que les composants spécifiques et génériques de chaque secteur clé.
- Confirmer le choix de la démarche par étape ou continue.
| Tarif |
Contacter l'organisme |
| Durée |
2j / 14h |
| Modes |
|
