Skip to content

Ethereum Execution Specs

Spec

Initializing search

execution-specs

Home
Getting Started
Specifications
Consensus Tests
Developer Doc
Library Reference
Test Case Reference

Ethereum Execution Specs

execution-specs

Home
Getting Started
Getting Started
Specifications
Specifications
Consensus Tests
Consensus Tests
- Writing Tests
  Writing Tests
  - Adding a New Test
  - Types of Test
  - Writing a New Test
  - Benchmarks
  - Test Markers
  - Exception Tests
  - Using and Extending Fork Methods
  - Gas Optimization
  - Referencing an EIP Spec Version
  - EIP Checklist Generation
  - Testing Checklist Templates
    
    Testing Checklist Templates
    
    EIP Execution Layer Testing Checklist Template
  - Post-mortems
  - Tutorials
    Tutorials
    
    Adding a State Test
    
    Adding a Blockchain Test
  - Opcode Metadata
- Filling Tests
  Filling Tests
- Running Tests
  Running Tests
  - Methods of Running Tests
  - EEST Fixture Releases
  - Fuzzer Bridge
  - Test Fixture Specifications
    
    Test Fixture Specifications
    
    State Tests
    
    Blockchain Tests
    
    Blockchain Engine Tests
    
    Blockchain Engine X Tests
    
    Transaction Tests
    
    Blockchain Sync Tests
    
    Common Types
    
    Exceptions
  - Hive
    
    Hive
    
    Client Configuration
    
    Common Options
    
    Development Mode
    
    Viewing Results
    
    CI Integration
  - Consume Commands
    
    Consume Commands
    
    Consume Cache & Fixture Inputs
    
    Consume Direct
    
    Consume Simulators
    
    Exception Tests
  - Execute Commands
    
    Execute Commands
    
    Execute Hive
    
    Execute Remote
    
    Execute Eth Config
    
    Transaction Metadata
  - Useful Pytest Options
Developer Doc
Developer Doc
Library Reference
Library Reference
Test Case Reference
Test Case Reference
- Benchmark
  Benchmark
  - Compute
    
    Compute
    
    Instruction
    
    Instruction
    
    Test Account Query
    
    Test Account Query
    
    test_selfbalance
    
    test_codesize
    
    test_codecopy
    
    test_codecopy_benchmark
    
    test_extcodecopy_warm
    
    test_ext_account_query_warm
    
    test_ext_account_query_cold
    
    test_account_query
    
    Test Arithmetic
    
    Test Arithmetic
    
    test_arithmetic
    
    test_mod
    
    test_mod_arithmetic
    
    Test Bitwise
    
    Test Bitwise
    
    test_bitwise
    
    test_not_op
    
    test_shifts
    
    test_clz_same
    
    test_clz_diff
    
    Test Block Context
    
    Test Block Context
    
    test_blockhash
    
    test_block_context_ops
    
    Test CALL Context
    
    Test CALL Context
    
    test_call_frame_context_ops
    
    test_calldatasize
    
    test_callvalue_from_origin
    
    test_callvalue_from_call
    
    test_calldataload
    
    test_calldatacopy_from_origin
    
    test_calldatacopy_from_call
    
    test_returndatasize_nonzero
    
    test_returndatasize_zero
    
    test_returndatacopy
    
    Test Comparison
    
    Test Comparison
    
    test_comparison
    
    test_iszero
    
    Test Control Flow
    
    Test Control Flow
    
    test_gas_op
    
    test_pc_op
    
    test_jumps
    
    test_jump_benchmark
    
    test_jumpi_fallthrough
    
    test_jumpis
    
    test_jumpdests
    
    Test Keccak
    
    Test Keccak
    
    test_keccak_max_permutations
    
    test_keccak
    
    test_keccak_diff_mem_msg_sizes
    
    Test Log
    
    Test Log
    
    test_log
    
    test_log_benchmark
    
    Test Memory
    
    Test Memory
    
    test_msize
    
    test_memory_access
    
    test_mcopy
    
    Test Stack
    
    Test Stack
    
    test_swap
    
    test_dup
    
    test_push
    
    Test Storage
    
    Test Storage
    
    test_tload
    
    test_tstore
    
    test_storage_access_cold
    
    test_storage_access_cold_benchmark
    
    test_storage_access_warm
    
    test_storage_access_warm_benchmark
    
    Test System
    
    Test System
    
    test_contract_calling_many_addresses
    
    test_create
    
    test_creates_collisions
    
    test_return_revert
    
    test_selfdestruct_existing
    
    test_selfdestruct_created
    
    test_selfdestruct_initcode
    
    Test Tx Context
    
    Test Tx Context
    
    test_call_frame_context_ops
    
    test_blobhash
    
    Precompile
    
    Precompile
    
    Test Alt Bn128
    
    Test Alt Bn128
    
    test_alt_bn128
    
    test_bn128_pairings_amortized
    
    test_alt_bn128_benchmark
    
    Test Blake2f
    
    Test Blake2f
    
    test_blake2f
    
    test_blake2f_benchmark
    
    Test Bls12 381
    
    Test Bls12 381
    
    test_bls12_g2_msm
    
    test_bls12_381
    
    test_bls12_g1_msm
    
    test_bls12_pairing
    
    Test Ecrecover
    
    Test Ecrecover
    
    test_ecrecover
    
    Test Identity
    
    Test Identity
    
    test_identity
    
    test_identity_fixed_size
    
    Test Modexp
    
    Test Modexp
    
    test_modexp
    
    Test P256verify
    
    Test P256verify
    
    test_p256verify
    
    Test Point Evaluation
    
    Test Point Evaluation
    
    test_point_evaluation
    
    Test Ripemd160
    
    Test Ripemd160
    
    test_ripemd160
    
    test_ripemd160_fixed_size
    
    Test Sha256
    
    Test Sha256
    
    test_sha256
    
    test_sha256_fixed_size
    
    Scenario
    
    Scenario
    
    Test Mix Operations
    
    Test Mix Operations
    
    test_jumpdest_analysis
    
    Test Transaction Types
    
    Test Transaction Types
    
    test_empty_block
    
    test_ether_transfers
    
    test_ether_transfers_to_precompile
    
    test_block_full_data
    
    test_block_full_access_list_and_data
    
    test_auth_transaction
    
    test_contract_creation
    
    Test Unchunkified Bytecode
    
    Test Unchunkified Bytecode
    
    test_unchunkified_bytecode
  - Stateful
    
    Stateful
    
    Bloatnet
    
    Bloatnet
    
    Readme
    
    Depth Benchmarks
    
    Depth Benchmarks
    
    Readme
    
    Test Deep Branch
    
    Test Deep Branch
    
    test_worst_depth_stateroot_recomp
    
    Test EXTCODESIZE Bytecode Sizes
    
    Test EXTCODESIZE Bytecode Sizes
    
    test_extcodesize_bytecode_sizes
    
    Test Multi Opcode
    
    Test Multi Opcode
    
    test_bloatnet_balance_extcodesize
    
    test_bloatnet_balance_extcodecopy
    
    test_bloatnet_balance_extcodehash
    
    test_mixed_sload_sstore
    
    Test Single Opcode
    
    Test Single Opcode
    
    test_sload_empty_erc20_balanceof
    
    test_sstore_erc20_approve
    
    test_sstore_variants
    
    test_storage_sload_benchmark
    
    test_storage_sload_same_key_benchmark
