Formal Verification
CertiK formal verification has no properties applied on this engagement. The checklist below is the standard set, all still open.
- No unauthorized mintNot applied
- Transfer conserves supplyNot applied
- Owner cannot blacklistNot applied
- Tax bounded at 0%Not applied
- No self-destructNot applied
- Proxy admin immutableNot applied
Contracts: none applied · token scan still shows Verified · Full Scan.