Certora sécurise près de $200 milliards de dollars en valeur DeFi en 2025, empêchant plus de 700 vulnérabilités sur les protocoles leaders

Source : CryptoDaily Titre original : Certora sécurise près de $200 milliards de dollars en valeur DeFi en 2025, empêchant plus de 700 vulnérabilités sur les principaux protocoles Lien original : De nouvelles données mettent en lumière la croissance rapide de Certora, son rôle croissant dans la sécurité continue et son leadership en vérification formelle.

Certora, un fournisseur de premier plan d’outils de vérification formelle et d’audits de contrats intelligents pour les protocoles Web3, a publié son Rapport Annuel 2025, révélant que l’entreprise a contribué à sécuriser un total de (196,5 milliards de dollars en valeur totale verrouillée (TVL) dans l’écosystème DeFi et a empêché plus de 720 vulnérabilités d’atteindre la production. Selon le rapport, 14 des 20 principaux protocoles DeFi par TVL ont travaillé avec Certora en 2025, représentant environ 70 % de la catégorie, tandis que 7 des 10 principaux protocoles maintiennent des engagements de sécurité continus et à long terme avec l’entreprise.

$2,1–$2,4 milliards ont été perdus en exploits cryptographiques en 2025, marquant une augmentation d’une année sur l’autre alors que l’activité DeFi rebondissait et que les architectures des protocoles devenaient plus complexes. Le rapport de Certora met en évidence plusieurs changements structurels dans la façon dont les principales équipes abordent la sécurité, notamment :

• Un passage d’audits ponctuels à des relations de sécurité continues
• Une attention accrue aux invariants au niveau du protocole plutôt qu’aux vérifications au niveau des fonctions
• Une extension du périmètre d’audit pour inclure la configuration du déploiement, la gouvernance et la sécurité opérationnelle
• Une reconnaissance croissante que les mises à jour de la blockchain et le comportement des validateurs introduisent de nouveaux risques de sécurité

En 2025, Certora a réalisé environ 150 audits de sécurité, identifiant 80 problèmes critiques et 180 à haute gravité, avec 99 % de toutes les découvertes corrigées avant le déploiement. Dans 11 cas, Certora a conseillé aux équipes de protocoles de retarder ou d’arrêter complètement les lancements après avoir découvert des risques graves pouvant entraîner une défaillance systémique ou une perte de fonds.

“Ces chiffres reflètent à quel point l’industrie a évolué”, a déclaré Seth Hallem, PDG de Certora. “La sécurité aujourd’hui ne consiste pas à repérer des bugs évidents à la dernière minute. Il s’agit de prouver la correction dans des systèmes qui gèrent des milliards de dollars, évoluent en permanence et interagissent entre chaînes. Notre croissance en 2025 reflète le passage de l’écosystème vers une sécurité à long terme, au niveau de l’infrastructure.”

“Les protocoles les plus matures ne considèrent plus la sécurité comme un audit ponctuel”, a déclaré Mooly Sagiv, fondateur et scientifique en chef de Certora. “Ils choisissent un partenaire de sécurité qui comprend leur économie, leur architecture et le comportement de leur système dans le temps. Ce que nous observons, c’est un changement clair dans l’industrie, passant de ‘couverture d’audit’ à ‘garanties de correction’.”

Pour répondre à cette demande, Certora a doublé son équipe de recherche en sécurité en 2025, atteignant environ 40 chercheurs, dont 25 titulaires de doctorats, renforçant ainsi leur expertise approfondie dans des environnements d’exécution tels qu’Ethereum, Solana, Sui, Aptos, et l’infrastructure blockchain émergente.

Le rapport met en évidence comment la frontière du risque s’est déplacée des vulnérabilités superficielles vers des cas limites économiques, des hypothèses inter-chaînes, des pièges spécifiques au langage et le comportement des protocoles sous des conditions changeantes de la chaîne, y compris les mises à jour du réseau.

En 2025, Certora a sécurisé plus de ) milliards de dollars en TVL par conception, en utilisant la vérification formelle pour prouver mathématiquement des invariants critiques du protocole tels que la solvabilité, les taux d’intérêt monotoniques et les conditions de sécurité des utilisateurs.

À propos de Certora

Certora est le partenaire d’assurance sécurité de confiance des équipes les plus avancées dans Web3. Fondée en 2018 par des pionniers des langages de programmation et des méthodes formelles, Certora aide des protocoles leaders comme Lido, Aave, certaines plateformes DEX, et Compound à sécuriser des milliards de dollars en toute confiance.