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.

حول 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.

نشاط

Twitter

متابعون:
9 134
تغريدات:
145

الفريق

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

المشاركة في الأحداث

١١ يناير ٢٠١٩
٧ ديسمبر ٢٠١٨
٢٧ نوفمبر ٢٠١٨
١٥ مايو ٢٠٢٤
٦ أبريل ٢٠٢٤
١٣ مارس ٢٠٢٤
٢٢ أبريل ٢٠٢٤
certik.org