diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md
index 223615f467..be4c5cd80e 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md
@@ -524,7 +524,7 @@ Here we check the other post-conditions associated with an EVM test.
                         SetItem("mixHash") SetItem("nonce") SetItem("number") SetItem("parentHash")
                         SetItem("receiptTrie") SetItem("stateRoot") SetItem("timestamp")
                         SetItem("transactionsTrie") SetItem("uncleHash") SetItem("baseFeePerGas") SetItem("withdrawalsRoot")
-                        SetItem("blobGasUsed") SetItem("excessBlobGas") SetItem("parentBeaconBlockRoot")
+                        SetItem("blobGasUsed") SetItem("excessBlobGas") SetItem("parentBeaconBlockRoot") SetItem("requestsHash")
                       )
 
     rule <k> check "blockHeader" : { "bloom"                : VALUE } => .K ... </k> <logsBloom>        VALUE </logsBloom>
@@ -547,6 +547,7 @@ Here we check the other post-conditions associated with an EVM test.
     rule <k> check "blockHeader" : { "blobGasUsed"          : VALUE } => .K ... </k> <blobGasUsed>      VALUE </blobGasUsed>
     rule <k> check "blockHeader" : { "excessBlobGas"        : VALUE } => .K ... </k> <excessBlobGas>    VALUE </excessBlobGas>
     rule <k> check "blockHeader" : { "parentBeaconBlockRoot": VALUE } => .K ... </k> <beaconRoot>       VALUE </beaconRoot>
+    rule <k> check "blockHeader" : { "requestsHash"         : VALUE } => .K ... </k> <requestsRoot>     VALUE </requestsRoot>
 
 
     rule <k> check "blockHeader" : { "hash": HASH:Bytes } => .K ...</k>
@@ -570,10 +571,12 @@ Here we check the other post-conditions associated with an EVM test.
          <blobGasUsed>      UB </blobGasUsed>
          <excessBlobGas>    EB </excessBlobGas>
          <beaconRoot>       BR </beaconRoot>
-      requires #blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN)                     ==Int #asWord(HASH)
-        orBool #blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF)                 ==Int #asWord(HASH)
-        orBool #blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR)             ==Int #asWord(HASH)
-        orBool #blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR, UB, EB, BR) ==Int #asWord(HASH)
+         <requestsRoot>     RR </requestsRoot>
+      requires #blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN)                         ==Int #asWord(HASH)
+        orBool #blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF)                     ==Int #asWord(HASH)
+        orBool #blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR)                 ==Int #asWord(HASH)
+        orBool #blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR, UB, EB, BR)     ==Int #asWord(HASH)
+        orBool #blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR, UB, EB, BR, RR) ==Int #asWord(HASH)
 
     rule check TESTID : { "genesisBlockHeader" : BLOCKHEADER } => check "genesisBlockHeader" : BLOCKHEADER ~> failure TESTID
  // ------------------------------------------------------------------------------------------------------------------------
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
index b2fd55a98f..675022dc2c 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
@@ -11,12 +11,14 @@ This file only defines the local execution operations, the file `driver.md` will
 requires "data.md"
 requires "network.md"
 requires "gas.md"
+requires "requests.md"
 
 module EVM
     imports STRING
     imports EVM-DATA
     imports NETWORK
     imports GAS
+    imports EVM-REQUESTS
 ```
 
 Configuration
@@ -116,6 +118,7 @@ In the comments next to each cell, we've marked which component of the YellowPap
               <blobGasUsed>      0      </blobGasUsed>
               <excessBlobGas>    0      </excessBlobGas>
               <beaconRoot>       0      </beaconRoot>
+              <requestsRoot>     0      </requestsRoot>
 
               <ommerBlockHeaders> [ .JSONs ] </ommerBlockHeaders>
             </block>
@@ -190,6 +193,11 @@ In the comments next to each cell, we've marked which component of the YellowPap
               </withdrawal>
             </withdrawals>
 
+            <requests>
+              <depositRequests> .List </depositRequests>
+              //other request types come here
+            </requests>
+
           </network>
 
         </ethereum>
@@ -762,6 +770,53 @@ After executing a transaction, it's necessary to have the effect of the substate
     rule <k> #deleteAccounts(.List) => .K ... </k>
 ```
 
+### Fetching requests from event logs
+
+While processing a block, multiple requests objects with different `request_types` will be produced by the system, and accumulated in the block requests list.
+
+```k
+    syntax KItem ::= "#filterLogs" Int [symbol(#filterLogs)]
+ // --------------------------------------------------------
+    rule <k> #filterLogs _ => .K ... </k> <schedule> SCHED </schedule> requires notBool Ghasrequests << SCHED >>
+
+    rule <k> #filterLogs IDX => .K ... </k>
+         <schedule> SCHED </schedule>
+         <log> LOGS </log>
+         // <depositRequests> DRQSTS </depositRequests>
+         // <requestsRoot> _ => #computeRequestsHash(DRQSTS) </requestsRoot>
+      requires Ghasrequests << SCHED >> andBool IDX >=Int size(LOGS)
+
+    rule <k> #filterLogs IDX
+          => #parseDepositRequest {LOGS[IDX]}:>SubstateLogEntry
+          // parse other request types
+          ~> #filterLogs IDX +Int 1
+         ...
+         </k>
+         <log> LOGS </log>
+         <schedule> SCHED </schedule>
+      requires IDX <Int size(LOGS) andBool Ghasrequests << SCHED >>
+```
+
+Rules for parsing Deposit Requests according to EIP-6110.
+
+```k
+    syntax KItem ::= "#parseDepositRequest" SubstateLogEntry [symbol(#parseDepositRequest)]
+ // ---------------------------------------------------------------------------------------
+    rule <k> #parseDepositRequest { ADDR | TOPICS | DATA } => .K ... </k>
+         <depositRequests> RS => RS ListItem(Int2Bytes(1, DEPOSIT_REQUEST_TYPE, BE) +Bytes #extractDepositData(DATA)) </depositRequests>
+      requires ADDR ==K DEPOSIT_CONTRACT_ADDRESS
+       andBool size(TOPICS) >Int 0
+       andBool {TOPICS[0]}:>Int ==Int DEPOSIT_EVENT_SIGNATURE_HASH
+       andBool #isValidDepositEventData(DATA)
+
+    rule <k> #parseDepositRequest { ADDR | TOPICS | DATA } => #end EVMC_INVALID_BLOCK ... </k>
+      requires ADDR ==K DEPOSIT_CONTRACT_ADDRESS
+       andBool size(TOPICS) >Int 0
+       andBool {TOPICS[0]}:>Int ==Int DEPOSIT_EVENT_SIGNATURE_HASH
+       andBool notBool #isValidDepositEventData(DATA)
+
+    rule <k> #parseDepositRequest _ => .K ... </k> [owise]
+```
 ### Block processing
 
 -   `#startBlock` is used to signal that we are about to start mining a block and block initialization should take place (before transactions are executed).
@@ -779,7 +834,12 @@ After executing a transaction, it's necessary to have the effect of the substate
     syntax EthereumCommand ::= "#finalizeBlock"
                              | #rewardOmmers ( JSONs ) [symbol(#rewardOmmers)]
  // --------------------------------------------------------------------------
-    rule <k> #finalizeBlock => #if Ghaswithdrawals << SCHED >> #then #finalizeWithdrawals #else .K #fi ~> #rewardOmmers(OMMERS) ... </k>
+    rule <k> #finalizeBlock
+          => #if Ghaswithdrawals << SCHED >> #then #finalizeWithdrawals #else .K #fi
+          ~> #rewardOmmers(OMMERS)
+          ~> #filterLogs 0
+         ...
+         </k>
          <schedule> SCHED </schedule>
          <ommerBlockHeaders> [ OMMERS ] </ommerBlockHeaders>
          <coinbase> MINER </coinbase>
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/network.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/network.md
index 8480b3e720..89db800a03 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/network.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/network.md
@@ -46,6 +46,7 @@ The following codes all indicate that the VM ended execution with an exception,
                                    | "EVMC_STATIC_MODE_VIOLATION"
                                    | "EVMC_PRECOMPILE_FAILURE"
                                    | "EVMC_NONCE_EXCEEDED"
+                                   | "EVMC_INVALID_BLOCK"
  // -------------------------------------------------------------
     rule StatusCode2String(EVMC_FAILURE)               => "EVMC_FAILURE"
     rule StatusCode2String(EVMC_INVALID_INSTRUCTION)   => "EVMC_INVALID_INSTRUCTION"
@@ -59,6 +60,7 @@ The following codes all indicate that the VM ended execution with an exception,
     rule StatusCode2String(EVMC_STATIC_MODE_VIOLATION) => "EVMC_STATIC_MODE_VIOLATION"
     rule StatusCode2String(EVMC_PRECOMPILE_FAILURE)    => "EVMC_PRECOMPILE_FAILURE"
     rule StatusCode2String(EVMC_NONCE_EXCEEDED)        => "EVMC_NONCE_EXCEEDED"
