This is the report for smart contract verification service requestd by NKN. The goal of the audition is to guarantee that verified smart contracts are robust enough to avoid potentially unexpected loopholes.