Безопасен ли протокол EVAA? Аудиты, оракулы и риски смарт-контрактов

KTX
KTX
  • Обновлено

Протокол EVAA опубликовал проверки безопасности от Quantstamp и Trail of Bits для своих кредитных контрактов в сети TON. Это весомое свидетельство внешней проверки, но оно не дает однозначного ответа на вопрос «Безопасен ли EVAA?». Аудит изучает определенную кодовую базу; при этом пользователи также зависят от развернутой версии, источников цен, административных средств управления и доступной ликвидности в момент, когда им требуется выйти из позиции.

На практике важно понять, какие риски охватывала конкретная проверка, а какие зависимости остались за ее пределами. Покупка токена с брендом EVAA также означает иной вид риска по сравнению с внесением залога или получением займа через кредитный протокол.

KTX Learn: EVAA audits, oracles and smart-contract risks

Начинайте с версии, прошедшей аудит, а не с логотипа аудитора

В открытом репозитории контрактов EVAA указано, что версия v6 прошла проверку Quantstamp, а версия v8 — проверку Trail of Bits. Там также приведены ссылки на ревизии и инструкции по сравнению хешей файлов с материалами аудита. Благодаря этому область проверки становится более информативной, чем обычная отметка «прошел аудит».

Важны три сравнения: проверенный код, изменения, внесенные после проверки, и код, развернутый в используемом вами пуле. Отчет по более ранней версии автоматически не распространяется на последующие обновления, форк или другой контракт токена. Конфигурация пула также имеет значение: один и тот же базовый код может вести себя по-разному при разных залоговых активах, лимитах или настройках оракула.

Доказательство Что оно помогает установить Чего оно не устанавливает
Указанный аудит и ревизия кода Какая реализация прошла внешнюю проверку Что охвачено каждое последующее развертывание
Статус выявленной проблемы и ее исправления Как была обработана задокументированная проблема Что не осталось невыявленных уязвимостей
Подписанный пакет данных оракула Происхождение и целостность данных в соответствии с правилами проверки Что цена всегда экономически корректна
Мультиподписное администрирование Для привилегированных действий может требоваться несколько подтверждений Что все административные риски или риски обновления исчезают

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

Изучайте выявленные проблемы вместе с реакцией на них

В отчете Trail of Bits, опубликованном в августе 2025 года, зафиксировано девять проблем: семь были устранены, а две оставались нерешенными после повторной проверки исправлений. Две нерешенные проблемы были классифицированы как информационные и касались применения комиссии за выдачу займа после проверки залогового обеспечения, а также влияния изменений порога ликвидации на существующие позиции. Отчет содержит пояснения команды по этим решениям.

Эти исторические статусы не доказывают наличие текущего эксплойта и не подтверждают, что каждая проблема была исправлена. Они показывают, почему важна реакция на выявленную проблему: она может быть устранена изменением кода, ограничением конфигурации или операционным обязательством, причем такие меры обеспечивают разные виды защиты.

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

Оракулы связывают информацию о ценах с решениями о кредитовании

Документация оракула EVAA описывает подписанные пакеты цен, несколько настроенных экземпляров оракула и агрегирование по медиане. Среди источников указаны Pyth, RedStone и Stork, а для некоторых активов также приведены производные значения. Контракты проверяют действительность пакета, подписи, временные метки и необходимое количество источников.

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

Рассмотрим условный пример займа: залог стоимостью 1 000 долларов обеспечивает долг в размере 600 долларов. Если стоимость залога снижается до 700 долларов, а долг остается неизменным, доля долга возрастает с 60% примерно до 85,7% стоимости залога. Возможность ликвидации зависит от фактических параметров конкретного пула. Устаревшая завышенная цена может скрыть ухудшение позиции, а ошибочно заниженная цена может создать впечатление, что обеспеченная позиция находится в худшем состоянии.

Price observations pass through signed reports and contract checks before affecting lending decisions; audit scope and token identity remain separate questions

Отклонение недействительных данных может защищать учетные данные, одновременно временно блокируя операцию, чувствительную к цене. Поэтому пользователь может столкнуться с проблемой доступности даже при корректной работе проверок. В нашем руководстве по блокчейн-оракулам объясняется, почему доставку данных, их актуальность и интерпретацию следует оценивать отдельно.

Даже корректный код не гарантирует пользователю возможность выйти из позиции

Безопасность смарт-контрактов и экономическая безопасность пересекаются, но это не одно и то же. В документации EVAA о рисках и выводе средств объясняется, что внесенные средства можно вывести только в пределах доступной ликвидности пула. Активы, занятые другими пользователями, не становятся немедленно доступными для вывода лишь потому, что на счете поставщика отображается положительный баланс.

Заемщики сталкиваются с другим видом риска: падение стоимости залога, рост стоимости долга или начисленные проценты могут уменьшить их запас прочности. Ликвидаторы также должны иметь возможность исполнять операции и реализовывать залог в условиях стресса. Корректно рассчитанная позиция не гарантирует, что каждая необходимая транзакция будет завершена до дальнейшего движения рынка.

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

Подробнее о механике кредитования см. в нашем анализе ликвидаций и кредитных рисков EVAA. Соответствующий запас прочности зависит от конкретной позиции и пула, а не от универсального «безопасного» процента заимствования.

Отделяйте рыночный риск токена от безопасности протокола

Токен с брендом EVAA в другой сети автоматически не подпадает под аудиты кредитных контрактов в TON. Прежде чем считать его токеном протокола, подтвердите его эмитента или документированную связь с мостом. Владение токеном, внесение средств в кредитный пул и хранение заемного актива — это разные позиции с различными правами и рисками.

Рынок EVAA в сети Solana на KTX ON-Chain предоставляет запись с рыночными данными для конкретного минт-адреса. Отображаемое название и котировка не подтверждают наличие связи с аудитами протокола в TON. Проверьте исполнимую ликвидность и полную идентичность токена; почти плоский график не подтверждает стабильность стоимости или возможность легко перепродать актив.

Часто задаваемые вопросы

Означает ли аудит, что средства застрахованы?

Нет. Техническая проверка не является страховым полисом или гарантией возврата средств. Любая отдельная программа защиты должна иметь собственные условия, исключения и процесс подачи требований.

Могут ли поставщики ликвидности быть ликвидированы без заимствования?

Позиция, предусматривающая только внесение средств, сама по себе не создает дефицита по займу. Поставщики все равно сталкиваются с рисками, связанными с контрактом, активом и ликвидностью для вывода. Добавление заимствования меняет профиль риска позиции.

Доказывает ли успешный небольшой вывод, что весь баланс находится в безопасности?

Нет. Он проверяет одну транзакцию в один момент времени. При более крупных выводах могут действовать другие ограничения ликвидности, а последующее обновление или рыночный шок могут изменить условия.

Компенсирует ли высокая APY все эти риски?

Нет. Заявленная доходность может меняться и не учитывает каждый сценарий убытка. Сравнивайте источник процентов, стимулы, условия вывода и потенциальную потерю основной суммы.

Можно ли оценить безопасность EVAA только по подключению кошелька?

Нет. Подключение кошелька не является проверкой безопасности. Читайте каждую запрашиваемую подпись и транзакцию, используйте предназначенную сеть и никогда не сообщайте фразу восстановления или приватный ключ службе поддержки.

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

Была ли эта статья полезной?

Пользователи, считающие этот материал полезным: 0 из 0

Еще есть вопросы? Отправить запрос