Formation Scilla

Programme de notre formation Scilla

Introduction à Scilla et à la blockchain Zilliqa

• Présentation de Scilla et rôle dans l’écosystème Zilliqa
• Historique et philosophie de conception
• Différences avec Solidity et autres langages de smart contracts
• Architecture de Zilliqa et lien avec Scilla
• Environnement de développement et outils nécessaires
• Atelier : configuration d’un environnement Scilla et compilation d’un premier contrat

Bases du langage Scilla

• Syntaxe et structure d’un contrat Scilla
• Types de données et variables
• Fonctions, paramètres et retours
• Gestion des erreurs et exceptions
• Limitations et bonnes pratiques
• Atelier : écriture d’un contrat simple de stockage

Gestion de l’état et transitions

• Modèle stateful de Scilla
• Définir et modifier l’état
• Transitions d’état et conditions
• Persistance des données sur la blockchain
• Exemple : contrat de vote
• Atelier : implémentation d’un système de vote

Sécurité dans Scilla

• Vérification formelle et prévention des bugs
• Gestion des accès et autorisations
• Bonnes pratiques de codage sécurisé
• Vulnérabilités fréquentes et parades
• Outils d’audit et d’analyse
• Atelier : audit et correction d’un contrat vulnérable

Interaction avec la blockchain Zilliqa

• Déploiement d’un contrat sur testnet/mainnet
• Utilisation de la Zilliqa CLI et des SDK
• Lecture/écriture on‑chain
• Gestion du gaz et optimisation
• Surveillance et journalisation
• Atelier : déploiement et test d’un contrat sur testnet

Contrats complexes et modularité

• Structuration en modules et fonctions réutilisables
• Intégration avec d’autres contrats Scilla
• Utilisation de bibliothèques et templates
• Patterns de conception courants
• Gestion de la complexité et lisibilité
• Atelier : création d’un contrat modulaire multi‑fonctionnalités

Intégration Web et dApps

• Connexion d’un contrat Scilla à une application web
• Utilisation des API Zilliqa
• Communication via JavaScript/TypeScript
• Intégration avec frameworks web
• Déploiement d’une interface utilisateur
• Atelier : mini dApp interagissant avec un contrat Scilla

Tests, débogage et optimisation

• Écriture de tests unitaires pour Scilla
• Outils de test et de simulation
• Stratégies de débogage
• Optimisation des performances
• Réduction des coûts en gaz
• Atelier : tester et optimiser un contrat existant

Mise en production et bonnes pratiques

• Processus complet de mise en ligne
• Suivi et maintenance des contrats
• Mise à jour et migration
• Documentation et communication
• Checklist de sécurité avant production
• Atelier : mise en production d’une dApp complète