Trail of Bits : l’audit de sécurité crypto bascule dans l’IA

La sécurité des actifs numériques vit une bascule discrète mais profonde. Pendant plus d’une décennie, auditer un smart contract a voulu dire mobiliser des ingénieurs chevronnés, lire le code ligne à ligne, écrire des tests et des invariants, puis livrer un rapport détaillé. En 2026, une partie de ce travail se fait désormais à vitesse machine, sous la supervision d’humains qui trient, vérifient et corrigent. Au centre de ce mouvement, un nom que le monde de la crypto connaît bien revient sans cesse : Trail of Bits.

Le cabinet new-yorkais n’est pas un nouveau venu. C’est lui qui a donné à l’écosystème Ethereum ses outils d’analyse les plus utilisés, Slither et Echidna, aujourd’hui présents dans la quasi-totalité des pipelines de sécurité sérieux. Mais en 2026, Trail of Bits a fait un pari plus radical : reconstruire l’entreprise autour de l’intelligence artificielle et industrialiser la découverte de vulnérabilités, jusqu’à lancer avec OpenAI une initiative baptisée Patch the Planet qui corrige l’open source à la chaîne.

Que change vraiment cette sécurité à vitesse machine pour les protocoles DeFi, les ponts cross-chain et les portefeuilles que vous utilisez au quotidien ? Où se situent les gains réels, et où se cachent les nouveaux angles morts ? Cet article dresse le portrait de Trail of Bits, décortique ses annonces de 2026 et confronte ces promesses au bilan sans détour des piratages du premier semestre.

Trail of Bits, le laboratoire qui a armé la sécurité des smart contracts

Fondée en 2012 par Dan Guido, Alexander Sotirov et Dino Dai Zovi, Trail of Bits est née bien avant la vague DeFi. Ses trois cofondateurs venaient de la recherche offensive pure, ce monde des chercheurs qui cassent les logiciels pour comprendre comment les défendre. Dan Guido avait travaillé comme intervenant en réponse à incident pour la Réserve fédérale américaine, puis chez iSEC Partners ; Alexander Sotirov s’était fait connaître pour ses travaux sur les techniques d’exploitation et les failles cryptographiques. Cette culture de l’attaquant reste l’ADN de la maison, et elle explique la finesse de ses rapports.

Basée à New York, l’entreprise s’est construite sur un modèle rare dans la cybersécurité : mêler recherche originale, développement d’outils open source et missions d’audit rémunérées. Selon sa propre présentation, elle réunit aujourd’hui une équipe de l’ordre de 80 ingénieurs organisés en équipes pluridisciplinaires (cryptographes, spécialistes des compilateurs, ingénieurs systèmes) et couvre sept grands domaines : sécurité applicative, cryptographie, blockchain et smart contracts, sécurité de l’IA et du machine learning, systèmes bas niveau, chaîne d’approvisionnement logicielle et cryptographie post-quantique.

Ce positionnement lui a valu une réputation à part. Là où beaucoup de cabinets d’audit crypto se sont montés dans le sillage du boom de 2020 et 2021, Trail of Bits arrivait avec une décennie de recherche en sécurité offensive derrière elle. Ses rapports d’audit, publiés pour un grand nombre d’entre eux sur un dépôt GitHub dédié, servent souvent de matériel pédagogique pour les développeurs qui veulent comprendre comment un exploit se construit et comment on le referme.

De Slither à Medusa : la boîte à outils open source qui a fait école

La force de frappe de Trail of Bits, c’est d’abord une bibliothèque d’outils que le reste de l’industrie a fini par adopter comme standards de fait. Slither, son analyseur statique pour Solidity, détecte en quelques secondes des dizaines de motifs de vulnérabilités connues. Echidna applique le fuzzing, c’est-à-dire le bombardement du code avec des entrées aléatoires ciblées, au bytecode EVM pour tenter de violer des invariants de sécurité. Medusa, plus récent, parallélise cette approche à grande échelle, tandis que Manticore explore le code par exécution symbolique. Pour les écosystèmes hors EVM, la maison a produit Amarna, dédié au langage Cairo de Starknet, ou encore Tealer.

