Aave Labs представила технические планы по снижению транзакционных издержек в четвёртой версии протокола, подчеркнув, что борьба с высокими комиссиями остаётся ключевым вызовом для DeFi. В рамках дорожной карты V4 акцент сделан на оптимизацию перемещения ликвидности и удешевление пользовательских взаимодействий, включая заимствование, погашение и кросс-чейн операции. Разработчики стремятся создать более современную архитектуру для мультичейновой среды, где фрагментация капитала и накладные расходы сдерживают массовое внедрение.
Одновременно Certora завершила формальную верификацию ключевых смарт-контрактов Aave V4 — Liquidity Hub, Spoke-модулей и математических библиотек. Процесс подтвердил корректность реализации Solidity согласно формальным спецификациям, гарантируя точность учёта, сохранение платёжеспособности протокола и соблюдение заданных правил безопасности. В ходе верификации на раннем этапе была обнаружена критическая уязвимость: из-за возможности произвольной установки параметров «from» и «to» в Hub атакующий мог бы создавать фиктивные депозиты и нарушить всю систему бухгалтерии. По рекомендации Certora архитектура была переработана, опасность устранена.
Помимо формальной верификации, Aave реализует многоуровневую стратегию защиты. Компания отобрала исполнителя аудита из более чем 19 предложений, уложившись в утверждённый бюджет в $1,5 млн. После запуска V4 планируется продолжать инвариантное тестирование, усилить сканирование кода с помощью ИИ и поддерживать программу bug bounty. Такая глубокая работа над инфраструктурой показывает, что зрелые DeFi-протоколы продолжают инвестировать в надёжность, а не только в привлечение ликвидности громкими токенными нарративами.
