Choisir un cabinet d’audit crypto : la grille de lecture 2026

Un rapport publié cet été par le cabinet de recherche en sécurité Ack3 contient un chiffre qui mériterait de rester affiché au-dessus du bureau de chaque fondateur de protocole. Sur les 68 projets audités qui se sont fait pirater au premier semestre 2026, 46 ont été vidés par une voie d’attaque située entièrement hors du périmètre de leur audit publié. Le montant parti par cette porte de service atteint près de 681 millions de dollars, environ 590 millions d’euros, soit 94,4 % de toutes les pertes subies par des victimes pourtant auditées.

Le message n’est pas que les audits sont inutiles. C’est que la mention affichée sur une page d’accueil, ce petit encart qui promet un code passé au crible, est devenue à elle seule une garantie presque vide. Un audit reste indispensable ; il n’a jamais suffi. Et l’écart entre les deux propositions se paie désormais en centaines de millions d’euros par semestre. Le problème n’est pas que les auditeurs seraient devenus mauvais : c’est que le code, l’infrastructure et les attaquants évoluent plus vite que le rituel de la relecture ponctuelle, et que le marché continue de vendre ce rituel comme un label de confiance.

Cet article n’est pas un classement de plus. C’est une grille de lecture pratique : six critères pour juger un cabinet d’audit avant de signer un devis, les cas récents qui montrent où même les meilleurs cabinets échouent, et les outils qui vous permettent de vérifier un auditeur par vous-même au lieu de croire son logo. Nous avons déjà examiné qui paie vraiment lorsque le code cède malgré un audit ; ici, l’enjeu se situe en amont, au moment du choix.

« Audité » ne veut plus dire « sûr » : ce que montre 2026

Trois maisons de recherche ont chiffré le premier semestre 2026, avec des méthodologies différentes et des totaux qui ne se recoupent pas exactement. Il faut les lire côte à côte plutôt que d’en choisir un seul. Ack3 a recensé 135 incidents vérifiés pour 939,86 millions de dollars, environ 810 millions d’euros, soit une perte moyenne de 6,96 millions de dollars par attaque. CertiK, dans son rapport Hack3d, avance un chiffre plus large : environ 1,3 milliard de dollars sur 344 incidents, ramenés à quelque 1,2 milliard nets après les fonds gelés ou récupérés. TRM Labs, enfin, a compté 207 attaques, un record, pour 972 millions de dollars, environ 840 millions d’euros, en baisse de 57 % par rapport aux 2,3 milliards du premier semestre 2025.

Le détail le plus instructif se cache dans la ventilation de TRM : les exploits de smart contracts représentent 125 des 207 incidents, mais les compromissions d’infrastructure et opérationnelles, à peine 15 % des incidents, concentrent près de 76 % de la valeur volée. Autrement dit, l’audit couvre le vecteur le plus fréquent, celui du code, pas le plus coûteux, celui des clés, des serveurs et des configurations. Les acteurs liés à la Corée du Nord ont pesé environ 66 % des pertes du semestre, dont quelque 577 millions de dollars sur les seuls dossiers Drift et KelpDAO d’avril.

Ces trois jeux de données ne se contredisent pas ; ils mesurent des choses différentes. Ce qui converge, en revanche, c’est la direction : le nombre d’attaques grimpe, la mention « audité » n’arrête plus rien à elle seule, et la valeur fuit par des portes que l’audit n’avait jamais promis de garder.

Ce qu’un audit couvre vraiment, et l’angle mort qu’il laisse

Un audit de smart contract est une revue manuelle, bornée dans le temps, d’un ensemble de fichiers de code défini à l’avance. Sur ce périmètre, un bon cabinet traque la logique métier fautive, la réentrance, les erreurs de contrôle d’accès, les dépassements d’entier et les failles d’arithmétique. C’est réel, c’est utile, et cela a évité d’innombrables catastrophes. Mais la liste de ce qui reste dehors est longue : la configuration de l’infrastructure (nœuds RPC, oracles, vérificateurs de messages inter-chaînes), les dépendances hors chaîne, le pipeline de build et le front-end, la gestion des clés privées, la conception économique et théorique du jeu, la gouvernance, les intégrations tierces, et tout code ajouté après le passage de l’auditeur.