Cet arsenal ne se limite pas à la blockchain. Trail of Bits maintient osquery, un outil de télémétrie des postes de travail très répandu en entreprise, publie iVerify pour la sécurité des iPhone, et gère plus de deux cents dépôts publics. Cette double compétence, sécurité classique et sécurité on-chain, explique pourquoi le cabinet revendique de pouvoir auditer chaque couche d’un système blockchain, du smart contract au nœud en passant par le pont.

Le cabinet publie également un guide de référence, Building Secure Contracts, et opère Crytic, une plateforme d’intégration continue qui exécute ses analyseurs à chaque modification de code. De l’écriture du contrat à son déploiement, l’objectif affiché est de rendre la sécurité continue plutôt que ponctuelle.

Pour les chaînes non-EVM, l’enjeu est réel : le Rust de Solana ou le langage Move imposent d’autres outils et d’autres réflexes, un terrain que HOGE Wire a détaillé dans son banc d’essai des auditeurs Solana et Move. La même logique vaut pour les ponts cross-chain, dont la surface d’attaque combine contrats, relais et clés privées, et où la devise implicite de Trail of Bits, vérifier plutôt que croire, prend tout son sens.

2026, l’année où Trail of Bits est devenu AI-native

Le tournant de 2026 tient dans une expression que Dan Guido répète volontiers : passer d’une entreprise AI-assisted à une entreprise AI-native. Dans un billet publié le 31 mars 2026, le cofondateur décrit une transformation partie de très bas. « On a commencé avec 5 % d’adhésion et 95 % de résistance », raconte-t-il ; un an plus tard, affirme-t-il, les auditeurs augmentés par l’IA trouvent jusqu’à 200 bugs par semaine sur les bonnes missions.

Pour y parvenir, Trail of Bits explique avoir construit un véritable système d’exploitation interne plutôt que de simplement distribuer quelques outils. L’entreprise a défini une matrice de maturité par métier : au niveau visé, un auditeur pilote des agents qui exécutent des passes d’analyse complètes et produisent constats, triage et brouillons de rapport, tandis qu’un ingénieur déploie des systèmes autonomes qui ouvrent des pull requests et referment des tickets. Le cabinet dit avoir bâti 94 plugins, 201 skills et 84 agents spécialisés, ainsi que des serveurs MCP reliant ces agents à ses propres outils comme Slither.

Les chiffres avancés, qui restent ceux d’un bilan interne, sont spectaculaires : la détection serait passée d’environ 15 à 200 bugs par semaine sur certaines missions, un cinquième des bugs remontés auraient été d’abord repérés par un système d’IA, et le chiffre d’affaires par commercial atteindrait 8 millions de dollars (environ 7,3 millions d’euros), contre 2 à 4 millions dans l’industrie. Guido a présenté ce retour d’expérience sous un titre volontairement provocateur : 200 bugs par semaine et par ingénieur.

Le plus instructif tient peut-être à la résistance humaine que l’entreprise dit avoir dû vaincre. Elle a identifié quatre freins : le biais qui pousse chacun à se croire meilleur que l’IA, la menace identitaire ressentie par des experts craignant d’être remplacés, l’intolérance à l’imperfection des modèles, et l’opacité de leurs décisions. Sa réponse a consisté à cadrer l’IA comme un moyen d’encoder l’expertise plutôt que de la remplacer, et à publier un manuel interne expliquant les modèles de risque retenus.

Patch the Planet : OpenAI et Trail of Bits corrigent l’open source à la chaîne

Cette mécanique a trouvé sa vitrine publique le 22 juin 2026 avec le lancement de Patch the Planet, une initiative portée par Trail of Bits dans le cadre du programme Daybreak d’OpenAI. L’idée : associer des ingénieurs sécurité à des mainteneurs de logiciels open source pour non seulement trouver des vulnérabilités, mais aussi livrer les correctifs. Le moteur technique repose sur les modèles frontière d’OpenAI, GPT-5.5-Cyber et Codex.