- Osaka
  Osaka
  - EIP-7594 Peerdas
    
    EIP-7594 Peerdas
    
    Spec
    
    Checklist
    
    Test Max Blob Per Tx
    
    Test Max Blob Per Tx
    
    test_valid_max_blobs_per_tx
    
    test_invalid_max_blobs_per_tx
    
    test_max_blobs_per_tx_fork_transition
  - EIP-7823 Modexp Upper Bounds
    
    EIP-7823 Modexp Upper Bounds
    
    Spec Spec
    Table of contents
    
    spec
    
    Checklist
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_modexp_boundary
    
    test_modexp_over_boundary
    
    Test Modexp Upper Bounds
    
    Test Modexp Upper Bounds
    
    test_modexp_upper_bounds
    
    test_modexp_upper_bounds_fork_transition
  - EIP-7825 Transaction Gas Limit Cap
    
    EIP-7825 Transaction Gas Limit Cap
    
    Spec
    
    Checklist
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_tx_gas_limit_cap_at_maximum
    
    test_tx_gas_limit_cap_exceeded
    
    Test Tx Gas Limit
    
    Test Tx Gas Limit
    
    test_transaction_gas_limit_cap
    
    test_tx_gas_limit_cap_subcall_context
    
    test_tx_gas_larger_than_block_gas_limit
    
    test_maximum_gas_refund
    
    test_tx_gas_limit_cap_full_calldata
    
    test_tx_gas_limit_cap_contract_creation
    
    test_tx_gas_limit_cap_access_list_with_diff_keys
    
    test_tx_gas_limit_cap_access_list_with_diff_addr
    
    test_tx_gas_limit_cap_authorized_tx
    
    Test Tx Gas Limit Transition Fork
    
    Test Tx Gas Limit Transition Fork
    
    test_transaction_gas_limit_cap_at_transition
  - EIP-7883 Modexp Gas Increase
    
    EIP-7883 Modexp Gas Increase
    
    Spec
    
    Checklist
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_modexp_different_base_lengths
    
    Test Modexp Thresholds
    
    Test Modexp Thresholds
    
    test_vectors_from_eip
    
    test_vectors_from_legacy_tests
    
    test_modexp_invalid_inputs
    
    test_modexp_boundary_inputs
    
    test_modexp_call_operations
    
    test_modexp_gas_usage_contract_wrapper
    
    test_modexp_used_in_transaction_entry_points
    
    test_contract_creation_transaction
    
    test_contract_initcode
    
    test_modexp_variable_gas_cost
    
    test_modexp_variable_gas_cost_exceed_tx_gas_cap
    
    Test Modexp Thresholds Transition
    
    Test Modexp Thresholds Transition
    
    test_modexp_fork_transition
  - EIP-7918 Blob Reserve Price
    
    EIP-7918 Blob Reserve Price
    
    Spec
    
    Checklist
    
    Test Blob Base Fee
    
    Test Blob Base Fee
    
    test_reserve_price_various_base_fee_scenarios
    
    test_reserve_price_boundary
    
    Test Blob Reserve Price With Bpo
    
    Test Blob Reserve Price With Bpo
    
    test_blob_base_fee_with_bpo_transition
    
    Test Blob Reserve Price With Bpo Transitions
    
    Test Blob Reserve Price With Bpo Transitions
    
    test_reserve_price_at_transition
  - EIP-7934 Block Rlp Limit
    
    EIP-7934 Block Rlp Limit
    
    Spec
    
    Checklist
    
    Test Max Block Rlp Size
    
    Test Max Block Rlp Size
    
    test_block_at_rlp_size_limit_boundary
    
    test_block_rlp_size_at_limit_with_all_typed_transactions
    
    test_block_at_rlp_limit_with_logs
    
    test_block_at_rlp_limit_with_withdrawals
    
    test_fork_transition_block_rlp_limit
  - EIP-7939 Count Leading Zeros
    
    EIP-7939 Count Leading Zeros
    
    Spec
    
    Checklist
    
    Test Count Leading Zeros
    
    Test Count Leading Zeros
    
    test_clz_opcode_scenarios
    
    test_clz_gas_cost
    
    test_clz_gas_cost_boundary
    
    test_clz_stack_underflow
    
    test_clz_stack_not_overflow
    
    test_clz_push_operation_same_value
    
    test_clz_fork_transition
    
    test_clz_jump_operation
    
    test_clz_from_set_code
    
    test_clz_code_copy_operation
    
    test_clz_with_memory_operation
    
    test_clz_initcode_context
    
    test_clz_initcode_create
    
    test_clz_call_operation
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_clz_mainnet
  - EIP-7951 P256verify Precompiles
    
    EIP-7951 P256verify Precompiles
    
    Spec
    
    Checklist
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_valid
    
    test_invalid
    
    Test P256verify
    
    Test P256verify
    
    test_wycheproof_valid
    
    test_wycheproof_invalid
    
    test_wycheproof_extra
    
    test_valid
    
    test_invalid
    
    test_gas
    
    test_call_types
    
    test_precompile_as_tx_entry_point
    
    test_precompile_will_return_success_with_tx_value
    
    test_modular_comparison
    
    test_contract_creation_transaction
    
    test_contract_initcode
    
    Test P256verify Before Fork
    
    Test P256verify Before Fork
    
    test_precompile_before_fork
