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

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