CertiK Blog and News
Join Our Community Today!
CertiK Co-Founder Recieves IBM Blockchain Grant to Further Research on DeepSEA Framework at Columbia University
CertiK | Feb 14
Garud Lyengar, a research leader at Columbia University, recently announced three projects that have been awarded with the Columbia-IBM Research Seed Funds.
Blockchain Audit Startup CertiK Hires Daryl and Yvan for Executive Team, Duos to Bring in Expertise in Smart Contract Auditing
CertiK | Oct 21
These top notch level hirings fortifies CertiK to continue to scale and raise the standards in blockchain security, following the launch of its new headquarters in New York City as part of the organization’s global expansion plans.
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.