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

CertiK is proud to announce a successful audit of AmonD.

AmonD rewards consumers for the data that advertisers need, creating a better, fairer, and clearer ecosystem. To do that, AmonD implements blockchain technology to reward consumers and distribute their information in a protected way.

AmonD lets consumers store consumer assets and participate in an ecosystem based on time, effort, and engagement for a more rewarding experience for consumers and a more accurate advertising landscape for companies.

To further their project, and to protect the data of their users, and to ensure a safe and successful reward system and tradable asset, AmonD partnered with CertiK, the leader in blockchain security, to audit their contracts with Formal Verification and ensure correctness.

CertiK is proud to work with the AmonD and the Ados Foundation on such an ambitious, scaling project. With personal data and digital assets central to AmonD, CertiK is proud to offer our security audit to ensure the success and safety of the project at large.

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 AmonD’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 AmonD team for passing the rigorous verification process and wishes them luck on their project at large.

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.