Client Spotlight: Nestree

## Executive Summary CertiK performed a formal verification, static analysis, and manual review of Nestree's back-end and smart contract code, concluded the code follows good practices, and reported no classically known anti-patterns or security issues; the document serves as an audit announcement and promotional information about CertiK's services.