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 Named Recipient of Global Blockchain Excellence Award at Silicon Valley Entrepreneurs Festival
CertiK | May 4
CertiK has been named recipient of the Global Blockchain Excellence Award at the 2018 Silicon Valley Entrepreneurs Festival, one of the largest international conferences that focuses on innovation and entrepreneurship.