CertiK, a platform for blockchain and smart contract auditing, today introduced the CertiK blockchain. The CertiK Chain is built to enhance the security of smart contracts, leveraging the CertiK Foundation’s unique Formal Verification platform at its core.
By focusing on security first, the CertiK Chain aims to provide developers with the security and flexibility to code with confidence. The CertiK team believes that this “security will inherently position the blockchain for mass adoption, empowering budding developers and established enterprises alike.”
CertiK Chain Overview
The CertiK Chain is a public platform based on the CertiK Foundation’s unique Formal Verification security system.
On-chain smart contracts will contain cryptographic certificates as proof of verified security. Smart contracts may interact with each other and check for these machine-checkable proofs in order to gain assurances of security. Smart contracts that do not have these verified certificates may require higher fees to transact.
Security will be prioritized from the bottom-up. On the base layer is the CertiK Virtual Machine (CVM), which will undergo Formal Verification to certify the correctness of its implementation. The CertiK Chain will use a verified compiler that assures no bugs are introduced during the transformation of source code into the CVM bytecode.
For universal ease-of-use, developers will be able to create smart contracts using the functional programming language, DeepSEA, which has been awarded grants from IBM and The Ethereum Foundation, for integration with Hyperledger Burrow and the Ethereum Virtual Machine (EVM). With DeepSEA, security is proven within the code itself, backed by a fully certified compiler.
With this project, CertiK aims to build a blockchain infrastructure that can provide true end-to-end security. To achieve that, full nodes of CertiK Chain will run on CertiKOS, a verified hypervisor / concurrent OS kernel, developed by CertiK’s co-founders. CertiKOS can work as a military-grade secure enclave and protect CertiK Chain nodes from hacker attacks.
“To form a safer blockchain ecosystem, security must be built from the ground up. Giving developers and users access to a scalable, intuitive, and safe product encourages long-term adoption, especially for large enterprises. By putting security at the forefront of its development, the CertiK Chain aims to mitigate the security vulnerabilities that have plagued the blockchain world, stifling innovation. In turn, the CertiK Chain will help provide individuals and enterprises with the confidence needed for broader adoption. With the CertiK Chain, we’re proud to take the first step in creating a blockchain that can be trusted, built on, and improved for years to come.”
The CertiK Team