Security Audit
Read the full report (PDF)Findings
Total
1
- Critical
- 0
- Major
- 0
- Medium
- 0
- Minor
- 0
- Informational
- 0
- Centralization
- 1
SFA-01Initial Token Distribution
AcknowledgedReport
- Auditor
- CertiK
- Contract
- Starfish.sol · ERC-20
- Network
- Base
- Methods
- Formal verification, manual review, static analysis
- Formal verification
- 26 of 26 ERC-20 properties proven
- Final report
- September 24, 2026