Aave Labs оголосила про план безпеки V4: всього 345 днів аудиту та бюджет безпеки у розмірі 1,5 мільйона доларів

Odaily Planet Daily повідомляє, що Aave Labs оприлюднили безпекову структуру Aave V4, запропонувавши підхід «безпека перш за все» у процесі розробки, коли безпека вбудовується ще на етапі архітектурного проектування, а не лише під час фінального аудиту перед запуском. Цей план безпеки тривав близько року, за цей час було проведено приблизно 345 днів безпекових перевірок, фінансування надається з безпекового бюджету у розмірі 1,5 мільйона доларів, затвердженого DAO Aave. Зазначається, що процес безпеки V4 поєднує формальну верифікацію, ручний аудит, тестування інваріантів, fuzzing та публічні конкурси з безпеки, а в майбутньому розробка протоколу буде продовжувати застосовувати п’ять довгострокових заходів безпеки, зокрема впровадження формальної верифікації на ранніх етапах, багаторівневі методи аудиту, постійний механізм перевірки, довгострокову програму винагород за вразливості та використання штучного інтелекту для автоматизованого сканування безпеки смартконтрактів. (The Block)