About Project

The CertiK Foundation is a nonprofit, research-driven organization with a mission to give people the power to trust by providing the best Formal Verification platform for smart contracts and blockchain ecosystems.

Founded by Computer Science Professors Ronghui Gu of Columbia University and Zhong Shao of Yale University, the Foundation provides developers with the safeguards and flexibility to code with confidence, facilitating blockchain adoption for developers & large enterprises alike.

The CertiK Chain isn’t just a blockchain, however; the ecosystem also consists of security layers that exist below the blockchain level, including the DeepSEA compiler, the CertiK Virtual Machine (CVM), and CertiKOS.
This security-first technology stack sets new standards in blockchain, providing stakeholders with the safeguards needed to transact with one another more securely and efficiently.

Unfilled jobs by project