Skip to content

EIP-7691: Blob throughput increase #2757

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
May 8, 2025
Merged

EIP-7691: Blob throughput increase #2757

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
bada23d
update blob throughput values
anvacaru May 7, 2025
d70fa73
Merge remote-tracking branch 'origin/master' into eip-7691
anvacaru May 8, 2025
0b407d8
update execution-spec-tests/failing.llvm
anvacaru May 8, 2025
0447e51
Merge branch 'master' into eip-7691
anvacaru May 8, 2025
a61b594
update execution-spec-tests/failing.llvm
anvacaru May 8, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 7 additions & 1 deletion kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -440,7 +440,13 @@ A `ScheduleConst` is a constant determined by the fee schedule.
```k
syntax Schedule ::= "PRAGUE" [symbol(PRAGUE_EVM), smtlib(schedule_PRAGUE)]
// --------------------------------------------------------------------------
rule [SCHEDCONSTPrague]: SCHEDCONST < PRAGUE > => SCHEDCONST < CANCUN >
rule [GmaxblobgasPrague]: Gmaxblobgas < PRAGUE > => 1179648
rule [GtargetblobgasPrague]: Gtargetblobgas < PRAGUE > => 786432
rule [BlobbasefeeupdatefractionPrague]: Blobbasefeeupdatefraction < PRAGUE > => 5007716
rule [SCHEDCONSTPrague]: SCHEDCONST < PRAGUE > => SCHEDCONST < CANCUN >
requires notBool ( SCHEDCONST ==K Gmaxblobgas
orBool SCHEDCONST ==K Gtargetblobgas
orBool SCHEDCONST ==K Blobbasefeeupdatefraction )

rule [GhasrequestsPrague]: Ghasrequests << PRAGUE >> => true
rule [GhashistoryPrague]: Ghashistory << PRAGUE >> => true
Expand Down
24 changes: 0 additions & 24 deletions tests/execution-spec-tests/failing.llvm
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1189,18 +1189,6 @@ blockchain_tests/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,"
blockchain_tests/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,"tests/cancun/eip4844_blobs/test_blob_txs.py::test_valid_blob_tx_combinations[fork_Prague-blobs_per_tx_(8, 1)-blockchain_test]"
blockchain_tests/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,"tests/cancun/eip4844_blobs/test_blob_txs.py::test_valid_blob_tx_combinations[fork_Prague-blobs_per_tx_(8,)-blockchain_test]"
blockchain_tests/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,"tests/cancun/eip4844_blobs/test_blob_txs.py::test_valid_blob_tx_combinations[fork_Prague-blobs_per_tx_(9,)-blockchain_test]"
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CALLCODE-fork_Prague-blockchain_test]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CREATE-fork_Prague-blockchain_test]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CREATE2-fork_Prague-blockchain_test]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_DELEGATECALL-fork_Prague-blockchain_test]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_max_value-fork_Prague-blockchain_test]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_STATICCALL-fork_Prague-blockchain_test]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_invalid_blob_index.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_invalid_blob_index[fork_Prague-blockchain_test-scenario_invalid_calls]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_multiple_txs_in_block.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_multiple_txs_in_block[fork_Prague-blockchain_test]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_scenarios[fork_Prague-blockchain_test-scenario_repeated_valid]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_scenarios[fork_Prague-blockchain_test-scenario_single_valid]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_scenarios[fork_Prague-blockchain_test-scenario_valid_invalid]
blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_scenarios[fork_Prague-blockchain_test-scenario_varied_valid]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_at_blob_genesis.json,*
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_post_blob_genesis.json,*
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_post_fork_block_without_blob_fields.json,*
Expand All @@ -1211,12 +1199,6 @@ blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_ga
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_decreasing_blob_gas_costs[fork_Prague-parent_blobs_5-parent_excess_blobs_27-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_decreasing_blob_gas_costs[fork_Prague-parent_blobs_5-parent_excess_blobs_398-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_decreasing_blob_gas_costs[fork_Prague-parent_blobs_5-parent_excess_blobs_848-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_4-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_5-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_6-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_7-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_8-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_9-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_1-parent_blobs_1-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_1-parent_blobs_2-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_1-parent_blobs_3-blockchain_test-new_blobs_1]
Expand Down Expand Up @@ -1436,9 +1418,6 @@ blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_ch
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_change.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Prague-parent_blobs_9-header_excess_blobs_delta_4-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_change.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Prague-parent_blobs_9-header_excess_blobs_delta_5-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_change.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Prague-parent_blobs_9-header_excess_blobs_delta_6-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Prague-parent_blobs_4-header_excess_blobs_delta_1-blockchain_test-new_blobs_1-parent_excess_blobs_0]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Prague-parent_blobs_5-header_excess_blobs_delta_2-blockchain_test-new_blobs_1-parent_excess_blobs_0]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Prague-parent_blobs_6-header_excess_blobs_delta_3-blockchain_test-new_blobs_1-parent_excess_blobs_0]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_negative_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_1-header_excess_blob_gas_18446744073708765184-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_negative_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_1-header_excess_blob_gas_18446744073708896256-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_negative_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_1-header_excess_blob_gas_18446744073709027328-blockchain_test-new_blobs_1]
Expand Down Expand Up @@ -1593,9 +1572,6 @@ blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multiple_exces
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multiple_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_non_multiple_excess_blob_gas[fork_Prague-parent_excess_blobs_7-parent_blobs_5-header_excess_blob_gas_delta_-131071-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multiple_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_non_multiple_excess_blob_gas[fork_Prague-parent_excess_blobs_7-parent_blobs_7-header_excess_blob_gas_delta_1-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multiple_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_non_multiple_excess_blob_gas[fork_Prague-parent_excess_blobs_7-parent_blobs_7-header_excess_blob_gas_delta_131071-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas_from_zero_on_blobs_above_target[fork_Prague-parent_blobs_7-blockchain_test-new_blobs_1-parent_excess_blobs_0-header_excess_blob_gas_0]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas_from_zero_on_blobs_above_target[fork_Prague-parent_blobs_8-blockchain_test-new_blobs_1-parent_excess_blobs_0-header_excess_blob_gas_0]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas_from_zero_on_blobs_above_target[fork_Prague-parent_blobs_9-blockchain_test-new_blobs_1-parent_excess_blobs_0-header_excess_blob_gas_0]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_1-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_2-blockchain_test-new_blobs_1]
blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_3-blockchain_test-new_blobs_1]
Expand Down