Back to all stories
Case Study
Client Spotlight: Nestree
Client Spotlight: Nestree

CertiK is proud to announce a successful security audit of Nestree, a reward-based messaging system for communities and contributors.

By implementing a reward-based model for contributors, Nestree seeks to create a secure, trusted system with an accompanying currency. With community trust paramount, Nestree chose CertiK to secure and check their program at-scale

CertiK is proud to help Nestree secure their back-end to protect their content, communities, and rewards.

By partnering with CertiK, Nestree is able to leverage our Formal Verification technology to secure the correctness of their programs and data across all points of access — and therefore able to provide a safer environment for Nestree to build out and reward their communities.

By rewarding content creators with crypto-currencies on a blockchain-based system, Nestree seeks to create a fairer, more open and transparent community.

CertiK is proud to collaborate with Nestree to solidify and improve the security of their product and provide them and their users with the confidence needed to scale.

The Audit Process

The auditing was conducted by CertiK’s team of experienced security engineers and consultants and was conducted utilizing CertiK’s Formal Verification Platform, Static Analysis, and Manual Review.

Overall, the team found Nestree’s code to follow good practices. With the delivery of the audit report, CertiK concludes that the contract is not vulnerable to any classically known anti-patterns or security issues.

CertiK would like to congratulate the Nestree team for passing the rigorous verification process and wishes them continued success.

About CertiK

CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University. Incubated by Binance Labs, Certik has strategic partnerships with the world’s leading crypto exchanges such as Binance, OKEx, and Huobi, as well as protocols such as NEO, ICON, and QuarkChain.

CertiK’s formal verification method works differently than traditional testing approaches: rather than working manually, CertiK mathematically proves blockchain ecosystem and smart contracts are hacker-resistant and bug-free at scale. CertiK has secured over $4B in asset value, auditing several projects across all major protocols, including BNB, Terra,, and TUSD.

To request the audit/verification of your smart contracts, please email [email protected] or visit to submit the request.