CertiK Blog and News
Join Our Community Today!
CertiK Conducts Successful Formal Verification Audit of Contents Protocol Smart Contract
CertiK | Jan 25
CertiK has completed an audit to Formally Verify the security of Contents Protocol, a blockchain project that developed a big data analytics platform for the entertainment industry.
Official Partnership Between Binance and CertiK
CertiK | Jan 18
To kickoff the 2019 year, CertiK, the world’s most advanced blockchain security company, and Binance, the world’s largest digital asset exchange, announced a Partnerships to enhance the security of tokens listed on the Binance platform
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.