Le hack de KelpDAO, le 18 avril 2026, en est l’illustration la plus nette. Ce protocole de restaking liquide, émetteur du rsETH, a perdu environ 292 millions de dollars, quelque 253 millions d’euros, sans qu’aucun bug de contrat n’entre en jeu. La cause racine était une configuration de vérificateur DVN LayerZero réglée sur un seul signataire, couplée à des nœuds RPC compromis, qui a permis de forger un message inter-chaînes. Dans son autopsie, OpenZeppelin résume la limite en une phrase : « Les contrats se sont comportés exactement comme ils avaient été écrits. » Le cabinet y ajoute la liste explicite de ce qu’un audit n’examine pas : la configuration des intégrations tierces, les points de défaillance uniques de l’infrastructure, le comportement des dépendances hors chaîne. Pour qui découvre la mécanique du restaking et de ses risques de sortie, notre dossier sur pourquoi sortir d’EigenLayer est devenu le vrai problème détaille ce terrain.

Cet angle mort n’a rien de théorique. Les compromissions matérielles et opérationnelles, celles qui échappent par nature à une relecture de code, ont drainé l’essentiel de la valeur en 2026. Le post-mortem d’un hack de portefeuille matériel sans coupable clair et la checklist multisig qui sépare la sécurité de l’illusion décrivent exactement ce type de faille : ni le code ni l’auditeur ne sont en cause, mais l’argent part quand même. Un cabinet honnête vous dira où s’arrête son mandat. Un mauvais cabinet vous laissera croire que sa signature couvre tout. La distinction est concrète : un bon rapport s’ouvre sur une section « périmètre » qui énumère noir sur blanc ce qui n’a pas été examiné, quand un mauvais livrable se contente d’un verdict rassurant sans jamais tracer ses propres limites.

Cetus : trois cabinets, une faille, et personne ne l’a vue

Si KelpDAO montre ce que l’audit ne promet pas de couvrir, Cetus montre ce qu’il promet de couvrir et rate quand même. Le 22 mai 2025, ce teneur de marché automatisé sur Sui a perdu environ 223 millions de dollars, quelque 193 millions d’euros, en moins de quinze minutes. La faille se logeait dans une fonction nommée checked_shlw, censée détecter un dépassement d’entier lors d’un décalage de bits. Son implémentation comparait la valeur fournie à 0xFFFFFFFFFFFFFFFF décalé de 192 bits, au lieu de 0x1 décalé de 192 bits ; certaines valeurs qui provoquaient bel et bien un overflow passaient donc le contrôle. L’attaquant a choisi une valeur de liquidité qui franchissait la vérification tout en déclenchant le dépassement dans le calcul.

Le point qui devrait glacer tout acheteur d’audit : cette fonction avait été relue trois fois. Selon la reconstitution de Halborn, l’audit de MoveBit en avril 2023 mentionnait la vérification des dépassements de valeur dans sa méthodologie, mais n’a pas identifié le motif précis. Celui d’OtterSec, en mai 2023, avait bien noté qu’un transtypage de valeurs de retour pouvait causer des erreurs arithmétiques, mais l’a classé en simple suggestion, pas en criticité. Et Zellic, en avril 2025, un mois avant l’exploit, n’a relevé que des observations informatives. Trois cabinets compétents, la fonction vulnérable dans leur périmètre, et la faille est passée.

Suhail Kakar, responsable des relations développeurs chez TAC Blockchain, a tiré la même leçon d’un cas jumeau, celui de Balancer : « Balancer a passé plus de dix audits. Le vault a été audité trois fois séparément par des cabinets différents et il s’est quand même fait pirater pour 110 millions de dollars. Ce secteur doit accepter que la mention ‹ audité par X › ne veut presque rien dire. Le code est difficile, la DeFi l’est encore plus », écrivait-il après l’exploit. Le tableau suivant recense les cas récents où l’étiquette d’audit n’a pas tenu.

