ДАННЫЕ И ПРОЗРАЧНОСТЬ

Аудиты

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

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

Официальный реестр аудита Atlas

В настоящее время на официальном сайте Atlas размещены ссылки на два независимых отчета. Публикация подтверждает наличие обзора; это не означает, что каждый выявленный недостаток был устранен или что контракты не сопряжены с рисками.

Аудит безопасности Beosin

Аудит безопасности смарт-контракта · отчет ID 202606171520

ОТЧЕТ ОПУБЛИКОВАН

Сроки рассмотрения15–17 июня 2026 года

СетьBNB Smart Chain

Проверенный объемDailyFlow, LockupFlow, Distrib, Transport и PositionHandler

Заявленный результат: 1 незначительное замечание — принято.В отчете выявлен риск централизации, и рекомендуется использовать многоподписный аккаунт для привилегированного контроля.

Открыть отчёт Beosin →Реестр договоров

Аудит смарт-контрактов Cyberscope

Первичный обзор 15 июня 2026 г. · второй этап обзора 30 июня 2026 г.

ОТЧЕТ ОПУБЛИКОВАН

АудиторКиберскоп

Этапы рассмотрения15 и 30 июня 2026 года

Область примененияКонтракты Atlas Smart Cycle и сопутствующие компоненты, перечисленные в отчете

Отчет по инвентаризации: 1 критическая, 2 средних и 17 незначительных / информативных замечаний.Опубликованный отчет перечисляет эти выводы как нерешенные. Ознакомьтесь с деталями выводов и официальным пояснением аудита Atlas, прежде чем делать вывод.

Открыть отчет Cyberscope →Объяснение Open Atlas

Что проверяет аудит смарт-контрактов

Контроль доступа

Кто может вызывать привилегированные функции и изменять конфиденциальное состояние.

Рентранзактность

Могут ли внешние вызовы неожиданно возобновить выполнение.

Обработка токенов

Согласования, переводы, десятичные дроби и обработка возвращаемых значений.

Математика и государство

Округление, лимиты, учет и переходы состояний.

Элементы управления администратора

Право собственности, приостановка, возможность обновления и аварийные разрешения.

Бизнес-логика

Соответствует ли реализация задокументированным правилам Smart Cycle.

Как определить степень тяжести выявленной проблемы

CКритическийМожет угрожать средствам или основному управлению.

HПриветИспользование уязвимости материалов или сбой протокола.

MСреднийЗначимая проблема с ограничениями.

LНизкийОграниченное влияние или труднодоступный случай.

IИнформационныйЗамечание о качестве, ясности или лучшей практике.

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

Проверьте отчет, прежде чем доверять значку

01Источник аудитаОткройте отчет с официального домена аудитора.

02Адрес контрактаСопоставьте это с официальным реестром Atlas.

03Версия кодаПодтвердите коммит, байт-код или проверенную версию исходного кода.

04Область примененияПроверьте, какие контракты и функции были проверены.

05РезультатыПрочитайте каждую нерешенную и подтвержденную проблему.

06Повторный тестПодтвердите, что устраненные уязвимости были проверены повторно.

О чем говорится в отчете и чего в нем может не быть

Обычно покрывается

Проверенный исходный код и перечисленные контракты
Известные шаблоны уязвимостей
Логика управления доступом и токенами
Конкретная версия кода в отчете

Не покрывается автоматически

Будущие развертывания или обновленный код
Безопасность веб-сайта, кошелька или пользовательского устройства
Ликвидность и поведение участников
Рыночные, экономические или операционные результаты

Поиск жизненного цикла устранения уязвимостей

01НайденоАудитор документирует проблему

→

02ИсправленоРазработчики изменяют код

→

03ПеретестированоАудитор проверяет исправление

→

04УрегулированоИтоговый статус вносится в отчет

Чего аудит не гарантирует

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

Тревожные сигналы при аудиторской проверке

!Бейдж без ссылки на отчет

!Отчет размещен только на проекте

!Другой адрес контракта

!Старая или неуказанная версия кода

!Открыть скрытые уязвимости уровня «Критический» или «Высокий»

!“Заявления о ”безопасности 100%“ или ”гарантии»