J'auditerai votre contrat intelligent Solidity pour détecter les vulnérabilités de sécurité

Une faille de contrat intelligent peut mettre en danger les fonds et les utilisateurs. J’examine le code Solidity pour les enjeux de sécurité et de logique, puis je propose à votre équipe une voie priorisée pour les corriger avant le déploiement.

J’analyse le contrôle d’accès, les attaques par réentrance, les appels externes, la logique des tokens et des transferts, la capacité de mise à niveau, les risques de déni de service, les opérations arithmétiques et les problèmes de dépendances ou de configuration. L’examen manuel est complété par des outils appropriés tels que Slither et les vérifications OpenZeppelin. Les constatations incluent la gravité, l’emplacement du code, l’impact, une explication reproductible lorsque cela est possible et les remédiations recommandées.

Single Contract couvre un contrat jusqu’à 300 lignes sources. Multi-Contract Audit couvre jusqu’à trois contrats et 1 000 lignes. Audit and Fixes couvre jusqu’à cinq contrats et 2 000 lignes, met en œuvre jusqu’à dix corrections convenues et les revérifie. Standard et Premium incluent un rapport PDF formaté ; Premium inclut le rapport original et le rapport de révision. Il n’y a pas de surveillance continue inclus.

Il s’agit d’un audit indépendant, et non d’une garantie que le code est sans risque. Partagez le dépôt, la chaîne, le comportement prévu et le statut des tests avant de commander afin que je puisse confirmer l’étendue et le délai.