Back to all stories
Case Study
CertiK Conducts Successful Formal Verification Audit of Contents Protocol Smart Contract
CertiK Conducts Successful Formal Verification Audit of Contents Protocol Smart Contract

CertiK has completed an audit to Formally Verify the security of Contents Protocol, a blockchain project that developed a big data analytics platform for the entertainment industry. By facilitating data collection, analysis, and distribution among content providers, such as Hollywood Studios, and streaming services, Contents Protocol aims to vitalize the overall content industry.

As a blockchain project with wide consumer distribution, Contents Protocol decided to choose CertiK as its auditing partner. Founded by professors of Yale and Columbia, CertiK used its leading Formal Verification technology to mathematically prove that the Contents Protocol token (CPT) is free from some of the most frequent and critical vulnerabilities, including buffer and integer overflows.

Contents Protocol uses blockchain technology to transparently share data with content providers. The data that Contents Protocol distributes will be processed from the raw data collected from users on streaming platforms. This analyzed data will be shown in a curated format on Contents Protocol’s data analytics platform called “Data Dashboard.” Data analytics examples include, “This movie is popular among men in their mid 30s” and “20 percent of viewers stopped watching the episode after 15 minutes.”

This new project aiming to revitalize content industry is a new business launched by Korean startup, WATCHA Inc. Founded in 2011, WATCHA currently has two services with over 4.5 million users: content recommendation platform, Watcha, and subscription-based video streaming service, Watcha Play. Watcha is available globally and supports English, Korean, and Japanese. Watcha Play is currently available in Korea, with plans for global expansion.

After taking the first step with Watcha and Watcha Play, Contents Protocol will continue collecting quality data from various content categories, such as music and comics. While Watcha and Watcha Play continue to be key platforms participating in Contents Protocol, other third-party content platforms will join as well.

For more information, please visit Contents Protocol Website:

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.