CertiK Blog and News

Join Our Community Today!

All Stories
Latest
Announcements
Clients & Partners
Technology
Videos

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.