- Prague
  Prague
  - EIP-2537 BLS12 381 Precompiles
    
    EIP-2537 BLS12 381 Precompiles
    
    Spec
    
    Checklist
    
    Test BLS12_G1ADD
    
    Test BLS12_G1ADD
    
    test_invalid
    
    test_valid
    
    test_gas
    
    test_call_types
    
    Test BLS12_G1MSM
    
    Test BLS12_G1MSM
    
    test_valid
    
    test_call_types
    
    test_invalid
    
    Test BLS12_G1MUL
    
    Test BLS12_G1MUL
    
    test_valid
    
    test_invalid
    
    test_gas
    
    test_call_types
    
    Test BLS12_G2ADD
    
    Test BLS12_G2ADD
    
    test_valid
    
    test_invalid
    
    test_gas
    
    test_call_types
    
    Test BLS12_G2MSM
    
    Test BLS12_G2MSM
    
    test_valid
    
    test_invalid
    
    test_call_types
    
    Test BLS12_G2MUL
    
    Test BLS12_G2MUL
    
    test_valid
    
    test_invalid
    
    test_gas
    
    test_call_types
    
    Test BLS12_MAP_FP2_TO_G2
    
    Test BLS12_MAP_FP2_TO_G2
    
    test_valid
    
    test_isogeny_kernel_values
    
    test_invalid
    
    test_gas
    
    test_call_types
    
    Test BLS12_MAP_FP_TO_G1
    
    Test BLS12_MAP_FP_TO_G1
    
    test_valid
    
    test_isogeny_kernel_values
    
    test_invalid
    
    test_gas
    
    test_call_types
    
    Test BLS12_PAIRING_CHECK
    
    Test BLS12_PAIRING_CHECK
    
    test_valid_multi_inf
    
    test_invalid_multi_inf
    
    test_valid
    
    test_invalid
    
    test_gas
    
    test_call_types
    
    Test Bls12 Precompiles Before Fork
    
    Test Bls12 Precompiles Before Fork
    
    test_precompile_before_fork
    
    Test Bls12 Variable Length Input Contracts
    
    Test Bls12 Variable Length Input Contracts
    
    test_valid_gas_g1msm
    
    test_valid_gas_g2msm
    
    test_valid_gas_pairing
    
    test_invalid_zero_gas_g1msm
    
    test_invalid_gas_g1msm
    
    test_invalid_zero_length_g1msm
    
    test_invalid_length_g1msm
    
    test_invalid_zero_gas_g2msm
    
    test_invalid_gas_g2msm
    
    test_invalid_zero_length_g2msm
    
    test_invalid_length_g2msm
    
    test_invalid_zero_gas_pairing
    
    test_invalid_gas_pairing
    
    test_invalid_zero_length_pairing
    
    test_invalid_length_pairing
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_eip_2537
    
    Vectors
    Vectors
    
    test-vectors
  - EIP-2935 Historical Block Hashes From State
    
    EIP-2935 Historical Block Hashes From State
    
    Spec
    
    Checklist
    
    Test Block Hashes
    
    Test Block Hashes
    
    test_block_hashes_history_at_transition
    
    test_block_hashes_history
    
    test_block_hashes_call_opcodes
    
    test_invalid_history_contract_calls
    
    test_invalid_history_contract_calls_input_size
    
    Test Contract Deployment
    
    Test Contract Deployment
    
    test_system_contract_deployment
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_eip_2935
  - EIP-6110 Deposits
    
    EIP-6110 Deposits
    
    Spec
    
    Checklist
    
    Test Deposits
    
    Test Deposits
    
    test_deposit
    
    test_deposit_negative
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_eip_6110
    
    Test Modified Contract
    
    Test Modified Contract
    
    test_extra_logs
    
    test_invalid_layout
    
    test_invalid_log_length
  - EIP-7002 El Triggerable Withdrawals
    
    EIP-7002 El Triggerable Withdrawals
    
    Spec
    
    Checklist
    
    Test Contract Deployment
    
    Test Contract Deployment
    
    test_system_contract_deployment
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_eip_7002
    
    Test Modified Withdrawal Contract
    
    Test Modified Withdrawal Contract
    
    test_extra_withdrawals
    
    test_system_contract_errors
    
    Test Withdrawal Requests
    
    Test Withdrawal Requests
    
    test_withdrawal_requests
    
    test_withdrawal_requests_negative
    
    Test Withdrawal Requests During Fork
    
    Test Withdrawal Requests During Fork
    
    test_withdrawal_requests_during_fork
  - EIP-7251 Consolidations
    
    EIP-7251 Consolidations
    
    Spec
    
    Checklist
    
    Test Consolidations
    
    Test Consolidations
    
    test_consolidation_requests
    
    test_consolidation_requests_negative
    
    Test Consolidations During Fork
    
    Test Consolidations During Fork
    
    test_consolidation_requests_during_fork
    
    Test Contract Deployment
    
    Test Contract Deployment
    
    test_system_contract_deployment
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_eip_7251
    
    Test Modified Consolidation Contract
    
    Test Modified Consolidation Contract
    
    test_extra_consolidations
    
    test_system_contract_errors
  - EIP-7623 Increase Calldata Cost
    
    EIP-7623 Increase Calldata Cost
    
    Spec
    
    Checklist
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_eip_7623
    
    Test Execution Gas
    
    Test Execution Gas
    
    test_full_gas_consumption
    
    test_gas_consumption_below_data_floor
    
    Test Refunds
    
    Test Refunds
    
    test_gas_refunds_from_data_floor
    
    Test Transaction Validity
    
    Test Transaction Validity
    
    test_transaction_validity_type_0
    
    test_transaction_validity_type_1_type_2
    
    test_transaction_validity_type_3
    
    test_transaction_validity_type_4
  - EIP-7685 General Purpose El Requests
    
    EIP-7685 General Purpose El Requests
    
    Spec
    
    Checklist
    
    Test Multi Type Requests
    
    Test Multi Type Requests
    
    test_valid_multi_type_requests
    
    test_valid_multi_type_request_from_same_tx
    
    test_invalid_multi_type_requests
  - EIP-7702 Set Code Tx
    
    EIP-7702 Set Code Tx
    
    Spec
    
    Checklist
    
    Test Calls
    
    Test Calls
    
    test_delegate_call_targets
    
    Test Eip Mainnet
    
    Test Eip Mainnet
    
    test_eip_7702
    
    Test Gas
    
    Test Gas
    
    test_gas_cost
    
    test_account_warming
    
    test_intrinsic_gas_cost
    
    test_self_set_code_cost
    
    test_call_to_pre_authorized_oog
    
    Test INVALID Tx
    
    Test INVALID Tx
    
    test_empty_authorization_list
    
    test_invalid_auth_signature
    
    test_invalid_tx_invalid_auth_chain_id
    
    test_invalid_tx_invalid_auth_chain_id_encoding
    
    test_invalid_tx_invalid_nonce
    
    test_invalid_tx_invalid_nonce_as_list
    
    test_invalid_tx_invalid_nonce_encoding
    
    test_invalid_tx_invalid_address
    
    test_invalid_tx_invalid_authorization_tuple_extra_element
    
    test_invalid_tx_invalid_authorization_tuple_missing_element
    
    test_invalid_tx_invalid_authorization_tuple_encoded_as_bytes
    
    test_invalid_tx_invalid_rlp_encoding
    
    Test Set Code Txs
    
    Test Set Code Txs
    
    test_set_code_to_contract_creator
    
    test_many_delegations
    
    test_set_code_transaction_fee_validations
    
    test_self_sponsored_set_code
    
    test_set_code_to_sstore
    
    test_set_code_to_non_empty_storage_non_zero_nonce
    
    test_set_code_to_sstore_then_sload
    
    test_set_code_to_tstore_reentry
    
    test_set_code_to_tstore_available_at_correct_address
    
    test_set_code_to_self_destruct
    
    test_creating_tx_to_contract_creator
    
    test_delegated_eoa_can_send_creating_tx
    
    test_set_code_to_self_caller
    
    test_set_code_max_depth_call_stack
    
    test_set_code_call_set_code
    
    test_address_from_set_code
    
    test_tx_into_self_delegating_set_code
    
    test_tx_into_chain_delegating_set_code
    
    test_call_into_self_delegating_set_code
    
    test_call_into_chain_delegating_set_code
    
    test_ext_code_on_set_code
    
    test_ext_code_on_self_set_code
    
    test_set_code_address_and_authority_warm_state
    
    test_set_code_address_and_authority_warm_state_call_types
    
    test_ext_code_on_self_delegating_set_code
    
    test_ext_code_on_chain_delegating_set_code
    
    test_self_code_on_set_code
    
    test_set_code_to_account_deployed_in_same_tx
    
    test_set_code_to_self_destructing_account_deployed_in_same_tx
    
    test_set_code_multiple_first_valid_authorization_tuples_same_signer
    
    test_set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce
    
    test_set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce_self_sponsored
    
    test_set_code_multiple_valid_authorization_tuples_first_invalid_same_signer
    
    test_set_code_all_invalid_authorization_tuples
    
    test_set_code_using_chain_specific_id
    
    test_set_code_using_valid_synthetic_signatures
    
    test_valid_tx_invalid_auth_signature
    
    test_signature_s_out_of_range
    
    test_valid_tx_invalid_chain_id
    
    test_nonce_validity
    
    test_nonce_overflow_after_first_authorization
    
    test_set_code_to_log
    
    test_set_code_to_precompile
    
    test_set_code_to_precompile_not_enough_gas_for_precompile_execution
    
    test_set_code_to_system_contract
    
    test_eoa_tx_after_set_code
    
    test_reset_code
    
    test_contract_create
    
    test_empty_authorization_list
    
    test_delegation_clearing
    
    test_delegation_clearing_tx_to
    
    test_delegation_clearing_and_set
    
    test_delegation_clearing_failing_tx
    
    test_deploying_delegation_designation_contract
    
    test_creating_delegation_designation_contract
    
    test_invalid_transaction_after_authorization
    
    test_authorization_reusing_nonce
    
    test_set_code_from_account_with_non_delegating_code
    
    Test Set Code Txs 2
    
    Test Set Code Txs 2
    
    test_pointer_contract_pointer_loop
    
    test_pointer_to_pointer
    
    test_pointer_normal
    
    test_pointer_measurements
    
    test_call_to_precompile_in_pointer_context
    
    test_pointer_to_precompile
    
    test_gas_diff_pointer_vs_direct_call
    
    test_pointer_call_followed_by_direct_call
    
    test_pointer_to_static
    
    test_static_to_pointer
    
    test_pointer_to_static_reentry
    
    test_contract_storage_to_pointer_with_storage
    
    test_pointer_reentry
    
    test_eoa_init_as_pointer
    
    test_call_pointer_to_created_from_create_after_oog_call_again
    
    test_pointer_reverts
    
    test_double_auth
    
    test_pointer_resets_an_empty_code_account_with_storage
    
    test_set_code_type_tx_pre_fork
    
    test_delegation_replacement_call_previous_contract