+    rule StatusCode2String(EVMC_INVALID_BLOCK)         => "EVMC_INVALID_BLOCK"
 ```
 
 ### Ending Codes
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/requests.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/requests.md
new file mode 100644
index 0000000000..e6b43ff7b7
--- /dev/null
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/requests.md
@@ -0,0 +1,113 @@
+Implementation of Execution Layer Requests
+------------------------------------------
+```k
+requires "serialization.md"
+```
+
+```k
+module EVM-REQUESTS
+    imports SERIALIZATION
+```
+
+A `requests` object consists of a `request_type` byte prepended to an opaque byte array `request_data`.
+The `request_data` contains zero or more encoded request objects.
+```
+requests = request_type ++ request_data
+```
+Each request type will define its own requests object with its own `request_data` format.
+
+In order to compute the commitment, an intermediate hash list is first built by hashing all non-empty requests elements of the block requests list.
+Items with empty `request_data` are excluded, i.e. the intermediate list skips requests items which contain only the `request_type` (1 byte) and nothing else.
+
+```k
+    syntax Int ::= #computeRequestsHash(List) [function, symbol(#computeRequestsHash)]
+ // ----------------------------------------------------------------------------------
+    rule #computeRequestsHash(RS) => keccak(#computeRequestsHashIntermediate(RS))
+
+    syntax Bytes ::= #computeRequestsHashIntermediate(List)        [function, symbol(#computeRequestsHashIntermediate)]
+                   | #computeRequestsHashIntermediate(List, Bytes) [function, symbol(#computeRequestsHashIntermediateAux)]
+ // ----------------------------------------------------------------------------------------------------------------------
+    rule #computeRequestsHashIntermediate(RS) => #computeRequestsHashIntermediate(RS, .Bytes)
+    rule #computeRequestsHashIntermediate(.List, ACC) => ACC
+    rule #computeRequestsHashIntermediate(ListItem(R) RS, ACC) => #computeRequestsHashIntermediate(RS, ACC)
+      requires lengthBytes(R) <=Int 1
+    rule #computeRequestsHashIntermediate(ListItem(R) RS, ACC) => #computeRequestsHashIntermediate(RS, ACC +Bytes Keccak256raw(R))
+      requires lengthBytes(R) >Int 1
+```
+
+Deposit Requests
+----------------
+The structure denoting the new deposit request consists of the following fields:
+
+1. `pubkey: Bytes48`
+2. `withdrawal_credentials: Bytes32`
+3. `amount: uint64`
+4. `signature: Bytes96`
+5. `index: uint64`
+
+```k
+    syntax Int ::= "DEPOSIT_REQUEST_TYPE"         [macro]
+                 | "DEPOSIT_EVENT_LENGTH"         [macro]
+                 | "DEPOSIT_CONTRACT_ADDRESS"     [alias]
+                 | "DEPOSIT_EVENT_SIGNATURE_HASH" [alias]
+ // -----------------------------------------------------
+    rule DEPOSIT_REQUEST_TYPE => 0
+    rule DEPOSIT_CONTRACT_ADDRESS => #parseAddr("0x00000000219ab540356cbb839cbe05303d7705fa")
+    rule DEPOSIT_EVENT_SIGNATURE_HASH => #parseWord("0x649bbc62d0e31342afea4e5cd82d4049e7e1ee912fc0889aa790803be39038c5")
+    rule DEPOSIT_EVENT_LENGTH => 576
+
+    syntax Int ::= "PUBKEY_OFFSET"                [macro]
+                 | "WITHDRAWAL_CREDENTIALS_OFFSET"[macro]
+                 | "AMOUNT_OFFSET"                [macro]
+                 | "SIGNATURE_OFFSET"             [macro]
+                 | "INDEX_OFFSET"                 [macro]
+                 | "PUBKEY_SIZE"                  [macro]
+                 | "WITHDRAWAL_CREDENTIALS_SIZE"  [macro]
+                 | "AMOUNT_SIZE"                  [macro]
+                 | "SIGNATURE_SIZE"               [macro]
+                 | "INDEX_SIZE"                   [macro]
+ // -----------------------------------------------------
+    rule PUBKEY_OFFSET                 => 160
+    rule WITHDRAWAL_CREDENTIALS_OFFSET => 256
+    rule AMOUNT_OFFSET                 => 320
+    rule SIGNATURE_OFFSET              => 384
+    rule INDEX_OFFSET                  => 512
+    rule PUBKEY_SIZE                   => 48
+    rule WITHDRAWAL_CREDENTIALS_SIZE   => 32
+    rule AMOUNT_SIZE                   => 8
+    rule SIGNATURE_SIZE                => 96
+    rule INDEX_SIZE                    => 8
+```
+
+
+
+```k
+    syntax Bytes ::= #extractDepositData ( Bytes ) [function, symbol(#extractDepositData)]
+ // --------------------------------------------------------------------------------------
+    rule #extractDepositData(DATA) => substrBytes(DATA, PUBKEY_OFFSET +Int 32, PUBKEY_OFFSET +Int 32 +Int PUBKEY_SIZE)
+                               +Bytes substrBytes(DATA, WITHDRAWAL_CREDENTIALS_OFFSET +Int 32, WITHDRAWAL_CREDENTIALS_OFFSET +Int 32 +Int WITHDRAWAL_CREDENTIALS_SIZE)
+                               +Bytes substrBytes(DATA, AMOUNT_OFFSET +Int 32, AMOUNT_OFFSET +Int 32 +Int AMOUNT_SIZE)
+                               +Bytes substrBytes(DATA, SIGNATURE_OFFSET +Int 32, SIGNATURE_OFFSET +Int 32 +Int SIGNATURE_SIZE)
+                               +Bytes substrBytes(DATA, INDEX_OFFSET +Int 32, INDEX_OFFSET +Int 32 +Int INDEX_SIZE)
+
+    syntax Bool ::= #isValidDepositEventData ( Bytes ) [function, symbol(#isValidDepositEventData), total]
+ // ------------------------------------------------------------------------------------------------------
+    rule #isValidDepositEventData(DATA) => true
+      requires lengthBytes(DATA) ==Int DEPOSIT_EVENT_LENGTH
+       andBool Bytes2Int(substrBytes(DATA, 0, 32), BE, Unsigned) ==Int PUBKEY_OFFSET
+       andBool Bytes2Int(substrBytes(DATA, 32, 64), BE, Unsigned) ==Int WITHDRAWAL_CREDENTIALS_OFFSET
+       andBool Bytes2Int(substrBytes(DATA, 64, 96), BE, Unsigned) ==Int AMOUNT_OFFSET
+       andBool Bytes2Int(substrBytes(DATA, 96, 128), BE, Unsigned) ==Int SIGNATURE_OFFSET
+       andBool Bytes2Int(substrBytes(DATA, 128, 160), BE, Unsigned) ==Int INDEX_OFFSET
+       andBool Bytes2Int(substrBytes(DATA, PUBKEY_OFFSET, PUBKEY_OFFSET +Int 32), BE, Unsigned) ==Int PUBKEY_SIZE
+       andBool Bytes2Int(substrBytes(DATA, WITHDRAWAL_CREDENTIALS_OFFSET, WITHDRAWAL_CREDENTIALS_OFFSET +Int 32), BE, Unsigned) ==Int WITHDRAWAL_CREDENTIALS_SIZE
+       andBool Bytes2Int(substrBytes(DATA, AMOUNT_OFFSET, AMOUNT_OFFSET +Int 32), BE, Unsigned) ==Int AMOUNT_SIZE
+       andBool Bytes2Int(substrBytes(DATA, SIGNATURE_OFFSET, SIGNATURE_OFFSET +Int 32), BE, Unsigned) ==Int SIGNATURE_SIZE
+       andBool Bytes2Int(substrBytes(DATA, INDEX_OFFSET, INDEX_OFFSET +Int 32), BE, Unsigned) ==Int INDEX_SIZE
+
+    rule #isValidDepositEventData(_) => false [owise]
+```
+
+```k
+endmodule
+```
\ No newline at end of file
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md
index b1d01a4b14..5cb774bdfe 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md
@@ -30,6 +30,8 @@ module SCHEDULE
                           | "Ghasrejectedfirstbyte"   | "Ghasprevrandao"   | "Ghasmaxinitcodesize" | "Ghaspushzero"
                           | "Ghaswarmcoinbase"        | "Ghaswithdrawals"  | "Ghastransient"       | "Ghasmcopy"
                           | "Ghasbeaconroot"          | "Ghaseip6780"      | "Ghasblobbasefee"     | "Ghasblobhash"
+                          | "Ghasrequests"
+ // --------------------------------------
 ```
 
 ### Schedule Constants
@@ -156,6 +158,7 @@ A `ScheduleConst` is a constant determined by the fee schedule.
     rule [GhasbeaconrootDefault]:          Ghasbeaconroot          << DEFAULT >> => false
     rule [Ghaseip6780Default]:             Ghaseip6780             << DEFAULT >> => false
     rule [GhasblobhashDefault]:            Ghasblobhash            << DEFAULT >> => false
+    rule [GhasrequestsDefault]:            Ghasrequests            << DEFAULT >> => false
 ```
 
 ### Frontier Schedule
@@ -423,8 +426,9 @@ A `ScheduleConst` is a constant determined by the fee schedule.
  // --------------------------------------------------------------------------
     rule [SCHEDCONSTPrague]: SCHEDCONST < PRAGUE > => SCHEDCONST < CANCUN >
 
-    rule [SCHEDFLAGPrague]: SCHEDFLAG  << PRAGUE >> => SCHEDFLAG << CANCUN >>
-
+    rule [GhasrequestsPrague]: Ghasrequests << PRAGUE >> => true
+    rule [SCHEDFLAGPrague]:    SCHEDFLAG    << PRAGUE >> => SCHEDFLAG << CANCUN >>
+      requires notBool ( SCHEDFLAG ==K Ghasrequests )
 ```
 
 ```k
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md
index 2884d5e99d..0cf025f84d 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md
@@ -118,15 +118,17 @@ Address/Hash Helpers
 -   `#blockHeaderHash` computes the hash of a block header given all the block data.
 
 ```k
-    syntax Int ::= #blockHeaderHash(Int  , Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int                                     ) [function, symbol(blockHeaderHash)                ]
-                 | #blockHeaderHash(Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes                                   ) [function, symbol(blockHashHeaderBytes)           ]
-                 | #blockHeaderHash(Int  , Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int                              ) [function, symbol(blockHeaderHashBaseFee)         ]
-                 | #blockHeaderHash(Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes                            ) [function, symbol(blockHashHeaderBaseFeeBytes)    ]
-                 | #blockHeaderHash(Int  , Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int                       ) [function, symbol(blockHeaderHashWithdrawals)     ]
-                 | #blockHeaderHash(Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes                     ) [function, symbol(blockHashHeaderWithdrawalsBytes)]
-                 | #blockHeaderHash(Int  , Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Int  , Int  ) [function, symbol(blockHeaderHashBlobBeacon)      ]
-                 | #blockHeaderHash(Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes) [function, symbol(blockHashHeaderBlobBeacon)      ]
- // -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
+    syntax Int ::= #blockHeaderHash(Int  , Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int                                            ) [function, symbol(blockHeaderHash)                ]
+                 | #blockHeaderHash(Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes                                          ) [function, symbol(blockHashHeaderBytes)           ]
+                 | #blockHeaderHash(Int  , Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int                                     ) [function, symbol(blockHeaderHashBaseFee)         ]
+                 | #blockHeaderHash(Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes                                   ) [function, symbol(blockHashHeaderBaseFeeBytes)    ]
+                 | #blockHeaderHash(Int  , Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int                              ) [function, symbol(blockHeaderHashWithdrawals)     ]
+                 | #blockHeaderHash(Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes                            ) [function, symbol(blockHashHeaderWithdrawalsBytes)]
+                 | #blockHeaderHash(Int  , Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Int  , Int         ) [function, symbol(blockHeaderHashBlobBeacon)      ]
+                 | #blockHeaderHash(Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes       ) [function, symbol(blockHashHeaderBlobBeacon)      ]
+                 | #blockHeaderHash(Int  , Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Bytes, Int  , Int  , Int  , Int  , Int  , Int  , Int  , Int  ) [function, symbol(blockHeaderHashRequestsRoot)    ]
+                 | #blockHeaderHash(Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes, Bytes) [function, symbol(blockHashHeaderRequestsRoot)    ]
+ // --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 
     rule #blockHeaderHash(HP:Bytes, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN)
          => #parseHexWord( Keccak256( #rlpEncode( [ HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN ] ) ) )
@@ -182,6 +184,21 @@ Address/Hash Helpers
                                                 )
                                     )
                          )
+
+    rule #blockHeaderHash(HP:Bytes, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WF, UB, EB, BR, RR)
+         => #parseHexWord( Keccak256( #rlpEncode( [ HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WF, UB, EB, BR, RR] ) ) )
+
+    rule #blockHeaderHash(HP:Int, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WF, UB, EB, BR, RR)
+         => #parseHexWord( Keccak256( #rlpEncode( [ #wordBytes(HP), #wordBytes(HO), #addrBytes(HC)
+                                                  , #wordBytes(HR), #wordBytes(HT), #wordBytes(HE)
+                                                  , HB, HD, HI, HL, HG, HS, HX
+                                                  , #wordBytes(HM), #padToWidth(8, #asByteStack(HN))
+                                                  , HF , #wordBytes(WF) , UB , EB , #wordBytes(BR)
+                                                  , #wordBytes(RR)
+                                                  ]
+                                                )
+                                    )
+                         )
 ```
 
 - `#hashTxData` returns the Keccak-256 message hash `HT` to be signed.
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md
index 590505e22c..34aab7216c 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md
@@ -76,6 +76,7 @@ module STATE-UTILS
          <blobGasUsed>       _ => 0          </blobGasUsed>
          <excessBlobGas>     _ => 0          </excessBlobGas>
          <beaconRoot>        _ => 0          </beaconRoot>
