This report has been prepared as product of the Smart Contract Audit request by Leo. This audit was conducted to discover issues and vulnerabilities in the source code of Leo’s Smart Contracts. Utilizing CertiK’s Formal Verification Platform, Static Analysis and Manual Review, a comprehensive examination has been performed.