DATA & TRANSPARENCY

Аудити

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

Аудит зменшує невизначеність. Це не гарантує прибуток, ліквідність, безперебійну роботу або відсутність будь-якої вразливості.

Офіційний реєстр аудиту Atlas

На даний момент на офіційному веб-сайті Atlas є посилання на два незалежні звіти. Публікація підтверджує наявність рецензії; це не означає, що всі висновки були вирішені або що контракти є безризиковими.

Аудит безпеки Beosin

Огляд безпеки смарт-контракту · ідентифікатор звіту 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 →Відкрийте пояснення Atlas

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

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

Хто може викликати привілейовані функції та змінювати чутливий стан.

Повторна вхідність

Чи можуть зовнішні виклики неочікувано повторно почати виконання.

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

Затвердження, перенесення, десяткові числа та обробка повернених значень.

Math & state

Округлення, ліміти, облік і переходи станів.

Елементи керування адміністратора

Право власності, призупинення, можливість оновлення та надзвичайні дозволи.

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

Чи відповідає реалізація задокументованим правилам Smart Cycle.

Як читати знаходження тяжкості

CКритичнийМоже загрожувати коштам або основному контролю.

ХВисокийМатеріальний експлойт або збій протоколу.

МСереднійЗначуща проблема з обмеженнями.

ЛНизькийОбмежений вплив або важкодоступний корпус.

яІнформаційнийЯкість, ясність або передовий досвід.

Завжди читайте власні визначення серйозності аудитора: етикетки можуть відрізнятися між фірмами.

Перевірте звіт, перш ніж довіряти значку

01Джерело аудитораВідкрийте звіт з офіційного домену аудитора.

02Адреса договоруЗіставте його з офіційним реєстром Atlas.

03Версія кодуПідтвердьте фіксацію, байт-код або перевірену вихідну версію.

04Область застосуванняПеревірте, які контракти та функції були переглянуті.

05ВисновкиПрочитайте кожну невирішену та підтверджену проблему.

06ПеретестуватиПідтвердити, що виправлені висновки були повторно переглянуті.

Що охоплює звіт, а що може ні

Зазвичай покритий

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

Не покривається автоматично

Майбутнє розгортання або оновлений код
Безпека веб-сайту, гаманця або пристрою користувача
Ліквідність і поведінка учасників
Ринкові, економічні чи операційні результати

Пошук життєвого циклу відновлення

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

→

02ВиправленоРозробники змінюють код

→

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

→

04ВирішеноОстаточний статус вноситься до звіту

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

«Аудований» не означає безризиковий.Аудит обмежений обсягом, датою, версією коду, методологією та наявним часом перевірки. Він не може гарантувати майбутню ліквідність, економічні результати, доступність веб-сайту чи безпечну поведінку кожного учасника.

Червоні прапорці аудиту

!Бейдж без посилання на звіт

!Звіт розміщується лише проектом

!Інша адреса договору

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

!Відкрити Критичні або Високі результати приховані

!«100% безпечні» або «гарантовані» заяви