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.
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.
- Apr 29th, 2019: Brooke presented her research on EVM Evolution at the Core Devs Berlin event. We’ve added the video of her presentation to the FISSION Youtube, plus a link to the slides.
- Apr 22nd, 2019: We have proposed an EVM Community Group to the W3C. If you are interested in working together on specifying, improving, and extending the EVM, support the proposal and stay tuned!
- Mar 8th, 2019: Brooke published EVM Evolution Roadmap: Towards a More Aggressive Ethereum Execution Engine – she covers the roadmap of potential features, as well as showing how to interoperate with and migrate to ewasm.
- 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.