To ensure continued security beyond initial auditing and verification, the CertiK Chain extends the security of smart contracts throughout their deployment and execution.

Virtual Machines

A smart contract on the CertiK Virtual Machine can validate any other smart contracts’ security, in either cryptographic or mathematical forms, thus allowing differentiated handling of secure and non-secure peers. On chain smart contracts contain cryptographic certificates as proof of verified security.

Smart Contract Languages

The CertiK Chain supports the Solidity and DeepSEA programming languages. Additionally, all smart contracts can store an ABI, determining how contract functions are called, on-chain. This allows dApp developers to build on-chain without having to create a UI/UX system off chain.