leapdao/solEVM-enforcer

Issues

• Create a spec for all the on-chain limits

  #168 opened 4 years ago by troggy
  1

• Seperate the Verifier contract from the EVMRuntime.

  #179 opened 5 years ago by TheReturnOfJan
  1

• Add all tokenBag methos we wish to support

  #175 opened 5 years ago by TheReturnOfJan
  0

• Address overflows/underflows

  #177 opened 5 years ago by TheReturnOfJan
  0

• Add tokenBag to the state commitment

  #176 opened 5 years ago by TheReturnOfJan
  0

• Verify our interpretation of call/staticcall

  #174 opened 5 years ago by TheReturnOfJan
  0

• Add more test fixtures testing hofffman structure.

  #173 opened 5 years ago by TheReturnOfJan
  0

• compare EVMRuntime.js with HEVM

  #170 opened 5 years ago by johannbarbie
  2

• design hofmann structure

  #118 opened 5 years ago by johannbarbie
  0

• What's up with gas metering in tests?

  #171 opened 5 years ago by TheReturnOfJan
  0

• Merge back ExecutionPoker from challenger service

  #167 opened 5 years ago by troggy
  0

• register tx fails with "gas required exceeds allowance or always failing transaction"

  #163 opened 5 years ago by johannbarbie
  1

• Present EVM Enforcer at "Blockchain For Science" Conference

  #165 opened 5 years ago by DistributedDoge
  1

• compact memory proofs with support for ranges | compact calldata proofs

  #77 opened 5 years ago by pinkiebell
  1

• create contract registry

  #78 opened 5 years ago by johannbarbie
  12

• add invalidChallengeRate param to solver/challenger service

  #129 opened 5 years ago by johannbarbie
  4

• create a delivery report for EF, and make sure to get next milestone

  #127 opened 5 years ago by johannbarbie
  1

• write a blog post about prime casino

  #126 opened 5 years ago by johannbarbie
  0

• Record a video on how to setup local development environment for enforcer

  #99 opened 5 years ago by pinkiebell
  1

• run solEVM implementers call

  #119 opened 5 years ago by johannbarbie
  1

• create a public deployment of the prime casino on goerli testnet

  #125 opened 5 years ago by johannbarbie
  1

• create a solver/challenger service based on off-chain interpreter

  #116 opened 5 years ago by johannbarbie
  2

• Implement resultProofs for Enforcer

  #140 opened 5 years ago by pinkiebell
  0

• Include `step` into stateHash

  #155 opened 5 years ago by pinkiebell
  3

• Dispute round update logic

  #92 opened 5 years ago by pinkiebell
  14

• don't require contracts to be deployed for computation game

  #117 opened 5 years ago by johannbarbie
  34

• Use 'real' time instead of measuring in number of block

  #141 opened 5 years ago by pinkiebell
  1

• Discussion around parameters for stable Enforcer/Verifier interface

  #134 opened 5 years ago by pinkiebell
  8

• Use ExecutionPoker for dispute fixtures

  #146 opened 5 years ago by pinkiebell
  0

• Record gas costs for EVMRuntime and compare it against the last known one

  #96 opened 5 years ago by pinkiebell
  1

• prime casino frontend - events and CD

  #121 opened 6 years ago by johannbarbie
  1

• prime casino frontend - UI elements

  #128 opened 6 years ago by johannbarbie
  0

• research the use of Swarm for primeCasino

  #135 opened 6 years ago by johannbarbie
  2

• define a Song Of Dawn delivery sprint

  #120 opened 6 years ago by johannbarbie
  1

• update enforcer interface

  #122 opened 6 years ago by johannbarbie
  2

• prime casino contract

  #123 opened 6 years ago by johannbarbie
  1

• OOB: migrate to circleci

  #133 opened 6 years ago by pinkiebell
  1

• Pull in ethereum/tests and test against it

  #95 opened 6 years ago by pinkiebell
  0

• Use assembly to further decrease code-size / contract execution costs

  #93 opened 6 years ago by pinkiebell
  0

• Verification game logic discussion

  #107 opened 6 years ago by peara
  6

• Refactor the fixtures

  #68 opened 6 years ago by pinkiebell
  1

• Update dispute respond and timeout logic

  #100 opened 6 years ago by peara
  0

• precompile support for solEVM

  #81 opened 6 years ago by johannbarbie
  3

• Try to get rid of EVMAccounts code as we don't going to use it

  #94 opened 6 years ago by pinkiebell
  0

• Formalize Computation Verification Game using SecureETH SDD

  #70 opened 6 years ago by pinkiebell
  0

• Keep track of the round updates in the Verifier contract

  #90 opened 6 years ago by pinkiebell
  4

• increase code coverage

  #80 opened 6 years ago by johannbarbie
  7

• Upgrade to Petersburg

  #82 opened 6 years ago by pinkiebell
  1

• cli tool to play with Enforcer/Verifier - ExecutionPoker

  #69 opened 6 years ago by pinkiebell
  1

• Introduce the HydratedRuntime

  #59 opened 6 years ago by pinkiebell
  1