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