J'auditerai un contrat intelligent Solidity pour les vulnérabilités de sécurité

Je propose une revue manuelle de sécurité et une analyse de code pour les contrats intelligents Solidity, en me concentrant sur les problèmes réels et exploitables plutôt que sur des vérifications superficielles.

Ce que je vérifie :

Risques liés au contrôle d'accès et à l'escalade de privilèges

Logique de comptabilité / registre et violations d'invariants

Reentrancy, erreurs d'arrondi et incohérences d'état

Fonctionnement des coffres (ERC-4626 / ERC-7540) et manipulation du prix des parts

Incompatibilités entre la logique métier et la spécification documentée

Ma méthode est rigoureuse : je lis l'intégralité du contrat et toute documentation disponible, je cartographie les invariants attendus, puis je vérifie chaque fonction modifiant l'état par rapport à eux. Chaque rapport comprend une description claire de la vulnérabilité, une évaluation de l'impact et une recommandation concrète de correction.

Je construis activement mon expérience via des concours d'audit (Sherlock) et je prends en charge des travaux d'examen indépendants avec la même rigueur.

Envoyez-moi votre(s) contrat(s) ou un lien vers le dépôt, et je vous reviendrai avec une portée et un calendrier avant de commencer.