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 allowing smart contract execution and interactions on a security-focused chain, we hope to realize the full potential of complex, decentralized computing.
Decentralization, Scalability, and Security are the three corners of the scalability trilemma, as coined by Vitalik Buterin, co-founder of Ethereum. Many projects have been established to tackle the issues of Decentralization and Scalability — but, as pioneers of industry-leading technology for safer software systems, we’ve decided to focus on Security.
Security is paramount for allowing a system to meaningfully grow and scale. Exponential growth is terrific, of course — but less so if that growth culminates in exponential risks.
By focusing on security first, the CertiK Chain provides developers with the security and flexibility to code with confidence. That security will inherently position the blockchain for mass adoption, empowering budding developers and established enterprises alike.
We’re in this for the long term. And, for there to be a long-term, secure and stable solutions must be offered to the community.
What Is The CertiK Chain?
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, your 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 truly unrivaled end-to-end security. To achieve that, full nodes of CertiK Chain will run on CertiKOS, the world’s first and only fully verified hypervisor / concurrent OS kernel, also developed by CertiK’s co-founders. CertiKOS can work as a military-grade secure enclave and protect CertiK Chain nodes from hacker attacks.
Why It Matters
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.
How To Join
Follow the link to the CertiK Foundation and start building!
Originally published at https://certik.io on July 22, 2019.