CertiK Blog and News
Join Our Community Today!
Qtum Awards $400K Grant to Columbia University Research Team for Smart Contracts R&D
CertiK | Oct 20
Open source blockchain project Qtum has awarded a $400,000 grant to academics at Columbia University to fund the development of a new programming language for Ethereum (ETH)-style smart contracts.
Binance Labs Invests Millions in Blockchain Startup CertiK as Lead Investor
CertiK | Oct 9
CertiK, cybersecurity startup providing smart contract and blockchain audits, announced it has received several millions in funding from Binance Labs.
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.