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 731a432e43..8f83e3573d 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md @@ -1696,7 +1696,8 @@ The various `CALL*` (and other inter-contract control flow) operations will be d syntax Bool ::= #isPrecompiledAccount ( Int , Schedule ) [symbol(isPrecompiledAccount), function, total, smtlib(isPrecompiledAccount)] // -------------------------------------------------------------------------------------------------------------------------------------- - rule [isPrecompiledAccount]: #isPrecompiledAccount(ACCTCODE, SCHED) => 0 true + rule [isPrecompiledAccount]: #isPrecompiledAccount(ACCTCODE, SCHED) => 0 BLS12_PAIRING_CHECK rule #precompiled(16) => BLS12_MAP_FP_TO_G1 rule #precompiled(17) => BLS12_MAP_FP2_TO_G2 + rule #precompiled(256) => P256VERIFY syntax Int ::= #precompiledAccountsUB ( Schedule ) [symbol(#precompiledAccountsUB), function, total] @@ -2195,7 +2197,8 @@ Precompiled Contracts syntax Set ::= #precompiledAccountsSet ( Schedule ) [symbol(#precompiledAccountsSet), function, total] syntax Set ::= #precompiledAccountsSetAux ( Int ) [symbol(#precompiledAccountsSetAux), function, total] // ------------------------------------------------------------------------------------------------------------ - rule #precompiledAccountsSet(SCHED) => #precompiledAccountsSetAux(#precompiledAccountsUB(SCHED)) + rule #precompiledAccountsSet(OSAKA) => #precompiledAccountsSetAux(#precompiledAccountsUB(OSAKA)) SetItem(256) + rule #precompiledAccountsSet(SCHED) => #precompiledAccountsSetAux(#precompiledAccountsUB(SCHED)) [owise] rule #precompiledAccountsSetAux(N) => .Set requires N <=Int 0 rule #precompiledAccountsSetAux(N) => SetItem(N) #precompiledAccountsSetAux(N -Int 1) [owise, preserves-definedness] @@ -2678,6 +2681,14 @@ Precompiled Contracts orBool notBool isValidBLS12Fp(Bytes2Int(substrBytes(DATA, 64, 128), BE, Unsigned)) ``` +```k + syntax PrecompiledOp ::= "P256VERIFY" + // ------------------------------------- + rule P256VERIFY => #end EVMC_SUCCESS ... + DATA + _ => P256Verify(DATA) +``` + Ethereum Gas Calculation ======================== @@ -3040,6 +3051,8 @@ The intrinsic gas calculation mirrors the style of the YellowPaper (appendix H). rule #gasExec(SCHED, BLS12_MAP_FP_TO_G1) => Gbls12mapfptog1 < SCHED > ... rule #gasExec(SCHED, BLS12_MAP_FP2_TO_G2) => Gbls12mapfp2tog2 < SCHED > ... + rule #gasExec(SCHED, P256VERIFY) => Gp256verify < SCHED > ... + syntax InternalOp ::= "#allocateCallGas" // ---------------------------------------- rule GCALL:Gas ~> #allocateCallGas => .K ... 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 dba74d67fc..9d210b5d15 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md @@ -53,7 +53,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" | "Gauthbase" | "Gbls12mapfp2tog2" | "Gtxdatafloor" + | "Gbls12PairingCheckAdd" | "Gauthbase" | "Gbls12mapfp2tog2" | "Gtxdatafloor" | "Gp256verify" // ------------------------------------------------------------------------------------------------------------------------------------------------------- ``` @@ -149,6 +149,8 @@ A `ScheduleConst` is a constant determined by the fee schedule. rule [Gbls12mapfptog1Default]: Gbls12mapfptog1 < DEFAULT > => 0 rule [Gbls12mapfp2tog2Default]: Gbls12mapfp2tog2 < DEFAULT > => 0 + rule [Gp256verifyDefault]: Gp256verify < DEFAULT > => 0 + rule [GselfdestructnewaccountDefault]: Gselfdestructnewaccount << DEFAULT >> => false rule [GstaticcalldepthDefault]: Gstaticcalldepth << DEFAULT >> => true rule [GemptyisnonexistentDefault]: Gemptyisnonexistent << DEFAULT >> => false @@ -504,7 +506,9 @@ A `ScheduleConst` is a constant determined by the fee schedule. ```k syntax Schedule ::= "OSAKA" [symbol(OSAKA_EVM), smtlib(schedule_OSAKA)] // ----------------------------------------------------------------------- - rule [SCHEDCONSTOsaka]: SCHEDCONST < OSAKA > => SCHEDCONST < PRAGUE > + rule [Gp256verifyOsaka]: Gp256verify < OSAKA > => 6900 + rule [SCHEDCONSTOsaka]: SCHEDCONST < OSAKA > => SCHEDCONST < PRAGUE > + requires notBool ( SCHEDCONST ==K Gp256verify ) rule [GhasclzOsaka]: Ghasclz << OSAKA >> => true rule [SCHEDFLAGOsaka]: SCHEDFLAG << OSAKA >> => SCHEDFLAG << PRAGUE >> diff --git a/tests/execution-spec-tests/failing.llvm b/tests/execution-spec-tests/failing.llvm index a440b1dc58..d982c23b2f 100644 --- a/tests/execution-spec-tests/failing.llvm +++ b/tests/execution-spec-tests/failing.llvm @@ -345,7 +345,6 @@ blockchain_tests/frontier/opcodes/test_genesis_hash_available.json,tests/frontie blockchain_tests/frontier/opcodes/test_genesis_hash_available.json,tests/frontier/opcodes/test_blockhash.py::test_genesis_hash_available[fork_Shanghai-blockchain_test-256_empty_blocks] blockchain_tests/frontier/opcodes/test_genesis_hash_available.json,tests/frontier/opcodes/test_blockhash.py::test_genesis_hash_available[fork_Shanghai-blockchain_test-one_block_with_tx] blockchain_tests/frontier/opcodes/test_genesis_hash_available.json,tests/frontier/opcodes/test_blockhash.py::test_genesis_hash_available[fork_Shanghai-blockchain_test-one_empty_block] -blockchain_tests/frontier/precompiles/test_precompiles.json,tests/frontier/precompiles/test_precompiles.py::test_precompiles[fork_Osaka-address_0x0000000000000000000000000000000000000100-precompile_exists_True-blockchain_test_from_state_test] blockchain_tests/frontier/scenarios/test_scenarios.json,tests/frontier/scenarios/test_scenarios.py::test_scenarios[fork_Berlin-blockchain_test-test_program_program_BLOCKHASH-debug] blockchain_tests/frontier/scenarios/test_scenarios.json,tests/frontier/scenarios/test_scenarios.py::test_scenarios[fork_Byzantium-blockchain_test-test_program_program_BLOCKHASH-debug] blockchain_tests/frontier/scenarios/test_scenarios.json,tests/frontier/scenarios/test_scenarios.py::test_scenarios[fork_Cancun-blockchain_test-test_program_program_BLOCKHASH-debug] @@ -431,11 +430,13 @@ blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_transaction_gas_li blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_transaction_gas_limit_cap.json,tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit.py::test_transaction_gas_limit_cap[fork_Osaka-tx_gas_limit_cap_exceeds_maximum4-blockchain_test_from_state_test] blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_access_list_with_diff_addr.json,tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit.py::test_tx_gas_limit_cap_access_list_with_diff_addr[fork_Osaka-blockchain_test_from_state_test-exceed_tx_gas_limit_True-correct_intrinsic_cost_in_transaction_gas_limit_False] blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_access_list_with_diff_addr.json,tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit.py::test_tx_gas_limit_cap_access_list_with_diff_addr[fork_Osaka-blockchain_test_from_state_test-exceed_tx_gas_limit_True-correct_intrinsic_cost_in_transaction_gas_limit_True] -blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_access_list_with_diff_keys.json,* +blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_access_list_with_diff_keys.json,tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit.py::test_tx_gas_limit_cap_access_list_with_diff_keys[fork_Osaka-blockchain_test_from_state_test-exceed_tx_gas_limit_True-correct_intrinsic_cost_in_transaction_gas_limit_False] +blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_access_list_with_diff_keys.json,tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit.py::test_tx_gas_limit_cap_access_list_with_diff_keys[fork_Osaka-blockchain_test_from_state_test-exceed_tx_gas_limit_True-correct_intrinsic_cost_in_transaction_gas_limit_True] blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_authorized_tx.json,tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit.py::test_tx_gas_limit_cap_authorized_tx[fork_Osaka-blockchain_test_from_state_test-exceed_tx_gas_limit_True-correct_intrinsic_cost_in_transaction_gas_limit_False] blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_authorized_tx.json,tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit.py::test_tx_gas_limit_cap_authorized_tx[fork_Osaka-blockchain_test_from_state_test-exceed_tx_gas_limit_True-correct_intrinsic_cost_in_transaction_gas_limit_True] blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_exceeded.json,* -blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_full_calldata.json,* +blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_full_calldata.json,tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit.py::test_tx_gas_limit_cap_full_calldata[fork_Osaka-blockchain_test_from_state_test-zero_byte_False-exceed_tx_gas_limit_True-correct_intrinsic_cost_in_transaction_gas_limit_True] +blockchain_tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit_cap_full_calldata.json,tests/osaka/eip7825_transaction_gas_limit_cap/test_tx_gas_limit.py::test_tx_gas_limit_cap_full_calldata[fork_Osaka-blockchain_test_from_state_test-zero_byte_True-exceed_tx_gas_limit_True-correct_intrinsic_cost_in_transaction_gas_limit_True] blockchain_tests/osaka/eip7883_modexp_gas_increase/test_contract_creation_transaction.json,tests/osaka/eip7883_modexp_gas_increase/test_modexp_thresholds.py::test_contract_creation_transaction[fork_Osaka-blockchain_test_from_state_test-valid_input] blockchain_tests/osaka/eip7883_modexp_gas_increase/test_contract_initcode.json,tests/osaka/eip7883_modexp_gas_increase/test_modexp_thresholds.py::test_contract_initcode[fork_Osaka-blockchain_test_from_state_test-opcode_CREATE-valid_input] blockchain_tests/osaka/eip7883_modexp_gas_increase/test_contract_initcode.json,tests/osaka/eip7883_modexp_gas_increase/test_modexp_thresholds.py::test_contract_initcode[fork_Osaka-blockchain_test_from_state_test-opcode_CREATE2-valid_input] @@ -582,8 +583,6 @@ blockchain_tests/osaka/eip7883_modexp_gas_increase/test_vectors_from_legacy_test blockchain_tests/osaka/eip7883_modexp_gas_increase/test_vectors_from_legacy_tests.json,tests/osaka/eip7883_modexp_gas_increase/test_modexp_thresholds.py::test_vectors_from_legacy_tests[fork_Osaka-blockchain_test_from_state_test-legacy-case-7] blockchain_tests/osaka/eip7883_modexp_gas_increase/test_vectors_from_legacy_tests.json,tests/osaka/eip7883_modexp_gas_increase/test_modexp_thresholds.py::test_vectors_from_legacy_tests[fork_Osaka-blockchain_test_from_state_test-legacy-case-8] blockchain_tests/osaka/eip7883_modexp_gas_increase/test_vectors_from_legacy_tests.json,tests/osaka/eip7883_modexp_gas_increase/test_modexp_thresholds.py::test_vectors_from_legacy_tests[fork_Osaka-blockchain_test_from_state_test-legacy-case-9] -blockchain_tests/osaka/eip7918_blob_reserve_price/test_blob_base_fee_with_bpo_transition.json,* -blockchain_tests/osaka/eip7918_blob_reserve_price/test_reserve_price_at_transition.json,* blockchain_tests/osaka/eip7918_blob_reserve_price/test_reserve_price_boundary.json,tests/osaka/eip7918_blob_reserve_price/test_blob_base_fee.py::test_reserve_price_boundary[fork_Osaka-parent_excess_blobs_27-block_base_fee_per_gas_delta_16-blockchain_test] blockchain_tests/osaka/eip7918_blob_reserve_price/test_reserve_price_boundary.json,tests/osaka/eip7918_blob_reserve_price/test_blob_base_fee.py::test_reserve_price_boundary[fork_Osaka-parent_excess_blobs_42-block_base_fee_per_gas_delta_24-blockchain_test] blockchain_tests/osaka/eip7918_blob_reserve_price/test_reserve_price_boundary.json,tests/osaka/eip7918_blob_reserve_price/test_blob_base_fee.py::test_reserve_price_boundary[fork_Osaka-parent_excess_blobs_6-block_base_fee_per_gas_delta_1-blockchain_test] @@ -602,21 +601,8 @@ blockchain_tests/osaka/eip7918_blob_reserve_price/test_reserve_price_various_bas blockchain_tests/osaka/eip7918_blob_reserve_price/test_reserve_price_various_base_fee_scenarios.json,tests/osaka/eip7918_blob_reserve_price/test_blob_base_fee.py::test_reserve_price_various_base_fee_scenarios[fork_Osaka-parent_excess_blobs_6-blockchain_test-block_base_fee_per_gas_17] blockchain_tests/osaka/eip7934_block_rlp_limit/test_fork_transition_block_rlp_limit.json,* blockchain_tests/osaka/eip7939_count_leading_zeros/test_clz_fork_transition.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_call_types.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_contract_creation_transaction.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_contract_initcode.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_gas.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_invalid.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_modular_comparison.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_precompile_as_tx_entry_point.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_precompile_will_return_success_with_tx_value.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_valid.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_wycheproof_extra.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_wycheproof_invalid.json,* -blockchain_tests/osaka/eip7951_p256verify_precompiles/test_wycheproof_valid.json,* -blockchain_tests/prague/eip2537_bls_12_381_precompiles/test_invalid_multi_inf.json,* +blockchain_tests/osaka/eip7951_p256verify_precompiles/test_precompile_before_fork.json,* blockchain_tests/prague/eip2537_bls_12_381_precompiles/test_precompile_before_fork.json,* -blockchain_tests/prague/eip2537_bls_12_381_precompiles/test_valid_multi_inf.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/test_block_hashes_history_at_transition.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/test_block_hashes_history.json,tests/prague/eip2935_historical_block_hashes_from_state/test_block_hashes.py::test_block_hashes_history[fork_Osaka-blockchain_test-two_blocks_check_blockhash_first] blockchain_tests/prague/eip2935_historical_block_hashes_from_state/test_block_hashes_history.json,tests/prague/eip2935_historical_block_hashes_from_state/test_block_hashes.py::test_block_hashes_history[fork_Osaka-blockchain_test-two_blocks_check_contract_first] @@ -664,12 +650,6 @@ blockchain_tests/prague/eip7623_increase_calldata_cost/test_transaction_validity blockchain_tests/prague/eip7623_increase_calldata_cost/test_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-to_eoa-insufficient_gas-floor_gas_less_than_or_equal_to_intrinsic_gas] blockchain_tests/prague/eip7623_increase_calldata_cost/test_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-to_eoa-insufficient_gas-floor_gas_less_than_or_equal_to_intrinsic_gas] blockchain_tests/prague/eip7702_set_code_tx/test_call_to_precompile_in_pointer_context.json,tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_call_to_precompile_in_pointer_context[fork_Osaka-precompile_0x0000000000000000000000000000000000000005-blockchain_test_from_state_test] -blockchain_tests/prague/eip7702_set_code_tx/test_call_to_precompile_in_pointer_context.json,tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_call_to_precompile_in_pointer_context[fork_Osaka-precompile_0x0000000000000000000000000000000000000100-blockchain_test_from_state_test] -blockchain_tests/prague/eip7702_set_code_tx/test_pointer_to_precompile.json,tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_pointer_to_precompile[fork_Osaka-precompile_0x0000000000000000000000000000000000000100-blockchain_test_from_state_test] -blockchain_tests/prague/eip7702_set_code_tx/test_set_code_to_precompile.json,tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_set_code_to_precompile[fork_Osaka-precompile_0x0000000000000000000000000000000000000100-call_opcode_CALL-evm_code_type_LEGACY-blockchain_test_from_state_test] -blockchain_tests/prague/eip7702_set_code_tx/test_set_code_to_precompile.json,tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_set_code_to_precompile[fork_Osaka-precompile_0x0000000000000000000000000000000000000100-call_opcode_CALLCODE-evm_code_type_LEGACY-blockchain_test_from_state_test] -blockchain_tests/prague/eip7702_set_code_tx/test_set_code_to_precompile.json,tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_set_code_to_precompile[fork_Osaka-precompile_0x0000000000000000000000000000000000000100-call_opcode_DELEGATECALL-evm_code_type_LEGACY-blockchain_test_from_state_test] -blockchain_tests/prague/eip7702_set_code_tx/test_set_code_to_precompile.json,tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_set_code_to_precompile[fork_Osaka-precompile_0x0000000000000000000000000000000000000100-call_opcode_STATICCALL-evm_code_type_LEGACY-blockchain_test_from_state_test] blockchain_tests/shanghai/eip4895_withdrawals/test_withdrawals_root.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawals_root[fork_Cancun-blockchain_test-n_withdrawals_0-valid_False] blockchain_tests/shanghai/eip4895_withdrawals/test_withdrawals_root.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawals_root[fork_Cancun-blockchain_test-n_withdrawals_1-valid_False] blockchain_tests/shanghai/eip4895_withdrawals/test_withdrawals_root.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawals_root[fork_Cancun-blockchain_test-n_withdrawals_16-valid_False] @@ -684,8 +664,6 @@ blockchain_tests/shanghai/eip4895_withdrawals/test_withdrawals_root.json,tests/s blockchain_tests/shanghai/eip4895_withdrawals/test_withdrawals_root.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawals_root[fork_Shanghai-blockchain_test-n_withdrawals_16-valid_False] blockchain_tests/shanghai/eip4895_withdrawals/test_withdrawing_to_precompiles.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles[fork_Osaka-precompile_0x0000000000000000000000000000000000000005-blockchain_test-amount_0] blockchain_tests/shanghai/eip4895_withdrawals/test_withdrawing_to_precompiles.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles[fork_Osaka-precompile_0x0000000000000000000000000000000000000005-blockchain_test-amount_1] -blockchain_tests/shanghai/eip4895_withdrawals/test_withdrawing_to_precompiles.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles[fork_Osaka-precompile_0x0000000000000000000000000000000000000100-blockchain_test-amount_0] -blockchain_tests/shanghai/eip4895_withdrawals/test_withdrawing_to_precompiles.json,tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles[fork_Osaka-precompile_0x0000000000000000000000000000000000000100-blockchain_test-amount_1] blockchain_tests/static/state_tests/stCreate2/create2callPrecompiles.json,tests/static/state_tests/stCreate2/create2callPrecompilesFiller.json::create2callPrecompiles[fork_Osaka-blockchain_test_from_state_test-d4] blockchain_tests/static/state_tests/stPreCompiledContracts/precompsEIP2929Cancun.json,tests/static/state_tests/stPreCompiledContracts/precompsEIP2929CancunFiller.yml::precompsEIP2929Cancun[fork_Osaka-blockchain_test_from_state_test-new-13] blockchain_tests/static/state_tests/stPreCompiledContracts/precompsEIP2929Cancun.json,tests/static/state_tests/stPreCompiledContracts/precompsEIP2929CancunFiller.yml::precompsEIP2929Cancun[fork_Osaka-blockchain_test_from_state_test-new-20] @@ -727,7 +705,6 @@ blockchain_tests/static/state_tests/stReturnDataTest/modexp_modsize0_returndatas blockchain_tests/static/state_tests/stReturnDataTest/modexp_modsize0_returndatasize.json,tests/static/state_tests/stReturnDataTest/modexp_modsize0_returndatasizeFiller.json::modexp_modsize0_returndatasize[fork_Osaka-blockchain_test_from_state_test-d1] blockchain_tests/static/state_tests/stReturnDataTest/modexp_modsize0_returndatasize.json,tests/static/state_tests/stReturnDataTest/modexp_modsize0_returndatasizeFiller.json::modexp_modsize0_returndatasize[fork_Osaka-blockchain_test_from_state_test-d2] blockchain_tests/static/state_tests/stReturnDataTest/modexp_modsize0_returndatasize.json,tests/static/state_tests/stReturnDataTest/modexp_modsize0_returndatasizeFiller.json::modexp_modsize0_returndatasize[fork_Osaka-blockchain_test_from_state_test-d3] -blockchain_tests/static/state_tests/stSpecialTest/failed_tx_xcf416c53_Paris.json,tests/static/state_tests/stSpecialTest/failed_tx_xcf416c53_ParisFiller.json::failed_tx_xcf416c53_Paris[fork_Osaka-blockchain_test_from_state_test-] blockchain_tests/static/state_tests/stStaticCall/static_CallEcrecover0_0input.json,tests/static/state_tests/stStaticCall/static_CallEcrecover0_0inputFiller.json::static_CallEcrecover0_0input[fork_Osaka-blockchain_test_from_state_test-d5] blockchain_tests/static/state_tests/stStaticCall/StaticcallToPrecompileFromCalledContract.json,tests/static/state_tests/stStaticCall/StaticcallToPrecompileFromCalledContractFiller.yml::StaticcallToPrecompileFromCalledContract[fork_Osaka-blockchain_test_from_state_test-] blockchain_tests/static/state_tests/stStaticCall/StaticcallToPrecompileFromContractInitialization.json,tests/static/state_tests/stStaticCall/StaticcallToPrecompileFromContractInitializationFiller.yml::StaticcallToPrecompileFromContractInitialization[fork_Osaka-blockchain_test_from_state_test-]