- Cancun
  Cancun
  - CREATE
    
    CREATE
    
    Test CREATE Oog From Eoa Refunds
    
    Test CREATE Oog From Eoa Refunds
    
    test_create_oog_from_eoa_refunds
  - EIP-1153 TSTORE
    
    EIP-1153 TSTORE
    
    Spec
    
    Checklist
    
    Test Basic TLOAD
    
    Test Basic TLOAD
    
    test_basic_tload_transaction_begin
    
    test_basic_tload_works
    
    test_basic_tload_other_after_tstore
    
    test_basic_tload_gasprice
    
    test_basic_tload_after_store
    
    Test TLOAD Calls
    
    Test TLOAD Calls
    
    test_tload_calls
    
    Test TLOAD Reentrancy
    
    Test TLOAD Reentrancy
    
    test_tload_reentrancy
    
    Test Tstorage
    
    Test Tstorage
    
    test_run_until_out_of_gas
    
    test_transient_storage_unset_values
    
    test_tload_after_tstore
    
    test_tload_after_sstore
    
    test_tload_after_tstore_is_zero
    
    test_gas_usage
    
    Test Tstorage Clear After Tx
    
    Test Tstorage Clear After Tx
    
    test_tstore_clear_after_deployment_tx
    
    test_tstore_clear_after_tx
    
    Test Tstorage CREATE Contexts
    
    Test Tstorage CREATE Contexts
    
    test_contract_creation
    
    Test Tstorage Execution Contexts
    
    Test Tstorage Execution Contexts
    
    test_subcall
    
    Test Tstorage Reentrancy Contexts
    
    Test Tstorage Reentrancy Contexts
    
    test_reentrant_call
    
    Test Tstorage SELFDESTRUCT
    
    Test Tstorage SELFDESTRUCT
    
    test_reentrant_selfdestructing_call
    
    Test TSTORE Reentrancy
    
    Test TSTORE Reentrancy
    
    test_tstore_reentrancy
  - EIP-4788 Beacon Root
    
    EIP-4788 Beacon Root
    
    Spec
    
    Checklist
    
    Test Beacon Root Contract
    
    Test Beacon Root Contract
    
    test_beacon_root_contract_calls
    
    test_beacon_root_contract_timestamps
    
    test_calldata_lengths
    
    test_beacon_root_equal_to_timestamp
    
    test_tx_to_beacon_root_contract
    
    test_invalid_beacon_root_calldata_value
    
    test_beacon_root_selfdestruct
    
    test_multi_block_beacon_root_timestamp_calls
    
    test_beacon_root_transition
    
    test_no_beacon_root_contract_at_transition
    
    test_beacon_root_contract_deploy
  - EIP-4844 Blobs
    
    EIP-4844 Blobs
    
    Spec
    
    Checklist
    
    Test Blob Txs
    
    Test Blob Txs
    
    test_insufficient_balance_blob_tx
    
    test_blob_type_tx_pre_fork
    
    test_valid_blob_tx_combinations
    
    test_invalid_tx_max_fee_per_blob_gas
    
    test_invalid_tx_max_fee_per_blob_gas_state
    
    test_invalid_normal_gas
    
    test_invalid_block_blob_count
    
    test_sufficient_balance_blob_tx
    
    test_sufficient_balance_blob_tx_pre_fund_tx
    
    test_blob_gas_subtraction_tx
    
    test_insufficient_balance_blob_tx_combinations
    
    test_invalid_tx_blob_count
    
    test_invalid_blob_hash_versioning_single_tx
    
    test_invalid_blob_hash_versioning_multiple_txs
    
    test_invalid_blob_tx_contract_creation
    
    test_blob_tx_attribute_opcodes
    
    test_blob_tx_attribute_value_opcode
    
    test_blob_tx_attribute_calldata_opcodes
    
    test_blob_tx_attribute_gasprice_opcode
    
    Test Blob Txs Full
    
    Test Blob Txs Full
    
    test_reject_valid_full_blob_in_block_rlp
    
    Test BLOBHASH Opcode
    
    Test BLOBHASH Opcode
    
    test_blobhash_gas_cost
    
    test_blobhash_scenarios
    
    test_blobhash_invalid_blob_index
    
    test_blobhash_multiple_txs_in_block
    
    Test BLOBHASH Opcode Contexts
    
    Test BLOBHASH Opcode Contexts
    
    test_blobhash_opcode_contexts
    
    test_blobhash_opcode_contexts_tx_types
    
    Test Excess Blob Gas
    
    Test Excess Blob Gas
    
    test_invalid_blob_gas_used_in_header
    
    test_invalid_negative_excess_blob_gas
    
    test_invalid_non_multiple_excess_blob_gas
    
    test_correct_excess_blob_gas_calculation
    
    test_correct_increasing_blob_gas_costs
    
    test_correct_decreasing_blob_gas_costs
    
    test_invalid_zero_excess_blob_gas_in_header
    
    test_invalid_excess_blob_gas_above_target_change
    
    test_invalid_static_excess_blob_gas
    
    test_invalid_excess_blob_gas_target_blobs_increase_from_zero
    
    test_invalid_static_excess_blob_gas_from_zero_on_blobs_above_target
    
    test_invalid_excess_blob_gas_change
    
    Test Excess Blob Gas Fork Transition
    
    Test Excess Blob Gas Fork Transition
    
    test_fork_transition_excess_blob_gas_post_blob_genesis
    
    test_invalid_pre_fork_block_with_blob_fields
    
    test_invalid_post_fork_block_without_blob_fields
    
    test_fork_transition_excess_blob_gas_at_blob_genesis
    
    Test Point Evaluation Precompile
    
    Test Point Evaluation Precompile
    
    test_external_vectors
    
    test_valid_inputs
    
    test_invalid_inputs
    
    test_call_opcode_types
    
    test_tx_entry_point
    
    test_precompile_before_fork
    
    test_precompile_during_fork
    
    Test Point Evaluation Precompile Gas
    
    Test Point Evaluation Precompile Gas
    
    test_point_evaluation_precompile_gas_usage
    
    Point Evaluation Vectors
    
    Point Evaluation Vectors
  - EIP-5656 MCOPY
    
    EIP-5656 MCOPY
    
    Checklist
    
    Test MCOPY
    
    Test MCOPY
    
    test_valid_mcopy_operations
    
    test_mcopy_on_empty_memory
    
    Test MCOPY Contexts
    
    Test MCOPY Contexts
    
    test_no_memory_corruption_on_upper_call_stack_levels
    
    test_no_memory_corruption_on_upper_create_stack_levels
    
    Test MCOPY Memory Expansion
    
    Test MCOPY Memory Expansion
    
    test_mcopy_memory_expansion
    
    test_mcopy_huge_memory_expansion
  - EIP-6780 SELFDESTRUCT
    
    EIP-6780 SELFDESTRUCT
    
    Checklist
    
    Test Dynamic CREATE2 SELFDESTRUCT Collision
    
    Test Dynamic CREATE2 SELFDESTRUCT Collision
    
    test_dynamic_create2_selfdestruct_collision
    
    test_dynamic_create2_selfdestruct_collision_two_different_transactions
    
    test_dynamic_create2_selfdestruct_collision_multi_tx
    
    Test Reentrancy SELFDESTRUCT REVERT
    
    Test Reentrancy SELFDESTRUCT REVERT
    
    test_reentrancy_selfdestruct_revert
    
    Test SELFDESTRUCT
    
    Test SELFDESTRUCT
    
    test_create_selfdestruct_same_tx
    
    test_self_destructing_initcode
    
    test_self_destructing_initcode_create_tx
    
    test_recreate_self_destructed_contract_different_txs
    
    test_selfdestruct_pre_existing
    
    test_selfdestruct_created_same_block_different_tx
    
    test_calling_from_new_contract_to_pre_existing_contract
    
    test_calling_from_pre_existing_contract_to_new_contract
    
    test_create_selfdestruct_same_tx_increased_nonce
    
    Test SELFDESTRUCT REVERT
    
    Test SELFDESTRUCT REVERT
    
    test_selfdestruct_created_in_same_tx_with_revert
    
    test_selfdestruct_not_created_in_same_tx_with_revert
  - EIP-7516 Blobgasfee
    
    EIP-7516 Blobgasfee
    
    Checklist
    
    Test Blobgasfee Opcode
    
    Test Blobgasfee Opcode
    
    test_blobbasefee_stack_overflow
    
    test_blobbasefee_out_of_gas
    
    test_blobbasefee_before_fork
    
    test_blobbasefee_during_fork
