Aave Labs veröffentlicht Sicherheitsplan für V4: Insgesamt 345 Tage Prüfung und Sicherheitsbudget von 1,5 Millionen US-Dollar

Odaily Planet Daily berichtet, dass Aave Labs den Sicherheitsrahmen von Aave V4 veröffentlicht hat und ein „Sicherheitspriorität“-Entwicklungsmodell verfolgt, bei dem Sicherheitsüberprüfungen bereits in der Architekturphase integriert werden, anstatt nur vor der Veröffentlichung eine abschließende Prüfung durchzuführen. Das Sicherheitsprogramm dauert etwa ein Jahr und umfasst insgesamt rund 345 Tage Sicherheitsüberprüfungen, finanziert durch ein von der Aave DAO genehmigtes Sicherheitsbudget von 1,5 Millionen US-Dollar. Es wird berichtet, dass der Sicherheitsprozess von V4 eine Kombination aus formaler Verifikation, manueller Prüfung, Invarianztests, Fuzzing und öffentlichen Sicherheitswettbewerben nutzt. Zukünftig wird die Protokollentwicklung weiterhin fünf langfristige Sicherheitsmaßnahmen umsetzen, darunter die frühzeitige Einführung formaler Verifikation, die Anwendung mehrstufiger Sicherheitsprüfungen, kontinuierliche Validierungsmechanismen, langfristige Bug-Bounty-Programme und den Einsatz von KI-gestützten Sicherheits-Scans für Smart Contracts. (The Block)