- Aave Labs не придерживается старого подхода «строить сначала, проверять позже» и с самого начала работает с командами безопасности V4 вместе с разработчиками.
- Особое внимание уделяется элементу ИИ, и автоматизированные системы могут обнаружить крайние случаи, которые могут пропустить человеческие аудиторы.
Команда Aave Labs, по сообщениям, потратила около 1,5 миллиона долларов на масштабную программу аудита, что стало одним из самых тщательных обзоров безопасности в DeFi на сегодняшний день. Процесс проверки длился около 345 дней и включал работу различных компаний по безопасности и крупный публичный конкурс аудита.
Период быстрого развития и разрушения устаревших систем постепенно уходит в прошлое. В текущих условиях рынка устойчивость и безопасность являются настоящими конкурентными преимуществами. Команда в основном поддерживается DAO Aave в плане финансирования, а также привлекла ведущие компании по безопасности, такие как ChainSecurity, Trail of Bits, Blackthorn и Certora.
Вместо одного прохода аудита код проверялся с разных сторон. В совокупности протокол прошел около года тестирования внутренними командами, внешними аудиторами и независимыми исследователями.
Ключевые этапы включали шести-недельный публичный конкурс по безопасности на платформе Sherlock в период с декабря 2025 по январь 2026 года. В конкурсе участвовало более 900 исследователей, которые представили более 950 находок.
Укрепление доверия
Несмотря на масштабный аудит, критические или высокосерьезные уязвимости обнаружены не были. Это повышает доверие к архитектуре Aave «хаб и спица», которая изначально была создана для минимизации всей поверхности атаки протокола.
Aave Labs не придерживается старого подхода «строить сначала, проверять позже» и с самого начала работает с командами безопасности V4 вместе с разработчиками. Эта структура охватывает пять основных идей, включая формальную проверку для математического тестирования кода, многоуровневые обзоры, объединяющие ручные аудиты и автоматизированное тестирование, постоянные проверки при каждом обновлении кода, непрерывные программы поиска ошибок и использование ИИ-инструментов для обнаружения необычных путей атаки.
Элемент ИИ выделяется, и автоматизированные системы могут обнаружить крайние случаи, которые могут пропустить человеческие аудиторы. Компания по проверке кода Certora помогла описать строгие правила, известные как «инварианты», которым код должен всегда соответствовать, еще до ручного обзора.
Актуальные новости криптовалюты сегодня:
Основатель TRON Джастин Сан и SEC достигли соглашения о урегулировании.
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к
Отказу от ответственности.
Связанные статьи
Fireblocks запускает инструмент институциональной доходности по стейблкоинам Earn
Fireblocks представила функцию Earn, позволяющую институциональным клиентам использовать балансы стейблкоинов в ончейн-кредитовании через Aave и Morpho, повышая эффективность капитала. Вначале функция предлагает в основном vault’ы Morpho и рынок кредитования Aave с переменной доходностью.
GateNews55м назад
ether.fi завершает миграцию на основной сети Optimism
Ether.fi успешно мигрировала на основную сеть Optimism, похвастаясь более чем 70 000 активных карт, 300 000 аккаунтов и $220 millionв total value locked (TVL).
GateNews56м назад
Circle запускает механизм кроссчейн-расчетов USDC, поддерживающий пакетные платежи
Circle запустила новый межсетевой механизм платежей в USDC для высокочастотных расчетов, используя Протокол межсетевой передачи (Cross-Chain Transfer Protocol), чтобы предварительно финансировать переводы и включать пакетные расчеты, тем самым сводя к минимуму операционную нагрузку и сокращая операции по сжиганию.
GateNews1ч назад
Эра стейблкоинов! Основатель Circle Джереми Аллер на 2026 год вошёл в список 100 самых влиятельных людей в мире
На фоне постепенного расширения глобального регулирования криптовалют и финансов основатель Circle Джереми Аллер был включён в список «Time» за 2026 год «100 самых влиятельных людей», что символизирует растущую важность стейблкоинов. Circle перешла от цифровых платежей к стейблкоину с USDC в качестве ядра и планирует стать частью глобальной финансовой инфраструктуры. Это преобразование делает её бизнес-модель более похожей на фонд цифровых валют, указывая на потенциальную прибыльность и рост стейблкоинов в будущем.
ChainNewsAbmedia9ч назад
0G Labs запускает 0G App в качестве шлюза экосистемы: децентрализованные вычисления, верифицируемый ИИ и $0G Token Close Loop (замкнутый цикл)
0G Labs запустила приложение 0G App — платформу без кода, которая позволяет пользователям создавать приложения для ИИ с помощью естественного языка. Она объединяет децентрализованные вычисления и возможности ИИ, решая проблемы централизации и одновременно повышая приватность. Этот запуск направлен на то, чтобы ускорить внедрение ИИ-агентов, и интегрируется с более широкой ИИ-экономикой 0G.
GateNews12ч назад
WLFI предлагает план управления токенами: 62,2 млрд токенов заблокированы минимум на 2 года, 10% доли команды будет сожжено
World Liberty Financial (WLFI) предложила план управления, который блокирует 62,2 миллиарда токенов WLFI на два года, с разными графиками вестинга для консультантов и ранних сторонников. Это направлено на усиление долгосрочного управления в DeFi и включает требование о сжигании токенов.
GateNews14ч назад
