In blockchains today, the burden of smart contract security is heavily one-sided; it would be nearly impossible to know whether an external smart contract or function was secure enough to call. The CertiK Chain equalizes that burden of responsibility, providing a more versatile way for users to set rules on how their smart contracts should interact with others based on how secure they are.
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.
Explore the technology and features behind the CertiK Chain, including CertiKOS, CertiK Virtual Machine, and DeepSEA.
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.