leapdao/solEVM-enforcer

Introduce the HydratedRuntime

pinkiebell opened this issue · 1 comments

Bounty

Implement the first revision of the extensible HydratedRuntime which computes compact proofs.
This is basically a refactor but also introduces new elements like a linked-list memory slot model for EVMMemory to proper support compact memory.

WIP PR #58

Gain for the project

  • Extensible contract for computing proofs.
  • Refactor -/ DRY'ing of code
  • Proper support for compact memory proofs
  • Reduced contract size and gas usage for EVMRuntime

Roles

bounty gardener: @pinkiebell / 5%
bounty worker: @pinkiebell / 75%
bounty reviewer: @johannbarbie / 20%

closed via #58