Virtual Machines

Using the KEVM devnet

The KEVM is a high quality, formally-verified smart contract virtual machine. The KEVM devnet is implemented on Mantis, the standards-compliant Ethereum Classic client designed within the specification of the K framework. The K specification defines the formal semantics for elements such as the configuration and transition rules of EVM. The K framework provides the platform within which to work and also provides an executable.

The KEVM is a stack-based machine, as opposed to a register-based machine. The primary difference between these two architectures is in the way in which operands and their results are stored and retrieved.

To get up and running you need to install Mallet and start compiling your smart contracts. Then you can start experimenting and identify any weak spots in your smart contracts.

Known issues

There currently are four known issues:

  • Only supports up to EVM version Byzantium. Therefore, Solidity compiler 0.5.1 is recommended.
  • RPC eth_logs does not return any logs.
  • RPC eth_estimateGas is inaccurate, it always returns 21000.
  • eth_getWork is not returning expected values.

© 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