Lu ligne à ligne, le tableau raconte quatre façons distinctes d’échouer. Cetus est un motif d’arithmétique manqué à l’intérieur du périmètre. GMX v1, vidé de plus de 42 millions de dollars le 9 juillet 2025 par une réentrance dans sa fonction executeDecreaseOrder, montre qu’une classe de bugs bien connue survit encore ; l’attaquant a d’ailleurs rendu les fonds contre une prime de 5 millions, selon Halborn. Balancer relève de la fraîcheur et du périmètre, un contrat ajouté après l’audit. KelpDAO n’est même pas un bug de contrat, mais une infrastructure forgée. Un seul mot, « audité », recouvre ces quatre réalités et n’en désamorce aucune. Juger un cabinet, c’est décomposer ce que ce mot cache.

Ce n’est pas un réquisitoire contre l’audit. C’est le point de départ de la seule question qui compte pour un fondateur ou un investisseur : puisque même les bons cabinets manquent des failles, comment distinguer un cabinet sérieux d’un tampon décoratif ? Les six critères qui suivent répondent à cette question.

Critère n°1 : la spécialisation par écosystème

Auditer du Solidity sur l’EVM, du Rust sur Solana et du Move sur Sui ou Aptos, ce ne sont pas trois variantes du même métier. Le modèle de comptes de Solana, le système de ressources de Move, les pièges arithmétiques propres à chaque machine virtuelle demandent une expertise distincte. Un cabinet excellent sur la DeFi Ethereum peut passer à côté d’un motif de dépassement typique de Move, précisément ce qui est arrivé sur Cetus. La bonne question à poser n’est pas « êtes-vous réputés ? » mais « combien d’audits avez-vous menés sur ma machine virtuelle, avec des rapports publics à l’appui ? ».

Le paysage 2026 s’est spécialisé en conséquence. Sur l’EVM et la vérification formelle, on retrouve OpenZeppelin, dont la bibliothèque de contrats équipe une bonne partie de la DeFi, Trail of Bits, Certora et Consensys Diligence. Sur l’univers Solana et Move, OtterSec, Zellic et MoveBit se sont imposés comme les références, même si Cetus rappelle qu’une spécialisation n’est pas une immunité. Halborn, née à Miami en 2019, couvre à la fois l’EVM, Solana, Cosmos, Move et Algorand, et adjoint aux audits une pratique offensive de red team et de tests d’intrusion. Un généraliste sans références vérifiables sur votre pile technique est un signal d’alarme, pas un gage de polyvalence.

Halborn illustre ce qu’une maison spécialisée met sur la table au-delà de la relecture. Fondée à Miami en 2019 par Steven Walbroehl et Rob Behnke, autofinancée pendant environ trois ans avant une levée de 90 millions de dollars, quelque 78 millions d’euros, menée par Summit Partners en 2022, elle mêle audits manuels, red team offensive et sécurité de l’infrastructure. Sa divulgation la plus connue, baptisée Rab13s, portait en 2022 sur la base de code de Dogecoin et a mis en évidence des failles touchant plus de 280 réseaux, dont un déni de service capable de faire tomber un nœud, pour plus de 25 milliards de dollars d’actifs exposés. Depuis l’arrivée de Jacques Boschung à sa tête en 2024, le cabinet pousse vers les institutions ; « les services financiers se transforment, et les institutions adoptent les actifs numériques à un rythme sans précédent ; l’infrastructure sous-jacente doit suivre », résume-t-il. Du hack de nœud à la salle de marché, cette trajectoire dit quelle profondeur un acheteur peut attendre d’un cabinet de premier plan.

Critère n°2 : la méthodologie, au-delà de la revue manuelle

La lecture humaine du code reste centrale, mais elle ne suffit plus. Un cabinet sérieux empile les couches : analyse statique (des outils comme Slither), fuzzing par propriétés (Echidna, puis son successeur Medusa), et vérification formelle qui prouve mathématiquement des invariants plutôt que de les tester. Après le hack de Balancer, Trail of Bits a publié un cadre en quatre volets qui résume l’état de l’art : documenter chaque invariant d’arrondi comme une assertion formelle et non comme un commentaire, viser une couverture de tests complète assortie de tests de mutation, mener des campagnes de fuzzing continues, et ajouter la vérification formelle comme quatrième filet. Le cabinet y reconnaît que son propre modèle de menace de 2021, dominé par le vol de clés et les contrôles d’accès, avait sous-estimé les cas limites d’arithmétique.

