Aave Labs a annoncé la réussite de l'audit de sécurité de 345 jours pour le protocole Aave V4, sans détection de vulnérabilités critiques. Cet audit, qui a coûté 1,5 million de dollars, a adopté une approche globale axée sur la sécurité, incluant des audits manuels, une vérification formelle, des tests d'invariants, des tests de fuzzing et un concours public de sécurité. Plus de 900 participants ont soumis plus de 950 rapports durant la compétition de six semaines. Des cabinets d'audit majeurs tels que ChainSecurity, Trail of Bits et Blackthorn ont confirmé l'absence de vulnérabilités à haute gravité. Le nouveau design modulaire en étoile du Aave V4 a permis de réduire la taille du code, améliorant ainsi l'efficacité de l'audit. Aave Labs prévoit de maintenir son cadre de vérification formelle et sa suite de tests d'invariants, tout en établissant un programme continu de primes aux bugs pour garantir une sécurité constante.