+         <requestsRoot>      _ => 0          </requestsRoot>
 
     syntax EthereumCommand ::= "clearNETWORK"
  // -----------------------------------------
@@ -249,6 +250,15 @@ The `"rlp"` key loads the block information.
          <excessBlobGas> _ => #asWord(EB)      </excessBlobGas>
          <beaconRoot>    _ => #asWord(BR)      </beaconRoot>
 
+    rule <k> load "rlp" : [ [ HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR, UB, EB, BR, RR, .JSONs ], BT, BU, BW, .JSONs ]
+          => load "rlp" : [ [ HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR, UB, EB, BR, .JSONs ], BT, BU, BW, .JSONs ]
+         ...
+         </k>
+         <requestsRoot> _ => #asWord(RR) </requestsRoot>
+
+    rule <k> load "genesisRLP": [ [ HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR, UB, EB, BR, RR, .JSONs ], _, _, _, .JSONs ] => .K ... </k>
+         <blockhashes> .List => ListItem(#blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR, UB, EB, BR, RR)) ListItem(#asWord(HP)) </blockhashes>
+
     rule <k> load "genesisRLP": [ [ HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR, UB, EB, BR, .JSONs ], _, _, _, .JSONs ] => .K ... </k>
          <blockhashes> .List => ListItem(#blockHeaderHash(HP, HO, HC, HR, HT, HE, HB, HD, HI, HL, HG, HS, HX, HM, HN, HF, WR, UB, EB, BR)) ListItem(#asWord(HP)) </blockhashes>
 
diff --git a/tests/execution-spec-tests/failing.llvm b/tests/execution-spec-tests/failing.llvm
index 976195c469..ad65a9b772 100644
--- a/tests/execution-spec-tests/failing.llvm
+++ b/tests/execution-spec-tests/failing.llvm
@@ -2165,9 +2165,220 @@ blockchain_tests/prague/eip7251_consolidations/contract_deployment/system_contra
 blockchain_tests/prague/eip7623_increase_calldata_cost/execution_gas/full_gas_consumption.json,*
 blockchain_tests/prague/eip7623_increase_calldata_cost/execution_gas/gas_consumption_below_data_floor.json,*
 blockchain_tests/prague/eip7623_increase_calldata_cost/refunds/gas_refunds_from_data_floor.json,*
-blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,*
-blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,*
-blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,*
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-protected-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-protected-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-protected-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-protected-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-protected-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-unprotected-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-unprotected-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-unprotected-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-unprotected-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test--type_0-unprotected-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test-contract_creating-type_0-protected-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test-contract_creating-type_0-protected-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test-contract_creating-type_0-protected-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test-contract_creating-type_0-protected-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test-contract_creating-type_0-unprotected-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test-contract_creating-type_0-unprotected-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test-contract_creating-type_0-unprotected-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_0.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_0[fork_Prague-blockchain_test_from_state_test-contract_creating-type_0-unprotected-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_multiple_storage_keys--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_multiple_storage_keys--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_multiple_storage_keys--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_multiple_storage_keys--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_multiple_storage_keys--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_multiple_storage_keys-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_multiple_storage_keys-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_multiple_storage_keys-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_multiple_storage_keys-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_no_storage_keys--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_no_storage_keys--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_no_storage_keys--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_no_storage_keys--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_no_storage_keys--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_no_storage_keys-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_no_storage_keys-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_no_storage_keys-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_no_storage_keys-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_single_storage_key--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_single_storage_key--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_single_storage_key--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_single_storage_key--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_single_storage_key--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_single_storage_key-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_single_storage_key-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_single_storage_key-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-multiple_access_lists_single_storage_key-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-no_access_list--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-no_access_list--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-no_access_list--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-no_access_list--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-no_access_list--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-no_access_list-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-no_access_list-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-no_access_list-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-no_access_list-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_multiple_storage_keys--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_multiple_storage_keys--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_multiple_storage_keys--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_multiple_storage_keys--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_multiple_storage_keys--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_multiple_storage_keys-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_multiple_storage_keys-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_multiple_storage_keys-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_multiple_storage_keys-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_no_storage_keys--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_no_storage_keys--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_no_storage_keys--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_no_storage_keys--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_no_storage_keys--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_no_storage_keys-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_no_storage_keys-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_no_storage_keys-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_no_storage_keys-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_single_storage_key--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_single_storage_key--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_single_storage_key--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_single_storage_key--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_single_storage_key--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_single_storage_key-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_single_storage_key-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_single_storage_key-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_1-single_access_list_single_storage_key-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_multiple_storage_keys--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_multiple_storage_keys--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_multiple_storage_keys--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_multiple_storage_keys--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_multiple_storage_keys--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_multiple_storage_keys-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_multiple_storage_keys-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_multiple_storage_keys-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_multiple_storage_keys-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_no_storage_keys--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_no_storage_keys--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_no_storage_keys--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_no_storage_keys--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_no_storage_keys--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_no_storage_keys-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_no_storage_keys-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_no_storage_keys-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_no_storage_keys-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_single_storage_key--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_single_storage_key--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_single_storage_key--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_single_storage_key--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_single_storage_key--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_single_storage_key-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_single_storage_key-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_single_storage_key-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-multiple_access_lists_single_storage_key-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-no_access_list--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-no_access_list--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-no_access_list--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-no_access_list--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-no_access_list--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-no_access_list-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-no_access_list-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-no_access_list-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-no_access_list-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_multiple_storage_keys--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_multiple_storage_keys--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_multiple_storage_keys--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_multiple_storage_keys--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_multiple_storage_keys--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_multiple_storage_keys-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_multiple_storage_keys-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_multiple_storage_keys-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_multiple_storage_keys-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_no_storage_keys--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_no_storage_keys--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_no_storage_keys--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_no_storage_keys--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_no_storage_keys--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_no_storage_keys-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_no_storage_keys-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_no_storage_keys-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_no_storage_keys-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_single_storage_key--exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_single_storage_key--exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_single_storage_key--extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_single_storage_key--extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_single_storage_key--insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_single_storage_key-contract_creating-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_single_storage_key-contract_creating-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_single_storage_key-contract_creating-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_1_type_2.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_1_type_2[fork_Prague-blockchain_test_from_state_test-type_2-single_access_list_single_storage_key-contract_creating-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_multiple_storage_keys-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_multiple_storage_keys-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_multiple_storage_keys-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_multiple_storage_keys-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_multiple_storage_keys-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_no_storage_keys-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_no_storage_keys-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_no_storage_keys-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_no_storage_keys-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_no_storage_keys-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_single_storage_key-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_single_storage_key-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_single_storage_key-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_single_storage_key-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-multiple_access_lists_single_storage_key-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-no_access_list-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-no_access_list-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-no_access_list-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-no_access_list-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-no_access_list-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_multiple_storage_keys-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_multiple_storage_keys-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_multiple_storage_keys-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_multiple_storage_keys-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_multiple_storage_keys-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_no_storage_keys-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_no_storage_keys-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_no_storage_keys-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_no_storage_keys-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_no_storage_keys-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_single_storage_key-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_single_storage_key-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_single_storage_key-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_single_storage_key-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-multiple_blobs-single_access_list_single_storage_key-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_multiple_storage_keys-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_multiple_storage_keys-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_multiple_storage_keys-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_multiple_storage_keys-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_multiple_storage_keys-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_no_storage_keys-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_no_storage_keys-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_no_storage_keys-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_no_storage_keys-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_no_storage_keys-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_single_storage_key-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_single_storage_key-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_single_storage_key-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_single_storage_key-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-multiple_access_lists_single_storage_key-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-no_access_list-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-no_access_list-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-no_access_list-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-no_access_list-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-no_access_list-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_multiple_storage_keys-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_multiple_storage_keys-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_multiple_storage_keys-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_multiple_storage_keys-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_multiple_storage_keys-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_no_storage_keys-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_no_storage_keys-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_no_storage_keys-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_no_storage_keys-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_no_storage_keys-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_single_storage_key-exact_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_single_storage_key-exact_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_single_storage_key-extra_gas-floor_gas_greater_than_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_single_storage_key-extra_gas-floor_gas_less_than_or_equal_to_intrinsic_gas]
+blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_3.json,tests/prague/eip7623_increase_calldata_cost/test_transaction_validity.py::test_transaction_validity_type_3[fork_Prague-blockchain_test_from_state_test-type_3-single_blob-single_access_list_single_storage_key-insufficient_gas-floor_gas_greater_than_intrinsic_gas]
 blockchain_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_4.json,*
 blockchain_tests/prague/eip7685_general_purpose_el_requests/multi_type_requests/invalid_deposit_withdrawal_consolidation_requests.json,*
 blockchain_tests/prague/eip7685_general_purpose_el_requests/multi_type_requests/valid_deposit_withdrawal_consolidation_request_from_same_tx.json,*
@@ -2278,8 +2489,6 @@ blockchain_tests/shanghai/eip3855_push0/push0/push0_contracts.json,tests/shangha
 blockchain_tests/shanghai/eip3855_push0/push0/push0_contracts.json,tests/shanghai/eip3855_push0/test_push0.py::test_push0_contracts[fork_Prague-blockchain_test_from_state_test-storage_overwrite]
 blockchain_tests/shanghai/eip3860_initcode/initcode/contract_creating_tx.json,tests/shanghai/eip3860_initcode/test_initcode.py::test_contract_creating_tx[fork_Prague-blockchain_test_from_state_test-max_size_ones]
 blockchain_tests/shanghai/eip3860_initcode/initcode/contract_creating_tx.json,tests/shanghai/eip3860_initcode/test_initcode.py::test_contract_creating_tx[fork_Prague-blockchain_test_from_state_test-max_size_zeros]
-blockchain_tests/shanghai/eip3860_initcode/initcode/contract_creating_tx.json,tests/shanghai/eip3860_initcode/test_initcode.py::test_contract_creating_tx[fork_Prague-blockchain_test_from_state_test-over_limit_ones]
-blockchain_tests/shanghai/eip3860_initcode/initcode/contract_creating_tx.json,tests/shanghai/eip3860_initcode/test_initcode.py::test_contract_creating_tx[fork_Prague-blockchain_test_from_state_test-over_limit_zeros]
 blockchain_tests/shanghai/eip3860_initcode/initcode/create_opcode_initcode.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestCreateInitcode::test_create_opcode_initcode[fork_Prague-blockchain_test_from_state_test-create-32_bytes]
 blockchain_tests/shanghai/eip3860_initcode/initcode/create_opcode_initcode.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestCreateInitcode::test_create_opcode_initcode[fork_Prague-blockchain_test_from_state_test-create-33_bytes]
 blockchain_tests/shanghai/eip3860_initcode/initcode/create_opcode_initcode.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestCreateInitcode::test_create_opcode_initcode[fork_Prague-blockchain_test_from_state_test-create-49120_bytes]
@@ -2303,33 +2512,25 @@ blockchain_tests/shanghai/eip3860_initcode/initcode/create_opcode_initcode.json,
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_32_bytes-exact_execution_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_32_bytes-exact_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_32_bytes-too_little_execution_gas]
-blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_32_bytes-too_little_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_33_bytes-exact_execution_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_33_bytes-exact_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_33_bytes-too_little_execution_gas]
-blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_33_bytes-too_little_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_49120_bytes-exact_execution_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_49120_bytes-exact_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_49120_bytes-too_little_execution_gas]
-blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_49120_bytes-too_little_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_49121_bytes-exact_execution_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_49121_bytes-exact_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_49121_bytes-too_little_execution_gas]
-blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_49121_bytes-too_little_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_empty-exact_execution_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_empty-exact_intrinsic_gas]
-blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_empty-too_little_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_max_size_ones-exact_execution_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_max_size_ones-exact_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_max_size_ones-too_little_execution_gas]
-blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_max_size_ones-too_little_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_max_size_zeros-exact_execution_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_max_size_zeros-exact_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_max_size_zeros-too_little_execution_gas]
-blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_max_size_zeros-too_little_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_single_byte-exact_execution_gas]
 blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_single_byte-exact_intrinsic_gas]
