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.
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.
We have setup a Gitcoin Grant asking for the monthly amount we need to fully focus on this.
Besides our own updates that are EVM Evolution related, you can also view EVM Evolution topics on the EthMagicians forum.
- Jan 15th, 2019: Thanks to Brooke, you can now access the Ethereum Yellow Paper at yellowpaper.club.
- Oct 31st, 2018: Brooke facilitated an EVM Evolution session at the EthMagicians Council of Prague, and calling for a BOF dinner for anyone interested in EIP 615, EIP 616, & other EVM improvements.
- Oct 23rd, 2018: We’ve released a project proposal we call EVM Evolution. Read the Google Doc with details on further evolution and improvements of the Ethereum Virtual Machine, led by Greg Colvin.