Service
Nous lisons vos contrats comme le ferait un attaquant, manuellement, ligne par ligne, avec le contexte économique, et vous remettons un rapport contre lequel votre équipe peut livrer.
Ce que vous obtenez
Un rapport écrit clair qui classe chaque finding, l'évidence derrière, et le chemin de remédiation, défendable devant vos investisseurs et votre communauté.
Périmètre
Des auditeurs seniors lisent chaque ligne du code dans le périmètre, en cherchant les patterns que les outils automatisés ratent : défauts de logique économique, hypothèses sur les oracles, interactions entre contrats, risques sur le chemin d'upgrade, access control sur les fonctions privilégiées.
Slither, Mythril, Echidna, invariants Foundry, nous lançons l'outillage, mais traitons les sorties comme un point de départ, pas une conclusion. Les faux positifs sont filtrés ; les propriétés manquantes sont écrites.
Avant de lire le code, nous construisons un modèle de ce que fait votre protocole, qui l'attaquerait, et quelle est la cible la plus précieuse. L'audit cible ensuite ces zones avec une attention disproportionnée.
Une fois vos corrections appliquées, nous re-auditons le code modifié. Le rapport final reflète l'état post-correctif, pas les findings initiaux, c'est ce que votre communauté et vos investisseurs veulent lire.
Livrables
Calendrier. La plupart des missions durent 2 à 4 semaines selon le périmètre. Le re-audit ajoute 3 à 5 jours. Nous ne précipitons pas un mainnet.
FAQ
Complexité du code, lignes de Solidity dans le périmètre, nouveauté du design, ampleur des intégrations externes. Nous faisons un court appel technique et revenons avec une proposition à prix fixe, pas de surprise au taux horaire.
Uniquement avec votre accord. Beaucoup de clients demandent à publier ; certains demandent l'inverse. Les deux sont valables.
À lire
Combien coûte un audit de smart contract en 2026, par périmètre, par complexité, par chaîne, et les compromis derrière les devis low-cost que les équipes protocole devraient vérifier avant de signer.
Lire l'article →
Ce qu'un audit DeFi crédible couvre réellement, revue manuelle, tests d'invariants, threat modeling, et les questions à poser avant de signer la mission.
Lire l'article →
La sécurité des stablecoins en 2026 couvre trois couches : la gestion des réserves, la conformité MiCA, et le smart contract qui mint et burn. Vue d'ensemble pour les émetteurs, intégrateurs et équipes protocole qui détiennent des stables.
Lire l'article →
Glossaire
Audit de Smart Contract
Revue manuelle et automatisée du code d'un smart contract pour identifier les failles de sécurité avant le déploiement.
Reentrancy
Classe de vulnérabilité où un appel externe permet à un attaquant de ré-entrer dans la fonction appelante avant que son état ne soit mis à jour.
Rug Pull
Arnaque de sortie où l'équipe derrière un projet drain la liquidité ou vole les fonds et abandonne le projet.
Flash Loan
Prêt de capital qui doit être emprunté et remboursé dans une seule et même transaction.