-blockchain_tests/shanghai/eip3860_initcode/initcode/gas_usage.json,tests/shanghai/eip3860_initcode/test_initcode.py::TestContractCreationGasUsage::test_gas_usage[fork_Prague-blockchain_test_from_state_test-initcode_single_byte-too_little_intrinsic_gas]
 blockchain_tests/shanghai/eip3860_initcode/with_eof/legacy_create_edge_code_size.json,tests/shanghai/eip3860_initcode/test_with_eof.py::test_legacy_create_edge_code_size[fork_Prague-blockchain_test_from_state_test-empty_code-opcode_CREATE]
 blockchain_tests/shanghai/eip3860_initcode/with_eof/legacy_create_edge_code_size.json,tests/shanghai/eip3860_initcode/test_with_eof.py::test_legacy_create_edge_code_size[fork_Prague-blockchain_test_from_state_test-empty_code-opcode_CREATE2]
 blockchain_tests/shanghai/eip3860_initcode/with_eof/legacy_create_edge_code_size.json,tests/shanghai/eip3860_initcode/test_with_eof.py::test_legacy_create_edge_code_size[fork_Prague-blockchain_test_from_state_test-empty_initcode-opcode_CREATE]
@@ -2349,7 +2550,6 @@ blockchain_tests/shanghai/eip4895_withdrawals/withdrawals/no_evm_execution.json,
 blockchain_tests/shanghai/eip4895_withdrawals/withdrawals/self_destructing_account.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_self_destructing_account[fork_Prague-blockchain_test]
 blockchain_tests/shanghai/eip4895_withdrawals/withdrawals/use_value_in_contract.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_use_value_in_contract[fork_Prague-blockchain_test]
 blockchain_tests/shanghai/eip4895_withdrawals/withdrawals/use_value_in_tx.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::TestUseValueInTx::test_use_value_in_tx[fork_Prague-blockchain_test-tx_after_withdrawals_block]
-blockchain_tests/shanghai/eip4895_withdrawals/withdrawals/use_value_in_tx.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::TestUseValueInTx::test_use_value_in_tx[fork_Prague-blockchain_test-tx_in_withdrawals_block]
 blockchain_tests/shanghai/eip4895_withdrawals/withdrawals/withdrawing_to_precompiles.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles[fork_Prague-precompile_0x0000000000000000000000000000000000000001-blockchain_test-amount_0]
 blockchain_tests/shanghai/eip4895_withdrawals/withdrawals/withdrawing_to_precompiles.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles[fork_Prague-precompile_0x0000000000000000000000000000000000000001-blockchain_test-amount_1]
 blockchain_tests/shanghai/eip4895_withdrawals/withdrawals/withdrawing_to_precompiles.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles[fork_Prague-precompile_0x0000000000000000000000000000000000000002-blockchain_test-amount_0]
diff --git a/tests/failing/ContractCreationSpam_d0g0v0.json.expected b/tests/failing/ContractCreationSpam_d0g0v0.json.expected
index af6b319865..f56f7bc446 100644
--- a/tests/failing/ContractCreationSpam_d0g0v0.json.expected
+++ b/tests/failing/ContractCreationSpam_d0g0v0.json.expected
@@ -169,6 +169,9 @@
         <beaconRoot>
           0
         </beaconRoot>
+        <requestsRoot>
+          0
+        </requestsRoot>
         <ommerBlockHeaders>
           [ .JSONs ]
         </ommerBlockHeaders>
@@ -339,6 +342,11 @@
       <withdrawals>
         .WithdrawalCellMap
       </withdrawals>
+      <requests>
+        <depositRequests>
+          .List
+        </depositRequests>
+      </requests>
     </network>
   </ethereum>
 </kevm>
\ No newline at end of file
diff --git a/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected b/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected
index 8daec9ae0d..e88f73c43c 100644
--- a/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected
+++ b/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected
@@ -169,6 +169,9 @@
         <beaconRoot>
           0
         </beaconRoot>
+        <requestsRoot>
+          0
+        </requestsRoot>
         <ommerBlockHeaders>
           [ .JSONs ]
         </ommerBlockHeaders>
@@ -385,6 +388,11 @@
       <withdrawals>
         .WithdrawalCellMap
       </withdrawals>
+      <requests>
+        <depositRequests>
+          .List
+        </depositRequests>
+      </requests>
     </network>
   </ethereum>
 </kevm>
\ No newline at end of file
diff --git a/tests/specs/benchmarks/address00-spec.k b/tests/specs/benchmarks/address00-spec.k
index 9ba1c43d59..015938a620 100644
--- a/tests/specs/benchmarks/address00-spec.k
+++ b/tests/specs/benchmarks/address00-spec.k
@@ -65,7 +65,7 @@ module ADDRESS00-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/bytes00-spec.k b/tests/specs/benchmarks/bytes00-spec.k
index 496f5f41db..88437bead6 100644
--- a/tests/specs/benchmarks/bytes00-spec.k
+++ b/tests/specs/benchmarks/bytes00-spec.k
@@ -65,7 +65,7 @@ module BYTES00-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/dynamicarray00-spec.k b/tests/specs/benchmarks/dynamicarray00-spec.k
index cc3a9b19fa..4232eb0d7a 100644
--- a/tests/specs/benchmarks/dynamicarray00-spec.k
+++ b/tests/specs/benchmarks/dynamicarray00-spec.k
@@ -65,7 +65,7 @@ module DYNAMICARRAY00-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/ecrecover00-siginvalid-spec.k b/tests/specs/benchmarks/ecrecover00-siginvalid-spec.k
index de36cac6f6..f1c40608c2 100644
--- a/tests/specs/benchmarks/ecrecover00-siginvalid-spec.k
+++ b/tests/specs/benchmarks/ecrecover00-siginvalid-spec.k
@@ -65,7 +65,7 @@ module ECRECOVER00-SIGINVALID-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/ecrecover00-sigvalid-spec.k b/tests/specs/benchmarks/ecrecover00-sigvalid-spec.k
index ced775b4b5..43ce3ef0ae 100644
--- a/tests/specs/benchmarks/ecrecover00-sigvalid-spec.k
+++ b/tests/specs/benchmarks/ecrecover00-sigvalid-spec.k
@@ -65,7 +65,7 @@ module ECRECOVER00-SIGVALID-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k b/tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k
index 4978daa97b..6306b297b1 100644
--- a/tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k
+++ b/tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k
@@ -68,7 +68,7 @@ module ECRECOVERLOOP00-SIG0-INVALID-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k b/tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k
index cbdfbf79ea..af424b6b4c 100644
--- a/tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k
+++ b/tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k
@@ -68,7 +68,7 @@ module ECRECOVERLOOP00-SIG1-INVALID-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k b/tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k
index 76490afec7..48a236d588 100644
--- a/tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k
+++ b/tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k
@@ -68,7 +68,7 @@ module ECRECOVERLOOP00-SIGS-VALID-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k b/tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k
index bfcc1f5a44..36b588a85e 100644
--- a/tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k
+++ b/tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k
@@ -69,7 +69,7 @@ module ECRECOVERLOOP02-SIG0-INVALID-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k b/tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k
index 99469ca4e0..24b0bab0b7 100644
--- a/tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k
+++ b/tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k
@@ -69,7 +69,7 @@ module ECRECOVERLOOP02-SIG1-INVALID-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k b/tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k
index cf5cc13b37..2d917a9cf4 100644
--- a/tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k
+++ b/tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k
@@ -69,7 +69,7 @@ module ECRECOVERLOOP02-SIGS-VALID-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/encode-keccak00-spec.k b/tests/specs/benchmarks/encode-keccak00-spec.k
index 1351846a29..8326141564 100644
--- a/tests/specs/benchmarks/encode-keccak00-spec.k
+++ b/tests/specs/benchmarks/encode-keccak00-spec.k
@@ -65,7 +65,7 @@ module ENCODE-KECCAK00-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/encodepacked-keccak01-spec.k b/tests/specs/benchmarks/encodepacked-keccak01-spec.k
index 7e1325a476..bdda76aaa6 100644
--- a/tests/specs/benchmarks/encodepacked-keccak01-spec.k
+++ b/tests/specs/benchmarks/encodepacked-keccak01-spec.k
@@ -65,7 +65,7 @@ module ENCODEPACKED-KECCAK01-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/keccak00-spec.k b/tests/specs/benchmarks/keccak00-spec.k
index 8268f55e1c..4c46ed2dbf 100644
--- a/tests/specs/benchmarks/keccak00-spec.k
+++ b/tests/specs/benchmarks/keccak00-spec.k
@@ -65,7 +65,7 @@ module KECCAK00-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/overflow00-nooverflow-spec.k b/tests/specs/benchmarks/overflow00-nooverflow-spec.k
index ccbf7c6319..017590a5c7 100644
--- a/tests/specs/benchmarks/overflow00-nooverflow-spec.k
+++ b/tests/specs/benchmarks/overflow00-nooverflow-spec.k
@@ -65,7 +65,7 @@ module OVERFLOW00-NOOVERFLOW-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/overflow00-overflow-spec.k b/tests/specs/benchmarks/overflow00-overflow-spec.k
index 4b1487d7cd..e5050f8ad9 100644
--- a/tests/specs/benchmarks/overflow00-overflow-spec.k
+++ b/tests/specs/benchmarks/overflow00-overflow-spec.k
@@ -65,7 +65,7 @@ module OVERFLOW00-OVERFLOW-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/requires01-a0gt0-spec.k b/tests/specs/benchmarks/requires01-a0gt0-spec.k
index 0b2b8d51c5..e370b01a5a 100644
--- a/tests/specs/benchmarks/requires01-a0gt0-spec.k
+++ b/tests/specs/benchmarks/requires01-a0gt0-spec.k
@@ -65,7 +65,7 @@ module REQUIRES01-A0GT0-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/requires01-a0le0-spec.k b/tests/specs/benchmarks/requires01-a0le0-spec.k
index d3bb0cc20d..33f6c86b3e 100644
--- a/tests/specs/benchmarks/requires01-a0le0-spec.k
+++ b/tests/specs/benchmarks/requires01-a0le0-spec.k
@@ -65,7 +65,7 @@ module REQUIRES01-A0LE0-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/staticarray00-spec.k b/tests/specs/benchmarks/staticarray00-spec.k
index dcadd9f133..597bf49839 100644
--- a/tests/specs/benchmarks/staticarray00-spec.k
+++ b/tests/specs/benchmarks/staticarray00-spec.k
@@ -65,7 +65,7 @@ module STATICARRAY00-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/staticloop00-a0lt10-spec.k b/tests/specs/benchmarks/staticloop00-a0lt10-spec.k
index 3e7f313f51..9f3b8ba54c 100644
--- a/tests/specs/benchmarks/staticloop00-a0lt10-spec.k
+++ b/tests/specs/benchmarks/staticloop00-a0lt10-spec.k
@@ -65,7 +65,7 @@ module STATICLOOP00-A0LT10-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/storagevar00-spec.k b/tests/specs/benchmarks/storagevar00-spec.k
index d178b20aea..53114fdebf 100644
--- a/tests/specs/benchmarks/storagevar00-spec.k
+++ b/tests/specs/benchmarks/storagevar00-spec.k
@@ -65,7 +65,7 @@ module STORAGEVAR00-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/storagevar01-spec.k b/tests/specs/benchmarks/storagevar01-spec.k
index f58d32567b..5b6f3a6ce4 100644
--- a/tests/specs/benchmarks/storagevar01-spec.k
+++ b/tests/specs/benchmarks/storagevar01-spec.k
@@ -65,7 +65,7 @@ module STORAGEVAR01-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/storagevar02-nooverflow-spec.k b/tests/specs/benchmarks/storagevar02-nooverflow-spec.k
index ba90ba93c5..bcde32077c 100644
--- a/tests/specs/benchmarks/storagevar02-nooverflow-spec.k
+++ b/tests/specs/benchmarks/storagevar02-nooverflow-spec.k
@@ -65,7 +65,7 @@ module STORAGEVAR02-NOOVERFLOW-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/storagevar02-overflow-spec.k b/tests/specs/benchmarks/storagevar02-overflow-spec.k
index ca906a9067..05c07e7faf 100644
--- a/tests/specs/benchmarks/storagevar02-overflow-spec.k
+++ b/tests/specs/benchmarks/storagevar02-overflow-spec.k
@@ -65,7 +65,7 @@ module STORAGEVAR02-OVERFLOW-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/storagevar03-spec.k b/tests/specs/benchmarks/storagevar03-spec.k
index a28f913d3c..968d85013c 100644
--- a/tests/specs/benchmarks/storagevar03-spec.k
+++ b/tests/specs/benchmarks/storagevar03-spec.k
@@ -65,7 +65,7 @@ module STORAGEVAR03-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/structarg00-spec.k b/tests/specs/benchmarks/structarg00-spec.k
index 6fe5ee1f08..8a8f418591 100644
--- a/tests/specs/benchmarks/structarg00-spec.k
+++ b/tests/specs/benchmarks/structarg00-spec.k
@@ -65,7 +65,7 @@ module STRUCTARG00-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/benchmarks/structarg01-spec.k b/tests/specs/benchmarks/structarg01-spec.k
index 33b731e532..149c6ac8cd 100644
--- a/tests/specs/benchmarks/structarg01-spec.k
+++ b/tests/specs/benchmarks/structarg01-spec.k
@@ -65,7 +65,7 @@ module STRUCTARG01-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
       <network>
