Команда Aave Labs, как сообщается, потратила около 1,5 миллиона долларов на масштабную программу аудита, что стало одним из самых тщательных проверок безопасности в DeFi на сегодняшний день. Процесс проверки длился около 345 дней и включал в себя различные компании по безопасности и крупный публичный конкурс аудита.
Период быстрого движения и проб постепенно уходит в прошлое. В текущем сценарии рынка устойчивость и безопасность являются реальным конкурентным преимуществом. Команда в основном финансируется Aave DAO, и привлекла известные компании по безопасности, такие как ChainSecurity, Trail of Bits, Blackthorn и Certora.
Вместо одного прохода аудита код тестировался с разных сторон. В целом протокол прошел около полного года тестирования внутренними командами, внешними аудиторами и независимыми исследователями.
Самые большие этапы включали шестинедельный публичный конкурс безопасности на Sherlock между декабрем 2025 и январем 2026 года. Более 900 исследователей приняли участие в конкурсе и представили более 950 находок.
Укрепление доверия
Несмотря на такую большую проверку, никаких критических или высокоуровневых уязвимостей обнаружено не было. Это укрепляет доверие к hub-and-spoke архитектуре Aave, которая изначально была создана для подавления всей поверхности атаки протокола.
Aave Labs отказывается от старого подхода «сначала строи, потом аудируй» и с первого дня привлекает команды безопасности V4 к работе с разработчиками. Фреймворк охватывает пять основных идей, включая формальную верификацию для математического тестирования кода, многоуровневые проверки, объединяющие ручной аудит и автоматизированное тестирование, постоянные проверки каждого обновления кода, непрекращающиеся программы вознаграждения за баги и инструменты ИИ, сканирующие необычные пути атак.
Элемент ИИ выделяется, и автоматизированные системы могут обнаруживать крайние случаи, которые человеческие аудиторы могут пропустить. Верификационная компания Certora помогла описать строгие правила, известные как «инварианты», которым код должен всегда следовать, еще до того, как он пройдет ручную проверку.
Главные новости криптоиндустрии сегодня:
Основатель TRON Джастин Сун и SEC достигли соглашения
