Aave Labs publie le rapport d'audit de transparence complète sur la feuille de route de sécurité d'Aave V4

BlockBeats News, le 5 mars, selon des sources officielles, Aave Labs a publié un rapport de transparence complet sur le Plan de Sécurité Aave V4, incluant la méthodologie, le processus et les résultats, avec le soutien de plusieurs entreprises de sécurité telles que Trail of Bits, Blackthorn, Certora, entre autres. Grâce à des audits manuels, une vérification formelle, des tests d'invariants, des tests fuzz et des compétitions publiques de sécurité, un total d'environ 345 jours de revue de sécurité a été réalisé. Ce plan est soutenu par un budget de sécurité dédié de 1,5 million de dollars approuvé par le DAO.

Aave Labs a annoncé qu'ils poursuivront cinq engagements fondamentaux du Plan de Sécurité Aave V4 : intégrer la vérification formelle dès les premières étapes du développement afin de garantir que la conception architecturale soit guidée par des méthodes sécurisées et non simplement par la validation ; adopter une approche de sécurité en couches, incluant des audits manuels, la vérification formelle, les tests d'invariants, les contrôles assistés par IA, les tests fuzz et les compétitions publiques de sécurité, afin de couvrir davantage de vulnérabilités potentielles ; maintenir une couverture de sécurité continue, où le cadre de vérification formelle et la suite de tests d'invariants continueront de fonctionner avec les itérations du protocole ; établir un programme de bug bounty à long terme pour mobiliser une communauté de sécurité plus large pour une surveillance continue ; et optimiser les capacités de scan par IA afin d'améliorer en continu les niveaux de détection intelligente de sécurité des futures versions sur la base de l'expérience des tests existants.