Aave развертывает V3 на Aptos, запускает CTF-турнир на 100 тыс. долларов после проверки безопасности под руководством Cantina

Децентрализованные финансы (DeFi) протокол кредитования Aave развернул свою версию V3 на уровне 1 Aptos блокчейн и запустил мероприятие Capture The Flag (CTF) с вознаграждением в размере 100,000 XNUMX долларов США для участников. 

Развертывание Aave V3 на Aptos представляет собой сложную адаптацию ведущей DeFi платформа для блокчейн-среды на основе Move. Эта реализация, полностью созданная с использованием языка программирования Move, предназначена для согласования архитектуры протокола Aave с уникальными функциями безопасности и структурными требованиями языка. 

Компания Cantina, занимающаяся безопасностью, провела тщательный анализ кодовой базы, уделив особое внимание таким ключевым элементам, как механизмы кредитования, структуры стимулирования и интеграция с Oracle. 

Сотрудничество переросло в живой состязательный тест для оценки устойчивости протокола. Aave и Cantina инициировали вызов CTF в размере $100,000 25,000 в основной сети, где четыре контракта, каждый из которых содержит $XNUMX XNUMX активной ликвидности, подвергаются контролируемым попыткам эксплуатации. Исследователи безопасности, которые успешно идентифицируют законные уязвимости, могут сохранить восстановленные ими активы с целью проверки безопасности протокола в реалистичных условиях.

Развертывание Aave V3 на Aptos проходит проверку безопасности компанией Cantina с интеграцией Move и тестированием под руководством сообщества

Ааве V3 представляет собой новейшую версию децентрализованного кредитного протокола Aave, разработанного для обеспечения возможности заимствования и кредитования цифровых активов. Это обновление включает в себя такие усовершенствования, как улучшенные возможности управления рисками, повышенную эффективность капитала и поддержку работы в нескольких сетях блокчейнов. 

Развертывание протокола на блокчейне Aptos знаменует его первоначальное расширение за пределы платформ, совместимых с Ethereum Virtual Machine (EVM). Эта интеграция использует высокую пропускную способность транзакций Aptos, низкие комиссии и преимущества безопасности, предоставляемые языком программирования Move. Развертывание началось с фаза тестовой сети направлено на оценку безопасности, стабильности и производительности протокола в среде Aptos.

Move вводит четкое различие между логикой и состоянием, представляя цифровые активы как ресурсы, эффективно предотвращая такие распространенные проблемы, как повторный вход и дублирование. Его языковой дизайн и среда выполнения обеспечивают ограничения типов, контроль доступа и проверку транзакций. Адаптация Aave V3 к блокчейну Aptos включала комплексную переработку фундаментальных компонентов. 

Основные модули, связанные с кредитованием, вознаграждениями, интеграцией оракула и контролем доступа, были реструктурированы с использованием ресурсно-ориентированной модели Move. Каждый модуль был разработан как отдельный пакет с хорошоdefined собственность и границы, со статически определенными интерфейсами. Управление ролями и взаимодействие с оракулом придерживались фиксированных точек входа и обязательной регистрации, в то время как механизмы отслеживания эмиссии и расчета процентов были разработаны для обеспечения согласованного поведения. 

Cantina провела детальный обзор безопасности, сосредоточившись на периферийных пакетах и ​​их взаимодействии с механикой пула, структурами стимулов и функциями оракула. ​​Особое внимание было уделено распределению вознаграждений пользователей, конфигурациям стратегий и нормализации идентификаторов активов. Обновления управления вознаграждениями обеспечили надежные переходы состояний, а логика оракула была стандартизирована для единообразного получения и масштабирования данных. Процедуры развертывания были оценены на предсказуемость и повторяемость. Процесс обзора Cantina был структурирован вокруг модульной реализации Move-based от Aave, назначая экспертов в определенные области, включая кредитование, стимулы и фреймворки оракула. 

Этот процесс выявил множество проблем, включая одну с высокой степенью серьезности. В дополнение к формальным проверкам безопасности Aave и Cantina организовали два публичных конкурса, охватывающих как EVM, так и кодовые базы Move, привлекшие более 700 участников. Такое широкое участие сообщества позволило провести широкое исследование и получить ценные идеи от разнообразной группы исследователей безопасности.