diff --git a/tests/specs/erc20/ds/allowance-spec.k b/tests/specs/erc20/ds/allowance-spec.k
index c94f767926..fa3d350bc9 100644
--- a/tests/specs/erc20/ds/allowance-spec.k
+++ b/tests/specs/erc20/ds/allowance-spec.k
@@ -76,7 +76,7 @@ module ALLOWANCE-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/approve-failure-spec.k b/tests/specs/erc20/ds/approve-failure-spec.k
index 377edde866..07cdec4127 100644
--- a/tests/specs/erc20/ds/approve-failure-spec.k
+++ b/tests/specs/erc20/ds/approve-failure-spec.k
@@ -76,7 +76,7 @@ module APPROVE-FAILURE-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/approve-success-spec.k b/tests/specs/erc20/ds/approve-success-spec.k
index 6570ac3740..fbac8bace9 100644
--- a/tests/specs/erc20/ds/approve-success-spec.k
+++ b/tests/specs/erc20/ds/approve-success-spec.k
@@ -76,7 +76,7 @@ module APPROVE-SUCCESS-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/balanceOf-spec.k b/tests/specs/erc20/ds/balanceOf-spec.k
index a2092eab45..ea4a020c19 100644
--- a/tests/specs/erc20/ds/balanceOf-spec.k
+++ b/tests/specs/erc20/ds/balanceOf-spec.k
@@ -76,7 +76,7 @@ module BALANCEOF-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/totalSupply-spec.k b/tests/specs/erc20/ds/totalSupply-spec.k
index 87b3f25780..14d5f178b2 100644
--- a/tests/specs/erc20/ds/totalSupply-spec.k
+++ b/tests/specs/erc20/ds/totalSupply-spec.k
@@ -76,7 +76,7 @@ module TOTALSUPPLY-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transfer-failure-1-a-spec.k b/tests/specs/erc20/ds/transfer-failure-1-a-spec.k
index 1cb58a4d84..6344ed83a8 100644
--- a/tests/specs/erc20/ds/transfer-failure-1-a-spec.k
+++ b/tests/specs/erc20/ds/transfer-failure-1-a-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-FAILURE-1-A-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transfer-failure-1-b-spec.k b/tests/specs/erc20/ds/transfer-failure-1-b-spec.k
index 18a528b603..37dabb78fd 100644
--- a/tests/specs/erc20/ds/transfer-failure-1-b-spec.k
+++ b/tests/specs/erc20/ds/transfer-failure-1-b-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-FAILURE-1-B-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transfer-failure-1-c-spec.k b/tests/specs/erc20/ds/transfer-failure-1-c-spec.k
index eb1f9be55f..008cd47ed2 100644
--- a/tests/specs/erc20/ds/transfer-failure-1-c-spec.k
+++ b/tests/specs/erc20/ds/transfer-failure-1-c-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-FAILURE-1-C-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transfer-failure-2-a-spec.k b/tests/specs/erc20/ds/transfer-failure-2-a-spec.k
index 3bfdc46ec2..fbb6b27390 100644
--- a/tests/specs/erc20/ds/transfer-failure-2-a-spec.k
+++ b/tests/specs/erc20/ds/transfer-failure-2-a-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-FAILURE-2-A-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transfer-failure-2-b-spec.k b/tests/specs/erc20/ds/transfer-failure-2-b-spec.k
index bf3004388e..6b9e6f8f80 100644
--- a/tests/specs/erc20/ds/transfer-failure-2-b-spec.k
+++ b/tests/specs/erc20/ds/transfer-failure-2-b-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-FAILURE-2-B-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transfer-success-1-spec.k b/tests/specs/erc20/ds/transfer-success-1-spec.k
index 77b545a4dc..887ad3b009 100644
--- a/tests/specs/erc20/ds/transfer-success-1-spec.k
+++ b/tests/specs/erc20/ds/transfer-success-1-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-SUCCESS-1-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transfer-success-2-spec.k b/tests/specs/erc20/ds/transfer-success-2-spec.k
index 387911ba90..bb4b8c9e74 100644
--- a/tests/specs/erc20/ds/transfer-success-2-spec.k
+++ b/tests/specs/erc20/ds/transfer-success-2-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-SUCCESS-2-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k b/tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k
index 1720895273..f75c9dd0f8 100644
--- a/tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k
+++ b/tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-FAILURE-1-A-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k b/tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k
index 59deff730f..d0326a39a5 100644
--- a/tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k
+++ b/tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-FAILURE-1-B-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k b/tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k
index cc0c7b559f..59b486283d 100644
--- a/tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k
+++ b/tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-FAILURE-1-C-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k b/tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k
index 7adb3ef89f..67a8c4e563 100644
--- a/tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k
+++ b/tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-FAILURE-1-D-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k b/tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k
index c18dcd5554..b189c52bb5 100644
--- a/tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k
+++ b/tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-FAILURE-2-A-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k b/tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k
index c0ee341c74..2728d125d9 100644
--- a/tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k
+++ b/tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-FAILURE-2-B-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k b/tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k
index 932d5fb35e..af3e659406 100644
--- a/tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k
+++ b/tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-FAILURE-2-C-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transferFrom-success-1-spec.k b/tests/specs/erc20/ds/transferFrom-success-1-spec.k
index e797a4c029..4e4e56bbeb 100644
--- a/tests/specs/erc20/ds/transferFrom-success-1-spec.k
+++ b/tests/specs/erc20/ds/transferFrom-success-1-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-SUCCESS-1-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/ds/transferFrom-success-2-spec.k b/tests/specs/erc20/ds/transferFrom-success-2-spec.k
index 67b127f5bd..31d86a5a1d 100644
--- a/tests/specs/erc20/ds/transferFrom-success-2-spec.k
+++ b/tests/specs/erc20/ds/transferFrom-success-2-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-SUCCESS-2-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/allowance-spec.k b/tests/specs/erc20/hkg/allowance-spec.k
index 047f02c278..2c9493f9ed 100644
--- a/tests/specs/erc20/hkg/allowance-spec.k
+++ b/tests/specs/erc20/hkg/allowance-spec.k
@@ -76,7 +76,7 @@ module ALLOWANCE-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/approve-spec.k b/tests/specs/erc20/hkg/approve-spec.k
index a81e5c52bf..bec3500891 100644
--- a/tests/specs/erc20/hkg/approve-spec.k
+++ b/tests/specs/erc20/hkg/approve-spec.k
@@ -76,7 +76,7 @@ module APPROVE-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/balanceOf-spec.k b/tests/specs/erc20/hkg/balanceOf-spec.k
index bd7cf63ec5..21ae10617e 100644
--- a/tests/specs/erc20/hkg/balanceOf-spec.k
+++ b/tests/specs/erc20/hkg/balanceOf-spec.k
@@ -76,7 +76,7 @@ module BALANCEOF-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/totalSupply-spec.k b/tests/specs/erc20/hkg/totalSupply-spec.k
index dc19621835..1656cea58c 100644
--- a/tests/specs/erc20/hkg/totalSupply-spec.k
+++ b/tests/specs/erc20/hkg/totalSupply-spec.k
@@ -76,7 +76,7 @@ module TOTALSUPPLY-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/transfer-failure-1-spec.k b/tests/specs/erc20/hkg/transfer-failure-1-spec.k
index d30f0e1a46..021349c531 100644
--- a/tests/specs/erc20/hkg/transfer-failure-1-spec.k
+++ b/tests/specs/erc20/hkg/transfer-failure-1-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-FAILURE-1-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/transfer-failure-2-spec.k b/tests/specs/erc20/hkg/transfer-failure-2-spec.k
index 075985dd99..dfbb637227 100644
--- a/tests/specs/erc20/hkg/transfer-failure-2-spec.k
+++ b/tests/specs/erc20/hkg/transfer-failure-2-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-FAILURE-2-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/transfer-success-1-spec.k b/tests/specs/erc20/hkg/transfer-success-1-spec.k
index 20e8651643..c4f2b01b60 100644
--- a/tests/specs/erc20/hkg/transfer-success-1-spec.k
+++ b/tests/specs/erc20/hkg/transfer-success-1-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-SUCCESS-1-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/transfer-success-2-spec.k b/tests/specs/erc20/hkg/transfer-success-2-spec.k
index 963eb5cf8f..1e07daf4e1 100644
--- a/tests/specs/erc20/hkg/transfer-success-2-spec.k
+++ b/tests/specs/erc20/hkg/transfer-success-2-spec.k
@@ -76,7 +76,7 @@ module TRANSFER-SUCCESS-2-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/transferFrom-failure-1-spec.k b/tests/specs/erc20/hkg/transferFrom-failure-1-spec.k
index bbd69bcbad..a2c14fbe0c 100644
--- a/tests/specs/erc20/hkg/transferFrom-failure-1-spec.k
+++ b/tests/specs/erc20/hkg/transferFrom-failure-1-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-FAILURE-1-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/transferFrom-failure-2-spec.k b/tests/specs/erc20/hkg/transferFrom-failure-2-spec.k
index 33ee7b1d72..d2ae7e1018 100644
--- a/tests/specs/erc20/hkg/transferFrom-failure-2-spec.k
+++ b/tests/specs/erc20/hkg/transferFrom-failure-2-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-FAILURE-2-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/transferFrom-success-1-spec.k b/tests/specs/erc20/hkg/transferFrom-success-1-spec.k
index e771d5fecc..6864cb17d4 100644
--- a/tests/specs/erc20/hkg/transferFrom-success-1-spec.k
+++ b/tests/specs/erc20/hkg/transferFrom-success-1-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-SUCCESS-1-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/erc20/hkg/transferFrom-success-2-spec.k b/tests/specs/erc20/hkg/transferFrom-success-2-spec.k
index 31c533d43b..70c8a73234 100644
--- a/tests/specs/erc20/hkg/transferFrom-success-2-spec.k
+++ b/tests/specs/erc20/hkg/transferFrom-success-2-spec.k
@@ -76,7 +76,7 @@ module TRANSFERFROM-SUCCESS-2-SPEC
           <withdrawalsRoot> _ </withdrawalsRoot>
           <blobGasUsed> _ </blobGasUsed>
           <excessBlobGas> _ </excessBlobGas>
