Aave Labs опублікували повний звіт аудиту безпеки плану Aave V4 з відкритою прозорістю

Згідно з повідомленнями Coin界, 5 березня, за офіційною інформацією, Aave Labs оприлюднили повний звіт про прозорість безпекового плану Aave V4, що включає методи, процеси та результати, а також отримали спільне підтвердження від кількох безпекових організацій, таких як Trail of Bits, Blackthorn, Certora. За допомогою ручного аудиту, формальної верифікації, тестування інваріантів, fuzz-тестування та публічних безпекових змагань було проведено приблизно 345 днів безпекових перевірок. Цей план підтримується спеціальним безпековим бюджетом у розмірі 1,5 мільйона доларів, затвердженим DAO. Aave Labs оголосили про продовження п’яти ключових зобов’язань у рамках безпекового плану Aave V4: впровадження формальної верифікації на ранніх етапах розробки для забезпечення безпеки архітектури під керівництвом безпекових методів, а не лише для перевірки; застосування багаторівневого підходу до безпеки, що включає ручний огляд, формальну верифікацію, тестування інваріантів, допомогу штучного інтелекту, fuzz-тестування та публічні безпекові змагання для покриття більшої кількості потенційних вразливостей; підтримку безперервного безпекового моніторингу, де рамки формальної верифікації та набір тестів інваріантів будуть постійно оновлюватися разом із розвитком протоколу; створення довгострокової програми винагород за вразливості для залучення ширшої безпекової спільноти до постійного моніторингу; а також оптимізацію можливостей сканування штучним інтелектом, що базується на досвіді поточних тестів, для постійного підвищення рівня інтелектуального безпекового аналізу майбутніх версій.