CertiK Conducts Successful Formal Verification Audit of Contents Protocol Smart Contract

CertiK completed a formal verification audit of Contents Protocol (CPT), a blockchain big-data analytics platform launched by WATCHA; the announcement describes the project's goals, examples of analytics use cases, and CertiK's formal verification service and partnerships, noting that the token and contracts were checked for common vulnerabilities such as buffer and integer overflows. The document is informational and promotional and does not report a breach, malware, indicators of compromise, or active exploitation.