-          <beaconRoot> _ </beaconRoot>
+          ...
         </block>
       </evm>
 
diff --git a/tests/specs/mcd-structured/cat-exhaustiveness-spec.k b/tests/specs/mcd-structured/cat-exhaustiveness-spec.k
index 3e802b29e0..672cdf39a7 100644
--- a/tests/specs/mcd-structured/cat-exhaustiveness-spec.k
+++ b/tests/specs/mcd-structured/cat-exhaustiveness-spec.k
@@ -65,7 +65,7 @@ module CAT-EXHAUSTIVENESS-SPEC
              <withdrawalsRoot> _ </withdrawalsRoot>
              <blobGasUsed> _ </blobGasUsed>
              <excessBlobGas> _ </excessBlobGas>
-             <beaconRoot> _ </beaconRoot>
+             ...
           </block>
          </evm>
          <network>
diff --git a/tests/specs/mcd-structured/cat-file-addr-pass-rough-spec.k b/tests/specs/mcd-structured/cat-file-addr-pass-rough-spec.k
index 2f28d9f151..60b4f4d7bd 100644
--- a/tests/specs/mcd-structured/cat-file-addr-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/cat-file-addr-pass-rough-spec.k
@@ -65,7 +65,7 @@ module CAT-FILE-ADDR-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k b/tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k
index 24631ef5c3..885fd3b3e1 100644
--- a/tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k
+++ b/tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k
@@ -65,7 +65,7 @@ module DAI-ADDUU-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/dai-symbol-pass-spec.k b/tests/specs/mcd-structured/dai-symbol-pass-spec.k
index 536ca1099e..d08ce0d9d2 100644
--- a/tests/specs/mcd-structured/dai-symbol-pass-spec.k
+++ b/tests/specs/mcd-structured/dai-symbol-pass-spec.k
@@ -65,7 +65,7 @@ module DAI-SYMBOL-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/dstoken-approve-fail-rough-spec.k b/tests/specs/mcd-structured/dstoken-approve-fail-rough-spec.k
index be02d76279..ac88df270b 100644
--- a/tests/specs/mcd-structured/dstoken-approve-fail-rough-spec.k
+++ b/tests/specs/mcd-structured/dstoken-approve-fail-rough-spec.k
@@ -65,7 +65,7 @@ module DSTOKEN-APPROVE-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/dsvalue-peek-pass-rough-spec.k b/tests/specs/mcd-structured/dsvalue-peek-pass-rough-spec.k
index 37a889a968..c0ad4664fd 100644
--- a/tests/specs/mcd-structured/dsvalue-peek-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/dsvalue-peek-pass-rough-spec.k
@@ -65,7 +65,7 @@ module DSVALUE-PEEK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/dsvalue-read-pass-spec.k b/tests/specs/mcd-structured/dsvalue-read-pass-spec.k
index 6d82916bbd..6ab58934ff 100644
--- a/tests/specs/mcd-structured/dsvalue-read-pass-spec.k
+++ b/tests/specs/mcd-structured/dsvalue-read-pass-spec.k
@@ -65,7 +65,7 @@ module DSVALUE-READ-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/end-cash-pass-rough-spec.k b/tests/specs/mcd-structured/end-cash-pass-rough-spec.k
index a4aef2143a..6f1eaf2479 100644
--- a/tests/specs/mcd-structured/end-cash-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/end-cash-pass-rough-spec.k
@@ -65,7 +65,7 @@ module END-CASH-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -212,7 +212,7 @@ module END-CASH-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -320,7 +320,7 @@ module END-CASH-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -425,7 +425,7 @@ module END-CASH-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/end-pack-pass-rough-spec.k b/tests/specs/mcd-structured/end-pack-pass-rough-spec.k
index aac6db25bf..e0340a8b1f 100644
--- a/tests/specs/mcd-structured/end-pack-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/end-pack-pass-rough-spec.k
@@ -65,7 +65,7 @@ module END-PACK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -220,7 +220,7 @@ module END-PACK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -325,7 +325,7 @@ module END-PACK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -430,7 +430,7 @@ module END-PACK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/end-subuu-pass-spec.k b/tests/specs/mcd-structured/end-subuu-pass-spec.k
index 21c3f2b4ba..4e898c573e 100644
--- a/tests/specs/mcd-structured/end-subuu-pass-spec.k
+++ b/tests/specs/mcd-structured/end-subuu-pass-spec.k
@@ -65,7 +65,7 @@ module END-SUBUU-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flapper-yank-pass-rough-spec.k b/tests/specs/mcd-structured/flapper-yank-pass-rough-spec.k
index 69e35d1bd6..c61eac4910 100644
--- a/tests/specs/mcd-structured/flapper-yank-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/flapper-yank-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLAPPER-YANK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -230,7 +230,7 @@ module FLAPPER-YANK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k b/tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k
index c88d650504..3b6a62340b 100644
--- a/tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k
+++ b/tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k
@@ -65,7 +65,7 @@ module FLIPPER-ADDU48U48-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flipper-bids-pass-rough-spec.k b/tests/specs/mcd-structured/flipper-bids-pass-rough-spec.k
index d64fcedcc1..22672f8f59 100644
--- a/tests/specs/mcd-structured/flipper-bids-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/flipper-bids-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLIPPER-BIDS-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flipper-tau-pass-spec.k b/tests/specs/mcd-structured/flipper-tau-pass-spec.k
index 49375d66c3..7ce695e881 100644
--- a/tests/specs/mcd-structured/flipper-tau-pass-spec.k
+++ b/tests/specs/mcd-structured/flipper-tau-pass-spec.k
@@ -65,7 +65,7 @@ module FLIPPER-TAU-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flipper-ttl-pass-spec.k b/tests/specs/mcd-structured/flipper-ttl-pass-spec.k
index 16ac1c10cc..702bd8e6a9 100644
--- a/tests/specs/mcd-structured/flipper-ttl-pass-spec.k
+++ b/tests/specs/mcd-structured/flipper-ttl-pass-spec.k
@@ -65,7 +65,7 @@ module FLIPPER-TTL-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flopper-cage-pass-spec.k b/tests/specs/mcd-structured/flopper-cage-pass-spec.k
index 5aa881e808..6cbca17709 100644
--- a/tests/specs/mcd-structured/flopper-cage-pass-spec.k
+++ b/tests/specs/mcd-structured/flopper-cage-pass-spec.k
@@ -64,7 +64,7 @@ module FLOPPER-CAGE-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k b/tests/specs/mcd-structured/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
index 04c21a6bb7..6758907a42 100644
--- a/tests/specs/mcd-structured/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -242,7 +242,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -347,7 +347,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -452,7 +452,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flopper-dent-guy-same-pass-rough-spec.k b/tests/specs/mcd-structured/flopper-dent-guy-same-pass-rough-spec.k
index b611da9d70..df6f6682ce 100644
--- a/tests/specs/mcd-structured/flopper-dent-guy-same-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/flopper-dent-guy-same-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -211,7 +211,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -315,7 +315,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flopper-file-pass-rough-spec.k b/tests/specs/mcd-structured/flopper-file-pass-rough-spec.k
index a216bd9fc9..a321a41fc3 100644
--- a/tests/specs/mcd-structured/flopper-file-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/flopper-file-pass-rough-spec.k
@@ -63,7 +63,7 @@ module FLOPPER-FILE-PASS-ROUGH-SPEC
     //         <withdrawalsRoot> _ </withdrawalsRoot>
     //         <blobGasUsed> _ </blobGasUsed>
     //         <excessBlobGas> _ </excessBlobGas>
-    //         <beaconRoot> _ </beaconRoot>
+    //         ...
     //       </block>
     //     </evm>
     //     <network>
