Certora–Aave Alliance публікує всебічну модель безпеки, що стоїть за Aave V4 - Crypto Economy

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

Співпраця між обома компаніями триває понад шість років і охоплює кілька версій протоколу. Для Aave V4 Certora приєдналася до процесу розробки більш ніж за рік до запуску, інтегрувавши безпеку безпосередньо в системну архітектуру з самого початку етапів проєктування.

Робота включала неперервну формальну верифікацію, адверсаріальне тестування та ручні аудити, виконані дослідниками з досвідом у протоколах кредитування, орекл-системах і механіці управління.

У конкретному вимірі команда Certora переглянула 169 смарт-контрактів, проаналізувала понад 51,000 рядків коду, згенерувала понад 800 правил формальної верифікації та запобігла 28 критичним вразливостям** до розгортання. Додатково, під час зовнішнього конкурсу безпеки з незалежними дослідниками, не було виявлено жодних критичних або таких, що мали б високий вплив, вразливостей.

«Безпека більше не може залежати від одноразових аудитів», — сказав Мули Сагів, засновник і головний науковець Certora. Лише у 2025 році компанія активно сприяла захисту $196.5 billion загальної вартості, заблокованої в DeFi-протоколах, і запобігла більш ніж 720 вразливостям до того, як вони потрапили у продакшн.

Джерело: https://chainwire.org/2026/03/30/certora-and-aave-reveal-security-framework-behind-aave-v4-following-six-year-collaboration/?mfk=rpvtAlMW9%2FoHf0N2EGpyPX7YYmOhAn2m735m%2B2w%2FzN%2Bm%2BM%2F9Q0SsJTo828N1GGiS81rK6UBY2vGtYRqTP6HXiQrorBUk5ESIaqAbRRN7tN8PFIJvJkNlj28ateMl7UVeL6fBNV3wiwdA%2BinqpTWDJxM72ZM72Ng%3D

Застереження: Crypto Economy Flash News ґрунтуються на перевірених публічних і офіційних джерелах. Їхня мета — надавати швидкі, фактичні оновлення про відповідні події в крипто- та блокчейн-екосистемі.

Ця інформація не є фінансовою порадою або рекомендацією щодо інвестування. Читачам радять перевірити всі деталі через офіційні канали проєктів, перш ніж приймати будь-які пов’язані рішення