From c9c43a1691fb080264722323acae119244795460 Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Tue, 14 Jul 2026 13:35:37 +0300 Subject: [PATCH 1/2] kproj/schedule.md: eip-7954 increase max code/init code size (64KiB/128KiB) AMSTERDAM overrides maxCodeSize (24576 -> 65536) and re-derives maxInitCodeSize (2x maxCodeSize, per EIP-3860). Enforcement is already generic (#mkCodeDeposit, #hasValidInitCode, Cinitcode). --- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md | 4 ++++ 1 file changed, 4 insertions(+) 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 b5f4f3f157..12605d6733 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md @@ -520,10 +520,14 @@ A `ScheduleConst` is a constant determined by the fee schedule. rule [GmaxblobgasAmsterdam]: Gmaxblobgas < AMSTERDAM > => 2752512 rule [GtargetblobgasAmsterdam]: Gtargetblobgas < AMSTERDAM > => 1835008 rule [BlobbasefeeupdatefractionAmsterdam]: Blobbasefeeupdatefraction < AMSTERDAM > => 11684671 + rule [maxCodeSizeAmsterdam]: maxCodeSize < AMSTERDAM > => 65536 + rule [maxInitCodeSizeAmsterdam]: maxInitCodeSize < AMSTERDAM > => 2 *Int maxCodeSize < AMSTERDAM > rule [SCHEDCONSTAmsterdam]: SCHEDCONST < AMSTERDAM > => SCHEDCONST < OSAKA > requires notBool ( SCHEDCONST ==K Gmaxblobgas orBool SCHEDCONST ==K Gtargetblobgas orBool SCHEDCONST ==K Blobbasefeeupdatefraction + orBool SCHEDCONST ==K maxCodeSize + orBool SCHEDCONST ==K maxInitCodeSize ) rule [SCHEDFLAGAmsterdam]: SCHEDFLAG << AMSTERDAM >> => SCHEDFLAG << OSAKA >> From 4cea41a20a9e8a3b54426f11ab59c1a4a0ee0274 Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Fri, 24 Jul 2026 19:23:11 +0300 Subject: [PATCH 2/2] failing.llvm: update failing fixtures --- tests/execution-spec-tests/failing.llvm | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tests/execution-spec-tests/failing.llvm b/tests/execution-spec-tests/failing.llvm index d72434608e..60d64b757b 100644 --- a/tests/execution-spec-tests/failing.llvm +++ b/tests/execution-spec-tests/failing.llvm @@ -417,7 +417,6 @@ blockchain_tests/for_amsterdam/amsterdam/eip7928_block_level_access_lists/block_ blockchain_tests/for_amsterdam/amsterdam/eip7928_block_level_access_lists/block_access_lists/bal_selfdestruct_to_coinbase.json,* blockchain_tests/for_amsterdam/amsterdam/eip7928_block_level_access_lists/block_access_lists/bal_zero_value_transfer.json,* blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/eip_mainnet/max_code_size_with_max_initcode_mainnet.json,* -blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/eip_mainnet/over_max_code_size_mainnet.json,* blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_code_size/max_code_size_deposit_gas.json,* blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_code_size/max_code_size_external_opcodes.json,* blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_code_size/max_code_size_high_jumpdest.json,* @@ -427,7 +426,7 @@ blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_ blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_code_size/max_code_size_with_max_initcode.json,* blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_code_size/max_code_size.json,* blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_code_size/warm_after_failed_create_over_max_code_size.json,* -blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_initcode_size/max_initcode_size_gas_metering.json,tests/amsterdam/eip7954_increase_max_contract_size/test_max_initcode_size.py::test_max_initcode_size_gas_metering[fork_Amsterdam-blockchain_test_from_state_test-exact_gas] +blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_initcode_size/max_initcode_size_gas_metering.json,* blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_initcode_size/max_initcode_size_via_create.json,tests/amsterdam/eip7954_increase_max_contract_size/test_max_initcode_size.py::test_max_initcode_size_via_create[fork_Amsterdam-create_opcode_CREATE-blockchain_test_from_state_test-at_max] blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_initcode_size/max_initcode_size_via_create.json,tests/amsterdam/eip7954_increase_max_contract_size/test_max_initcode_size.py::test_max_initcode_size_via_create[fork_Amsterdam-create_opcode_CREATE2-blockchain_test_from_state_test-at_max] blockchain_tests/for_amsterdam/amsterdam/eip7954_increase_max_contract_size/max_initcode_size/max_initcode_size.json,tests/amsterdam/eip7954_increase_max_contract_size/test_max_initcode_size.py::test_max_initcode_size[fork_Amsterdam-blockchain_test_from_state_test-at_max] @@ -897,6 +896,8 @@ blockchain_tests/for_amsterdam/amsterdam/eip8037_state_creation_gas_cost_increas blockchain_tests/for_amsterdam/amsterdam/eip8037_state_creation_gas_cost_increase/state_gas_calldata_floor/calldata_floor_independent_of_state_gas.json,* blockchain_tests/for_amsterdam/amsterdam/eip8037_state_creation_gas_cost_increase/state_gas_calldata_floor/calldata_floor_not_discounted_by_state_gas.json,* blockchain_tests/for_amsterdam/amsterdam/eip8037_state_creation_gas_cost_increase/state_gas_calldata_floor/calldata_floor_with_sstore.json,* +blockchain_tests/for_amsterdam/amsterdam/eip8037_state_creation_gas_cost_increase/state_gas_create/code_deposit_halt_discards_initcode_state_gas.json,tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_create.py::test_code_deposit_halt_discards_initcode_state_gas[fork_Amsterdam-blockchain_test-oog_deposit-call_new_account] +blockchain_tests/for_amsterdam/amsterdam/eip8037_state_creation_gas_cost_increase/state_gas_create/code_deposit_halt_discards_initcode_state_gas.json,tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_create.py::test_code_deposit_halt_discards_initcode_state_gas[fork_Amsterdam-blockchain_test-oog_deposit-inner_create] blockchain_tests/for_amsterdam/amsterdam/eip8037_state_creation_gas_cost_increase/state_gas_create/code_deposit_oog_preserves_parent_reservoir.json,* blockchain_tests/for_amsterdam/amsterdam/eip8037_state_creation_gas_cost_increase/state_gas_create/code_deposit_state_gas_exact_fit_boundary.json,* blockchain_tests/for_amsterdam/amsterdam/eip8037_state_creation_gas_cost_increase/state_gas_create/code_deposit_state_gas_scales_with_size.json,* @@ -5496,6 +5497,7 @@ blockchain_tests/for_amsterdam/ported_static/stCreateTest/code_in_constructor/co blockchain_tests/for_amsterdam/ported_static/stCreateTest/create_address_warm_after_fail/create_address_warm_after_fail.json,* blockchain_tests/for_amsterdam/ported_static/stCreateTest/create_collision_results/create_collision_results.json,* blockchain_tests/for_amsterdam/ported_static/stCreateTest/create_collision_to_empty2/create_collision_to_empty2.json,* +blockchain_tests/for_amsterdam/ported_static/stCreateTest/create_contract_return_big_offset/create_contract_return_big_offset.json,tests/ported_static/stCreateTest/test_create_contract_return_big_offset.py::test_create_contract_return_big_offset[fork_Amsterdam-blockchain_test_from_state_test-d0] blockchain_tests/for_amsterdam/ported_static/stCreateTest/create_contract_sstore_during_init/create_contract_sstore_during_init.json,* blockchain_tests/for_amsterdam/ported_static/stCreateTest/create_e_contract_create_e_contract_in_init_tr/create_e_contract_create_e_contract_in_init_tr.json,* blockchain_tests/for_amsterdam/ported_static/stCreateTest/create_e_contract_create_ne_contract_in_init_tr/create_e_contract_create_ne_contract_in_init_tr.json,*