diff --git a/tests/specs/mcd-structured/flopper-kick-pass-rough-spec.k b/tests/specs/mcd-structured/flopper-kick-pass-rough-spec.k
index 3cdb365551..faba3cce72 100644
--- a/tests/specs/mcd-structured/flopper-kick-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/flopper-kick-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLOPPER-KICK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -200,7 +200,7 @@ module FLOPPER-KICK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k b/tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k
index c2da0f10d9..59e8639e43 100644
--- a/tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLOPPER-TICK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -189,7 +189,7 @@ module FLOPPER-TICK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/pot-join-pass-rough-spec.k b/tests/specs/mcd-structured/pot-join-pass-rough-spec.k
index 03b4636d96..50dd9ca56b 100644
--- a/tests/specs/mcd-structured/pot-join-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/pot-join-pass-rough-spec.k
@@ -65,7 +65,7 @@ module POT-JOIN-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -219,7 +219,7 @@ module POT-JOIN-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -327,7 +327,7 @@ module POT-JOIN-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -432,7 +432,7 @@ module POT-JOIN-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-addui-fail-rough-spec.k b/tests/specs/mcd-structured/vat-addui-fail-rough-spec.k
index f5fa371c37..f058b14840 100644
--- a/tests/specs/mcd-structured/vat-addui-fail-rough-spec.k
+++ b/tests/specs/mcd-structured/vat-addui-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VAT-ADDUI-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-arithmetic-spec.k b/tests/specs/mcd-structured/vat-arithmetic-spec.k
index 6fd4fcae42..dd8ae1fed6 100644
--- a/tests/specs/mcd-structured/vat-arithmetic-spec.k
+++ b/tests/specs/mcd-structured/vat-arithmetic-spec.k
@@ -64,7 +64,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -167,7 +167,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -264,7 +264,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -367,7 +367,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -467,7 +467,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -567,7 +567,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-dai-pass-spec.k b/tests/specs/mcd-structured/vat-dai-pass-spec.k
index fbda8557ff..92a790e25c 100644
--- a/tests/specs/mcd-structured/vat-dai-pass-spec.k
+++ b/tests/specs/mcd-structured/vat-dai-pass-spec.k
@@ -64,7 +64,7 @@ module VAT-DAI-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-deny-diff-fail-rough-spec.k b/tests/specs/mcd-structured/vat-deny-diff-fail-rough-spec.k
index d3877ebf31..cc5a8ff370 100644
--- a/tests/specs/mcd-structured/vat-deny-diff-fail-rough-spec.k
+++ b/tests/specs/mcd-structured/vat-deny-diff-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VAT-DENY-DIFF-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-flux-diff-pass-rough-spec.k b/tests/specs/mcd-structured/vat-flux-diff-pass-rough-spec.k
index 7e41b2070f..1186df3906 100644
--- a/tests/specs/mcd-structured/vat-flux-diff-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/vat-flux-diff-pass-rough-spec.k
@@ -66,7 +66,7 @@ module VAT-FLUX-DIFF-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-flux-diff-pass-spec.k b/tests/specs/mcd-structured/vat-flux-diff-pass-spec.k
index d24cdc59a9..9aa0df761c 100644
--- a/tests/specs/mcd-structured/vat-flux-diff-pass-spec.k
+++ b/tests/specs/mcd-structured/vat-flux-diff-pass-spec.k
@@ -64,7 +64,7 @@ module VAT-FLUX-DIFF-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-fold-pass-rough-spec.k b/tests/specs/mcd-structured/vat-fold-pass-rough-spec.k
index eeb86b9daa..e8d48ec135 100644
--- a/tests/specs/mcd-structured/vat-fold-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/vat-fold-pass-rough-spec.k
@@ -67,7 +67,7 @@ module VAT-FOLD-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-fork-diff-pass-rough-spec.k b/tests/specs/mcd-structured/vat-fork-diff-pass-rough-spec.k
index 2c8d58f07a..35f2964dcd 100644
--- a/tests/specs/mcd-structured/vat-fork-diff-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/vat-fork-diff-pass-rough-spec.k
@@ -67,7 +67,7 @@ module VAT-FORK-DIFF-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-frob-diff-zero-dart-pass-rough-spec.k b/tests/specs/mcd-structured/vat-frob-diff-zero-dart-pass-rough-spec.k
index ab7aba860f..28d3d9f783 100644
--- a/tests/specs/mcd-structured/vat-frob-diff-zero-dart-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/vat-frob-diff-zero-dart-pass-rough-spec.k
@@ -67,7 +67,7 @@ module VAT-FROB-DIFF-ZERO-DART-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-heal-pass-spec.k b/tests/specs/mcd-structured/vat-heal-pass-spec.k
index 9b424e9c1d..8bc4ab6ee8 100644
--- a/tests/specs/mcd-structured/vat-heal-pass-spec.k
+++ b/tests/specs/mcd-structured/vat-heal-pass-spec.k
@@ -64,7 +64,7 @@ module VAT-HEAL-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-move-diff-rough-spec.k b/tests/specs/mcd-structured/vat-move-diff-rough-spec.k
index f088510a9a..a2f9ddb86a 100644
--- a/tests/specs/mcd-structured/vat-move-diff-rough-spec.k
+++ b/tests/specs/mcd-structured/vat-move-diff-rough-spec.k
@@ -68,7 +68,7 @@ module VAT-MOVE-DIFF-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-sin-pass-spec.k b/tests/specs/mcd-structured/vat-sin-pass-spec.k
index 51be7da41a..8f6890e51a 100644
--- a/tests/specs/mcd-structured/vat-sin-pass-spec.k
+++ b/tests/specs/mcd-structured/vat-sin-pass-spec.k
@@ -64,7 +64,7 @@ module VAT-SIN-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-slip-pass-rough-spec.k b/tests/specs/mcd-structured/vat-slip-pass-rough-spec.k
index 9dabf45577..28020c5c5c 100644
--- a/tests/specs/mcd-structured/vat-slip-pass-rough-spec.k
+++ b/tests/specs/mcd-structured/vat-slip-pass-rough-spec.k
@@ -67,7 +67,7 @@ module VAT-SLIP-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vat-subui-fail-rough-spec.k b/tests/specs/mcd-structured/vat-subui-fail-rough-spec.k
index 9b1b56fc97..41213e5234 100644
--- a/tests/specs/mcd-structured/vat-subui-fail-rough-spec.k
+++ b/tests/specs/mcd-structured/vat-subui-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VAT-SUBUI-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vow-fess-fail-rough-spec.k b/tests/specs/mcd-structured/vow-fess-fail-rough-spec.k
index 92c1420594..0b6f31ccf1 100644
--- a/tests/specs/mcd-structured/vow-fess-fail-rough-spec.k
+++ b/tests/specs/mcd-structured/vow-fess-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VOW-FESS-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -189,7 +189,7 @@ module VOW-FESS-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd-structured/vow-flog-fail-rough-spec.k b/tests/specs/mcd-structured/vow-flog-fail-rough-spec.k
index 7538aa9b2d..e76384339f 100644
--- a/tests/specs/mcd-structured/vow-flog-fail-rough-spec.k
+++ b/tests/specs/mcd-structured/vow-flog-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -182,7 +182,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -287,7 +287,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/cat-exhaustiveness-spec.k b/tests/specs/mcd/cat-exhaustiveness-spec.k
index 6847fe176a..1d9c251c85 100644
--- a/tests/specs/mcd/cat-exhaustiveness-spec.k
+++ b/tests/specs/mcd/cat-exhaustiveness-spec.k
@@ -65,7 +65,7 @@ module CAT-EXHAUSTIVENESS-SPEC
              <withdrawalsRoot> _ </withdrawalsRoot>
              <blobGasUsed> _ </blobGasUsed>
              <excessBlobGas> _ </excessBlobGas>
-             <beaconRoot> _ </beaconRoot>
+             ...
           </block>
          </evm>
          <network>
diff --git a/tests/specs/mcd/cat-file-addr-pass-rough-spec.k b/tests/specs/mcd/cat-file-addr-pass-rough-spec.k
index d081f344f3..7b4fdd9da6 100644
--- a/tests/specs/mcd/cat-file-addr-pass-rough-spec.k
+++ b/tests/specs/mcd/cat-file-addr-pass-rough-spec.k
@@ -65,7 +65,7 @@ module CAT-FILE-ADDR-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/dai-adduu-fail-rough-spec.k b/tests/specs/mcd/dai-adduu-fail-rough-spec.k
index 34061569f0..d66d9eae9b 100644
--- a/tests/specs/mcd/dai-adduu-fail-rough-spec.k
+++ b/tests/specs/mcd/dai-adduu-fail-rough-spec.k
@@ -65,7 +65,7 @@ module DAI-ADDUU-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/dai-symbol-pass-spec.k b/tests/specs/mcd/dai-symbol-pass-spec.k
index d52450f95f..87b2c36df1 100644
--- a/tests/specs/mcd/dai-symbol-pass-spec.k
+++ b/tests/specs/mcd/dai-symbol-pass-spec.k
@@ -65,7 +65,7 @@ module DAI-SYMBOL-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/dstoken-approve-fail-rough-spec.k b/tests/specs/mcd/dstoken-approve-fail-rough-spec.k
index c9eb58f7ba..157771e6d9 100644
--- a/tests/specs/mcd/dstoken-approve-fail-rough-spec.k
+++ b/tests/specs/mcd/dstoken-approve-fail-rough-spec.k
@@ -65,7 +65,7 @@ module DSTOKEN-APPROVE-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/dsvalue-peek-pass-rough-spec.k b/tests/specs/mcd/dsvalue-peek-pass-rough-spec.k
index df41fcf507..5831b91a6c 100644
--- a/tests/specs/mcd/dsvalue-peek-pass-rough-spec.k
+++ b/tests/specs/mcd/dsvalue-peek-pass-rough-spec.k
@@ -65,7 +65,7 @@ module DSVALUE-PEEK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/dsvalue-read-pass-spec.k b/tests/specs/mcd/dsvalue-read-pass-spec.k
index 9448f59bd3..4291f656fc 100644
--- a/tests/specs/mcd/dsvalue-read-pass-spec.k
+++ b/tests/specs/mcd/dsvalue-read-pass-spec.k
@@ -65,7 +65,7 @@ module DSVALUE-READ-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/end-cash-pass-rough-spec.k b/tests/specs/mcd/end-cash-pass-rough-spec.k
index a6b397a4a9..7f3885112a 100644
--- a/tests/specs/mcd/end-cash-pass-rough-spec.k
+++ b/tests/specs/mcd/end-cash-pass-rough-spec.k
@@ -65,7 +65,7 @@ module END-CASH-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -226,7 +226,7 @@ module END-CASH-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -336,7 +336,7 @@ module END-CASH-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -443,7 +443,7 @@ module END-CASH-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/end-pack-pass-rough-spec.k b/tests/specs/mcd/end-pack-pass-rough-spec.k
index 86325bd9fb..3482b0b533 100644
--- a/tests/specs/mcd/end-pack-pass-rough-spec.k
+++ b/tests/specs/mcd/end-pack-pass-rough-spec.k
@@ -65,7 +65,7 @@ module END-PACK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -231,7 +231,7 @@ module END-PACK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -338,7 +338,7 @@ module END-PACK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -445,7 +445,7 @@ module END-PACK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/end-subuu-pass-spec.k b/tests/specs/mcd/end-subuu-pass-spec.k
index 626a4804a8..d80d6df9bf 100644
--- a/tests/specs/mcd/end-subuu-pass-spec.k
+++ b/tests/specs/mcd/end-subuu-pass-spec.k
@@ -65,7 +65,7 @@ module END-SUBUU-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flapper-yank-pass-rough-spec.k b/tests/specs/mcd/flapper-yank-pass-rough-spec.k
index c08fc59a50..cdd8a0652f 100644
--- a/tests/specs/mcd/flapper-yank-pass-rough-spec.k
+++ b/tests/specs/mcd/flapper-yank-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLAPPER-YANK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -241,7 +241,7 @@ module FLAPPER-YANK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k b/tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k
index 5d6d792247..9a5686c4da 100644
--- a/tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k
+++ b/tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k
@@ -65,7 +65,7 @@ module FLIPPER-ADDU48U48-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flipper-bids-pass-rough-spec.k b/tests/specs/mcd/flipper-bids-pass-rough-spec.k
index 6a4145b627..b89d9660f0 100644
--- a/tests/specs/mcd/flipper-bids-pass-rough-spec.k
+++ b/tests/specs/mcd/flipper-bids-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLIPPER-BIDS-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flipper-tau-pass-spec.k b/tests/specs/mcd/flipper-tau-pass-spec.k
index baf9e2e2c6..627b2f58ab 100644
--- a/tests/specs/mcd/flipper-tau-pass-spec.k
+++ b/tests/specs/mcd/flipper-tau-pass-spec.k
@@ -65,7 +65,7 @@ module FLIPPER-TAU-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flipper-ttl-pass-spec.k b/tests/specs/mcd/flipper-ttl-pass-spec.k
index 8d206608d8..5bdce97e28 100644
--- a/tests/specs/mcd/flipper-ttl-pass-spec.k
+++ b/tests/specs/mcd/flipper-ttl-pass-spec.k
@@ -65,7 +65,7 @@ module FLIPPER-TTL-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flopper-cage-pass-spec.k b/tests/specs/mcd/flopper-cage-pass-spec.k
index 736c7b1a89..3c31112acb 100644
--- a/tests/specs/mcd/flopper-cage-pass-spec.k
+++ b/tests/specs/mcd/flopper-cage-pass-spec.k
@@ -64,7 +64,7 @@ module FLOPPER-CAGE-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k b/tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
index 8bd9197db6..1e86390b25 100644
--- a/tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
+++ b/tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -271,7 +271,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -378,7 +378,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -484,7 +484,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k b/tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k
index dee309a98d..eb845469fe 100644
--- a/tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k
+++ b/tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -237,7 +237,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -343,7 +343,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flopper-file-pass-rough-spec.k b/tests/specs/mcd/flopper-file-pass-rough-spec.k
index 49f77f80b3..c2fc570688 100644
--- a/tests/specs/mcd/flopper-file-pass-rough-spec.k
+++ b/tests/specs/mcd/flopper-file-pass-rough-spec.k
@@ -63,7 +63,7 @@ module FLOPPER-FILE-PASS-ROUGH-SPEC
     //         <withdrawalsRoot> _ </withdrawalsRoot>
     //         <blobGasUsed> _ </blobGasUsed>
     //         <excessBlobGas> _ </excessBlobGas>
