Odaily Planet Daily rapporte qu’Aave Labs a publié le cadre de sécurité d’Aave V4, proposant une approche de développement « sécurité d’abord » qui intègre la vérification de sécurité dès la phase de conception de l’architecture, plutôt que de se limiter à une audit final avant le lancement. Ce plan de sécurité a duré environ un an, avec environ 345 jours d’examen de sécurité effectués au total, financé par un budget de sécurité de 1,5 million de dollars approuvé par l’Aave DAO. Selon les informations, le processus de sécurité de V4 combine plusieurs méthodes d’audit, notamment la vérification formelle, l’audit humain, les tests d’invariance, le fuzzing et les compétitions de sécurité publiques. À l’avenir, le développement du protocole continuera d’adopter cinq mesures de sécurité à long terme, comprenant l’introduction de la vérification formelle dès les premières phases de développement, la mise en œuvre de méthodes d’audit de sécurité multicouches, un mécanisme de vérification continue, un programme de primes pour vulnérabilités à long terme, et l’utilisation de l’IA pour l’analyse de sécurité des contrats intelligents. (The Block)