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 infomation, please visit Contents Protocol Website: https://contentsprotocol.io/
CertiK is a blockchain and smart contract verification platform founded by top formal verification experts from Yale and Columbia University and former senior software engineers from Google and Facebook. Different from the traditional testing approaches, CertiK attempts to mathematically prove blockchain ecosystem and smart contracts are hacker-resistant and bug-free. CertiK’s key features include a layer-based decomposition approach, pluggable proof engine, machine-checkable proof objects, certified dApp libraries, and smart labelling. Trusted by the security industry, CertiK has reached strategic partnerships with world’s top Exchanges such as Binance, OKEx, and Huobi, as well as Public Chains such as NEO, ICON, and QuarkChain. CertiK is incubated and invested by Binance Labs, along with other world’s leading investors such as DHVC, FBG Capital, Bitmain, and Lightspeed.