Aave V4 завершила повний аудит безпеки, 345 днів перевірки без виявлення серйозних вразливостей

Глибоководні новини TechFlow, 5 березня, Aave Labs нещодавно оголосили, що протокол Aave V4 пройшов повну безпекову перевірку тривалістю близько 345 днів із загальними витратами 1,5 мільйона доларів. Проєкт використовує стратегію “безпека перш за все”, починаючи з етапу архітектурного проектування, впроваджуючи багаторівневий контроль безпеки. Перевірка включала ручний аудит, формальне верифікування, тестування інваріантів, фузз-тестування та шеститижневий відкритий конкурс з безпеки, у якому взяли участь понад 900 учасників, що подали понад 950 звітів.

Результати аудиту показали, що всі основні аудиторські організації (включаючи ChainSecurity, Trail of Bits і Blackthorn) не виявили вразливостей високої серйозності. Aave V4 використовує новий дизайн центрального вузла та розгалужених модулів, що зменшує розмір кодової бази порівняно з V3 і підвищує ефективність аудиту. Aave Labs заявили, що продовжуватимуть підтримувати рамки формального верифікування, набір тестів інваріантів і планують запустити постійний план винагород за вразливості, щоб забезпечити довгострокову безпеку протоколу.