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