Certik

Token symbol

Smart contract blockchain

Links

Team:

Prof. Ronghui Gu - Co-Founder

Prof. Zhong Shao - Co-Founder

Dr. Vilhelm Sjöberg - Research Scientist

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.

Expert Review

TokenTops

TokenTops

4.3 out of 5

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. CertiK ledgers work as certificates to exhibit the end-to-end correctness and security of verified smart contracts and verified blockchain ecosystems, making them entirely trustworthy. A video showcase of the demo is available to see how the platform works and what one can do there. Only three main team members are listed on the site, however one can easily check their previous experience and skills. There are a lot of partnerships and cooperations with other companies and projects including few significant ones.