CertiK

CertiK is the world’s first formal verification platform for blockchain security. Leveraging best-in-class AI technology, CertiK enables rigorous analysis of smart contracts and blockchain protocols, ensuring their reliability and preventing hacks. As a result, CertiK provides users with the highest level of security and peace of mind when conducting transactions on the blockchain. The company was founded in 2017 by two Columbia University computer science professors with experience in both academia and industry.