-    //         <beaconRoot> _ </beaconRoot>
+    //         ...
     //       </block>
     //     </evm>
     //     <network>
diff --git a/tests/specs/mcd/flopper-kick-pass-rough-spec.k b/tests/specs/mcd/flopper-kick-pass-rough-spec.k
index 8cdae08798..bcf0afcdcf 100644
--- a/tests/specs/mcd/flopper-kick-pass-rough-spec.k
+++ b/tests/specs/mcd/flopper-kick-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLOPPER-KICK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -226,7 +226,7 @@ module FLOPPER-KICK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/flopper-tick-pass-rough-spec.k b/tests/specs/mcd/flopper-tick-pass-rough-spec.k
index ce425a6271..d56697272d 100644
--- a/tests/specs/mcd/flopper-tick-pass-rough-spec.k
+++ b/tests/specs/mcd/flopper-tick-pass-rough-spec.k
@@ -65,7 +65,7 @@ module FLOPPER-TICK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -197,7 +197,7 @@ module FLOPPER-TICK-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/pot-join-pass-rough-spec.k b/tests/specs/mcd/pot-join-pass-rough-spec.k
index 168f650db6..5f5d5c573c 100644
--- a/tests/specs/mcd/pot-join-pass-rough-spec.k
+++ b/tests/specs/mcd/pot-join-pass-rough-spec.k
@@ -65,7 +65,7 @@ module POT-JOIN-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -235,7 +235,7 @@ module POT-JOIN-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -345,7 +345,7 @@ module POT-JOIN-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -452,7 +452,7 @@ module POT-JOIN-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-addui-fail-rough-spec.k b/tests/specs/mcd/vat-addui-fail-rough-spec.k
index 3aa3bd89db..d24048f2bf 100644
--- a/tests/specs/mcd/vat-addui-fail-rough-spec.k
+++ b/tests/specs/mcd/vat-addui-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VAT-ADDUI-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-arithmetic-spec.k b/tests/specs/mcd/vat-arithmetic-spec.k
index d0a77d87b4..2b60a3c618 100644
--- a/tests/specs/mcd/vat-arithmetic-spec.k
+++ b/tests/specs/mcd/vat-arithmetic-spec.k
@@ -64,7 +64,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -167,7 +167,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -264,7 +264,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -367,7 +367,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -467,7 +467,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -567,7 +567,7 @@ module VAT-ARITHMETIC-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-dai-pass-spec.k b/tests/specs/mcd/vat-dai-pass-spec.k
index 2ee0773dfd..edfc0d1d6a 100644
--- a/tests/specs/mcd/vat-dai-pass-spec.k
+++ b/tests/specs/mcd/vat-dai-pass-spec.k
@@ -64,7 +64,7 @@ module VAT-DAI-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-deny-diff-fail-rough-spec.k b/tests/specs/mcd/vat-deny-diff-fail-rough-spec.k
index 598e7ea431..5c01d4bd1a 100644
--- a/tests/specs/mcd/vat-deny-diff-fail-rough-spec.k
+++ b/tests/specs/mcd/vat-deny-diff-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VAT-DENY-DIFF-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-flux-diff-pass-rough-spec.k b/tests/specs/mcd/vat-flux-diff-pass-rough-spec.k
index 619c871033..ccdc48f86e 100644
--- a/tests/specs/mcd/vat-flux-diff-pass-rough-spec.k
+++ b/tests/specs/mcd/vat-flux-diff-pass-rough-spec.k
@@ -66,7 +66,7 @@ module VAT-FLUX-DIFF-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-flux-diff-pass-spec.k b/tests/specs/mcd/vat-flux-diff-pass-spec.k
index beb9b5766e..78ac9b1473 100644
--- a/tests/specs/mcd/vat-flux-diff-pass-spec.k
+++ b/tests/specs/mcd/vat-flux-diff-pass-spec.k
@@ -64,7 +64,7 @@ module VAT-FLUX-DIFF-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-fold-pass-rough-spec.k b/tests/specs/mcd/vat-fold-pass-rough-spec.k
index a2695f83d8..4ecdea2029 100644
--- a/tests/specs/mcd/vat-fold-pass-rough-spec.k
+++ b/tests/specs/mcd/vat-fold-pass-rough-spec.k
@@ -67,7 +67,7 @@ module VAT-FOLD-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-fork-diff-pass-rough-spec.k b/tests/specs/mcd/vat-fork-diff-pass-rough-spec.k
index d24501e20a..3d59ac59cc 100644
--- a/tests/specs/mcd/vat-fork-diff-pass-rough-spec.k
+++ b/tests/specs/mcd/vat-fork-diff-pass-rough-spec.k
@@ -67,7 +67,7 @@ module VAT-FORK-DIFF-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k b/tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k
index e2e1d215d9..382b5040de 100644
--- a/tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k
+++ b/tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k
@@ -67,7 +67,7 @@ module VAT-FROB-DIFF-ZERO-DART-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-heal-pass-spec.k b/tests/specs/mcd/vat-heal-pass-spec.k
index ff46224002..7d8f12938d 100644
--- a/tests/specs/mcd/vat-heal-pass-spec.k
+++ b/tests/specs/mcd/vat-heal-pass-spec.k
@@ -64,7 +64,7 @@ module VAT-HEAL-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-move-diff-rough-spec.k b/tests/specs/mcd/vat-move-diff-rough-spec.k
index 77ff8d448b..a7c5607c93 100644
--- a/tests/specs/mcd/vat-move-diff-rough-spec.k
+++ b/tests/specs/mcd/vat-move-diff-rough-spec.k
@@ -68,7 +68,7 @@ module VAT-MOVE-DIFF-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-sin-pass-spec.k b/tests/specs/mcd/vat-sin-pass-spec.k
index fe708c9dcf..429780a72a 100644
--- a/tests/specs/mcd/vat-sin-pass-spec.k
+++ b/tests/specs/mcd/vat-sin-pass-spec.k
@@ -64,7 +64,7 @@ module VAT-SIN-PASS-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-slip-pass-rough-spec.k b/tests/specs/mcd/vat-slip-pass-rough-spec.k
index 2bbb7b2136..ac41c7ccd9 100644
--- a/tests/specs/mcd/vat-slip-pass-rough-spec.k
+++ b/tests/specs/mcd/vat-slip-pass-rough-spec.k
@@ -67,7 +67,7 @@ module VAT-SLIP-PASS-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vat-subui-fail-rough-spec.k b/tests/specs/mcd/vat-subui-fail-rough-spec.k
index 701fc1ae3f..26cb1a836b 100644
--- a/tests/specs/mcd/vat-subui-fail-rough-spec.k
+++ b/tests/specs/mcd/vat-subui-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VAT-SUBUI-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vow-fess-fail-rough-spec.k b/tests/specs/mcd/vow-fess-fail-rough-spec.k
index 0441fd7e1b..0918938376 100644
--- a/tests/specs/mcd/vow-fess-fail-rough-spec.k
+++ b/tests/specs/mcd/vow-fess-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VOW-FESS-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -189,7 +189,7 @@ module VOW-FESS-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
diff --git a/tests/specs/mcd/vow-flog-fail-rough-spec.k b/tests/specs/mcd/vow-flog-fail-rough-spec.k
index 89a08aac31..56a57c8035 100644
--- a/tests/specs/mcd/vow-flog-fail-rough-spec.k
+++ b/tests/specs/mcd/vow-flog-fail-rough-spec.k
@@ -65,7 +65,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -189,7 +189,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>
@@ -296,7 +296,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC
             <withdrawalsRoot> _ </withdrawalsRoot>
             <blobGasUsed> _ </blobGasUsed>
             <excessBlobGas> _ </excessBlobGas>
-            <beaconRoot> _ </beaconRoot>
+            ...
           </block>
         </evm>
         <network>