Aave витрачає 1,5 мільйона доларів на 345-денний аудит для посилення безпеки V4

• Aave Labs не дотримується старої стратегії “спершу збудувати, потім перевірити” і залучає команди безпеки V4 з перших днів роботи з розробниками.
• Елемент штучного інтелекту виділяється, автоматизовані системи можуть виявити крайні випадки, які можуть пропустити людські аудитори.

Команда Aave Labs, за повідомленнями, витратила близько 1,5 мільйона доларів на масштабну програму аудиту, що стала однією з найретельніших перевірок безпеки в DeFi на сьогодні. Процес перевірки тривав близько 345 днів і включав участь різних компаній з безпеки та великий публічний конкурс аудиту.

Період швидких змін і руйнувань поступово минає. У сучасних умовах ринку стійкість і безпека є справжніми конкурентними перевагами. Команда здебільшого підтримується Aava DAO у фінансовому плані, а також залучила провідні компанії з безпеки, такі як ChainSecurity, Trail of Bits, Blackthorn і Certora.

Замість одного проходження аудиту, код тестувався з різних ракурсів. В сумі протокол пройшов близько року тестування внутрішніми командами, зовнішніми аудиторами та незалежними дослідниками.

Найважливішими етапами були шість тижнів публічного конкурсу з безпеки на платформі Sherlock у період з грудня 2025 року по січень 2026 року. У конкурсі взяли участь понад 900 дослідників, які подали понад 950 знайдених вразливостей.

Посилення довіри

Незважаючи на великий аудит, критичних або високоризикових вразливостей не було виявлено. Це робить довіру до архітектури Aave, яка базується на моделі “хаб і спиця”, більш міцною, оскільки вона була створена для зменшення повної поверхні атаки протоколу.

Aave Labs не дотримується старої стратегії “спершу збудувати, потім перевірити” і залучає команди безпеки V4 з перших днів роботи з розробниками. Ця структура охоплює п’ять основних ідей, включаючи формальну верифікацію для математичного тестування коду, багаторівневі огляди, що поєднують ручні аудити та автоматизоване тестування, постійний контроль кожного оновлення коду, безперервні програми винагород за виявлення багів і інструменти штучного інтелекту для сканування на незвичайні шляхи атак.

Елемент штучного інтелекту виділяється, і автоматизовані системи можуть виявити крайні випадки, які можуть пропустити людські аудитори. Компанія з верифікації Certora допомогла описати суворі правила, відомі як “інваріанти”, яких код має дотримуватися ще до ручної перевірки.

Головні криптовалютні новини сьогодні:

Засновник TRON Джастін Сан і SEC досягли угоди про врегулювання.