CertiK

CertiK

CertiK is a research-driven company founded by Prof. Gu from Columbia University and Prof. Shao from Yale University. Our mission at CertiK is to give people the power to trust by providing the best formal verification platform for smart contracts and blockchain ecosystems.

About CertiK

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.

Activity

Followers:
9 134
Tweets:
145

Team

Ronghui Gu
Professor of Columbia University, Co-founder
Prof. Zhong Shao
Co-Founder
Dr. Vilhelm Sjöberg
Principal Scientist
Daryl Hok
Chief Operating Officer
Benjamin Kong
General Partner
Kingsley Advani
Founder & Partner

Participation in events