add EOF test case for t8n tool

Author: jangko

nimbus/common/hardforks.nim

@@ -49,10 +49,14 @@ type
     Shanghai
     Cancun
 
-const lastPurelyBlockNumberBasedFork* = GrayGlacier
-# MergeFork is special because of TTD.
-const firstTimeBasedFork* = Shanghai
+const
+  lastPurelyBlockNumberBasedFork* = GrayGlacier
+
+  # MergeFork is special because of TTD.
+  firstTimeBasedFork* = Shanghai
 
+  # Meta Fork
+  EOFFork* = Cancun
 
 type
   CliqueOptions* = object
@@ -258,7 +262,7 @@ proc populateFromForkTransitionTable*(conf: ChainConfig, t: ForkTransitionTable)
 
   conf.mergeForkBlock          = t.mergeForkTransitionThreshold.blockNumber
   conf.terminalTotalDifficulty = t.mergeForkTransitionThreshold.ttd
-  
+
   conf.shanghaiTime        = t.timeThresholds[HardFork.Shanghai]
   conf.cancunTime          = t.timeThresholds[HardFork.Cancun]
 

tools/t8n/t8n_test.nim

@@ -484,6 +484,15 @@ const
       output: T8nOutput(alloc: true, result: true),
       expOut: "exp.json",
     ),
+    TestSpec(
+      name: "Validate pre-allocated EOF code",
+      base: "testdata/28",
+      input: t8nInput(
+        "alloc.json", "txs.json", "env.json", "Cancun", "",
+      ),
+      output: T8nOutput(alloc: true, result: false),
+      expExitCode: 3,
+    ),
   ]
 
 proc main() =

tools/t8n/testdata/26/alloc.json

@@ -5,4 +5,4 @@
     "nonce": "0xac",
     "storage": {}
   }
-}
+}

tools/t8n/testdata/28/alloc.json

@@ -0,0 +1,14 @@
+{
+  "a94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
+    "balance": "0x0",
+    "code": "0xef01",
+    "nonce": "0x1",
+    "storage": {}
+  },
+  "a94f5374fce5edbc8e2a8697c15331677e6ebf0c": {
+    "balance": "0x0",
+    "code": "0xef0001010008020002000700020300000000000002020100025959b0000250b101b1",
+    "nonce": "0x1",
+    "storage": {}
+  }
+}

tools/t8n/testdata/28/env.json

@@ -0,0 +1,11 @@
+{
+  "currentCoinbase": "0xc94f5374fce5edbc8e2a8697c15331677e6ebf0b",
+  "currentDifficulty": null,
+  "currentRandom": "0xdeadc0de",
+  "currentGasLimit": "0x750a163df65e8a",
+  "parentBaseFee": "0x500",
+  "parentGasUsed": "0x0",
+  "parentGasLimit": "0x750a163df65e8a",
+  "currentNumber": "1",
+  "currentTimestamp": "1000"
+}

tools/t8n/testdata/28/txs.json

@@ -0,0 +1 @@
+[]

tools/t8n/transition.nim

@@ -11,19 +11,19 @@
 import
   std/[json, strutils, times, tables, os, math, streams],
   eth/[rlp, trie, eip1559],
-  stint, stew/results,
+  stint, stew/[results, byteutils],
   "."/[config, types, helpers],
   ../common/state_clearing,
   ../../nimbus/[vm_types, vm_state, transaction],
   ../../nimbus/common/common,
   ../../nimbus/db/accounts_cache,
-  ../../nimbus/utils/utils,
+  ../../nimbus/evm/validate,
+  ../../nimbus/utils/[utils, eof],
   ../../nimbus/core/pow/difficulty,
   ../../nimbus/core/dao,
   ../../nimbus/core/executor/[process_transaction, executor_helpers],
   ../../nimbus/core/eip4844
 
-import stew/byteutils
 const
   wrapExceptionEnabled* {.booldefine.} = true
   stdinSelector = "stdin"
@@ -425,6 +425,20 @@ proc transitionAction*(ctx: var TransContext, conf: T8NConf) =
       else:
         raise newError(ErrorConfig, "EIP-1559 config but missing 'currentBaseFee' in env section")
 
+    if com.forkGTE(EOFFork):
+      for address, acc in ctx.alloc:
+        if not hasEOFByte(acc.code):
+          continue
+
+        var c: Container
+        var res = c.decode(acc.code)
+        if res.isOk:
+          res = c.validateCode()
+
+        if res.isErr:
+          raise newError(ErrorConfig, "code at $1 considered invalid: $2" %
+            [address.toHex, res.error.toString])
+
     if com.isShanghaiOrLater(ctx.env.currentTimestamp) and ctx.env.withdrawals.isNone:
       raise newError(ErrorConfig, "Shanghai config but missing 'withdrawals' in env section")