Au cours de l’année dernière, la société de sécurité Certora est devenue un élément central de l’infrastructure DeFi, accompagnant les protocoles, les échanges et les chaînes dans une phase de croissance sans précédent.
Un record 2025 pour la valeur et les risques onchain
Dans le 2025 la valeur en chaîne de l'écosystème DeFi a atteint environ 2,5 billions de dollars. Cependant, cette expansion a révélé de nouvelles vulnérabilités, vecteurs d’attaque et faiblesses dans l’ensemble de la pile blockchain, des protocoles à l’infrastructure.
La sécurité ne consiste plus seulement à trouver des bugs avant le lancement. Il s’agit désormais de garantir la sécurité des systèmes complexes au fil du temps, à mesure qu’ils évoluent, s’adaptent à l’évolution des besoins des utilisateurs.
Dans ce contexte, Certora elle ne s'est pas limitée à suivre le marché : elle s'est positionnée comme un partenaire structurel des principaux acteurs de la finance décentralisée.
Certora partenaire des grands protocoles DeFi
Tout au long de 2025, la société a élargi son rôle de partenaire de sécurité pour la majorité des protocoles DeFi les plus pertinents en termes de valeur totale verrouillée (TVL). Quatorze des 20 principaux protocoles et sept des 10 premiers s'appuient sur Certora pour leurs relations continues.
En termes de pourcentage, le 70% L'un des 20 principaux protocoles DeFi pour TVL est le client de Certora. Par ailleurs, le 70% des 10 premiers travaillent avec l'entreprise de manière continue, avec des accords à long terme et non avec de simples audits ponctuels.
Les plateformes qui collaborent de manière continue comprennent Aave Et Composés depuis plus de 5 ans, Sky et Morpho depuis 4 ans, Silo depuis 4 ans, Safe et EigenLayer depuis plus de 3 ans, ainsi que Lido et Stellar avec des engagements pluriannuels.
Cette liste ne représente que la partie la plus visible. En 2025, 44 nouveaux protocoles ont initié des partenariats de sécurité avec Certora, notamment Fluid, Jito, Navi, Polygon, Suilend et bien d'autres.
Dans l'ensemble, l'entreprise affirme avoir protégé 196,5 milliards de dollars en actifs rien qu’en 2025, démontrant une évolutivité opérationnelle significative.
Audit multi-chaînes et sécurité à l’échelle industrielle
Les protocoles modernes ne vivent plus sur une seule chaîne ou dans un seul langage. Pour cette raison, en 2025, Certora a analysé des centaines de milliers de lignes de code dans plusieurs environnements et couches technologiques.
En détail, ils ont été examinés 200 700 lignes de code EVM Et 206 600 lignes sur Solanaainsi que 33 000 lignes sur Sui, 16 300 sur Aptos et 6 000 sur NEAR. À cela s’ajoutent 90 000 lignes relatives aux infrastructures blockchain, 14 000 pour les applications mobiles et 36 000 pour les systèmes off-chain.
Ce dernier comprenait des composants de l'écosystème tels que EigenLayer Hourglass, SafeNet, Cork, des outils Piscine et d'autres. Cela dit, le principal défi n’était pas la quantité de code, mais la variété des environnements et des modèles d’exécution.
Travailler sur des piles hétérogènes a contraint les développeurs à faire face à différents modes de défaillance et pièges, dans le but de comprendre comment les systèmes réagissent sous stress, indépendamment de la chaîne, de la langue ou de la fenêtre temporelle.
Au-delà de TVL : ce que signifie réellement la valeur
La valeur protégée ne se mesure pas uniquement en TVL. Les travaux de Certora couvrent l'infrastructure, les mécanismes de gouvernance et les applications destinées aux utilisateurs, avec une approche combinant revue de conception et techniques mathématiques.
Vers 2025 90 milliards de dollars Les actifs ont été sécurisés grâce à une revue architecturale et une vérification formelle des invariants du protocole, c'est-à-dire des propriétés qui doivent être valides dans chaque état du système.
De plus, ils ont été complétés 150 audits sur plusieurs chaînes, environnements d'exécution et couches, avec l'identification de plus 720 vulnérabilités avant le déploiement. 99% des signalements ont été corrigés par les équipes avant le lancement.
Dans 11 cas, l'analyse a conduit à la suspension du lancement d'un protocole, après avoir identifié des risques graves qui auraient pu compromettre la durabilité économique ou la sécurité des utilisateurs.
Cela dit, en 2025, la sécurité n’était pas une simple réalisation procédurale, mais un outil permettant de modifier concrètement les résultats opérationnels des protocoles.
Les failles évitées : les hacks qui ne sont jamais arrivés
Au cours de l'année, Certora a identifié 80 vulnérabilités critiques, 180 vulnérabilités de haute gravité et 360 de gravité moyenne. Ce sont des chiffres qui montrent l’ampleur du risque latent dans le secteur.
Ces problèmes n’étaient pas des défauts superficiels, mais des bugs capables de générer des effets tels que l’insolvabilité sans exploitation explicite, le blocage permanent des fonds des utilisateurs, des positions de dette non liquidables, la capture de la gouvernance ou des dérives économiques lentes mais dévastatrices.
Dans un cas emblématique, un seul protocole présentait jusqu'à 80 problèmes distinctsdémontrant à quel point des systèmes complexes peuvent être fragiles lorsqu’ils sont soumis aux conditions réelles du marché.
De plus, l’équipe de recherche a découvert 10 bogues actifs dans des systèmes déjà déployés en production. Cela confirme que la sécurité ne s’arrête pas au lancement, mais nécessite une surveillance constante à mesure que les marchés, les usages et les infrastructures évoluent.
La nouvelle frontière : erreurs économiques et interactions entre systèmes
Bon nombre des problèmes critiques identifiés en 2025 ne résultaient pas d’erreurs de syntaxe ou d’erreurs de mise en œuvre triviales, mais d’hypothèses économiques erronées et d’interactions complexes entre plusieurs sous-systèmes.
Parmi les cas les plus significatifs, il y a une erreur mathématique qui aurait pu gonfler les taux d'intérêt effectifs jusqu'à 2 000 foisavec des impacts potentiellement dévastateurs sur l’équilibre du protocole.
Un autre problème concernait un mode d'échec de liquidation lié à une mise à niveau de Éthereum appelé Fusaka, où les limites de gaz par transaction pourraient créer des positions non liquidables, avec un risque systémique pour l'ensemble du mécanisme de prêt.
Des erreurs d'arrondi ont alors été détectées, violant des invariants centraux, comme la monotonie du cours de l'action, ou la garantie que certaines quantités ne diminuent pas dans des conditions normales.
Ce ne sont pas des bugs identifiables avec de simples modèles automatiques. Ils nécessitent une compréhension approfondie des protocoles, un raisonnement économique avancé et une attention constante aux changements au niveau de la chaîne.
Des protocoles conçus pour durer dans le temps
Une partie importante des travaux menés en 2025 s’est concentrée sur la garantie de la solvabilité économique des protocoles à long terme, au-delà de la version à code unique ou du moment du lancement.
L'objectif est d'aider les clients à construire des systèmes destinés à durer des années ou des décennies, en évaluant l'effet cumulatif dans le temps pour chaque formule et chaque logique. Dans ce contexte, des défauts apparaissent qui, à première vue, restent invisibles.
Les analyses ont en effet mis en évidence plusieurs erreurs comptables qui ne se manifesteraient que dans un avenir lointain, générant des événements extrêmes tels que la surrémunération des intérêts, la rupture des invariants de solvabilité sans exploitation extérieure ou l'accumulation de « dette fantôme » qui altère durablement l'économie interne.
En apparence, bon nombre de ces protocoles étaient corrects lorsqu’ils étaient observés à un moment donné. Cependant, ils ont échoué lors de l’examen des transitions d’état sur l’axe du temps, démontrant la nécessité d’une analyse dynamique.
Parce que la vérification formelle devient indispensable
Les protocoles les plus critiques ne peuvent se contenter d’une simple confiance qualitative. C'est pourquoi les contrôles formels de Certora visent à démontrer, et non seulement à émettre des hypothèses, l'exactitude des systèmes.
En 2025, les processus de vérification formelle sont allés au-delà de la vérification de fonctions individuelles pour inclure les invariants du système, c'est-à-dire les propriétés qui doivent rester vraies dans tous les états possibles du protocole.
Pour Aave v4 des propriétés telles que la monotonie du cours de l'action, l'impossibilité pour les actions des utilisateurs de rendre malsaines des positions saines et la règle selon laquelle l'absence de garantie implique l'absence de dette ont été prouvées.
Sur Euler Gagner Et Kamino la solvabilité des protocoles a été formellement démontrée, alors que pour Silo la cohérence entre les files d’attente de dépôt et de retrait a été vérifiée. Pour StellaireCependant, il a été prouvé que les quotas expirés ne peuvent pas être réutilisés.
Dans l’ensemble, ce type de travail fait de la sécurité un attribut démontrable, réduisant ainsi la marge d’incertitude quant au comportement futur dans des conditions extrêmes.
Expansion de l’équipe et modèle opérationnel
La capacité à couvrir autant de protocoles vient également de la croissance interne. En 2025, l’équipe de recherche en sécurité a quadruplé pour atteindre 40 expertsy compris 25 doctorats dans les méthodes formelles, la cryptographie et les systèmes.
L'entreprise peut désormais compter sur quatre équipes de recherche dédiées. Chaque audit est effectué par des chercheurs de haut niveau, coordonné par des chefs d'équipe et soutenu par des outils de vérification formelle, une analyse automatisée et un examen manuel répété.
De plus, les chercheurs établissent des relations à long terme avec les clients, suite à plusieurs versions et projets, depuis la phase de conception jusqu'à la gouvernance post-lancement. Ce modèle de support de sécurité continu vous permet de réagir rapidement aux changements du marché ou aux mises à niveau de l'infrastructure.
En ce sens, la sécurité n’est pas un effet secondaire, mais un élément technique, conçu dès le départ comme une composante structurelle des protocoles.
Perspectives pour DeFi après 2025
Les protocoles qui ont réussi en 2025 n’ont pas seulement connu une croissance rapide. Ils ont fait appel très tôt à des partenaires spécialisés, effectué des tests approfondis et traité la sécurité comme une infrastructure de base.
Certora se présente comme le partenaire de référence sur ces sujets et envisage les années à venir dans le but de consolider davantage les normes de sécurité du secteur, à mesure que de nouveaux modèles économiques et de nouvelles chaînes entrent en production.
À la lumière des résultats obtenus, la sécurité de Certora semble destinée à rester un pilier de l'écosystème DeFi mondial, notamment dans un contexte où la valeur de la chaîne et la complexité des protocoles continuent d'augmenter.
Voir l’article original en italien
