CertiK Conducts Successful Formal Verification Audit of Contents Protocol Smart Contract

Company Updates Announcements
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.

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, Crypto.com, and TUSD.

To request the audit/verification of your smart contracts, please email audit@certik.io or visit certik.io to submit the request.

Twitter: https://twitter.com/CertiKCommunity

Reddit: https://www.reddit.com/r/CertiKOrg/

Telegram: https://t.me/certikorg

LinkedIn: https://www.linkedin.com/company/certik

Related Blogs

CertiK’s Audit Review for FrenchICO

CertiK’s Audit Review for FrenchICO

The FrenchICO team asked CertiK to conduct a security audit of the design and implementation of their Minime-based smart contracts

How We Audit: A Comprehensive Guide to CertiK's Auditing Methodology

How We Audit: A Comprehensive Guide to CertiK's Auditing Methodology

CertiK's audit methodology covers environment setup, architecture review, threat modeling, formal verification, and manual review. See how we conduct 6,000+ blockchain security audits.

Exploiting a Smart Contract without Security Vulnerabilities: Analysis of True Seigniorage Dollar Attack Event

Exploiting a Smart Contract without Security Vulnerabilities: Analysis of True Seigniorage Dollar Attack Event

On March 14th, the CertiK Security Team discovered a novel type of attack which was leveraged against the DeFi stablecoin project; True Seigniorage Dollar. The attack resulted in a total loss of approximated $16,600. In order to conduct this, the attacker took advantage of the principle of the Decentralized Autonomous Organization (DAO) mechanism in order to conduct an attack without manipulating conventional ‘vulnerabilities’.