CertiK Blog and News
Join Our Community Today!
CertiK DeepSEA — a Talk by Dr. Vilhelm Sjöberg at ETHIS
CertiK | Sept 14
CertiK is a startup that was founded from a research group at Yale University, led by Professor Zhong Shao. We have been doing Formal Verification in academia, and now we’re applying it to smart contracts and blockchains.
CertiK Crowned Global Blockchain Excellence Award
CertiK | May 4
Formal verification platform CertiK has been crowned Global Blockchain Excellence Award at the 3rd Annual Silicon Valley Entrepreneurs Festival, one of the largest international conferences that focuses on innovation and entrepreneurship.