Cannes, France, 30 mars 2026, Chainwire
Construit au cours de six années de collaboration, Certora et Aave ont intégré la sécurité directement dans l’architecture d’Aave V4, créant l’un des cadres de sécurité les plus solides de la DeFi.
Certora, principal fournisseur d’outils de vérification formelle et d’audits de contrats intelligents pour les protocoles Web3, dévoile les détails du cadre de sécurité développé en collaboration avec Aave Labs pour sécuriser Aave V4, la nouvelle génération de l’un des plus grands protocoles de prêt de la finance décentralisée.
« Les protocoles DeFi fonctionnent de plus en plus à l’échelle et avec la complexité d’une infrastructure financière », a déclaré Mooly Sagiv, fondateur et directeur scientifique de Certora. « La sécurité ne peut plus reposer sur des audits ponctuels. Avec Aave V4, nous avons travaillé aux côtés des ingénieurs tout au long du développement, en vérifiant en continu les propriétés critiques du système afin de garantir que le protocole se comporte exactement comme prévu. »
Au lieu d’intervenir en fin de développement, Certora a rejoint l’effort autour d’Aave V4 plus d’un an avant le lancement. En travaillant en étroite collaboration avec les ingénieurs d’Aave, l’équipe a examiné l’architecture du système, les parcours de gouvernance et les hypothèses économiques dès les premières phases de conception, permettant aux considérations de sécurité d’influencer la structure du protocole dès le départ.
Ce travail s’appuie sur une relation entre Certora et Aave qui s’étend sur plus de six ans et plusieurs versions du protocole. Tout au long du développement d’Aave V4, les chercheurs de Certora ont travaillé aux côtés des ingénieurs d’Aave pour appliquer une vérification formelle continue, des tests adversariaux et des audits manuels afin d’identifier les problèmes en amont et de renforcer le système avant le déploiement.
Tout au long du développement, Certora a appliqué la vérification formelle, une approche mathématique utilisée pour prouver qu’un logiciel satisfait à des propriétés de sécurité spécifiques. La mission a inclus :
- La vérification des garanties clés du protocole, notamment la conservation des actifs, les règles de collatéralisation, la justesse des liquidations, la sécurité des permissions, la sécurité des mises à jour et la cohérence inter‑marchés
- Un examen manuel continu par des auditeurs seniors spécialisés dans les protocoles de prêt, les systèmes d’oracle, les mécanismes de gouvernance et les schémas d’attaque en DeFi
- Un concours de sécurité externe à grande échelle impliquant des chercheurs indépendants, au cours duquel aucune vulnérabilité critique ou à fort impact n’a été identifiée, ce qui a apporté une validation supplémentaire de l’architecture de sécurité du protocole.
Au fil de ce partenariat de long terme, Certora et Aave ont sécurisé plusieurs générations du protocole et des milliards de dollars de liquidité on‑chain, notamment :
- 169 contrats intelligents examinés
- Plus de 51 000 lignes de code analysées
- Plus de 800 règles de vérification formelle créées et continuellement testées
- 28 vulnérabilités significatives évitées avant le déploiement.
À mesure que la finance décentralisée arrive à maturité et attire des capitaux institutionnels, des garanties de sécurité plus solides deviennent un prérequis pour une adoption à grande échelle. Le travail de Certora avec Aave reflète une évolution plus large du secteur vers une ingénierie de la sécurité continue. Rien qu’en 2025, Certora a aidé à secure 196,5 milliards de dollars en valeur totale verrouillée sur les protocoles DeFi et a empêché plus de 720 vulnérabilités d’atteindre la production.
Pour plus d’informations, veuillez visiter certora.com/blog/certora-x-aavev4 ou suivre @Certora.
À propos de Certora
Certora est le partenaire d’assurance sécurité de confiance des équipes les plus avancées du Web3. Fondée en 2018 par des pionniers des langages de programmation et des méthodes formelles, Certora aide des protocoles de premier plan comme Lido, Aave, Uniswap et Compound à sécuriser, en toute confiance, des milliards de valeur.
Contact
Responsable RP
Aarya Shah
[email protected]