立刻保护您的项目
借助最大的web3安全提供商来增强您的项目。
CertiK 安全专家将审核您的请求,并尽快与您联系。

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.

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 [email protected] 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

相关博客

CertiK Completes Proof of Reserves  Verification for Gate Dubai
新的 · 消息 ·公告

CertiK Completes Proof of Reserves Verification for Gate Dubai

CertiK has completed an independent Proof of Reserves (PoR) audit for Gate Technology FZE, the Dubai-based entity of the Gate Group. Gate Dubai exchange is licensed by the Virtual Assets Regulatory Authority (VARA). The audit verified that the platform's on-chain reserves fully back its user liabilities across all in-scope assets as of December 31, 2025.

CertiK Sponsors the First Theorem Proving Competition, Supported by OpenMath

CertiK Sponsors the First Theorem Proving Competition, Supported by OpenMath

The first Theorem Proving Competition, hosted by the China Computer Federation (CCF) officially launched. The competition is supported by OpenMath, the world’s first decentralized mathematical platform, with backing from Shentu Chain and CertiK.

The Importance of KYC Verification: A Key to Secure Financial Transactions

The Importance of KYC Verification: A Key to Secure Financial Transactions

Explore the importance of KYC verification in securing financial transactions. Learn how it helps prevent fraud, ensure compliance, and protect both businesses and users.