Les résultats de la première semaine donnent la mesure de l’ambition, comme l’a relevé TechCrunch : 19 projets couverts (parmi lesquels cURL, Python, Go, PyPI, aiohttp, urllib3, Valkey ou RustCrypto), 64 pull requests ouvertes, 51 tickets déposés dont 19 déjà refermés, et 37 correctifs fusionnés. Plus de trente projets supplémentaires ont depuis rejoint le programme, et un bot nommé Patchy surveille les dépôts et suit les patchs intégrés.

Le point de vigilance, Trail of Bits et OpenAI le mettent eux-mêmes en avant : la revue humaine reste au centre. Les ingénieurs du cabinet trient et vérifient chaque constat avant qu’il n’atteigne un mainteneur, pour séparer les vraies failles des faux positifs, puis collaborent à l’écriture du correctif et des tests associés. L’objectif affiché est d’alléger la charge des mainteneurs bénévoles, pas de l’alourdir avec un déluge de rapports automatiques mal calibrés.

Pour la crypto, l’intérêt est indirect mais bien réel. Une grande partie de l’infrastructure Web3 repose sur des briques open source, des bibliothèques cryptographiques aux clients de nœuds ; sécuriser cURL, aiohttp ou une bibliothèque de chiffrement, c’est aussi durcir la chaîne d’approvisionnement logicielle sur laquelle s’appuient portefeuilles, exchanges et protocoles. Le maillon faible d’un système DeFi n’est pas toujours son smart contract.

Ce modèle rappelle un débat que HOGE Wire suit de près : celui de la valeur réelle des primes et des programmes de sécurité. Comme pour les bug bounties, le volume ou le montant affiché ne dit pas grand-chose de l’impact réel ; ce qui compte, c’est la gravité des failles effectivement corrigées et la qualité de la vérification humaine derrière l’annonce.

Buttercup et l’AIxCC : la preuve par la DARPA

L’entreprise ne s’est pas convertie à l’IA du jour au lendemain. La bascule s’appuie sur un jalon concret : le concours AIxCC (AI Cyber Challenge) de la DARPA, dont la finale s’est tenue à la DEF CON 33 de Las Vegas en août 2025. Le système de Trail of Bits, Buttercup, y a décroché la deuxième place et une dotation de 3 millions de dollars (environ 2,7 millions d’euros), derrière Team Atlanta (4 millions de dollars) et devant Theori (1,5 million).

Les performances techniques revendiquées sont éloquentes. Dans son bilan officiel, Trail of Bits résume : « Nous avons trouvé 28 vulnérabilités sur 20 CWE avec une précision de 90 %, à seulement 181 dollars par point, et cela exclusivement avec des LLM non raisonnants. » Buttercup, un cyber reasoning system entièrement automatisé, a par la suite été publié en open source.

Le message est double. D’une part, une machine peut aujourd’hui trouver et corriger des failles sans intervention humaine ; d’autre part, le coût par vulnérabilité, de l’ordre de 165 euros, laisse entrevoir une industrialisation de la découverte de bugs que l’audit manuel ne pourra jamais égaler en volume. Surtout, avoir réussi cet exploit avec des modèles non raisonnants, donc moins coûteux, suggère que cette industrialisation est déjà à portée de budget pour de nombreux acteurs. C’est précisément ce constat qui a nourri la stratégie AI-native déployée en 2026.

Comet, Gmail et l’injection de prompt : auditer les navigateurs IA

La crypto n’est pas le seul terrain où Trail of Bits applique cette approche. En février 2026, le cabinet a publié les résultats d’un audit commandé par Perplexity avant le lancement de son navigateur IA, Comet. En construisant un modèle de menace centré sur le machine learning, les chercheurs ont mis au jour quatre techniques d’injection de prompt permettant d’exfiltrer les e-mails Gmail d’un utilisateur vers un serveur pirate, simplement parce que celui-ci demandait à l’assistant de résumer une page web piégée.

L’affaire dépasse l’anecdote. Les agents IA qui lisent vos e-mails, exécutent des actions et manipulent des données sensibles deviennent une nouvelle surface d’attaque, exactement comme les smart contracts l’ont été en leur temps. L’injection de prompt indirecte, où le contenu malveillant est caché dans une page ou un document que l’agent traite, devient le pendant, côté IA, des attaques par réentrance ou par manipulation d’oracle côté DeFi.

