Аудит безопасности
Читать полный отчёт (PDF)Находки
Всего
1
- Критические
- 0
- Серьёзные
- 0
- Средние
- 0
- Незначительные
- 0
- Информационные
- 0
- Централизация
- 1
SFA-01Первоначальное распределение токенов
Принято к сведениюОтчёт
- Аудитор
- CertiK
- Контракт
- Starfish.sol · ERC-20
- Сеть
- Base
- Методы
- Формальная верификация, ручная проверка, статический анализ
- Формальная верификация
- Доказано свойств ERC-20: 26 из 26
- Итоговый отчёт
- 24 сентября 2026 г.
