Virtual Machines

Overview

As Cardano thrives and evolves, the network is expanding its reach and interoperability by creating novel avenues of cooperation. We are now opening Cardano up to the Solidity/Ethereum community via a compatible and interoperable platform using their native code.

Such a framework will create a permanent bridge that will enable developers to work seamlessly across both ecosystems, now and into the future. To this end, we are restarting and accelerating the K Ethereum Virtual Machine (KEVM) program, a ‘correct-by-construction’ version of the Ethereum virtual machine (EVM) specified in the K framework.

The K Framework is a semantics platform used to create formally-verified programming languages and VMs. K enables developers to define or implement the formal semantics of a programming language in an intuitive and modular way. K also generates an executable, 'correct by construction VM' from its formal specification, which is fast and powerful enough to run real programs and smart contracts. Long term, in partnership with our friends at Runtime Verification, we want to build a K environment where we can just 'plug-and-play' new VMs.

On these pages, you will find information and instructions for developers who wish to use the KEVM. It allows developers to experiment with any smart contract that can be run on the EVM, and offers improved security and performance. K is a means to formally verify software so the code can be automatically checked for any flaws, and can be proven to run exactly as it should.

We look forward to your support and feedback. If you wish to join the dedicated developer program for KEVM, please take our short survey and we’ll be in touch in due course.

© IOHK 2015 - 2021


Cardano is an open-source project.

Cardano is a software platform ONLY and does not conduct any independent diligence on, or substantive review of, any blockchain asset, digital currency, cryptocurrency or associated funds. You are fully and solely responsible for evaluating your investments, for determining whether you will exchange blockchain assets based on your own judgement, and for all your decisions as to whether to exchange blockchain assets with Cardano. In many cases, blockchain assets you exchange on the basis of your research may not increase in value, and may decrease in value. Similarly, blockchain assets you exchange on the basis of your research may fall or rise in value after your exchange.

Past performance is not indicative of future results. Any investment in blockchain assets involves the risk of loss of part or all of your investment. The value of the blockchain assets you exchange is subject to market and other investment risks