Pour la crypto, la conséquence est directe. Un assistant qui gère vos transactions ou lit vos messages peut être détourné sans qu’aucune ligne de smart contract ne soit en cause. À mesure que les portefeuilles embarquent des agents capables d’agir à votre place, la surface d’attaque se déplace vers la couche IA, un terrain que les méthodes d’audit traditionnelles ne couvrent pas encore pleinement.

Ce que l’IA change vraiment pour l’audit de smart contracts

Faut-il en conclure que l’audit humain est mort ? Non, et Trail of Bits est le premier à le dire. Le déplacement se joue dans la répartition des tâches. L’IA excelle à balayer de grandes bases de code, à repérer des motifs connus et à générer des brouillons de tests ; l’humain reste indispensable pour comprendre l’intention du protocole, raisonner sur des invariants économiques et écarter les faux positifs. Le tableau ci-dessous résume ce nouveau partage des rôles.

Ce rééquilibrage a des conséquences économiques directes. Si une machine trouve les failles faciles pour quelques centaines d’euros pièce, la valeur de l’auditeur humain se concentre sur ce que la machine rate encore : les bugs de logique, les hypothèses économiques fausses, les interactions imprévues entre protocoles. La frontière entre ce qu’un modèle sait trouver et ce qui exige un cerveau humain devient, de fait, le vrai sujet de 2026.

Le paradoxe de l’audité qui se fait quand même pirater

Aucun outil, aussi rapide soit-il, ne transforme un audit en garantie. L’histoire récente de la DeFi est jalonnée de protocoles pourtant audités, parfois plusieurs fois, et malgré tout vidés de leurs fonds. Le cas le plus marquant de la période reste le piratage de Balancer, en novembre 2025 : un protocole mûr, audité à de multiples reprises au fil des ans, drainé de plus de 100 millions de dollars via une erreur d’arrondi dans le chemin de swap exact out de ses Stable Pools.

La leçon n’est pas que les audits ne servent à rien, mais qu’ils réduisent le risque sans jamais l’annuler. Une faille d’arrondi qui n’apparaît qu’au terme d’une longue chaîne d’opérations soigneusement construites échappe aussi bien à l’œil humain qu’à un scanner mal cadré. HOGE Wire a consacré une analyse complète à cet épisode dans les leçons du hack Balancer, et un décryptage plus large de la méthode d’autopsie post-exploit qui s’est imposée dans l’industrie.

C’est là que l’IA change la donne sans la résoudre. Un fuzzer piloté par un modèle peut explorer bien plus de combinaisons qu’un humain dans un temps donné, donc débusquer certains bugs d’arrondi ou de logique auparavant hors de portée. Mais il peut aussi noyer les équipes sous les faux positifs, ou passer à côté d’une hypothèse économique qu’aucune spécification n’a formalisée. La qualité du cadrage humain reste, encore une fois, déterminante.

Premier semestre 2026 : moins d’argent volé, mais plus d’attaques

Pour juger ces promesses, il faut les confronter au bilan réel des pertes. Et là, les chiffres racontent une histoire nuancée. Le premier semestre 2026 a battu le record du nombre d’incidents, avec plus d’un piratage par jour, tout en voyant le montant total volé reculer. TRM Labs estime que les pertes sont repassées sous la barre du milliard de dollars, contre environ 2,3 milliards (près de 2,1 milliards d’euros) un an plus tôt.

Les cabinets ne s’accordent d’ailleurs pas sur le total exact, ce qui en dit long sur la difficulté de mesurer un phénomène mouvant : CertiK avance de son côté environ 1,3 milliard de dollars (près de 1,2 milliard d’euros) de pertes sur 344 incidents. Son cofondateur et PDG, Ronghui Gu, insiste sur la forme des pertes plus que sur leur montant brut.

