On écrit d’abord la spécification : rôles, fonctions, événements, cas d’erreur. Je propose une architecture qui réutilise les briques OpenZeppelin éprouvées. Je développe le contrat avec Foundry et j’écris les tests, y compris des tests de propriétés sur les invariants. L’analyse statique complète la revue. Le contrat est déployé sur un réseau de test pour validation, puis en production avec vérification du code source. Je réalise cette prestation depuis Oran, à distance pour les autres wilayas. Outils utilisés : OpenZeppelin, Foundry, Slither, Solidity. Le délai de 14 jours court à partir du moment où j'ai tout ce qu'il faut.
Votre projet repose sur un contrat intelligent, mais une erreur une fois déployé ne se corrige pas facilement. Les exemples copiés depuis internet ne correspondent pas à vos règles.
Un contrat Solidity conforme à votre spécification, couvert par des tests unitaires et de propriétés, analysé avec Slither et déployé sur un réseau de test puis en production.
Assistance pendant un mois après le déploiement en production.
Les révisions prévues sont incluses ; au-delà, elles sont chiffrées avant d’être faites.
Une petite bibliothèque documentée qui implémente les méthodes du cours d'analyse numérique avec visualisation.
Un petit outil qui calcule le ferraillage d'une poutre en flexion simple et détaille chaque étape.
Une tâche manuelle bien définie, un script qui la fait seul, une notice pour le relancer.
Un petit outil qui calcule le ferraillage d'une poutre en flexion simple et détaille chaque étape.
