Audit de Contrats Intelligents.

Revue de securite independante du code source, de la configuration de deploiement et du modele economique d'un contrat intelligent avant lancement ou mise a niveau. Cette notion relève de la catégorie Web3 et blockchain en cybersécurité.

Revue de securite independante du code source, de la configuration de deploiement et du modele economique d'un contrat intelligent avant lancement ou mise a niveau.

Un audit de contrats intelligents combine une revue manuelle par des ingenieurs experimentes et des outils automatises comme Slither, Mythril, Echidna ou le fuzzing avec Foundry, souvent complete par de la verification formelle (Certora). Les auditeurs examinent les controles d'acces, l'arithmetique, la reentrance, les dependances aux oracles, les schemas de mise a niveau, l'optimisation du gas et les comportements economiques inattendus. Le livrable est un rapport classant les decouvertes par severite (critique, haute, moyenne, basse, informationnelle) avec des recommandations et une re-audit des correctifs. Parmi les firmes reputees : Trail of Bits, OpenZeppelin, ConsenSys Diligence, Code4rena (competitif) et Spearbit. L'audit reduit le risque mais ne l'elimine pas : bug bounty, monitoring et disjoncteurs restent necessaires.

Les défenses contre Audit de Contrats Intelligents combinent habituellement des contrôles techniques et des pratiques opérationnelles, comme détaillé dans la définition ci-dessus.

Noms alternatifs courants : Audit DeFi, Audit Solidity.