Introducing the CertiK Chain

Jul 22, 2019 · 3 min read
Image for post
Image for post
Introducing the CertiK Chain

After much anticipation, we are proud to announce the CertiK blockchain. Our mission is to promote a more trustworthy blockchain ecosystem for all.

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!


Secure the Crypto World

Medium is an open platform where 170 million readers come to find insightful and dynamic thinking. Here, expert and undiscovered voices alike dive into the heart of any topic and bring new ideas to the surface. Learn more

Follow the writers, publications, and topics that matter to you, and you’ll see them on your homepage and in your inbox. Explore

If you have a story to tell, knowledge to share, or a perspective to offer — welcome home. It’s easy and free to post your thinking on any topic. Write on Medium

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store