EVM Evolution

Security, Performance, and other enhancements to the Ethereum Virtual Machine

In the 21st century, on a blockchain holding billions USD in value, formal specification and verification are an essential tool. Yet the design of the EVM makes this unnecessarily difficult. Further, the design of the EVM makes low-gas-cost, high-performance execution difficult. We propose to move forward with proposals to resolve these problems by tightening the security guarantees and pushing the performance limits of the EVM.

The Ethereum Virtual Machine, or EVM, is the core part of the Ethereum ecosystem that powers everything from smart contract features to the consensus semantics.

“EVM Evolution” is what we’re calling our collected efforts to improve and extend the EVM, from it’s specification, formal verification, to supporting a variety of implementations.

Sub-pages of this page list additional major components and initiatives that are part of EVM Evolution.

  1. Roadmap
  2. Funding
    1. EF Grant Application
    2. Gitcoin Grants
  3. Presentations
    1. EVM Evolution at Core Devs Berlin, April 2019
  4. Updates


Inspired by Alexey Akhunov’s @realLedgerwatch work on ETH1x State Management planning, we will be working on produce a Fork Roadmap Planning Doc.

Our 6 month scope that we submitted to the Ethereum Foundation as part of our updated grant proposal is available on Google Docs. We’re in the midst of moving all that content here.

Our goal is a fully formalized EVM that implements an interpreter and a compiler that is formally specified and freely available under a permission Apache 2 license.


We are a bootstrapped team who are working on low-level, open source infrastructure for the wider EVM ecosystem. We are open to prioritizing specific work or performing primary research related to EVM improvements. Please get in touch if you’re interested in working with us.

EF Grant Application

We have an outstanding grant application to the Ethereum Foundation suggesting 6 months of funding to begin with. This will allow the team to dedicate our time to preparing EIP 615 Static Jumps for the Istanbul hardfork, including supporting client teams.

Gitcoin Grants

We have setup a Gitcoin Grant asking for the monthly amount we need to fully focus on this.

Contribute to Gitcoin Grant


EVM Evolution at Core Devs Berlin, April 2019

Brooke presented at the Core Devs Berlin meetings with a run down of all the changes and improvements that are possible for the EVM.


Besides our own updates that are EVM Evolution related, you can also view EVM Evolution topics on the EthMagicians forum.

Table of contents