This report has been prepared for NFT Stars to discover issues and vulnerabilities in the source code of their nftstoken smart contracts. A comprehensive examination has been performed, utilizing CertiK’s Formal Verification Platform, Static Analysis, and Manual Review techniques.
Audit Timeline
Requested on 5/19/2021
Revisioned on 5/19/2021