- Shanghai
  Shanghai
  - EIP-3651 Warm COINBASE
    
    EIP-3651 Warm COINBASE
    
    Spec
    
    Checklist
    
    Test Warm COINBASE
    
    Test Warm COINBASE
    
    test_warm_coinbase_call_out_of_gas
    
    test_warm_coinbase_gas_usage
  - EIP-3855 PUSH0
    
    EIP-3855 PUSH0
    
    Spec
    
    Checklist
    
    Test PUSH0
    
    Test PUSH0
    
    test_push0_contracts
    
    test_push0_contract_during_call_contexts
  - EIP-3860 Initcode
    
    EIP-3860 Initcode
    
    Spec
    
    Checklist
    
    Test Initcode
    
    Test Initcode
    
    test_gas_usage
    
    test_create_opcode_initcode
    
    test_contract_creating_tx
  - EIP-4895 Withdrawals
    
    EIP-4895 Withdrawals
    
    Spec
    
    Checklist
    
    Test Withdrawals
    
    Test Withdrawals
    
    test_withdrawing_to_precompiles
    
    test_use_value_in_tx
    
    test_use_value_in_contract
    
    test_balance_within_block
    
    test_withdrawals_root
    
    test_multiple_withdrawals_same_address
    
    test_many_withdrawals
    
    test_self_destructing_account
    
    test_newly_created_contract
    
    test_no_evm_execution
    
    test_zero_amount
    
    test_large_amount
