- Останній аудит 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, процес огляду включав кілька аудитів, зусилля з формальної верифікації та публічного тестування безпеки. Програма була спрямована на перевірку нової архітектури Hub і Spoke протоколу.
Certora проводила неперервну формальну верифікацію протягом усього розробки. Тим часом ChainSecurity, Trail of Bits і Blackthorn провели ручні оцінки безпеки на кількох етапах перевірки. Варто зазначити, що фінальний аудит Blackthorn не виявив жодних проблем у наданій кодовій базі.
Перевірено кілька відгуків, фінальний код
Крім приватних аудитів, Aave також відкрив протокол для публічного тестування. Проект провів шеститижневий баг-баунт через Sherlock. У конкурсі взяли участь понад 900 учасників і перевірили код.
За даними Aave, програма не виявила критичних або високоступеневих проблем. У ході загального процесу аудиту також було зафіксовано нуль високоступеневих уразливостей після фінальної версії коду. Однак аудитори виявили кілька незначних і низькорівневих питань під час перевірок.
Команди вирішили ці питання до публікації фінальних звітів. Остання оцінка ChainSecurity додає ще один етап до цього процесу. Вона конкретно перевіряє інтерфейс ERC-4626 vault, який з’єднує депозити Liquidity Hub із функціональними токенізованими стратегіями всередині екосистеми Aave V4.