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.

Prof. Ronghui Gu
Prof. Zhong Shao
Dr. Vilhelm Sjöberg
Research Scientist
  • 1
    Dec., 2017

    Proof of concept of CertiK techniques and community

  • 2
    Jan. 1, 2018

    Early supporters starts

  • 3
    Jan. 15, 2018

    Alpha version of CertiK labels and verification techniques

  • 4
    Feb. 1, 2018

    Alpha version of CertiK smart labeling. CertiK community open for registration.

  • 5
    Feb. 5, 2018

    Private sale starts

  • 6
    Apr., 2018

    Launch CertiK beta version

  • 7
    May, 2018

    Reach 10 Business Partners

  • 8
    June, 2018

    Launch CertiK 1.0

  • 9
    June 30, 2018

    Reach 30 Business Partners. Public release.