EVM Specification

Improving and maintaining the Ethereum Virtual Machine (EVM) specification, including a focus on the Jello Paper as a more complete specification for implementers and testers.

The Yellow Paper was the original specification of the Ethereum Virtual Machine (EVM).

The Jello Paper defines the semantics of the EVM using the KEVM project.

The KEVM semantics described by the Jello Paper is the first machine-executable, mathematically formal, human readable, and complete semantics of the EVM. KEVM is capable of passing the full EVM VMTests and GeneralStateTests testing suites, and can also be used in smart contract formal verification, debugging, and more.


Next Steps

  • Write up and submit an Informational EIP to have the Jello Paper accepted as the Canonical Specification for the EVM
  • Post issues / bounty for defining the Constantinople EIPs as part of the Jello Paper
  • (potential) K-EVM workshop around Council of Paris 2019 / ETHCC