Aave V4 schließt 345-tägige Sicherheitsprüfung für 1,5 Millionen Dollar ohne schwerwiegende Schwachstellen ab

Aave Labs gab bekannt, dass das Aave-V4-Protokoll eine umfassende Sicherheitsprüfung von rund 345 Tagen mit Gesamtkosten von 1,5 Millionen Dollar abgeschlossen hat, wobei ab der Architekturdesignphase ein sicherheitsorientierter Ansatz mit mehrschichtigen Schutzmaßnahmen verfolgt wurde. Die Prüfung kombinierte manuelle Audits, formale Verifikation, Invarianten-Tests, Fuzz-Testing und einen sechswöchigen öffentlichen Sicherheitswettbewerb, an dem über 900 Teilnehmer mit mehr als 950 Berichten teilnahmen. Laut den Audit-Ergebnissen meldeten führende Unternehmen wie ChainSecurity, Trail of Bits und Blackthorn keine schwerwiegenden Schwachstellen, während das neue Hub-and-Spoke-Modulardesign von Aave V4 die Codebasis gegenüber V3 reduzierte und die Audit-Effizienz verbesserte. Aave Labs fügte hinzu, dass es sein Framework für formale Verifikation und Invarianten-Tests weiterhin pflegen und ein dauerhaftes Bug-Bounty-Programm betreiben will, um die langfristige Protokollsicherheit zu unterstützen.