À quoi ressemble un budget qui achète vraiment cette profondeur ? Le programme « Security by Design » d’Aave v4 en donne l’étalon. Pour 1,5 million de dollars, environ 1,3 million d’euros, il a réuni Trail of Bits, ChainSecurity et Blackthorn sur plus de 345 jours de revue cumulés, une suite de tests d’invariants et un concours public de code de six semaines, sans qu’aucune vulnérabilité critique ou élevée ne soit trouvée. C’est l’exception, pas la norme, et cela situe le coût réel d’une sécurité en couches. Si un cabinet ne cite ni fuzzing ni vérification formelle et se contente de lire le code, vous payez la moitié du travail.

Ces outils ne sont pas des arguments marketing. Slither, Echidna et Medusa sont ouverts, publics et maintenus par Trail of Bits ; Medusa réutilise la sortie de Slither pour orienter son fuzzing, de sorte que la machine cherche là où le code est le plus tortueux. La vérification formelle, portée par des cabinets comme Certora, va encore plus loin : elle démontre qu’une propriété tient pour toutes les entrées possibles, pas seulement pour celles qu’un testeur a imaginées. Un cabinet qui empile ces couches transforme l’audit d’une opinion d’expert en un ensemble de preuves reproductibles. Demandez à voir les harnais de fuzzing et les règles employées : un bon rapport les fournit en annexe, un mauvais n’en présente aucun.

Critère n°3 : la transparence des rapports

Un cabinet qui publie ses rapports complets s’expose au jugement ; un cabinet qui ne délivre qu’un badge se met à l’abri. La transparence est donc, à elle seule, un filtre de qualité. Un rapport digne de ce nom porte des identifiants de findings, une matrice croisant sévérité et difficulté d’exploitation, une évaluation de la maturité du code sur plusieurs dimensions (documentation, tests, contrôles d’accès, hygiène de la chaîne d’approvisionnement, gestion des erreurs, configuration), et surtout un « niveau d’effort » exprimé en semaines-ingénieur. Ce dernier chiffre est le plus révélateur : un audit d’une semaine sur un protocole complexe ne pèse pas comme un audit de six semaines, quel que soit le nom du signataire.

Concrètement, exigez le rapport intégral, pas la vignette. Un protocole qui affiche « audité par X » sans lien vers un PDF public a, dans le meilleur des cas, quelque chose à cacher sur le périmètre, dans le pire des cas rien à montrer du tout. Les meilleurs cabinets, de Trail of Bits à OpenZeppelin, tiennent un catalogue public de leurs revues précisément parce que la traçabilité est devenue un argument commercial. Un rapport que vous ne pouvez pas lire ne vous protège pas ; il rassure, ce qui est exactement l’inverse.

Critère n°4 : la fraîcheur d’un audit

Un audit ne couvre que le code qui existait le jour où il a été mené. C’est une évidence, et c’est pourtant l’erreur la plus coûteuse du secteur. Dans le jeu de données d’Ack3, sur les vingt cas où la faille se trouvait bien dans le périmètre audité, dix-sept concernaient des protocoles dont l’audit datait de plus de six mois. Le code avait vécu, changé, grandi ; le rapport, lui, était figé.

Balancer offre l’anecdote parfaite. La deuxième mission d’OpenZeppelin sur ses pools s’est achevée le 10 septembre 2021 ; le contrat ComposableStablePool, celui qui sera finalement exploité, a été ajouté au dépôt le 20 septembre, dix jours plus tard, donc hors périmètre. Le cabinet l’a écrit noir sur blanc : « De nouveaux contrats ont été ajoutés au dépôt, mais ils ne relevaient pas du périmètre de notre mission. » Dix jours d’écart, plus de 100 millions de dollars, quelque 90 millions d’euros, de conséquences quatre ans plus tard. La question à poser est double : quand l’audit a-t-il eu lieu, et le code a-t-il changé depuis ? Un cabinet moderne propose une revue continue plutôt qu’un cliché unique, précisément parce que le code d’un protocole vivant n’attend pas.

Critère n°5 : le suivi des corrections

Trouver un problème ne sert à rien si le correctif n’est ni complet ni vérifié. Un bon engagement inclut une passe de re-test : le cabinet revient constater que chaque finding a été corrigé, avec un statut clair (corrigé, avec la version concernée, ou ouvert, avec une éventuelle mention de risque accepté). L’absence de cette étape transforme le rapport en liste de bonnes intentions.

