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