« Ce qui ressort le plus, c’est la forme des pertes. Une part énorme des dégâts du premier semestre se résume à deux incidents, Kelp DAO et Drift Protocol, qui pèsent près de 44 % du total », observe Ronghui Gu. Kelp DAO a perdu quelque 291 millions de dollars (environ 265 millions d’euros) et Drift près de 285 millions (environ 260 millions d’euros). Autre enseignement du rapport : la compromission de portefeuilles et de clés est devenue le vecteur le plus coûteux, alors que les bugs de code, pourtant les plus fréquents, pèsent bien moins lourd en valeur.

Cette bascule est cruciale pour comprendre l’apport et les limites de la sécurité augmentée par l’IA. Si les plus gros vols passent désormais par le détournement d’identifiants de développeurs, de clés de déploiement et d’API, alors auditer le code ne suffit plus. « Des identifiants de développeurs, des clés de déploiement, des clés d’API volées ont donné accès au déplacement de fonds on-chain », résume Ido Sofer, fondateur de Sodot, cité dans le même rapport. Un scanner de smart contracts, aussi rapide soit-il, ne protège pas contre un ordinateur portable compromis.

Cryptographie post-quantique et sécurité de l’IA : les autres fronts

Réduire Trail of Bits à l’audit de smart contracts serait une erreur. En 2026, le cabinet a aussi livré un travail de fond en cryptographie, un domaine qui conditionne la sécurité de long terme des blockchains. Ses équipes ont contribué à ajouter le support de la cryptographie post-quantique, via les algorithmes ML-KEM et ML-DSA, à pyca/cryptography, l’un des paquets Python les plus téléchargés au monde, et ont publié des recherches sur la factorisation de clés RSA et DSA faibles grâce à de nouvelles techniques polynomiales.

Pourquoi cela concerne la crypto ? Parce que la sécurité de Bitcoin et d’Ethereum repose sur des hypothèses cryptographiques que l’informatique quantique pourrait un jour ébranler. Les travaux post-quantiques d’aujourd’hui préparent la migration de demain. Le cabinet a d’ailleurs revendiqué avoir battu une preuve à divulgation nulle de connaissance de cryptanalyse quantique proposée par Google, illustrant à quel point la frontière entre recherche académique et sécurité appliquée s’estompe.

Vitesse machine : les angles morts d’une sécurité automatisée

Le récit AI-native a ses zones d’ombre, et il serait naïf de les ignorer. Premier risque : le déluge de faux positifs. Une machine qui remonte 200 signalements par semaine peut épuiser les équipes humaines chargées de les trier, au point de laisser passer le vrai bug au milieu du bruit. Trail of Bits en fait justement son argument de vente avec la revue humaine, mais tous les acteurs du marché n’auront pas la même rigueur ni les mêmes moyens.

Deuxième risque : l’asymétrie. Les mêmes modèles qui trouvent des failles à bas coût peuvent servir aux attaquants. Une découverte de vulnérabilité industrialisée profite d’abord à celui qui l’exploite en premier ; si les défenseurs prennent de l’avance grâce à Patch the Planet, rien ne garantit que les assaillants n’en fassent pas autant de leur côté. Troisième risque : les vecteurs que le code ne couvre pas, comme les attaques de gouvernance, l’ingénierie sociale ou le vol de clés, où l’analyse statique la plus fine reste aveugle.

Enfin, il y a la question de la dépendance. Confier la découverte des bugs à des modèles propriétaires, c’est aussi accepter une part d’opacité sur leur fonctionnement et une dépendance à quelques fournisseurs. L’ouverture en open source de Buttercup et la publication d’un manuel IA par Trail of Bits vont dans le bon sens, mais l’équilibre entre automatisation et contrôle humain restera le vrai sujet des prochaines années.

Europe, MiCA et DORA : ce que cela implique pour les projets suivis par l’AMF

Pour les lecteurs francophones, la question se pose en termes réglementaires autant que techniques. En Europe, le règlement MiCA encadre désormais les prestataires de services sur crypto-actifs, supervisés en France par l’Autorité des marchés financiers (AMF). En parallèle, le règlement DORA impose aux entités financières, y compris certains acteurs crypto, des exigences de résilience opérationnelle et de gestion du risque lié aux systèmes d’information, dont des tests de sécurité réguliers.