Bunni, un DEX bâti sur Uniswap v4, illustre le piège. Trail of Bits avait signalé un manque d’approche systématique sur les arrondis ; l’équipe a appliqué un correctif, mais celui-ci ne couvrait pas le cas limite précis qui sera exploité le 2 septembre 2025. Une attaque par flash loan, quarante-quatre retraits minuscules et successifs, a accumulé l’erreur d’arrondi jusqu’à vider le pool pour environ 8,4 millions de dollars, près de 7 millions d’euros, sur Ethereum et Unichain. L’équipe a fermé peu après, faute de pouvoir financer un nouveau programme de sécurité. La leçon : un finding correctement identifié mais partiellement corrigé et jamais re-testé équivaut à un finding manqué. Demandez si le fix-review est inclus, et comparez le commit audité au bytecode réellement déployé on-chain.

Critère n°6 : le périmètre, et la grille complète

Tout le reste découle du périmètre. KelpDAO et Balancer le prouvent : la faille n’était pas dans le code relu, elle était dans ce qui n’avait pas été relu. Avant de signer, obtenez un périmètre écrit et sans ambiguïté : quels contrats, quel hash de commit, quelles intégrations tierces incluses, et surtout ce qui est explicitement exclu. Pour un protocole ambitieux, une couverture par plusieurs cabinets sur des périmètres complémentaires vaut mieux qu’un audit unique élargi à l’excès. Le risque économique et de gouvernance, lui, sort presque toujours du cadre : notre analyse du risque des curateurs dans le prêt DeFi modulaire montre une catégorie entière de dangers qu’aucune relecture de Solidity ne capture.

Voici les six critères ramassés en une grille, avec pour chacun la question à poser au cabinet et le signal d’alarme correspondant.

Vérifier un cabinet par vous-même : quatre outils

La grille ci-dessus suppose que vous puissiez contrôler les réponses. Bonne nouvelle : quatre ressources publiques permettent de passer du logo à la preuve, sans être ingénieur en sécurité.

• Solodit, racheté par Cyfrin, agrège des dizaines de milliers de findings issus de Trail of Bits, OpenZeppelin, Code4rena, Sherlock et d’autres, dans une base unique et cherchable. Un cabinet dont on ne trouve aucune trace de travail public y devient suspect en une recherche.
• DeFiSafety attribue un score de qualité de processus sur 100, indépendant des cabinets, fondé sur des dimensions comme la documentation, les tests, les contrôles d’administration et les oracles. C’est un regard sur la rigueur du projet, pas seulement sur son audit.
• Les catalogues des cabinets eux-mêmes. Trail of Bits met en ligne des centaines de rapports publics ; leur absence chez un auditeur qui prétend au premier rang est un signal en soi.
• La vérification on-chain. Un explorateur de blocs permet de comparer le bytecode déployé au hash du commit effectivement audité. Si les deux divergent, le code en production n’est pas celui qui a été relu.

Aucun de ces outils ne demande d’expertise pointue, seulement l’habitude de cliquer au lieu de croire. C’est précisément ce que la mention « audité » cherche à vous épargner, et c’est précisément ce qu’il ne faut plus s’épargner.

Le bug bounty, ce que l’audit ne remplace pas

Un audit est un instantané ; un bug bounty est une surveillance permanente. Les deux se complètent, aucun ne se substitue à l’autre. Les données d’Immunefi sont sans appel sur la valeur du second : sur 593 programmes suivis entre janvier 2021 et février 2026, 93,9 % de ceux actifs depuis au moins cinq ans avaient fait remonter au moins une vulnérabilité critique confirmée et payée. La progression est régulière : 61,4 % après un an, 73,9 % après deux ans, 87,2 % après trois, 92,9 % après quatre. Parmi les 364 programmes ayant trouvé au moins un critique, la moyenne s’établit à 2,7 findings critiques, pour un paiement médian de 20 000 dollars, environ 17 000 euros, par vulnérabilité critique.

