EOF suite: rebase master branch

Author: jangko

nimbus/evm/code_stream.nim

@@ -10,7 +10,7 @@ import
   chronicles,
   eth/common,
   stew/[results, endians2],
-  stew/ranges/ptr_arith,
+  stew/ptrops,
   ../utils/eof,
   ./interpreter/op_codes
 

nimbus/evm/interpreter/op_handlers/oph_envinfo.nim

@@ -169,7 +169,7 @@ const
         cpt.gasCosts[CodeCopy].m_handler(cpt.memory.len, memPos, len),
         reason = "CodeCopy fee")
 
-      cpt.memory.writePaddedResult(k.cpt.code.legacyCode, memPos, copyPos, len)
+      cpt.memory.writePaddedResult(cpt.code.legacyCode, memPos, copyPos, len)
 
   gasPriceOp: Vm2OpFn = proc (k: var Vm2Ctx) =
     ## 0x3A, Get price of gas in current environment.

nimbus/evm/interpreter_dispatch.nim

@@ -330,6 +330,9 @@ else:
 # to write the async version of the iterative one, but this one is
 # a bit shorter and feels cleaner, so if it works just as well I'd
 # rather use this one. --Adam
+import
+  async/operations
+
 proc asyncExecCallOrCreate*(c: Computation): Future[void] {.async.} =
   defer: c.dispose()
 

nimbus/evm/stack_table.nim

@@ -187,21 +187,36 @@ proc mergeStackTable(): StackTable {.compileTime.} =
   result = londonStackTable()
   result[PrevRandao] = sp(0, 1)
 
-proc cancunStackTable(): StackTable {.compileTime.} =
+proc shanghaiStackTable(): StackTable {.compileTime.} =
   result = mergeStackTable()
+  # new opcodes EIP-3855
+  result[Push0]  = sp(0, 1)
+
+proc cancunStackTable(): StackTable {.compileTime.} =
+  result = shanghaiStackTable()
+  # new opcodes EIP-4844
+  result[BlobHash]  = sp(1, 1)
+
+  # new opcodes EIP-1153
+  result[TLoad]  = sp(1, 1)
+  result[TStore] = sp(2, 0)
+
+  # new opcodes EIP-5656
+  result[Mcopy]  = sp(3, 0)
+
   # new opcodes EIP-4200
   result[Rjump]  = sp(0, 0)
   result[RJumpI] = sp(1, 0)
   result[RJumpV] = sp(1, 0)
+
   # new opcodes EIP-4750
   result[CallF]  = sp(0, 0)
   result[RetF]   = sp(0, 0)
-  # new opcodes EIP-3855
-  result[Push0]  = sp(0, 1)
 
   # disable opcodes EIP-3670
   result[CallCode]     = StackDesc()
   result[SelfDestruct] = StackDesc()
+
   # disable opcodes EIP-5450
   result[Jump]         = StackDesc()
   result[JumpI]        = StackDesc()
@@ -220,6 +235,6 @@ const
     istanbulStackTable(),
     londonStackTable(),
     mergeStackTable(),
-    mergeStackTable(),
+    shanghaiStackTable(),
     cancunStackTable(),
   ]

tests/customgenesis/eof.json

@@ -14,8 +14,8 @@
     "berlinBlock": 0,
     "londonBlock": 0,
     "mergeForkBlock": 0,
-    "shanghaiBlock": 0,
-    "cancunBlock": 0,
+    "shanghaiTime": "0x0",
+    "cancunTime": "0x0",
     "terminalTotalDifficulty": 0
   },
   "genesis": {

tests/test_eof.nim

@@ -278,6 +278,9 @@ proc eofMain*() =
   txs.add env.makeTx(some(cc), 0.u256, initCode)
 
   suite "Test EOF code deployment":
+    test "is EOF fork?":
+      check com.forkGTE(EOFFork)
+
     test "add txs to txpool":
       for tx in txs:
         let res = xp.addLocal(tx, force = true)
@@ -299,7 +302,8 @@ proc eofMain*() =
 
       let body = BlockBody(
         transactions: blk.txs,
-        uncles: blk.uncles
+        uncles: blk.uncles,
+        withdrawals: some[seq[Withdrawal]](@[])
       )
       check blk.txs.len == 4
 

tools/t8n/testdata/28/env.json

@@ -7,5 +7,6 @@
   "parentGasUsed": "0x0",
   "parentGasLimit": "0x750a163df65e8a",
   "currentNumber": "1",
-  "currentTimestamp": "1000"
+  "currentTimestamp": "1000",
+  "withdrawals": []
 }