Ce cadre crée une demande structurelle pour l’audit de sécurité, mais il ne dit pas comment auditer. Rien n’oblige aujourd’hui un protocole à recourir à tel outil ou telle méthode ; la conformité porte sur des obligations de moyens et de gouvernance du risque, pas sur une recette technique précise. C’est là que des acteurs comme Trail of Bits, avec des rapports publics et des outils open source, apportent une transparence que les régulateurs apprécient, même s’ils ne l’imposent pas formellement.

Pour un projet européen, l’enjeu pratique est double : documenter sa démarche de sécurité, à savoir audits, tests et correctifs, pour satisfaire l’AMF et les exigences DORA, et ne pas confondre un rapport d’audit avec un label de sécurité définitif. Un investisseur avisé lira un rapport pour ce qu’il est : une photographie du code à un instant donné, avec un périmètre précis, pas une assurance tous risques.

Comment lire un rapport Trail of Bits (et ce qu’il ne dit pas)

Puisque ces rapports sont publics, autant savoir les lire. Un rapport d’audit sérieux précise d’abord son périmètre : quels contrats, quelle version du code (le commit exact), quelles hypothèses de départ. Un audit portant sur une version antérieure ne dit rien du code déployé aujourd’hui. Il classe ensuite les constats par gravité, de informatif à critique, et surtout par difficulté d’exploitation.

• Vérifier les corrections : s’assurer que les constats critiques ont été corrigés puis re-testés, pas seulement listés.
• Regarder la date et le périmètre : un audit d’il y a un an sur un code très remanié offre une garantie limitée.
• Se méfier du raccourci audité donc sûr : le cas Balancer montre qu’un code plusieurs fois audité peut céder sur un détail arithmétique.

Dans un monde où une partie des constats provient désormais de systèmes automatisés, ces réflexes deviennent plus importants encore. La bonne question n’est plus seulement de savoir si un projet a été audité, mais de savoir qui a vérifié les résultats de la machine, et avec quel sérieux. La valeur se déplace du volume de bugs trouvés vers la qualité de la vérification.

Foire aux questions

Qu’est-ce que Trail of Bits ?

Trail of Bits est un cabinet américain de cybersécurité fondé en 2012 à New York par Dan Guido, Alexander Sotirov et Dino Dai Zovi. Il combine recherche, audit et développement d’outils open source, et s’est imposé comme une référence de la sécurité des smart contracts grâce à Slither et Echidna.

Qu’est-ce que Patch the Planet ?

Patch the Planet est une initiative lancée le 22 juin 2026 par Trail of Bits dans le cadre du programme Daybreak d’OpenAI. Elle associe des ingénieurs sécurité et des modèles d’IA pour trouver et corriger des vulnérabilités dans des logiciels open source critiques, avec une revue humaine de chaque constat avant transmission aux mainteneurs.

L’IA va-t-elle remplacer les auditeurs de smart contracts ?

Non, du moins pas à court terme. L’IA accélère le balayage du code et la détection de motifs connus, mais l’humain reste indispensable pour comprendre la logique métier, raisonner sur les invariants économiques et trier les faux positifs. Le métier se déplace vers la vérification et le cadrage plutôt que de disparaître.

Un audit garantit-il qu’un protocole est sûr ?

Non. Un audit réduit le risque, il ne l’élimine pas. Il porte sur un périmètre et une version précis du code à un instant donné. Le piratage de Balancer en novembre 2025, sur un protocole plusieurs fois audité, rappelle qu’une faille subtile peut échapper même à des revues répétées.

Comment la réglementation européenne encadre-t-elle l’audit de sécurité crypto ?

MiCA encadre les prestataires de services sur crypto-actifs, supervisés en France par l’AMF, et le règlement DORA impose des exigences de résilience opérationnelle et de tests de sécurité aux entités financières. Ces textes créent une obligation de gérer le risque, sans imposer une méthode d’audit unique.

Par la rédaction de HOGE Wire, cellule sécurité et exploits.