- Последний аудит Aave V4 охватил ERC-4626 Tokenization Spoke, обеспечивающий стандартизированные интеграции токенизированной ликвидности.
- Программа безопасности V4 длилась 345 дней и включала аудит, формальную верификацию и обширное публичное тестирование.
- Более 900 участников программы баг-бонти проверили Aave V4, и не было обнаружено уязвимостей критического или высокого уровня серьезности.
Aave опубликовала новый аудит безопасности для своего V4 Tokenization Spoke, добавив еще один обзор в рамках своей общей программы безопасности V4. Согласно Aave, аудит провела ChainSecurity, которая изучила хранилище, соответствующее ERC-4626, осуществляющее конвертацию депозитов Liquidity Hub в фунгибельные ERC-20 акционные токены — функцию, предназначенную для поддержки интеграций, подключающихся к Aave V4.
ChainSecurity проводит аудит Tokenization Spoke
Последний обзор был посвящен Tokenization Spoke — компоненту архитектуры Aave V4. Согласно Aave, Tokenization Spoke оборачивает депозиты активов Liquidity Hub в ERC-20 акционные токены.
Эти токены предоставляют провайдерам ликвидности права на базовую ликвидность. Структура соответствует стандарту ERC-4626 для хранилищ. В результате разработчики и внешние протоколы могут взаимодействовать с токенизированной ликвидностью через стандартизированную рамку.
Основатель и генеральный директор Aave Стани Кулехов отметил аудит в социальных сетях. Он сказал, что интерфейс хранилища особенно важен для интеграций, стремящихся получить доступ к Aave V4.
Программа безопасности охватывает почти год
Недавно опубликованный отчет является частью более широкой инициативы по безопасности V4, длившейся 345 дней. Согласно Aave, процесс проверки включал несколько этапов аудита, усилия по формальной верификации и публичное тестирование безопасности. Программа была направлена на проверку новой архитектуры «Хаб и спицы» протокола.
Certora обеспечивала непрерывную формальную верификацию на протяжении всего процесса разработки. В это же время ChainSecurity, Trail of Bits и Blackthorn провели ручные оценки безопасности на нескольких этапах проверки. Особо стоит отметить, что финальный аудит Blackthorn не выявил никаких проблем в представленной кодовой базе.
Проанализировано несколько отзывов, финальный код
Помимо частных аудитов, Aave также открыл протокол для публичного тестирования. Проект провел шестинедельный баг-баунти через Sherlock. В конкурсе приняли участие более 900 участников и проверили код.
Согласно Aave, программа не выявила критических или высокосерьезных уязвимостей. Более широкий процесс аудита также сообщил о нулевых высокосерьезных уязвимостях после финализации кода. Однако аудиторы выявили несколько незначительных и низкого уровня проблем в ходе проверок.
Команды рассмотрели эти выводы до публикации финальных отчетов. Последняя оценка ChainSecurity добавляет еще один этап к этому процессу. Она специально анализирует интерфейс ERC-4626 vault, который соединяет депозиты Liquidity Hub с фунгибельными токенизированными стратегиями внутри экосистемы Aave V4.