Канны, Франция, 30 марта 2026 года, Chainwire
Созданная за шесть лет сотрудничества, Certora и Aave встроили безопасность непосредственно в архитектуру Aave V4, сформировав одну из самых сильных систем защиты в DeFi.
Certora, ведущий поставщик инструментов формальной верификации и аудита смарт‑контрактов для Web3‑протоколов, раскрывает детали фреймворка безопасности, разработанного в сотрудничестве с Aave Labs для защиты Aave V4 — нового поколения одного из крупнейших лендинговых протоколов децентрализованных финансов.
«DeFi‑протоколы все чаще работают в масштабах и с уровнем сложности финансовой инфраструктуры, — сказал Мули Сагив, основатель и главный научный сотрудник Certora. — Безопасность больше не может опираться на разовые аудиты. В случае с Aave V4 мы работали бок о бок с инженерами на протяжении всей разработки, непрерывно проверяя критические системные свойства, чтобы гарантировать, что протокол ведет себя ровно так, как задумано».
Вместо того чтобы подключаться к процессу на завершающих этапах разработки, Certora присоединилась к работе над Aave V4 более чем за год до запуска. Тесно сотрудничая с инженерами Aave, команда провела ранний анализ архитектуры системы, путей управления и экономических допущений, что позволило учитывать требования безопасности при формировании структуры протокола с самого начала.
Эта работа опирается на отношения между Certora и Aave, которые длятся более шести лет и охватывают несколько версий протокола. На протяжении всей разработки Aave V4 исследователи Certora работали вместе с инженерами Aave, применяя непрерывную формальную верификацию, атакующее тестирование и ручной аудит, чтобы заранее выявлять проблемы и усиливать систему до развертывания.
В ходе разработки Certora применяла формальную верификацию — математический подход, используемый для доказательства того, что программное обеспечение удовлетворяет определенным свойствам безопасности. Сотрудничество включало:
- Проверку ключевых гарантий протокола, включая сохранность активов, правила коллатерализации, корректность ликвидаций, безопасность прав доступа, защиту механизмов обновления и согласованность между рынками
- Непрерывный ручной обзор старшими аудиторами, специализирующимися на лендинговых протоколах, оракульных системах, механизмах управления и типовых паттернах эксплойтов в DeFi
- Крупномасштабный внешний конкурс по безопасности с участием независимых исследователей, по итогам которого не было выявлено критических или высокоimpact‑уязвимостей, что дополнительно подтвердило надежность архитектуры безопасности протокола.
В рамках этого долгосрочного партнерства Certora и Aave защитили несколько поколений протокола и миллиарды долларов ончейн‑ликвидности, включая:
- 169 проверенных смарт‑контрактов
- Проанализировано более 51 000 строк кода
- Создано и постоянно тестируется более 800 правил формальной верификации
- Предотвращено 28 значимых уязвимостей до развертывания.
По мере того как децентрализованные финансы продолжают зрелеть и привлекать институционный капитал, усиленные гарантии безопасности становятся необходимым условием масштабного распространения. Работа Certora с Aave отражает более широкий сдвиг в индустрии в сторону непрерывной инженерии безопасности. Только в 2025 году Certora помогла secure защитить 196,5 млрд долларов совокупной заблокированной стоимости (TVL) в DeFi‑протоколах и предотвратила попадание в продакшн более 720 уязвимостей.
Для получения дополнительной информации посетите certora.com/blog/certora-x-aavev4 или подпишитесь на @Certora.
О Certora
Certora — партнер по обеспечению безопасности, которому доверяют самые продвинутые команды в Web3. Основанная в 2018 году пионерами в области языков программирования и формальных методов, Certora помогает ведущим протоколам, таким как Lido, Aave, Uniswap и Compound, с уверенностью защищать миллиарды в цифровых активах.
Контакты
PR‑менеджер
Аарья Шах
[email protected]