Back to all stories
Case Study
Client Spotlight: ITAM Games
Client Spotlight: ITAM Games

With video games representing a rapidly growing market, currently estimated at 135 Billion dollars, it makes sense that a blockchain partner would seek to bridge the exchange of value in a clearer and fairer way.

Itam Games uses its blockchain-enabled ecosystem to preserve upgrades and achievements as crypto-assets, offering players and gamers ownership and control of their digital gaming assets for their network.

By bridging the digital gaming environment with the broader blockchain world, ITAM Games is able to offer a unique, decentralized solution built around ownership and freedom for players and developers alike.

To protect the security of their games and assets, ITAM Games chose to partner with CertiK. After all, we don’t play when it comes to security.

The Audit Process

The ITAM Games auditing process 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.

By combining all three features, CertiK was able to give a full-stack and mathematical examination of the ITAM Games system, combining the industry best-practices with our Formal Verification unique technology for a cohesive security audit.

Overall, the team found ITAM Games’ code to follow good practices. 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 ITAM Games 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 [email protected] or visit to submit the request.