- Paris
  Paris
  - EIP-7610 CREATE Collision
    
    EIP-7610 CREATE Collision
    
    Checklist
    
    Test Initcollision
    
    Test Initcollision
    
    test_init_collision_create_tx
    
    test_init_collision_create_opcode
    
    Test REVERT In CREATE
    
    Test REVERT In CREATE
    
    test_collision_with_create2_revert_in_initcode
    
    test_create2_collision_storage
  - Security
    
    Security
    
    Test SELFDESTRUCT BALANCE Bug
    
    Test SELFDESTRUCT BALANCE Bug
    
    test_tx_selfdestruct_balance_bug
- London
  London
  - EIP-1559 Fee Market Change
    
    EIP-1559 Fee Market Change
    
    Spec
    
    Checklist
    
    Test Tx Type
    
    Test Tx Type
    
    test_eip1559_tx_validity
  - Validation
    
    Validation
    
    Test Header
    
    Test Header
    
    test_invalid_header
- Berlin
  Berlin
  - EIP-2929 Gas Cost Increases
    
    EIP-2929 Gas Cost Increases
    
    Checklist
    
    Test CALL
    
    Test CALL
    
    test_call_insufficient_balance
    
    Test Precompile Warming
    
    Test Precompile Warming
    
    test_precompile_warming
  - EIP-2930 Access List
    
    EIP-2930 Access List
    
    Spec
    
    Checklist
    
    Test ACL
    
    Test ACL
    
    test_account_storage_warm_cold_state
    
    test_transaction_intrinsic_gas_cost
    
    test_repeated_address_acl
    
    Test Tx Intrinsic Gas
    
    Test Tx Intrinsic Gas
    
    test_tx_intrinsic_gas
    
    Test Tx Type
    
    Test Tx Type
    
    test_eip2930_tx_validity
