Aave Labs объявила об успешном завершении 345-дневного аудита безопасности протокола Aave V4, в ходе которого не было обнаружено критических уязвимостей. Аудит, стоимость которого составила 1,5 миллиона долларов, включал комплексный подход с приоритетом на безопасность, включая ручные проверки, формальную верификацию, тестирование инвариантов, фуззинг и публичный конкурс по безопасности. Более 900 участников подали свыше 950 отчетов в течение шестинедельного конкурса. Крупные аудиторские компании, такие как ChainSecurity, Trail of Bits и Blackthorn, подтвердили отсутствие уязвимостей высокой степени серьезности. Новая модульная архитектура Aave V4 по схеме «хаб-энд-споук» привела к уменьшению кода, что повысило эффективность аудита. Aave Labs планирует сохранить свою систему формальной верификации и набор тестов инвариантов, а также создать постоянную программу вознаграждений за обнаружение ошибок для обеспечения непрерывной безопасности.