Aave Labs опублікувала повідомлення про аудит повної прозорості для програми безпеки Aave V4

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