- Istanbul
  Istanbul
  - EIP-1344 CHAINID
    
    EIP-1344 CHAINID
    
    Checklist
    
    Test CHAINID
    
    Test CHAINID
    
    test_chainid
  - EIP-152 Blake2
    
    EIP-152 Blake2
    
    Spec
    
    Checklist
    
    Test Blake2
    
    Test Blake2
    
    test_blake2b
    
    test_blake2b_large_gas_limit
    
    test_blake2b_invalid_gas
    
    test_blake2b_gas_limit
    
    Test Blake2 DELEGATECALL
    
    Test Blake2 DELEGATECALL
    
    test_blake2_precompile_delegatecall
- Constantinople
  Constantinople
  - EIP-1014 CREATE2
    
    EIP-1014 CREATE2
    
    Spec
    
    Checklist
    
    Test CREATE Returndata
    
    Test CREATE Returndata
    
    test_create2_return_data
    
    Test Deterministic Deployment
    
    Test Deterministic Deployment
    
    test_deterministic_deployment
    
    Test Recreate
    
    Test Recreate
    
    test_recreate
  - EIP-145 Bitwise Shift
    
    EIP-145 Bitwise Shift
    
    Spec
    
    Checklist
    
    Test Shift Combinations
    
    Test Shift Combinations
    
    test_combinations
- Byzantium
  Byzantium
  - EIP-196 Ec ADD MUL
    
    EIP-196 Ec ADD MUL
    
    Spec
    
    Checklist
    
    Test Ecadd
    
    Test Ecadd
    
    test_valid
    
    test_invalid
    
    Test Gas
    
    Test Gas
    
    test_gas_costs
  - EIP-197 Ec Pairing
    
    EIP-197 Ec Pairing
    
    Checklist
    
    Test Gas
    
    Test Gas
    
    test_gas_costs
  - EIP-198 Modexp Precompile
    
    EIP-198 Modexp Precompile
    
    Checklist
    
    Test Modexp
    
    Test Modexp
    
    test_modexp
  - EIP-214 STATICCALL
    
    EIP-214 STATICCALL
    
    Spec
    
    Checklist
    
    Test STATICCALL
    
    Test STATICCALL
    
    test_staticcall_reentrant_call_to_precompile
    
    test_staticcall_call_to_precompile
    
    test_staticcall_nested_call_to_precompile
    
    test_staticcall_call_to_precompile_from_contract_init
