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

Aave Labs сообщила, что протокол Aave V4 завершил масштабную проверку безопасности длительностью около 345 дней с общими затратами $1,5 млн, применив многоуровневую защиту с этапа архитектурного проектирования. Проверка включала ручные аудиты, формальную верификацию, инвариантное тестирование, фаззинг и шестинедельный публичный конкурс по безопасности, привлекший более 900 участников, представивших свыше 950 отчетов. По результатам аудита крупные компании, включая ChainSecurity, Trail of Bits и Blackthorn, не выявили критических уязвимостей, при этом новая модульная архитектура hub-and-spoke в Aave V4 сократила кодовую базу по сравнению с V3 и повысила эффективность аудита. Aave Labs добавила, что продолжит поддерживать фреймворк формальной верификации и набор инвариантных тестов, а также планирует проводить постоянную программу вознаграждений за обнаружение уязвимостей для долгосрочной безопасности протокола.