Le PDG d'OpenZeppelin déclare le DeFi non sécurisé : le modèle d'audit vient de mourir
Manuel Aráoz, co-fondateur d'OpenZeppelin, a déclaré la semaine dernière devant un public que la DeFi n'est plus sûre car l'IA est devenue surhumaine dans la détection de bugs dans les contrats intelligents. La société qu'il a fondée rédige les bibliothèques de sécurité qu'une grande partie d'Ethereum importe par défaut. Quand le PDG d'OpenZeppelin déclare que la DeFi est dangereuse, le débat sur le modèle d'audit est clos.
J'ai vu des rapports d'audit arriver pendant quatre ans chez LCX. Les bons sont denses, ciblés et honnêtes quant à leur portée. Ils sont aussi figés dans le temps. Le protocole audité mardi n'est pas le protocole qui tourne vendredi, une fois que la gouvernance a livré un changement de configuration, qu'une dépendance change de version, ou qu'un nouvel oracle est branché. Le point d'Aráoz, rapporté par CoinDesk, est que le côté attaquant de cette asymétrie vient de recevoir une mise à niveau d'un ordre de grandeur.
Par ailleurs, plus d'1,1 milliard de dollars ont été siphonnés des protocoles DeFi au cours des douze derniers mois. Ce chiffre n'est pas un problème de détection de bugs. C'est un problème de conception systémique.
Pourquoi les propos du PDG d'OpenZeppelin sur l'insécurité de la DeFi comptent
Aráoz n'est pas un outsider qui tire à vue sur l'industrie. Il a contribué à construire les standards.
Les schémas ERC-20, ERC-721 et AccessControl qu'utilise presque chaque protocole sérieux remontent aux bibliothèques d'OpenZeppelin. Quand ce fondateur affirme que le modèle de sécurité est cassé, cela a un poids que n'aurait pas, disons, un thread Twitter aléatoire. Le cadrage de Manuel Aráoz sur le piratage surhumain par IA a eu de l'écho parce que la personne qui le dit a elle-même payé la facture de l'ancien modèle.
Une courte liste de ce que l'aveu concède réellement :
- Les audits ponctuels ne peuvent pas suivre le rythme auquel les agents IA trouvent de nouveaux vecteurs d'attaque.
- Les incitations économiques du côté des attaquants évoluent désormais avec la capacité des modèles, et non avec les effectifs des auditeurs humains.
- Même les bases de code auditées par des cabinets de premier rang ont livré des bugs exploitables en 2025 et 2026.
Le modèle d'audit DeFi est obsolète en 2026, pas en 2030
Le modèle d'audit-en-PDF était déjà sous tension. L'IA vient de rendre cette tension visible.
Un audit Solidity traditionnel représente une à quatre semaines de revue humaine, un rapport et un contrat à honoraires fixes. Le résultat est un instantané. L'attaquant dispose désormais d'un agent infatigable capable de fuzzer, de rejouer l'état du mainnet et de faire correspondre des patterns avec des milliers d'exploits passés, sans pause café. C'est l'asymétrie qu'Aráoz décrit quand il dit que l'IA devient surhumaine en matière de sécurité offensive.
Un exemple récent concret : la misconfiguration DVN de LayerZero qui a coûté 292 M$ à Kelp DAO n'était pas un bug Solidity. C'était une dérive de configuration entre un état audité et un état en production. Aucun audit PDF ne détecte ça le vendredi après-midi quand les ops poussent un changement.
Je pense que la formulation la plus claire est : un audit vous indique que le code était probablement sûr le jour où il a été examiné. Il ne vous dit pas que le système est sûr en ce moment.
Ce que change réellement un scanner de vulnérabilités de contrats intelligents par IA
Le côté défenseur de la chose a lui aussi évolué, mais plus lentement que le côté attaquant. Cet écart est tout le problème.
Le schéma utile que j'observe en production ressemble moins à « remplacer l'auditeur » et davantage à « donner à chaque protocole un adversaire permanent » :
- Des agents IA qui re-fuzzent le bytecode déployé après chaque action de gouvernance, pas seulement au déploiement.
- Des moniteurs d'invariants qui surveillent l'état en direct et déclenchent des coupe-circuits lorsque les calculs dérivent, et non pas quand un humain le remarque sur Discord.
- Des plateformes de bug bounty connectées à des agents autonomes qui soumettent et traitent les findings 24h/24, 7j/7.
Forta, Cantina de Spearbit, et Defender d'OpenZeppelin se déplacent dans cette direction depuis quelques années. Le changement qu'Aráoz signale est que ce n'est plus le niveau premium. C'est le plancher.
Sécurité continue pour les protocoles DeFi, pas de bilans annuels
L'analogie qui me revient sans cesse est médicale. Un audit pré-listing est un examen médical. La sécurité continue est un moniteur cardiaque.
Dans la finance régulée, l'auditeur signe une fois par an, mais le SIEM, le WAF et le système de surveillance des transactions tournent chaque seconde. La DeFi a adopté la partie annuelle et sauté la partie surveillance en temps réel, puis s'est étonnée quand plus d'un milliard de dollars ont pris la porte. La leçon de vingt ans de sécurité cloud est que la surveillance dévore l'audit pour chaque dollar dépensé au-delà du premier.
Quelques évolutions concrètes sur lesquelles je parierais :
- Les cabinets d'audit se repositionnant comme vendeurs de surveillance continue avec des SLA, et non comme boutiques de livraison de rapports.
- Les souscripteurs d'assurance fixant le prix des protocoles en fonction de leur télémétrie de sécurité en direct, et non de leur dernier PDF.
- Des cadres de gouvernance exigeant un déclencheur de re-audit pour tout changement de paramètre au-delà d'un seuil.
Rien de tout cela n'est exotique. Le Web2 a réglé la question il y a dix ans. La DeFi a simplement la version plus difficile parce que le code est le coffre-fort bancaire.
Ce que les protocoles devraient concrètement faire ce trimestre
Si vous gérez un protocole DeFi et que vous lisez ceci, le travail à faire n'est pas subtil :
- Arrêtez de traiter le PDF d'audit comme l'artefact de sécurité. Traitez-le comme une entrée parmi d'autres dans un pipeline.
- Connectez des moniteurs aux invariants qui vous importent : ratios de collatéral, déviations d'oracle, changements de rôle admin, ratios d'entrée/sortie du bridge.
- Mettez en place un kill switch que vous avez réellement testé. Une fonction de pause qui n'a jamais été déclenchée lors d'un exercice est de la décoration.
- Faites tourner du fuzzing piloté par IA sur vos contrats déployés de façon récurrente. Pas une fois. Pour toujours.
Les cabinets qui s'adaptent ressembleront davantage à Datadog qu'à un auditeur des Big Four. Ceux qui ne s'adaptent pas seront la prochaine manchette à 200 M$.
La lecture plus profonde du commentaire d'Aráoz, c'est que l'industrie de la sécurité a finalement dit tout haut ce qu'elle pensait tout bas : la pile attaquante s'est développée plus vite que la pile défenseure depuis deux ans, et l'écart est maintenant suffisamment large pour que les personnes qui ont construit la pile défenseure le reconnaissent ouvertement.