Аудити
Незалежний аудит контрактів Cosmic Signature від Hacken, формальна верифікація та аналіз у репозиторії контрактів і те, як перевірити контракт самостійно.
На цій сторінці (3)
Аудит коротко
Аудитор HackenЗвіт опубліковано
- Зауваження
- 23
- Критичні чи високі
- 0
- Інваріанти витримано
- 14 з 14
- Запусків фазингу
- 10 000
Зауваження за рівнем серйозності
- Критичні0
- Високі0
- Середні3
- Низькі8
- Інформаційні12
Наприкінці 2025 року Hacken провела незалежну перевірку безпеки смарт-контрактів Cosmic Signature. Перевірка охопила робочі контракти в публічному репозиторії — від ядра протоколу, яке керує кожним циклом, до токена CST, обох колекцій NFT, гаманців закріплення та допоміжних контрактів керування гаманцями й системою. Підсумковий звіт Hacken опублікувала в січні 2026 року.
Звіт наводить кожне зауваження з його рівнем серйозності та статусом; підсумок вище підраховує їх. Жодне не має критичного чи високого рівня, а більшість описують архітектурні компроміси, які команда розглянула та прийняла.
Окрім ручної перевірки, Hacken провела фазинг-тестування інваріантів системи — властивостей на кшталт вимоги, щоб обсяг ETH, який утримує протокол, завжди дорівнював сумі депозитів за вирахуванням забраних коштів. Усі інваріанти витримали перевірку.
Репозиторій контрактів також містить перевірки, які команда запускає сама: специфікації Certora Prover для логіки протоколу, збереження ETH, контролю доступу й контрактів гаманців, конфігурацію Solidity SMTChecker, статичний аналіз Slither і автоматизовані тести.
Ці перевірки доводять або тестують лише ті властивості, які в них сформульовано. Як і аудит, вони зменшують ризик, але не усувають його; див. розкриття ризиків.
- Специфікації CertoraВластивості, які перевіряє Certora Prover, і конфігурація кожного запуску (відкриється в новій вкладці)
- Конфігурація SMTCheckerСкрипти, що компілюють контракти з увімкненою перевіркою моделей Solidity (відкриється в новій вкладці)
- Аналіз SlitherСтатичний аналіз і перевірки можливості оновлення з поясненнями щодо запуску (відкриється в новій вкладці)
- ТестиАвтоматизовані тести контрактів (відкриється в новій вкладці)
Перш ніж взаємодіяти з контрактом, ви можете самостійно перевірити таке:
- Знайдіть адресу контракту на сторінці контрактів — єдиному списку офіційних адрес.
- Відкрийте адресу в Arbiscan (відкриється в новій вкладці) і переконайтеся, що вона в Arbitrum One і має верифікований вихідний код.
- Порівняйте цей код із публічним репозиторієм (відкриється в новій вкладці) або перевірте точний збіг на Sourcify (відкриється в новій вкладці).
- Прочитайте звіт Hacken (відкриється в новій вкладці), щоб побачити кожне зауваження та його статус.
- Переконайтеся, що те, що показує застосунок, відповідає поведінці контракту в блокчейні.