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
- Identifier les enjeux et missions de la fonction de manager
- Utiliser des outils opérationnels d'animation d'équipe
- Pratiquer les techniques de communication efficace vis-à-vis de son équipe
| Tarif |
A partir de 1 390,00 € |
| Durée |
2j / 14h |
| Modes |
|
Objectifs de la formation
A l'issue de cette formation, vous serez capable de :
- Gérer et utiliser l'environnement de développement basé sur Eclipse et ADT (ABAP Development Tool)
- Créer des packages et des programmes ABAP
- Définir et utiliser des variables simples, des structures et des tables internes
- Reconnaître et utiliser les structures contrôle du langage ABAP
- Utiliser le debugger
- Créer et développer des classes ABAP objet
- Lire des données de la base de données
- Décrire des mises à jour de la base en utilisant des Objets Applicatifs
- Décrire le modèle de programmation applicatif ABAP RESTful.
| Tarif |
A partir de 3 280,00 € |
| Durée |
4j / 28h |
| Modes |
|
Objectifs de la formation
À l’issue de cette formation, les participants seront en mesure de :
- Maîtriser les bases et les techniques avancées du management d’équipe,
- Adapter leur style de management en fonction des besoins et des profils des collaborateurs,
- Favoriser la communication et l’écoute active pour prévenir et résoudre les conflits,
- Améliorer la motivation et l’engagement des membres de l’équipe,
- Mettre en place des méthodes de suivi et d’évaluation des performances efficaces,
- Développer un environnement de travail collaboratif et respectueux pour stimuler la productivité.
| Tarif |
Contacter l'organisme |
| Durée |
48 à 64 heures selon les besoins |
| Modes |
|
Développer son efficacité relationnelle avec Executive Profiler
Proposé par CIT FORMATION INFORMATIQUEObjectifs de la formation
Executive Profiler est un puissant outil de Diagnostic comportemental qui vous permettra de prendre conscience de votre fonctionnement et par miroir de ceux des autres sous 2 angles hors pression et sous pression. Cette formation s’adresse à toute personne qui souhaite développer son efficacité relationnelle en s’appuyant sur son Talent et en prenant en compte la personnalité des membres de son équipe :
- Prendre conscience de ses modes de fonctionnement et de ceux de son équipe
- Identifier son style de management
- Améliorer son efficacité relationnelle et sa performance managériale.
- Trouver les clés pour évoluer dans ses rapports avec ses collaborateurs et faciliter ses relations.
- Accroître son impact sur les autres par la valorisation des Talents.
| Tarif |
A partir de 1 155,00 € |
| Durée |
2 jour(s) |
| Modes |
|
Objectifs de la formation
- Différencier les contrôles
- Identifier les missions
- Agir pour la promotion de la démarche qualité
| Tarif |
A partir de 1 390,00 € |
| Durée |
2j / 14h |
| Modes |
|
Objectifs de la formation
- Donner du sens à l'action et orienter l'engagement
- Savoir structurer et adopter des modes de collaboration partagés par tous les acteurs de l'entreprise / d'un service
- Gérer la complexité de l'organisation
- Gérer la diversité des situations
| Tarif |
A partir de 1 390,00 € |
| Durée |
2j / 14h |
| Modes |
|
Objectifs de la formation
- Aborder avec confiance les négociations à enjeu.
- Mettre en œuvre sa tactique de négociation.
- Sortir du rapport de forces.
- Réussir face à des négociateurs difficiles.
| Tarif |
A partir de 1 470,00 € |
| Durée |
2 jours (14 heures) |
| 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 |
2 jours (14 heures) |
| Modes |
|
Objectifs de la formation
À l'issue de cette formation BIRT avancé, vous aurez acquis les connaissances et compétences nécessaires pour :
- Être capable de mettre en place l'environnement de développement Eclipse
- Savoir développer des gestionnaires d'évènements Java ou JavaScript
- Comprendre comment intégrer les fonctionnalités de reporting de BIRT dans des applications
- Savoir déployer et distribuer ces applications
| Tarif |
Contacter l'organisme |
| Durée |
2j / 14h |
| Modes |
|
Objectifs de la formation
- Décrypter le potentiel et les différents leviers offerts par les réseaux sociaux
- Identifier ses cibles et investir les bons réseaux sociaux pour gagner en visibilité
- Se fixer des objectifs et mobiliser les ressources nécessaires pour le déploiement de cette stratégie social media
| Tarif |
A partir de 1 490,00 € |
| Durée |
2j / 14h |
| Modes |
|