- Tangerine Whistle
  Tangerine Whistle
  - EIP-150 Operation Gas Costs
    
    EIP-150 Operation Gas Costs
    
    Spec
    
    Checklist
    
    Test EIP-150 SELFDESTRUCT
    
    Test EIP-150 SELFDESTRUCT
    
    test_selfdestruct_to_account
    
    test_selfdestruct_state_access_boundary
    
    test_selfdestruct_to_precompile
    
    test_selfdestruct_to_precompile_state_access_boundary
    
    test_selfdestruct_to_system_contract
    
    test_selfdestruct_to_self
    
    test_initcode_selfdestruct_to_self
- Homestead
  Homestead
  - Coverage
    
    Coverage
    
    Test Coverage
    
    Test Coverage
    
    test_coverage
  - Identity Precompile
    
    Identity Precompile
    
    Test Identity
    
    Test Identity
    
    test_identity_return_overwrite
    
    test_identity_return_buffer_modify
- Frontier
  Frontier
  - CREATE
    
    CREATE
    
    Test CREATE Deposit Oog
    
    Test CREATE Deposit Oog
    
    test_create_deposit_oog
    
    Test CREATE One BYTE
    
    Test CREATE One BYTE
    
    test_create_one_byte
    
    Test CREATE Suicide During Init
    
    Test CREATE Suicide During Init
    
    test_create_suicide_during_transaction_create
    
    Test CREATE Suicide Store
    
    Test CREATE Suicide Store
    
    test_create_suicide_store
  - Examples
    
    Examples
    
    Test Block Intermediate State
    
    Test Block Intermediate State
    
    test_block_intermediate_state
  - Identity Precompile
    
    Identity Precompile
    
    Test Identity
    
    Test Identity
    
    test_call_identity_precompile
    
    test_call_identity_precompile_large_params
    
    Test Identity RETURNDATASIZE
    
    Test Identity RETURNDATASIZE
    
    test_identity_precompile_returndata
  - Opcodes
    
    Opcodes
    
    Test All Opcodes
    
    Test All Opcodes
    
    test_all_opcodes
    
    test_cover_revert
    
    test_stack_overflow
    
    test_constant_gas
    
    Test BLOCKHASH
    
    Test BLOCKHASH
    
    test_genesis_hash_available
    
    Test CALL
    
    Test CALL
    
    test_call_large_offset_mstore
    
    test_call_memory_expands_on_early_revert
    
    test_call_large_args_offset_size_zero
    
    Test CALL AND CALLCODE Gas Calculation
    
    Test CALL AND CALLCODE Gas Calculation
    
    test_value_transfer_gas_calculation
    
    test_value_transfer_gas_calculation_byzantium
    
    test_value_transfer_gas_calculation_homestead
    
    Test CALLDATACOPY
    
    Test CALLDATACOPY
    
    test_calldatacopy
    
    Test CALLDATALOAD
    
    Test CALLDATALOAD
    
    test_calldataload
    
    Test CALLDATASIZE
    
    Test CALLDATASIZE
    
    test_calldatasize
    
    Test Data Copy Oog
    
    Test Data Copy Oog
    
    test_calldatacopy_word_copy_oog
    
    test_codecopy_word_copy_oog
    
    Test Dup
    
    Test Dup
    
    test_dup
    
    Test EXP
    
    Test EXP
    
    test_gas
    
    Test Log
    
    Test Log
    
    test_gas
    
    Test Push
    
    Test Push
    
    test_stack_overflow
    
    test_push
    
    Test SELFDESTRUCT
    
    Test SELFDESTRUCT
    
    test_double_kill
    
    Test Swap
    
    Test Swap
    
    test_swap
    
    test_stack_underflow
  - Precompiles
    
    Precompiles
    
    Test Ecrecover
    
    Test Ecrecover
    
    test_precompiles
    
    Test Precompile Absence
    
    Test Precompile Absence
    
    test_precompile_absence
    
    Test Precompiles
    
    Test Precompiles
    
    test_precompiles
    
    Test Ripemd
    
    Test Ripemd
    
    test_precompiles
  - Scenarios
    
    Scenarios
    
    Test Scenarios
    
    Test Scenarios
    
    test_scenarios
  - Touch
    
    Touch
    
    Test Touch
    
    Test Touch
    
    test_zero_gas_price_and_touching
  - Validation
    
    Validation
    
    Test Header
    
    Test Header
    
    test_gas_limit_below_minimum
    
    Test Transaction
    
    Test Transaction
    
    test_tx_gas_limit
    
    test_tx_nonce
    
    test_sender_balance

Table of contents

spec

Spec¶

Documentation for tests/osaka/eip7823_modexp_upper_bounds/spec.py@7b8124a7.

Defines EIP-7823 specification constants and functions.

EIP-7823 Modexp Upper Bounds

Copyright: 2026, Ethereum Community

Made with Material for MkDocs