Une faille vieille de quatre ans, capable de faire appara\u00eetre des jetons \u00e0 partir de rien, dormait dans l’un des protocoles de confidentialit\u00e9 les plus respect\u00e9s de la crypto. Aucun des audits command\u00e9s au fil des ann\u00e9es par ce projet ne l’avait vue. C’est un chercheur ind\u00e9pendant, \u00e9paul\u00e9 par un mod\u00e8le d’intelligence artificielle sorti la veille, qui l’a trouv\u00e9e en quelques heures. Cet \u00e9pisode, survenu fin mai 2026 sur Zcash, est devenu malgr\u00e9 lui le meilleur argument pour reposer une question que ce site suit depuis plusieurs mois : comment \u00e9valuer s\u00e9rieusement un cabinet d’audit de smart contracts aujourd’hui ? Entre la consolidation des plateformes de concours, l’irruption de l’IA des deux c\u00f4t\u00e9s de la barri\u00e8re et des bilans semestriels qui se contredisent, la r\u00e9ponse a chang\u00e9.<\/p>
Le protocole Zcash utilise depuis 2016 des preuves \u00e0 divulgation nulle de connaissance pour permettre des transactions enti\u00e8rement confidentielles. Depuis mai 2022, son bassin le plus avanc\u00e9, Orchard, constitue la couche de confidentialit\u00e9 de r\u00e9f\u00e9rence du r\u00e9seau. C’est dans le circuit cryptographique de ce bassin qu’un chercheur du nom de Taylor Hornby, engag\u00e9 par l’organisation \u00e0 but non lucratif Shielded Labs<\/a> en avril 2026, a mis au jour ce que l’\u00e9quipe elle-m\u00eame qualifie de \u00ab vuln\u00e9rabilit\u00e9 de contrefa\u00e7on \u00bb : un \u00e9l\u00e9ment sous-contraint du circuit Orchard permettait d’injecter des entr\u00e9es arbitraires et fausses dans une multiplication sur courbe elliptique tout en laissant passer la v\u00e9rification. Concr\u00e8tement, un attaquant ma\u00eetrisant la technique aurait pu cr\u00e9er un nombre illimit\u00e9 de faux ZEC, rigoureusement indiscernables des jetons authentiques.<\/p> Hornby a test\u00e9 l’exploit dans un environnement local isol\u00e9, et il a fonctionn\u00e9 du premier coup, g\u00e9n\u00e9rant des ZEC contrefaits en quantit\u00e9 illimit\u00e9e sans laisser de trace d\u00e9tectable par la cryptographie elle-m\u00eame. Le d\u00e9tail qui a fait le tour de l’industrie tient \u00e0 la m\u00e9thode : Hornby a utilis\u00e9 le mod\u00e8le Opus 4.8 d’Anthropic, mis en ligne la veille, le 28 mai 2026, dans le cadre d’une revue cibl\u00e9e du circuit Orchard combinant des invites et un harnais d’analyse construits sur mesure. La d\u00e9couverte est tomb\u00e9e le 29 mai, la divulgation \u00e0 ZODL (l’organe de coordination du d\u00e9veloppement de Zcash) le jour m\u00eame, et un correctif d’urgence a \u00e9t\u00e9 d\u00e9ploy\u00e9 entre le 1er et le 2 juin, au terme de ce que plusieurs m\u00e9dias ont d\u00e9crit comme une course contre la montre de cinquante heures.<\/p> Le march\u00e9 a r\u00e9agi violemment : le jeton ZEC a perdu jusqu’\u00e0 38 % de sa valeur en vingt-quatre heures, tombant \u00e0 un plus bas autour de $442.60 (environ 385 \u20ac), selon CoinDesk<\/a>. Mais la phrase la plus inconfortable de toute cette affaire vient de Shielded Labs elle-m\u00eame : l’organisation reconna\u00eet qu’il n’existe \u00ab aucun moyen d\u00e9finitif de d\u00e9terminer, par la seule cryptographie, si cette faille a \u00e9t\u00e9 exploit\u00e9e avant sa d\u00e9couverte et sa correction \u00bb. Autrement dit, quatre ans apr\u00e8s l’activation d’Orchard, personne ne peut garantir qu’elle n’a jamais servi.<\/p> Interrog\u00e9 sur sa d\u00e9cision de signaler la faille plut\u00f4t que d’en profiter, alors qu’elle aurait pu valoir des sommes consid\u00e9rables selon la liquidit\u00e9 disponible pour \u00e9couler des jetons contrefaits, Hornby a expliqu\u00e9 en des termes personnels que les d\u00e9veloppeurs de Zcash \u00e9taient \u00ab comme de la famille \u00bb pour lui, selon CoinDesk<\/a>. Il a depuis ajout\u00e9 Monero \u00e0 sa liste de projets \u00e0 passer au crible avec la m\u00eame m\u00e9thode.<\/p> Ce n’est pas tant la n\u00e9gligence de Zcash que r\u00e9v\u00e8le cet \u00e9pisode : le projet a une histoire cryptographique s\u00e9rieuse et a fait appel, au fil des ans, \u00e0 plusieurs cabinets reconnus pour ses diff\u00e9rentes couches. Ce qui embarrasse davantage l’industrie, c’est que la d\u00e9couverte n’est venue ni d’un audit programm\u00e9, ni d’un concours r\u00e9mun\u00e9r\u00e9, ni d’un outil de surveillance on-chain, mais d’un chercheur isol\u00e9 arm\u00e9 d’un mod\u00e8le g\u00e9n\u00e9raliste sorti vingt-quatre heures plus t\u00f4t. Le circuit Orchard avait pourtant d\u00e9j\u00e0 travers\u00e9 quatre ann\u00e9es d’attention publique et de regards experts.<\/p> Cela change la nature m\u00eame de la question que ce site pose r\u00e9guli\u00e8rement \u00e0 ses lecteurs. Nous avions dress\u00e9, d\u00e9but juillet, un palmar\u00e8s 2026 des cabinets d’audit et de leurs limites structurelles<\/a>, \u00e0 partir du piratage de Drift Protocol malgr\u00e9 deux audits. Le cas Zcash pousse le raisonnement un cran plus loin : la question n’est plus seulement \u00ab quel cabinet choisir \u00bb, mais \u00ab quelle combinaison de m\u00e9thodes de revue permet raisonnablement de dormir tranquille \u00bb. Un audit reste une photographie prise \u00e0 un instant pr\u00e9cis, sur un p\u00e9rim\u00e8tre d\u00e9fini contractuellement. Ce qui a chang\u00e9 en 2026, c’est le nombre de fa\u00e7ons diff\u00e9rentes de prendre cette photographie, et la vitesse \u00e0 laquelle certaines d’entre elles progressent.<\/p> Un cabinet d’audit n’est plus la seule option sur la table, et il ne l’a d’ailleurs jamais vraiment \u00e9t\u00e9 : il existe aujourd’hui au moins quatre familles d’approches, que les \u00e9quipes s\u00e9rieuses combinent plut\u00f4t qu’elles ne choisissent l’une contre les autres.<\/p> L’audit manuel classique reste la r\u00e9f\u00e9rence pour la logique m\u00e9tier complexe : des ing\u00e9nieurs exp\u00e9riment\u00e9s lisent le code ligne par ligne, mod\u00e9lisent les sc\u00e9narios d’attaque et documentent leurs conclusions dans un rapport. OpenZeppelin, Trail of Bits, Halborn ou Consensys Diligence appartiennent \u00e0 cette cat\u00e9gorie, avec des tarifs qui vont grosso modo de 80 000 \u00e0 350 000 dollars pour un protocole DeFi majeur.<\/p> Les concours crowdsourc\u00e9s et les programmes de bug bounty inversent la logique : au lieu d’une poign\u00e9e d’auditeurs salari\u00e9s, des dizaines de chercheurs ind\u00e9pendants passent le m\u00eame code au crible en parall\u00e8le, r\u00e9mun\u00e9r\u00e9s \u00e0 la faille trouv\u00e9e. Sherlock, qui adosse une partie de ses concours \u00e0 une couverture fa\u00e7on assurance, Cantina, la structure n\u00e9e de la fusion avec Spearbit, et Immunefi pour les bounties permanents dominent ce segment.<\/p> La v\u00e9rification formelle change de nature : au lieu de chercher des bugs, elle prouve math\u00e9matiquement qu’une propri\u00e9t\u00e9 pr\u00e9cise du code est toujours respect\u00e9e, quelle que soit l’entr\u00e9e. Certora en est le repr\u00e9sentant le plus connu c\u00f4t\u00e9 DeFi ; c’est aussi la voie que Shielded Labs a choisi d’emprunter pour Orchard apr\u00e8s l’\u00e9pisode de mai, avec un chantier de preuve math\u00e9matique compl\u00e8te du circuit lanc\u00e9 dans la foul\u00e9e du correctif d’urgence.<\/p> Enfin, l’outillage assist\u00e9 par IA n’est plus un simple argument marketing. Trail of Bits a mis en acc\u00e8s libre sur GitHub une s\u00e9rie de modules pour Claude Code, pr\u00e9sent\u00e9s comme une m\u00e9thodologie d’audit encod\u00e9e sous forme de comp\u00e9tences r\u00e9utilisables<\/a>, couvrant l’analyse statique, la revue diff\u00e9rentielle de code et les vuln\u00e9rabilit\u00e9s propres \u00e0 plusieurs cha\u00eenes. Le cabinet reste transparent sur les limites actuelles de l’exercice : ses propres outils IA retrouveraient environ 40 % de ce qu’un audit manuel complet d\u00e9tecte, un chiffre qui a le m\u00e9rite de la franchise plut\u00f4t que du marketing.<\/p>Pourquoi ce cas embarrasse toute l’industrie de la revue de s\u00e9curit\u00e9<\/h2>
Quatre fa\u00e7ons de faire r\u00e9viser un smart contract en 2026<\/h2>