EOF suite: rebase master branch

Author: jangko

nimbus/db/accounts_cache.nim

@@ -11,10 +11,8 @@
 import
   std/[tables, hashes, sets],
   eth/[common, rlp],
-  ../constants, ../utils/[utils, eof], storage_types,
+  ../constants, ../utils/[utils, eof],
   ../../stateless/multi_keys,
-  ../constants,
-  ../utils/utils,
   ./access_list as ac_access_list,
   "."/[core_db, distinct_tries, storage_types, transient_storage]
 
@@ -384,9 +382,9 @@ proc loadCode(acc: RefAccount, ac: AccountsCache) =
     return
 
   when defined(geth):
-    let data = ac.db.get(acc.account.codeHash.data)
+    let data = ac.kvt.get(acc.account.codeHash.data)
   else:
-    let data = ac.db.get(contractHashKey(acc.account.codeHash).toOpenArray)
+    let data = ac.kvt.get(contractHashKey(acc.account.codeHash).toOpenArray)
 
   acc.code = data
   acc.flags.incl CodeLoaded

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

@@ -361,6 +361,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": 0,
+    "cancunTime": 0,
     "terminalTotalDifficulty": 0
   },
   "genesis": {

tests/test_eof.nim

@@ -230,7 +230,7 @@ proc initEnv(): TestEnv =
 
   let
     com = CommonRef.new(
-      newMemoryDb(),
+      newCoreDbRef LegacyDbMemory,
       conf.pruneMode == PruneMode.Full,
       conf.networkId,
       conf.networkParams
@@ -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
 
@@ -311,7 +315,7 @@ proc eofMain*() =
 
     test "check flags and various deployment mechanisms":
       var state = AccountsCache.init(
-        com.db.db,
+        com.db,
         stateRoot,
         com.pruneTrie)
 

tools/t8n/testdata/28/env.json

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