CertiK Conducts Successful Formal Verification Audit of Contents Protocol Smart Contract

CertiK
CertiK
Jan 25, 2019 · 2 min read

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/

About CertiK

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.

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

Twitter: https://twitter.com/certikorg

Telegram: https://t.me/certikorg

CertiK

Secure the Crypto World

Medium is an open platform where 170 million readers come to find insightful and dynamic thinking. Here, expert and undiscovered voices alike dive into the heart of any topic and bring new ideas to the surface. Learn more

Follow the writers, publications, and topics that matter to you, and you’ll see them on your homepage and in your inbox. Explore

If you have a story to tell, knowledge to share, or a perspective to offer — welcome home. It’s easy and free to post your thinking on any topic. Write on Medium

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store