Perfect the Ethereum Virtual Machine

[masonforest]

Title

  OIP: 1001
  Title: Complete EVM
  Author: Mason Fischer <mason@kissr.co>
  Status: Draft
  Type: Standard
  Layer: Virtual Machine
  Created: 2018-04-04

Abstract

Before consensus can be reached we'll need a perfect replica of the Ethereum Virtual Machine. All Ethereum common tests should output the correct output state and gas left after each run.

Specification

The Ethereum Virtual Machine is formally specified in the Ethereum Yellow Paper

Implementation

Currently the majority of the Ethereum common tests are passing. The following tests produce incorrect output state or gas left after execution:

• System Operations

  • CallToPrecompiledContract
  • callcodeToNameRegistrator0
  • callcodeToReturn1
  • createNameRegistratorValueTooHigh

Issue : exthereum/evm#34

[hayesgm]

Question: is the EVM fully specified in the Yellow Paper? I feel one of the areas we're lacking still is in some EIP's which haven't been back-ported into the Yellow Paper, or in gaps of the Yellow Paper.

[masonforest]

I think they got all the Byzantium changes merged in to the Yellow Paper. If not though the common tests should be fully up to date and we can work off of those.