Certik (CTK) Blockchain Service - Rating and Details of Certik ICO (Token Sale) - Rating: Pass

CertiK is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. To scale the verification, CertiK developed a layer-based approach to decompose such an otherwise prohibitive proof task into smaller ones. These smaller proof obligations can be encoded in the CertiK transactions and will then be proved and validated by the participants in a decentralized style. Thus, the CertiK ledgers work as certificates to exhibit the end-to-end correctness and security of the verified smart contracts and verified blockchain ecosystems, making them entirely trustworthy.

Tech & Github TBA
Team & Staff TBA
Community TBA
Our Rating Pass


December 2017

  • Proof of concept of Certik

January 2018

  • Early supporters

June 2018

  • Certik contract verification service (1.0)

July 2018

  • Reach 30 business partners and clients

October 2018

  • Certik contract verification service (2.0)

December 2018

  • Smart labeling (beta)

October 2019

  • Certik blockchain verification service (beta)

December 2019

  • Reach 100 business partners and clients

Team Members

Prof. Ronghui Gu


Prof.Zhong Shao


Dr.Vilhelm Sjöberg

Research Scientist