Skip to content

EIP 8037: tx gas limit cap authorized tx coverage #2935

@kclowes

Description

@kclowes

Capturing the TODO from here (quoted below) into an issue along with other suggestions based on this Osaka test.

TODO[EIP-8037]: cap math here uses the combined intrinsic (regular + state)
vs. tx_gas_limit_cap, but Amsterdam only caps max(intrinsic.regular,
calldata_floor). Auth state-gas no longer counts toward the cap, so
auth_list_length comes out wrong and the GAS_LIMIT_EXCEEDS_MAXIMUM cases
stop tripping. Needs a fork-aware rewrite that splits intrinsic.regular
from intrinsic.state.

Other related test cases to consider adding (AI generated):

EIP-7825 test Status
test_transaction_gas_limit_cap Partial — cap boundary covered but with_all_tx_types parametrization missing
test_tx_gas_limit_cap_full_calldata Partial — calldata floor vs cap covered but full boundary-search parametrization missing
test_tx_gas_limit_cap_access_list_with_diff_keys Missing
test_tx_gas_limit_cap_access_list_with_diff_addr Missing
test_tx_gas_limit_cap_authorized_tx Missing — needs fork-aware rewrite splitting intrinsic.regular from intrinsic.state

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions