The CertiK Chain is a public blockchain platform that provides better safeguards against hacks so you spend less time building security measures and more time building possibilities.
From the high-level Formal Verification of source code to the low-level fully-certified hypervisor/OS kernel of CertiKOS, best-in-class technology at every stack level ensures cohesive security.
The CertiK Virtual Machine (CVM) is language-agnostic and is fully compatible with the Ethereum Virtual Machine (EVM), meaning existing smart contracts written in Solidity or Vyper run seamlessly.
Developers can write smart contracts in DeepSEA or use its compiler to generate bytecode & corresponding proofs, enabling them to more easily verify their program code.
Like providing security clearance only to those who you trust, users have better control over their smart contracts on the Chain and can choose to limit interactions to verified smart contracts.
Check out our developer resources to start building or get the rundown on the CertiK Chain technology stack.