▷ Offre de Formation Introduction aux smart contracts et à Solidity avec CODE RECKONS

Public admis

Salarié en poste

Demandeur d'emploi

Entreprise

Etudiant

Prix

Nous contacter

Durée

3 jours

Niveau visé

Non diplômante

Certifications

Datadock Qualiopi

Localité

En présentiel

Découvrez les localités disponibles pour suivre cette formation en présentiel.

Objectifs

Objectif pédagogique :

L'objectif de cette formation est d'apprendre aux apprenants à écrire, tester et déployer des contrats intelligents et sécurisés à l'aide de Solidity sur Ethereum.

Bénéfices attendus :

• Comprendre les contrats intelligents et leur fonctionnement sur Ethereum.
• Écrire et déployer des contrats intelligents basés sur Solidity.
• Utiliser les fonctionnalités de Solidity telles que les types de données, les structures de contrôle et le contrôle d’accès.
• Éviter les vulnérabilités courantes telles que la réentrance et les débordements.
• Tester et déployer des contrats sur les réseaux de test Ethereum.

Public :

Ingénieurs, techniciens et scientifiques désirant s’initier aux smart contracts et à Solidity.

Programme

I. Introduction aux Smart Contracts et à Solidity

Qu’est-ce qu’un smart contract ?
Utilisation dans le monde réel.
Aperçu rapide d’Ethereum.
Notions clés : EVM, gas, transactions.
Comment les contrats sont stockés et appelés sur Ethereum.

II. Syntaxe de base et types

Syntaxe et structure d’un contrat.
Types de données de base.
Écriture de fonctions en Solidity.

III. Types avancés

Tableaux.
Structs.
Mappings.

IV. Stockage dans un Smart Contract

memory, storage, call data.

V. Structures de contrôle

if, else.
Boucles for.
Boucles while et do.
Instructions break et continue.

VI. Les évènements

VII. Gestion des erreurs

Utilisation de require, assert, revert.

VIII. Concepts avancés en Solidity

Contrôle d’accès et modificateurs de fonction.
Interfaces.
Héritage.

IX. Erreurs courantes dans les Smart Contracts

Reentrancy.
Overflows et underflows.
Bonnes pratiques.

X. Tester les Smart Contracts

Importance des tests pour les smart contracts.
Simuler un contrat et estimer la consommation de gas.
Déploiement sur un testnet.

Plateforme en ligne

haute disponibilité

Sur mesure

formation adaptée

Centre

À propos du centre CODE RECKONS

CODE RECKONS est une société de recherche informatique spécialiste de la performance et des architectures modernes. Nous mettons en valeur les dernières normes du langage C++, afin de faciliter l'intégration dans l'industrie de leurs dernières nouveautés.

À l'ISO (AFNOR) depuis 2014 pour sa participation la normalisation du langage, l'équipe de CODE RECKONS est une référence en France du langage C++.

Le projet CODE RECKONS s'est monté suite à des années d'expérience de la même équipe fondatrice, dans la prestation et l'analyse informatiques de très haute qualité. L'équipe a bénéficié d'une reconnaissance internationale auprès des plus grands comptes.

Notre offre repose sur notre expérience et sur une demande naissante chez tous nos clients.

Notre objectif est de vous rendre autonomes sur toute la chaîne de développement, à travers de la formation pour les outils (architectures, bibliothèques, Open Source...), de la formation de pointe sur la programmation informatique notamment en C++, et du pilotage de code.

PARCOURS SCIENTIFIQUES ET TECHNIQUES de la responsabilité pédagogique de CODE RECKONS

Joël FALCOU :

Ingénieur diplômé en informatique
Docteur en électronique et robotique de l'Université Blaise Pascal de Clermont-Ferrand
Maître de conférence HDR de l'Université Paris-Saclay
Membre du Comité National auprès de l'AFNOR pour l'ISO depuis 2011 en tant qu'expert C++
Créateur et Président de l'association C++FRUG, co-animateur du Meetup C++.
Présentateur dans de multiples conférences internationales comme BoostCon, C++Now, C++Russia, CppCON et Meeting C++
Président de CPPP (C++ Paris), le rendez-vous annuel francophone

Jean-Thierry LAPRESTÉ :

Thèse de troisième cycle en Mathématiques en 1973
Assistant en Mathématiques au département de Mathématiques appliquées de l'université Blaise Pascal de 1972 à 1981
Assistant en Mathématiques au département de Mathématiques appliquées à l'École Nationale Supérieure de Chimie de Clermont-Ferrand de 1981 à 1993
Habilitation à diriger des travaux de recherche (HDR) en 1992
Directeur de Recherche et membre du jury de multiples professeurs d'aujourd'hui
Professeur des Universités en 61ème section de septembre 1993 à 2010
Responsable des Mathématiques et de l'Informatique à l'École Nationale Supérieure de Chimie de Clermont-Ferrand
Professeur émérite depuis 2010
Auteurs de trois ouvrages en programmation informatique pour les ingénieurs