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 b43471d28d..c2e60a149d 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md @@ -66,8 +66,8 @@ To do so, we'll extend sort `JSON` with some EVM specific syntax, and provide a syntax EthereumCommand ::= "flush" // ---------------------------------- - rule EXECMODE EVMC_SUCCESS #halt ~> flush => #finalizeTx(EXECMODE ==K VMTESTS) ... - rule EXECMODE _:ExceptionalStatusCode #halt ~> flush => #finalizeTx(EXECMODE ==K VMTESTS) ~> #halt ... + rule EXECMODE EVMC_SUCCESS #halt ~> flush => #finalizeTx(EXECMODE ==K VMTESTS, 0) ... + rule EXECMODE _:ExceptionalStatusCode #halt ~> flush => #finalizeTx(EXECMODE ==K VMTESTS, 0) ~> #halt ... ``` - `startTx` computes the sender of the transaction, and places loadTx on the `k` cell. @@ -116,25 +116,13 @@ To do so, we'll extend sort `JSON` with some EVM specific syntax, and provide a syntax EthereumCommand ::= loadTx ( Account ) [symbol(loadTx)] // -------------------------------------------------------------- - rule loadTx(_) => startTx ... - _ => EVMC_OUT_OF_GAS - ListItem(TXID:Int) REST => REST - SCHED - - TXID - .Account - CODE - ... - - requires notBool #hasValidInitCode(lengthBytes(CODE), SCHED) - rule loadTx(ACCTFROM) => #accessAccounts ACCTFROM #newAddr(ACCTFROM, NONCE) #precompiledAccountsSet(SCHED) ~> #deductBlobGas ~> #loadAccessList(TA) ~> #checkCreate ACCTFROM VALUE ~> #create ACCTFROM #newAddr(ACCTFROM, NONCE) VALUE CODE - ~> #finishTx ~> #finalizeTx(false) ~> startTx + ~> #finishTx ~> #finalizeTx(false, Ctxfloor(SCHED, CODE)) ~> startTx ... SCHED @@ -163,7 +151,7 @@ To do so, we'll extend sort `JSON` with some EVM specific syntax, and provide a _ => SetItem(MINER) requires #hasValidInitCode(lengthBytes(CODE), SCHED) andBool #isValidTransaction(TXID, ACCTFROM) - + andBool GLIMIT >=Int maxInt(G0(SCHED, CODE, true), Ctxfloor(SCHED, CODE)) rule loadTx(ACCTFROM) => #accessAccounts ACCTFROM ACCTTO #precompiledAccountsSet(SCHED) @@ -171,12 +159,12 @@ To do so, we'll extend sort `JSON` with some EVM specific syntax, and provide a ~> #loadAccessList(TA) ~> #checkCall ACCTFROM VALUE ~> #call ACCTFROM ACCTTO ACCTTO VALUE VALUE DATA false - ~> #finishTx ~> #finalizeTx(false) ~> startTx + ~> #finishTx ~> #finalizeTx(false, Ctxfloor(SCHED, DATA)) ~> startTx ... SCHED _ => #effectiveGasPrice(TXID) - _ => GLIMIT -Int G0(SCHED, DATA, false) + _ => GLIMIT -Int G0(SCHED, DATA, false) _ => ACCTFROM _ => -1 ListItem(TXID:Int) ... @@ -202,16 +190,7 @@ To do so, we'll extend sort `JSON` with some EVM specific syntax, and provide a _ => SetItem(MINER) requires ACCTTO =/=K .Account andBool #isValidTransaction(TXID, ACCTFROM) - - rule loadTx(ACCTFROM) => startTx ... - _ => EVMC_INVALID_BLOCK - ListItem(_TXID:Int) REST => REST - - ACCTFROM - ACCTCODE - ... - - requires notBool ACCTCODE ==K .Bytes + andBool GLIMIT >=Int maxInt(G0(SCHED, DATA, false), Ctxfloor(SCHED, DATA)) rule loadTx(_) => startTx ... _ => EVMC_OUT_OF_GAS 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 e37b4ff803..72743ceb53 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md @@ -613,10 +613,10 @@ After executing a transaction, it's necessary to have the effect of the substate rule (.K => #newAccount ACCT) ~> #finalizeStorage(ListItem(ACCT) _ACCTS) ... [owise] - syntax InternalOp ::= #finalizeTx ( Bool ) [symbol(#finalizeTx)] + syntax InternalOp ::= #finalizeTx ( Bool , Int ) [symbol(#finalizeTx)] | #deleteAccounts ( List ) [symbol(#deleteAccounts)] // ------------------------------------------------------------------------ - rule #finalizeTx(true) => #finalizeStorage(Set2List(SetItem(MINER) |Set ACCTS)) ... + rule #finalizeTx(true, _) => #finalizeStorage(Set2List(SetItem(MINER) |Set ACCTS)) ... .Set MINER ACCTS => .Set @@ -624,7 +624,7 @@ After executing a transaction, it's necessary to have the effect of the substate _ => .Map _ => .Set - rule #finalizeTx(false) ... + rule #finalizeTx(false, _) ... true SCHED GAVAIL => G*(GAVAIL, GLIMIT, REFUND, SCHED) @@ -637,25 +637,25 @@ After executing a transaction, it's necessary to have the effect of the substate requires REFUND =/=Int 0 - rule #finalizeTx(false => true) ... + rule #finalizeTx(false => true, GFLOOR) ... true SCHED BFEE ORG MINER GAVAIL - GUSED => GUSED +Gas GLIMIT -Gas GAVAIL + GUSED => GUSED +Gas maxInt(GLIMIT -Int GAVAIL, GFLOOR) BLOB_GAS_USED => #if TXTYPE ==K Blob #then BLOB_GAS_USED +Int Ctotalblob(SCHED, size(TVH)) #else BLOB_GAS_USED #fi GPRICE 0 ORG - ORGBAL => ORGBAL +Int GAVAIL *Int GPRICE + ORGBAL => ORGBAL +Int minInt(GAVAIL, GLIMIT -Int GFLOOR) *Int GPRICE ... MINER - MINBAL => MINBAL +Int (GLIMIT -Int GAVAIL) *Int (GPRICE -Int BFEE) + MINBAL => MINBAL +Int maxInt(GLIMIT -Int GAVAIL, GFLOOR) *Int (GPRICE -Int BFEE) ... ListItem(MSGID:Int) REST => REST @@ -668,20 +668,20 @@ After executing a transaction, it's necessary to have the effect of the substate requires ORG =/=Int MINER - rule #finalizeTx(false => true) ... + rule #finalizeTx(false => true, GFLOOR) ... true SCHED BFEE ACCT ACCT GAVAIL - GUSED => GUSED +Gas GLIMIT -Gas GAVAIL + GUSED => GUSED +Gas maxInt(GLIMIT -Int GAVAIL, GFLOOR) BLOB_GAS_USED => #if TXTYPE ==K Blob #then BLOB_GAS_USED +Int Ctotalblob(SCHED, size(TVH)) #else BLOB_GAS_USED #fi GPRICE 0 ACCT - BAL => BAL +Int GLIMIT *Int GPRICE -Int (GLIMIT -Int GAVAIL) *Int BFEE + BAL => BAL +Int GLIMIT *Int GPRICE -Int maxInt(GLIMIT -Int GAVAIL, GFLOOR) *Int BFEE ... ListItem(MSGID:Int) REST => REST @@ -693,7 +693,7 @@ After executing a transaction, it's necessary to have the effect of the substate ... - rule #finalizeTx(false => true) ... + rule #finalizeTx(false => true, _) ... false ListItem(MSGID:Int) REST => REST @@ -701,11 +701,11 @@ After executing a transaction, it's necessary to have the effect of the substate ... - rule (.K => #deleteAccounts(Set2List(ACCTS))) ~> #finalizeTx(true) ... + rule (.K => #deleteAccounts(Set2List(ACCTS))) ~> #finalizeTx(true,_) ... ACCTS => .Set requires size(ACCTS) >Int 0 - rule (.K => #newAccount MINER) ~> #finalizeTx(_) ... + rule (.K => #newAccount MINER) ~> #finalizeTx(_,_) ... MINER [owise] rule #deleteAccounts(ListItem(ACCT) ACCTS) => #deleteAccounts(ACCTS) ... diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md index c7a0d55c88..5b8680c2d8 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md @@ -125,6 +125,7 @@ module GAS-FEES | Cbasefeeperblob( Schedule , Int ) [symbol(Cbasefeeperblob),function, total, smtlib(gas_Cbasefeeperblob) ] | Cblobfee ( Schedule , Int , Int ) [symbol(Cblobfee), function, total, smtlib(gas_Cblobfee) ] | Cexcessblob ( Schedule , Int , Int ) [symbol(Cexcessblob), function, total, smtlib(gas_Cexcessblob) ] + | Ctxfloor ( Schedule , Bytes ) [symbol(Ctxfloor), function, total, smtlib(gas_Ctxfloor) ] // ------------------------------------------------------------------------------------------------------------------------------------------ rule [Cgascap]: Cgascap(SCHED, GCAP:Int, GAVAIL:Int, GEXTRA) @@ -271,6 +272,16 @@ module GAS-FEES rule #adjustedExpLength(1) => 0 rule #adjustedExpLength(N) => 1 +Int #adjustedExpLength(N /Int 2) requires N >Int 1 + syntax Int ::= #tokensInCalldata( Bytes ) [symbol(#tokensInCalldata), function] + | #tokensInCalldata( Bytes , Int , Int , Int ) [symbol(#tokensInCalldataAux), function] + // ---------------------------------------------------------------------------------------------------- + rule #tokensInCalldata(WS) => #tokensInCalldata(WS, 0, lengthBytes(WS), 0) + rule #tokensInCalldata(_, I, I, R) => R + rule #tokensInCalldata(WS, I, J, R) => #tokensInCalldata(WS, I+Int 1, J, R +Int #if WS[I] ==Int 0 #then 1 #else 4 #fi) [owise] + + rule Ctxfloor(SCHED, CODE) => Gtransaction < SCHED > +Int (Gtxdatafloor < SCHED > *Int #tokensInCalldata(CODE)) requires Ghasfloorcost << SCHED >> + rule Ctxfloor( _, _) => 0 [owise] + syntax Int ::= Cbls12g1MsmDiscount( Schedule , Int ) [symbol(Cbls12g1MsmDiscount), function, total, smtlib(gas_Cbls12g1MsmDiscount)] | Cbls12g2MsmDiscount( Schedule , Int ) [symbol(Cbls12g2MsmDiscount), function, total, smtlib(gas_Cbls12g2MsmDiscount)] // ------------------------------------------------------------------------------------------------------------------------------------ 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 dd13372764..65d0cc3b7f 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md @@ -30,8 +30,8 @@ module SCHEDULE | "Ghasrejectedfirstbyte" | "Ghasprevrandao" | "Ghasmaxinitcodesize" | "Ghaspushzero" | "Ghaswarmcoinbase" | "Ghaswithdrawals" | "Ghastransient" | "Ghasmcopy" | "Ghasbeaconroot" | "Ghaseip6780" | "Ghasblobbasefee" | "Ghasblobhash" - | "Ghasbls12msmdiscount" | "Ghashistory" | "Ghasrequests" - // ----------------------------------------------------------------- + | "Ghasrequests" | "Ghashistory" | "Ghasfloorcost" | "Ghasbls12msmdiscount" + // ----------------------------------------------------------------------------------------------------------------------- ``` ### Schedule Constants @@ -52,7 +52,7 @@ A `ScheduleConst` is a constant determined by the fee schedule. | "Gaccessliststoragekey" | "Rmaxquotient" | "Ginitcodewordcost" | "maxInitCodeSize" | "Gwarmstoragedirtystore" | "Gpointeval" | "Gmaxblobgas" | "Gminbasefee" | "Gtargetblobgas" | "Gperblob" | "Blobbasefeeupdatefraction" | "Gbls12g1add" | "Gbls12g1mul" | "Gbls12g2add" | "Gbls12g2mul" | "Gbls12mapfptog1" | "Gbls12PairingCheckMul" - | "Gbls12PairingCheckAdd" | "Gbls12mapfp2tog2" + | "Gbls12PairingCheckAdd" | "Gtxdatafloor" | "Gbls12mapfp2tog2" // ------------------------------------------------------------------------------------------------------------------------------------------------------- ``` @@ -101,6 +101,7 @@ A `ScheduleConst` is a constant determined by the fee schedule. rule [GtxcreateDefault]: Gtxcreate < DEFAULT > => 53000 rule [GtxdatazeroDefault]: Gtxdatazero < DEFAULT > => 4 rule [GtxdatanonzeroDefault]: Gtxdatanonzero < DEFAULT > => 68 + rule [GtxdatafloorDefault]: Gtxdatafloor < DEFAULT > => 0 rule [GjumpdestDefault]: Gjumpdest < DEFAULT > => 1 rule [GbalanceDefault]: Gbalance < DEFAULT > => 20 @@ -177,6 +178,7 @@ A `ScheduleConst` is a constant determined by the fee schedule. rule [GhashistoryDefault]: Ghashistory << DEFAULT >> => false rule [GhasrequestsDefault]: Ghasrequests << DEFAULT >> => false rule [Ghasbls12msmdiscountDefault]: Ghasbls12msmdiscount << DEFAULT >> => false + rule [GhasfloorcostDefault]: Ghasfloorcost << DEFAULT >> => false ``` ### Frontier Schedule @@ -463,6 +465,7 @@ A `ScheduleConst` is a constant determined by the fee schedule. rule [Gbls12PairingCheckAddPrague]: Gbls12PairingCheckAdd < PRAGUE > => 37700 rule [Gbls12mapfptog1Prague]: Gbls12mapfptog1 < PRAGUE > => 5500 rule [Gbls12mapfp2tog2Prague]: Gbls12mapfp2tog2 < PRAGUE > => 23800 + rule [GtxdatafloorPrague]: Gtxdatafloor < PRAGUE > => 10 rule [SCHEDCONSTPrague]: SCHEDCONST < PRAGUE > => SCHEDCONST < CANCUN > requires notBool ( SCHEDCONST ==K Gmaxblobgas orBool SCHEDCONST ==K Gtargetblobgas @@ -474,15 +477,18 @@ A `ScheduleConst` is a constant determined by the fee schedule. orBool SCHEDCONST ==K Gbls12PairingCheckMul orBool SCHEDCONST ==K Gbls12PairingCheckAdd orBool SCHEDCONST ==K Gbls12mapfptog1 - orBool SCHEDCONST ==K Gbls12mapfp2tog2 ) + orBool SCHEDCONST ==K Gbls12mapfp2tog2 + orBool SCHEDCONST ==K Gtxdatafloor ) rule [GhasrequestsPrague]: Ghasrequests << PRAGUE >> => true rule [GhashistoryPrague]: Ghashistory << PRAGUE >> => true rule [Ghasbls12msmdiscountPrague]: Ghasbls12msmdiscount << PRAGUE >> => true + rule [GhasfloorcostPrague]: Ghasfloorcost << PRAGUE >> => true rule [SCHEDFLAGPrague]: SCHEDFLAG << PRAGUE >> => SCHEDFLAG << CANCUN >> requires notBool ( SCHEDFLAG ==K Ghasrequests orBool SCHEDFLAG ==K Ghashistory - orBool SCHEDFLAG ==K Ghasbls12msmdiscount ) + orBool SCHEDFLAG ==K Ghasbls12msmdiscount + orBool SCHEDFLAG ==K Ghasfloorcost ) ``` ```k diff --git a/tests/execution-spec-tests/failing.llvm b/tests/execution-spec-tests/failing.llvm index dfdcd6d866..3953875fc1 100644 --- a/tests/execution-spec-tests/failing.llvm +++ b/tests/execution-spec-tests/failing.llvm @@ -1615,25 +1615,6 @@ blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collis blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_before_fork.json,* blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_during_fork.json,* -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g1add_large_input-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g1add_point_not_on_curve-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g1add_short_input-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g1add_violate_top_bytes-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g2add_invalid_field_element-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--g2_points-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--invalid_point_a_5-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--invalid_point_b_5-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g2add_invalid_field_element-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g2add_long_input-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g2add_point_not_on_curve-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g2add_short_input-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g2add_violate_top_bytes-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--invalid_point_a_5-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2add/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py::test_invalid[fork_Prague-blockchain_test_from_state_test--invalid_point_b_5-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2msm/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2msm.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g2_truncated_input-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2mul.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g1_add_input_invalid_length-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2mul.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g2_truncated_input-] -blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/invalid.json,tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2mul.py::test_invalid[fork_Prague-blockchain_test_from_state_test--bls_g2mul_short_input-] blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_precompiles_before_fork/precompile_before_fork.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history_at_transition.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history.json,* @@ -1641,9 +1622,7 @@ blockchain_tests/prague/eip2935_historical_block_hashes_from_state/contract_depl blockchain_tests/prague/eip6110_deposits/deposits/deposit_negative.json,* blockchain_tests/prague/eip6110_deposits/deposits/deposit.json,tests/prague/eip6110_deposits/test_deposits.py::test_deposit[fork_Prague-blockchain_test-many_deposits_from_contract] blockchain_tests/prague/eip6110_deposits/deposits/deposit.json,tests/prague/eip6110_deposits/test_deposits.py::test_deposit[fork_Prague-blockchain_test-multiple_deposit_from_different_eoa] -blockchain_tests/prague/eip6110_deposits/deposits/deposit.json,tests/prague/eip6110_deposits/test_deposits.py::test_deposit[fork_Prague-blockchain_test-multiple_deposit_from_same_eoa_first_reverts] blockchain_tests/prague/eip6110_deposits/deposits/deposit.json,tests/prague/eip6110_deposits/test_deposits.py::test_deposit[fork_Prague-blockchain_test-multiple_deposit_from_same_eoa_high_count] -blockchain_tests/prague/eip6110_deposits/deposits/deposit.json,tests/prague/eip6110_deposits/test_deposits.py::test_deposit[fork_Prague-blockchain_test-multiple_deposit_from_same_eoa_last_reverts] blockchain_tests/prague/eip6110_deposits/deposits/deposit.json,tests/prague/eip6110_deposits/test_deposits.py::test_deposit[fork_Prague-blockchain_test-multiple_deposit_from_same_eoa] blockchain_tests/prague/eip6110_deposits/deposits/deposit.json,tests/prague/eip6110_deposits/test_deposits.py::test_deposit[fork_Prague-blockchain_test-multiple_deposits_from_contract] blockchain_tests/prague/eip6110_deposits/deposits/deposit.json,tests/prague/eip6110_deposits/test_deposits.py::test_deposit[fork_Prague-blockchain_test-single_deposit_from_contract_between_eoa_deposits] @@ -1696,104 +1675,13 @@ blockchain_tests/prague/eip7251_consolidations/consolidations/consolidation_requ blockchain_tests/prague/eip7251_consolidations/contract_deployment/system_contract_deployment.json,* blockchain_tests/prague/eip7623_increase_calldata_cost/execution_gas/full_gas_consumption.json,tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-blockchain_test_from_state_test-exact_gas-type_4] blockchain_tests/prague/eip7623_increase_calldata_cost/execution_gas/full_gas_consumption.json,tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-blockchain_test_from_state_test-extra_gas-type_4] -blockchain_tests/prague/eip7623_increase_calldata_cost/execution_gas/gas_consumption_below_data_floor.json,* +blockchain_tests/prague/eip7623_increase_calldata_cost/execution_gas/gas_consumption_below_data_floor.json,tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumptionBelowDataFloor::test_gas_consumption_below_data_floor[fork_Prague-blockchain_test_from_state_test-exact_gas-type_4] blockchain_tests/prague/eip7623_increase_calldata_cost/refunds/gas_refunds_from_data_floor.json,tests/prague/eip7623_increase_calldata_cost/test_refunds.py::test_gas_refunds_from_data_floor[fork_Prague-blockchain_test_from_state_test-refund_type_RefundType.AUTHORIZATION_EXISTING_AUTHORITY-refund_test_type_RefundTestType.EXECUTION_GAS_MINUS_REFUND_EQUAL_TO_DATA_FLOOR] blockchain_tests/prague/eip7623_increase_calldata_cost/refunds/gas_refunds_from_data_floor.json,tests/prague/eip7623_increase_calldata_cost/test_refunds.py::test_gas_refunds_from_data_floor[fork_Prague-blockchain_test_from_state_test-refund_type_RefundType.AUTHORIZATION_EXISTING_AUTHORITY-refund_test_type_RefundTestType.EXECUTION_GAS_MINUS_REFUND_GREATER_THAN_DATA_FLOOR] blockchain_tests/prague/eip7623_increase_calldata_cost/refunds/gas_refunds_from_data_floor.json,tests/prague/eip7623_increase_calldata_cost/test_refunds.py::test_gas_refunds_from_data_floor[fork_Prague-blockchain_test_from_state_test-refund_type_RefundType.AUTHORIZATION_EXISTING_AUTHORITY-refund_test_type_RefundTestType.EXECUTION_GAS_MINUS_REFUND_LESS_THAN_DATA_FLOOR] blockchain_tests/prague/eip7623_increase_calldata_cost/refunds/gas_refunds_from_data_floor.json,tests/prague/eip7623_increase_calldata_cost/test_refunds.py::test_gas_refunds_from_data_floor[fork_Prague-blockchain_test_from_state_test-refund_type_RefundType.AUTHORIZATION_EXISTING_AUTHORITY|STORAGE_CLEAR-refund_test_type_RefundTestType.EXECUTION_GAS_MINUS_REFUND_EQUAL_TO_DATA_FLOOR] blockchain_tests/prague/eip7623_increase_calldata_cost/refunds/gas_refunds_from_data_floor.json,tests/prague/eip7623_increase_calldata_cost/test_refunds.py::test_gas_refunds_from_data_floor[fork_Prague-blockchain_test_from_state_test-refund_type_RefundType.AUTHORIZATION_EXISTING_AUTHORITY|STORAGE_CLEAR-refund_test_type_RefundTestType.EXECUTION_GAS_MINUS_REFUND_GREATER_THAN_DATA_FLOOR] blockchain_tests/prague/eip7623_increase_calldata_cost/refunds/gas_refunds_from_data_floor.json,tests/prague/eip7623_increase_calldata_cost/test_refunds.py::test_gas_refunds_from_data_floor[fork_Prague-blockchain_test_from_state_test-refund_type_RefundType.AUTHORIZATION_EXISTING_AUTHORITY|STORAGE_CLEAR-refund_test_type_RefundTestType.EXECUTION_GAS_MINUS_REFUND_LESS_THAN_DATA_FLOOR] -blockchain_tests/prague/eip7623_increase_calldata_cost/refunds/gas_refunds_from_data_floor.json,tests/prague/eip7623_increase_calldata_cost/test_refunds.py::test_gas_refunds_from_data_floor[fork_Prague-blockchain_test_from_state_test-refund_type_RefundType.STORAGE_CLEAR-refund_test_type_RefundTestType.EXECUTION_GAS_MINUS_REFUND_LESS_THAN_DATA_FLOOR] -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-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-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-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-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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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--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_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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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,* @@ -1898,18 +1786,6 @@ blockchain_tests/prague/eip7702_set_code_tx/set_code_txs/tx_into_chain_delegatin blockchain_tests/prague/eip7702_set_code_tx/set_code_txs/tx_into_self_delegating_set_code.json,* blockchain_tests/prague/eip7702_set_code_tx/set_code_txs/valid_tx_invalid_auth_signature.json,* blockchain_tests/prague/eip7702_set_code_tx/set_code_txs/valid_tx_invalid_chain_id.json,* -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/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] -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-49121_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-max_size_ones] -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-max_size_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-create2-49120_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-create2-49121_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-create2-max_size_ones] -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-create2-max_size_zeros] -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-max_initcode-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-max_initcode-opcode_CREATE2] state_tests/berlin/eip2930_access_list/acl/access_list.json,* state_tests/byzantium/eip198_modexp_precompile/modexp/modexp.json,* state_tests/cancun/eip1153_tstore/basic_tload/basic_tload_after_store.json,*