Back to all stories
Case Study
Spotlight: CertiK and HintChain
Spotlight: CertiK and HintChain

CertiK is proud to announce a completed audit of HintChain, a blockchain project that connects consumer preference to partners in the food industry.

HintChain is a Blockchain Project and utility token that connects consumer taste with companies in the food industry. HintChain collects consumer’s taste profile data across multiple platforms to create an AI-Driven “Personal Food Profile” which can then sync with the physical food industry.

HintChain has excelled in Asia, and has been focusing on China, Hong Kong, and Korea. As HintChain continues to scale, they required a security partner that could scale alongside them to provide protection for millions of users across multiple points of access.

To this end, HintChain chose to partner with CertiK for unrivaled security capabilities and peace of mind.

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 HintChain’s code to be follow good practices, with a reasonable amount of features on top of the ERC20. With the final update of source code and delivery of the audit report, we conclude that the contract is not vulnerable to any classically known anti-patterns or security issues.

CertiK would like to congratulate the team for passing the rigorous verification process.

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 or visit to submit the request.