La même équipe chiffre le coût d’un échec avec son modèle d’impact : un exploit réussi coûte en moyenne environ 25 millions de dollars, près de 22 millions d’euros, de vol direct, s’accompagne d’une chute de 61 % du prix du token et d’une probabilité de 84 % que ce prix ne revienne jamais à son niveau. Face à de tels chiffres, un budget de bug bounty ne se discute pas, il se planifie. Les plateformes de concours (Sherlock, qui adosse une couverture assurantielle à ses contests, ou Cantina, la vitrine publique de Spearbit) ajoutent une couche d’yeux adverses que la relecture d’un seul cabinet ne procure pas.

Le marché de ces concours s’est d’ailleurs consolidé en 2026. Code4rena, pionnier du modèle, a fermé au printemps et Immunefi a absorbé ses chercheurs et ses clients, concentrant la plus grande place de bug bounty du secteur. Pour un fondateur, cela simplifie le paysage sans en changer la logique : un audit ponctuel pose une base, un programme de bounty continu la maintient sous pression, et une couverture assurantielle, lorsqu’elle existe, convertit une partie du risque résiduel en indemnité plutôt qu’en perte sèche. Aucune de ces briques ne remplace les autres.

Combien coûte un audit, et ce que le prix achète

Le marché s’est structuré en trois étages assez lisibles. Les boutiques facturent en gros de 8 000 à 25 000 dollars, environ 7 000 à 22 000 euros, pour des périmètres réduits. Les cabinets intermédiaires se situent entre 25 000 et 80 000 dollars. Les maisons de premier plan démarrent autour de 80 000 dollars et dépassent 350 000 dollars, quelque 300 000 euros, pour un protocole complexe, un ordre de grandeur cohérent avec la référence d’environ 25 000 dollars par ingénieur et par semaine qui circule dans le métier. Ces fourchettes recoupent les repères de prix publiés par Sherlock pour 2026.

Ce que le prix achète, ce n’est pas un tampon mais du temps d’ingénieur qualifié, et c’est pourquoi le niveau d’effort inscrit dans le rapport pèse plus lourd que le montant de la facture. Un devis anormalement bas sur un protocole ambitieux n’est pas une aubaine : il trahit un périmètre étroit, une équipe junior ou une durée trop courte pour un code qui mériterait des semaines. À l’inverse, un gros budget mal dépensé (un seul cabinet, aucune campagne de fuzzing, pas de re-test) coûte cher sans acheter la profondeur. Le prix est un indice, jamais une garantie ; c’est la grille des six critères qui le traduit en sécurité réelle.

La subvention d’audit de la Fondation Ethereum

Le coût reste le premier obstacle à un audit sérieux, surtout pour les petites équipes qui, faute de moyens, déploient sans relecture. La Fondation Ethereum a tenté d’y répondre en lançant, le 14 avril 2026, un programme de subvention doté d’un million de dollars, environ 865 000 euros. Le dispositif s’appuie sur la place de marché d’Areta, qui donne accès à plus de vingt cabinets (BlockSec, Certora, Hacken, Immunefi ou Quantstamp figurent parmi eux), et couvre jusqu’à 30 % du coût d’un audit, davantage au cas par cas.

Le détail qui compte pour la crédibilité : un comité d’experts réunissant la Fondation, Areta, Nethermind, Chainlink Labs et les cabinets partenaires examine chaque candidature, les cohortes sont sélectionnées chaque mois, et la priorité va aux projets alignés sur les principes dits CROPS (résistance à la censure, code ouvert, confidentialité, sécurité). Le signal est double : l’audit est traité comme un bien public qu’il faut subventionner, mais il reste un service payant, pas une case à cocher gratuite. Une subvention abaisse la barrière ; elle ne dispense d’aucun des six critères précédents.

Réputation contre régulation : qui sanctionne un mauvais audit ?

Voici le fait structurant que tout ce qui précède rend inévitable : aucun régulateur, ni aux États-Unis ni dans l’Union européenne, n’accrédite les auditeurs de smart contracts ni ne leur impose de norme. Il n’existe pas d’équivalent du PCAOB pour le Solidity. Le contraste avec la France est frappant. Un commissaire aux comptes engage une véritable responsabilité civile (article L822-17 du Code de commerce, prolongeant l’article 1240 du Code civil), souscrit une assurance professionnelle obligatoire, et se trouve supervisé depuis le 1er janvier 2024 par la Haute Autorité de l’audit. Rien de tel n’existe pour celui qui relit le code d’un protocole gérant des milliards.

