Aave Labs pubblica il rapporto completo di audit sulla trasparenza della roadmap di sicurezza di Aave V4

BlockBeats News, 5 marzo, secondo fonti ufficiali, Aave Labs ha pubblicato un rapporto completo sulla trasparenza riguardante il Piano di Sicurezza di Aave V4, includendo aspetti come metodologia, processo e risultati, con il supporto di diverse società di sicurezza come Trail of Bits, Blackthorn, Certora e altre. Attraverso audit manuali, verifica formale, test di invarianti, fuzz testing e competizioni pubbliche di sicurezza, è stato condotto un totale di circa 345 giorni di revisione della sicurezza. Questo piano è sostenuto da un budget dedicato alla sicurezza di 1.5 milioni di dollari approvato dal DAO.

Aave Labs ha annunciato che continuerà a mantenere cinque impegni fondamentali dal Piano di Sicurezza di Aave V4: integrare la verifica formale nelle prime fasi dello sviluppo per garantire che il design architettonico sia guidato da metodi sicuri e non solo dalla validazione; adottare un approccio di sicurezza stratificato, includendo audit manuali, verifica formale, test di invarianti, controlli assistiti da AI, fuzz testing e competizioni pubbliche di sicurezza, per coprire più potenziali vulnerabilità; mantenere una copertura di sicurezza continua, dove il framework di verifica formale e la suite di test di invarianti continueranno a operare con le iterazioni del protocollo; stabilire un programma di bug bounty a lungo termine per sfruttare una comunità di sicurezza più ampia per il monitoraggio continuo; e ottimizzare le capacità di scansione AI per migliorare continuamente i livelli di rilevamento intelligente della sicurezza delle future versioni sulla base dell'esperienza di test esistente.