This report has been prepared for HYVE to discover issues and vulnerabilities in the source
code of their HYVE smart contracts. A comprehensive examination has been performed, utilizing
CertiK’s Formal Verification Platform, Static Analysis, and Manual Review techniques.