Du côté crypto, MiCA encadre les prestataires de services et les émetteurs, pas le code du protocole ; DORA vise la résilience informatique des prestataires, pas le Solidity ; et la DeFi pleinement décentralisée sort du champ de MiCA, donc de tout recours réglementaire. L’AMF l’a rappelé en clôturant la période transitoire des PSAN, désormais soumis à l’agrément CASP, et en avertissant les acteurs non conformes qu’ils doivent organiser une extinction ordonnée. Mais rien de tout cela ne discipline la qualité d’un audit de code. La seule sanction reste la réputation.

Et cette sanction fonctionne mal. En juin 2024, CertiK a conservé environ 3 millions de dollars de fonds appartenant à Kraken après avoir exploité une faille, transitant même par Tornado Cash avant restitution. Le directeur de la sécurité de Kraken, Nick Percoco, avait tranché : « Ce n’est pas du hacking white-hat, c’est de l’extorsion », selon CoinDesk. L’épisode a nui à l’image du cabinet, sans conséquence légale. La vague de l’IA aiguise encore le problème. David Schwed, directeur des opérations de SVRN, prévient : « ‹ Claude, audite mon smart contract, ne fais aucune erreur › n’est pas un programme de sécurité. » Alexander Urbelis, RSSI d’ENS Labs, ajoute que « les bugs qui vident les trésoreries tiennent souvent à l’intention et aux incitations adverses », deux mises en garde recueillies par CoinDesk, c’est-à-dire à ce qu’un outil, aussi rapide soit-il, ne modélise pas seul. En l’absence de régulateur, la grille de lecture n’est pas un luxe : c’est le seul tribunal disponible, et c’est vous qui le présidez.

Questions fréquentes

Un smart contract audité est-il sûr ?

Non. Un audit réduit le risque mais ne l’élimine pas. Au premier semestre 2026, 94,4 % des pertes subies par des projets audités sont passées par des failles hors du périmètre de l’audit, selon Ack3. Un audit est nécessaire, jamais suffisant : il doit s’accompagner d’un bug bounty, d’une surveillance continue et d’une sécurité opérationnelle.

Combien coûte un audit de smart contract en 2026 ?

Les tarifs vont d’environ 8 000 à 25 000 dollars pour une boutique, de 25 000 à 80 000 dollars pour un cabinet intermédiaire, et de 80 000 à plus de 350 000 dollars pour les cabinets de premier plan ou les programmes multi-cabinets. La subvention de la Fondation Ethereum peut couvrir jusqu’à 30 % du coût pour les projets éligibles.

Quels sont les meilleurs cabinets d’audit crypto ?

Cela dépend de votre machine virtuelle et de votre périmètre. Pour l’EVM et la vérification formelle : OpenZeppelin, Trail of Bits, Halborn, CertiK, Certora, Consensys Diligence. Pour Solana et Move : OtterSec, Zellic, MoveBit. Jugez sur les six critères (spécialisation, méthodologie, transparence, fraîcheur, suivi, périmètre) plutôt que sur un logo ou un classement.

Comment vérifier qu’un projet a vraiment été audité ?

Lisez le rapport public complet, pas un badge. Utilisez Solodit pour retrouver le travail d’un cabinet, le catalogue de Trail of Bits ou le score de DeFiSafety, vérifiez la date de l’audit et comparez le hash du commit audité au bytecode déployé on-chain. Une divergence signifie que le code en production n’est pas celui qui a été relu.

Un audit couvre-t-il le vol de clés ou les failles d’infrastructure ?

Non. La gestion des clés privées, la configuration de l’infrastructure, les oracles et les dépendances hors chaîne sortent presque toujours du périmètre. En 2026, les compromissions d’infrastructure et opérationnelles ont représenté environ 15 % des incidents mais près de 76 % de la valeur volée, selon TRM Labs. Ces risques relèvent de la sécurité opérationnelle, du bug bounty et de la surveillance, pas de l’audit de code.

Par Anneke de Vries, rédactrice en chef adjointe couvrant la sécurité on-chain pour HOGE Wire.