Перейти до основного вмісту

Контракти, безпека та верифікація Cosmic Signature

Cosmic Signature працює на невеликому наборі контрактів в Arbitrum One. Цей посібник називає основні з них, показує, як самостійно перевірити будь-який, і пояснює, що охопив незалежний аудит.

Посібник 6 з 11

Контракти протоколу

Cosmic Signature працює в Arbitrum One з ідентифікатором мережі 42161. Жести, цикли й розподіли проходять через один контракт — Протокол Cosmic Signature, розгорнутий як оновлюваний проксі: його адреса не змінюється, а логіка міститься в контракті реалізації, на який указує проксі. CST, обидві колекції NFT і Космічна Рада мають власні адреси.

Рисунок 1Основні контракти в Arbitrum One
Кожна адреса відкривається в Arbiscan. Сторінка контрактів перелічує всі офіційні адреси, зокрема сховищ і гаманців.

Сторінка контрактів — єдиний список офіційних адрес, зокрема сховищ і гаманців. Будь-яку іншу адресу, що видає себе за Cosmic Signature, вважайте неофіційною.

Перевірте контракт самостійно

Жоден із цих кроків не потребує гаманця.

  1. Відкрийте адресу зі сторінки контрактів в Arbiscan (відкриється в новій вкладці) і переконайтеся, що мережа — Arbitrum One, а не тестова.

  2. На вкладці Contract переконайтеся, що вихідний код верифіковано. Порівняйте його з публічним репозиторієм контрактів (відкриється в новій вкладці) або перевірте точний збіг на Sourcify (відкриється в новій вкладці).

  3. Для контракту протоколу відкрийте Read as Proxy: названа там реалізація має збігатися з адресою контракту реалізації на сторінці контрактів.

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

Що перевірив аудит

Наприкінці 2025 року Hacken перевірила робочі контракти: ядро протоколу, яке керує кожним циклом, токен CST, обидві колекції NFT, гаманці закріплення та контракти керування гаманцями й системою. Звіт (відкриється в новій вкладці) опубліковано в січні 2026 року. Зауважень у ньому — 23, і жодне не має критичного чи високого рівня; 14 з 14 інваріантів, які Hacken перевіряла фазингом, витримали перевірку.

Репозиторій контрактів також містить специфікації Certora Prover, конфігурацію Solidity SMTChecker, статичний аналіз Slither і набір тестів — на кожне з них посилається сторінка аудитів. Вони доводять або перевіряють лише ті властивості, які заявляють, і не більше.

Аудит охоплював смарт-контракти: цей сайт, сервіс даних застосунку та конвеєр рендерингу творів до нього не входили. Як і будь-яка перевірка, аудит зменшує ризик, але не усуває його; перш ніж брати участь, прочитайте розкриття ризиків.