Skip to content

Ethereum Execution Spec Tests

Spec

Initializing search

execution-spec-tests

Home
Getting Started
Writing Tests
Filling Tests
Consuming Tests
Executing Tests
Developer Doc
Changelog
Library Reference
Test Case Reference

Ethereum Execution Spec Tests

execution-spec-tests

Home
Getting Started
Getting Started
Writing Tests
Writing Tests
Filling Tests
Filling Tests
Consuming Tests
Consuming Tests
Executing Tests
Developer Doc
Developer Doc
Changelog
Library Reference
Library Reference
Test Case Reference
Test Case Reference
- Osaka
  Osaka
  - EIP-7692 EOF V1
    
    EIP-7692 EOF V1
    
    EOF Tracker
    
    EIP-3540 EOF V1
    
    EIP-3540 EOF V1
    
    Spec
    
    Test All Opcodes In Container
    
    Test All Opcodes In Container
    
    test_all_opcodes_in_container
    
    test_invalid_opcodes_after_stop
    
    test_all_invalid_terminating_opcodes
    
    test_all_unreachable_terminating_opcodes_after_stop
    
    test_all_unreachable_terminating_opcodes_before_stop
    
    test_all_opcodes_stack_underflow
    
    test_all_opcodes_stack_overflow
    
    test_truncated_data_portion_opcodes
    
    Test Container Size
    
    Test Container Size
    
    test_max_size
    
    test_above_max_size_raw
    
    test_section_after_end_of_container
    
    Test Container Validation
    
    Test Container Validation
    
    test_valid_containers
    
    test_invalid_containers
    
    test_magic_validation
    
    test_version_validation
    
    test_single_code_section
    
    test_max_code_sections
    
    Test EOF Example
    
    Test EOF Example
    
    test_eof_example
    
    test_eof_example_custom_fields
    
    test_eof_example_parameters
    
    Test Execution
    
    Test Execution
    
    test_eof_execution
    
    Test Execution Function
    
    Test Execution Function
    
    test_eof_functions_contract_call_succeed
    
    test_eof_functions_contract_call_fail
    
    test_eof_functions_contract_call_within_deep_nested
    
    Test Extcode
    
    Test Extcode
    
    test_legacy_calls_eof_sstore
    
    Test Migrated Valid INVALID
    
    Test Migrated Valid INVALID
    
    test_migrated_valid_invalid
    
    Test Opcodes In Legacy
    
    Test Opcodes In Legacy
    
    test_opcodes_in_legacy
    
    test_opcodes_in_create_tx
    
    test_opcodes_in_create_operation
    
    test_opcodes_in_eof_calling_legacy
    
    Test Section Header Body Mismatch
    
    Test Section Header Body Mismatch
    
    test_code_section_header_body_mismatch
    
    Test Section Order
    
    Test Section Order
    
    test_section_order
    
    test_container_section_order
    
    Test Section Size
    
    Test Section Size
    
    test_section_size
    
    test_truncated_container_without_data
    
    test_truncated_container_with_data
    
    EIP-4200 Relative Jumps
    
    EIP-4200 Relative Jumps
    
    Test RJUMP
    
    Test RJUMP
    
    test_rjump_negative
    
    test_rjump_positive_negative
    
    test_rjump_zero
    
    test_rjump_maxes
    
    test_rjump_max_bytecode_size
    
    test_rjump_truncated_rjump
    
    test_rjump_truncated_rjump_2
    
    test_rjump_into_header
    
    test_rjump_before_header
    
    test_rjump_into_data
    
    test_rjump_outside_other_section_before
    
    test_rjump_outside_other_section_after
    
    test_rjump_after_container
    
    test_rjump_to_code_end
    
    test_rjump_into_self_data_portion
    
    test_rjump_into_self_remaining_code
    
    test_rjump_into_self
    
    test_rjump_into_self_pre_code
    
    test_rjump_into_stack_height_diff
    
    test_rjump_into_stack_height_diff_2
    
    test_rjump_into_stack_underflow
    
    test_rjump_into_rjump
    
    test_rjump_into_rjumpi
    
    test_rjump_into_push_1
    
    test_rjump_into_push_n
    
    test_rjump_into_rjumpv
    
    test_rjump_into_callf
    
    test_rjump_into_dupn
    
    test_rjump_into_swapn
    
    test_rjump_into_exchange
    
    test_rjump_into_eofcreate
    
    test_rjump_into_returncontract
    
    test_rjump_unreachable_code
    
    test_rjump_backwards_reference_only
    
    test_rjump_backwards_illegal_stack_height
    
    test_rjump_backwards_infinite_loop
    
    Test RJUMPI
    
    Test RJUMPI
    
    test_rjumpi_condition_forwards
    
    test_rjumpi_condition_backwards
    
    test_rjumpi_condition_zero
    
    test_rjumpi_forwards
    
    test_rjumpi_backwards
    
    test_rjumpi_zero
    
    test_rjumpi_max_forward
    
    test_rjumpi_max_backward
    
    test_rjumpi_max_bytecode_size
    
    test_rjumpi_truncated
    
    test_rjumpi_truncated_2
    
    test_rjumpi_into_header
    
    test_rjumpi_jump_before_header
    
    test_rjumpi_into_data
    
    test_rjumpi_after_container
    
    test_rjumpi_to_code_end
    
    test_rjumpi_into_self_data_portion
    
    test_rjumpi_into_self
    
    test_rjumpi_into_stack_height_diff
    
    test_rjumpi_into_stack_underflow
    
    test_rjumpi_skips_stack_underflow
    
    test_rjumpi_into_rjump
    
    test_rjumpi_into_rjumpi
    
    test_rjumpi_into_push_1
    
    test_rjumpi_into_push_n
    
    test_rjumpi_into_rjumpv
    
    test_rjumpi_into_callf
    
    test_rjumpi_into_dupn
    
    test_rjumpi_into_swapn
    
    test_rjumpi_into_exchange
    
    test_rjumpi_into_eofcreate
    
    test_rjumpi_into_returncontract
    
    test_rjumpi_backwards_reference_only
    
    test_rjumpi_stack_validation
    
    test_rjumpi_at_the_end
    
    test_tangled_rjumpi
    
    test_rjumpi_backwards_onto_dup
    
    test_rjumpi_backwards_min_stack_wrong
    
    test_rjumpi_rjumpv_backwards_min_stack_wrong
    
    test_double_rjumpi_stack_underflow
    
    test_double_rjumpi_stack_height_mismatch
    
    test_double_rjumpi_invalid_max_stack_height
    
    Test RJUMPV
    
    Test RJUMPV
    
    test_rjumpv_condition
    
    test_rjumpv_forwards
    
    test_rjumpv_backwards
    
    test_rjumpv_backwards_onto_dup
    
    test_rjumpv_backwards_large_table
    
    test_rjumpv_zero
    
    test_rjumpv_size_3
    
    test_rjumpv_full_table
    
    test_rjumpv_max_forwards
    
    test_rjumpv_truncated_empty
    
    test_rjumpv_truncated
    
    test_rjumpv_into_header
    
    test_rjumpv_before_container
    
    test_rjumpv_into_data
    
    test_rjumpv_after_container
    
    test_rjumpv_at_end
    
    test_rjumpv_into_self_data_portion
    
    test_rjumpv_into_self
    
    test_rjumpv_into_stack_height_diff
    
    test_rjumpv_into_stack_underflow
    
    test_rjumpv_skips_stack_underflow
    
    test_rjumpv_into_rjump
    
    test_rjumpv_into_rjumpi
    
    test_rjumpv_into_push_1
    
    test_rjumpv_into_push_n
    
    test_rjumpv_into_rjumpv
    
    test_rjumpv_into_callf
    
    test_rjumpv_into_dupn
    
    test_rjumpv_into_swapn
    
    test_rjumpv_into_exchange
    
    test_rjumpv_into_eofcreate
    
    test_rjumpv_into_returncontract
    
    test_rjumpv_backwards_reference_only
    
    test_rjumpv_at_the_end
    
    test_rjumpv_backwards_min_stack_wrong
    
    test_rjumpv_rjumpi_backwards_min_stack_wrong
    
    test_double_rjumpv
    
    EIP-4750 Functions
    
    EIP-4750 Functions
    
    Test CALLF Execution
    
    Test CALLF Execution
    
    test_callf_factorial
    
    test_callf_fibonacci
    
    test_callf
    
    test_callf_operand_stack_size_max
    
    test_callf_operand_stack_overflow
    
    test_callf_sneaky_stack_overflow
    
    test_callf_max_stack
    
    Test Code Validation
    
    Test Code Validation
    
    test_eof_validity
    
    test_unreachable_code_sections
    
    test_callf_stack_height_limit_exceeded
    
    test_callf_stack_overflow_by_outputs
    
    test_callf_stack_overflow_by_height
    
    EIP-5450 Stack
    
    EIP-5450 Stack
    
    Test Code Validation
    
    Test Code Validation
    
    test_rjumps_callf_retf
    
    test_rjumps_jumpf_nonreturning
    
    EIP-6206 JUMPF
    
    EIP-6206 JUMPF
    
    Spec
    
    Test JUMPF Execution
    
    Test JUMPF Execution
    
    test_jumpf_forward
    
    test_jumpf_backward
    
    test_jumpf_to_self
    
    test_jumpf_too_large
    
    test_jumpf_way_too_large
    
    test_jumpf_to_nonexistent_section
    
    test_callf_to_non_returning_section
    
    test_jumpf_stack_size_1024
    
    test_jumpf_with_inputs_stack_size_1024
    
    test_jumpf_stack_size_1024_at_push
    
    test_jumpf_stack_overflow
    
    test_jumpf_with_inputs_stack_size_1024_at_push
    
    test_jumpf_with_inputs_stack_overflow
    
    Test JUMPF Stack
    
    Test JUMPF Stack
    
    test_jumpf_stack_non_returning_rules
    
    test_jumpf_stack_returning_rules
    
    test_jumpf_incompatible_outputs
    
    test_jumpf_diff_max_stack_height
    
    test_jumpf_diff_min_stack_height
    
    Test JUMPF Target
    
    Test JUMPF Target
    
    test_jumpf_target_rules
    
    test_jumpf_multi_target_rules
    
    Test Nonreturning Validation
    
    Test Nonreturning Validation
    
    test_first_section_returning
    
    test_returning_section_not_returning
    
    test_returning_section_returncontract
    
    test_retf_in_nonreturning
    
    test_jumpf_in_nonreturning
    
    EIP-663 DUPN SWAPN EXCHANGE
    
    EIP-663 DUPN SWAPN EXCHANGE
    
    Test DUPN
    
    Test DUPN
    
    test_dupn_all_valid_immediates
    
    test_dupn_stack_underflow
    
    test_dupn_stack_overflow
    
    Test EXCHANGE
    
    Test EXCHANGE
    
    test_exchange_all_valid_immediates
    
    test_exchange_all_invalid_immediates
    
    Test SWAPN
    
    Test SWAPN
    
    test_swapn_all_valid_immediates
    
    test_swapn_on_max_stack
    
    test_swapn_stack_underflow
    
    EIP-7069 EXTCALL
    
    EIP-7069 EXTCALL
    
    Spec
    
    Test ADDRESS Space Extension
    
    Test ADDRESS Space Extension
    
    test_address_space_extension
    
    Test Calldata
    
    Test Calldata
    
    test_extcalls_inputdata
    
    test_extdelegatecall_inputdata
    
    test_extstaticcall_inputdata
    
    test_calldata_remains_after_subcall
    
    test_extcalls_input_offset
    
    Test Calls
    
    Test Calls
    
    test_legacy_calls_eof_sstore
    
    test_legacy_calls_eof_mstore
    
    test_eof_calls_eof_sstore
    
    test_eof_calls_eof_mstore
    
    test_eof_calls_precompile
    
    test_eof_calls_legacy_sstore
    
    test_eof_calls_legacy_mstore
    
    test_callee_fails
    
    test_callee_context
    
    test_eof_calls_eof_then_fails
    
    test_eof_calls_clear_return_buffer
    
    test_eof_calls_static_flag_with_value
    
    test_eof_calls_min_callee_gas
    
    test_eof_calls_with_value
    
    test_eof_calls_msg_depth
    
    Test Gas
    
    Test Gas
    
    test_ext_calls_gas
    
    test_transfer_gas_is_cleared
    
    Test RETURNDATACOPY Memory Expansion
    
    Test RETURNDATACOPY Memory Expansion
    
    test_returndatacopy_memory_expansion
    
    test_returndatacopy_huge_memory_expansion
    
    Test RETURNDATALOAD
    
    Test RETURNDATALOAD
    
    test_returndatacopy_handling
    
    test_returndataload_handling
    
    test_returndatacopy_oob
    
    EIP-7480 Data Section
    
    EIP-7480 Data Section
    
    Spec
    
    Test Code Validation
    
    Test Code Validation
    
    test_legacy_initcode_valid_eof_v1_contract
    
    test_legacy_initcode_invalid_eof_v1_contract
    
    Test Data Opcodes
    
    Test Data Opcodes
    
    test_data_section_succeed
    
    Test DATACOPY Memory Expansion
    
    Test DATACOPY Memory Expansion
    
    test_datacopy_memory_expansion
    
    test_datacopy_huge_memory_expansion
    
    EIP-7620 EOF CREATE
    
    EIP-7620 EOF CREATE
    
    Spec
    
    Test EOFCREATE
    
    Test EOFCREATE
    
    test_simple_eofcreate
    
    test_eofcreate_then_call
    
    test_auxdata_variations
    
    test_calldata
    
    test_eofcreate_in_initcode
    
    test_eofcreate_in_initcode_reverts
    
    test_return_data_cleared
    
    test_address_collision
    
    test_eofcreate_revert_eof_returndata
    
    test_eofcreate_invalid_index
    
    test_eofcreate_context
    
    Test EOFCREATE Failures
    
    Test EOFCREATE Failures
    
    test_initcode_revert
    
    test_initcode_aborts
    
    test_eofcreate_deploy_sizes
    
    test_eofcreate_deploy_sizes_tx
    
    test_auxdata_size_failures
    
    test_eofcreate_insufficient_stipend
    
    test_insufficient_initcode_gas
    
    test_insufficient_gas_memory_expansion
    
    test_insufficient_returncontract_auxdata_gas
    
    test_static_flag_eofcreate
    
    test_eof_eofcreate_msg_depth
    
    Test Gas
    
    Test Gas
    
    test_eofcreate_gas
    
    Test Legacy EOF Creates
    
    Test Legacy EOF Creates
    
    test_cross_version_creates_fail
    
    test_legacy_initcode_eof_contract_fails
    
    Test Memory
    
    Test Memory
    
    test_eofcreate_memory
    
    Test RETURNCONTRACT
    
    Test RETURNCONTRACT
    
    test_returncontract_valid_index_0
    
    test_returncontract_valid_index_1
    
    test_returncontract_valid_index_255
    
    test_returncontract_invalid_truncated_immediate
    
    test_returncontract_invalid_index_0
    
    test_returncontract_invalid_index_1
    
    test_returncontract_invalid_index_255
    
    test_returncontract_terminating
    
    test_returncontract_memory_expansion
    
    Test Subcontainer Validation
    
    Test Subcontainer Validation
    
    test_simple_create_from_deployed
    
    test_simple_create_from_creation
    
    test_reverting_container
    
    test_orphan_container
    
    test_container_combos_valid
    
    test_container_combos_invalid
    
    test_container_combos_deeply_nested_valid
    
    test_container_combos_deeply_nested_invalid
    
    test_container_combos_non_first_code_sections_valid
    
    test_container_combos_non_first_code_sections_invalid
    
    test_container_both_kinds_same_sub
    
    test_container_both_kinds_different_sub
    
    test_container_multiple_eofcreate_references
    
    test_container_multiple_returncontract_references
    
    test_subcontainer_wrong_eof_version
    
    test_subcontainer_wrong_size
    
    test_deep_container
    
    test_wide_container
    
    test_migrated_eofcreate
    
    test_dangling_initcode_subcontainer_bytes
    
    test_dangling_runtime_subcontainer_bytes
    
    EIP-7698 EOF Creation Tx
    
    EIP-7698 EOF Creation Tx
    
    Test EOF Creation Tx
    
    Test EOF Creation Tx
    
    test_eof_creation_tx_context
- Prague
  Prague
  - EIP-2537 BLS12 381 Precompiles
    
    EIP-2537 BLS12 381 Precompiles
    
    Spec
    
    Test BLS12_G1ADD
    
    Test BLS12_G1ADD
    
    test_valid
    
    test_invalid
    
    test_gas
    
    test_call_types
    
    Test BLS12_G1MSM
    
    Test BLS12_G1MSM
    
    test_valid
    
    test_invalid
    
    test_call_types
    
    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_invalid
    
    test_gas
    
    test_call_types
    
    Test BLS12_MAP_FP_TO_G1
    
    Test BLS12_MAP_FP_TO_G1
    
    test_valid
    
    test_invalid
    
    test_gas
    
    test_call_types
    
    Test BLS12_PAIRING_CHECK
    
    Test BLS12_PAIRING_CHECK
    
    test_valid
    
    test_invalid
    
    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_invalid_gas_g1msm
    
    test_invalid_length_g1msm
    
    test_valid_gas_g2msm
    
    test_invalid_gas_g2msm
    
    test_invalid_length_g2msm
    
    test_valid_gas_pairing
    
    test_invalid_gas_pairing
    
    test_invalid_length_pairing
    
    Vectors
    Vectors
    
    test-vectors
  - EIP-2935 Historical Block Hashes From State
    
    EIP-2935 Historical Block Hashes From State
    
    Spec
    
    Test Block Hashes
    
    Test Block Hashes
    
    test_block_hashes_history_at_transition
    
    test_block_hashes_history
    
    test_invalid_history_contract_calls
    
    test_invalid_history_contract_calls_input_size
    
    Test Contract Deployment
    
    Test Contract Deployment
    
    test_system_contract_deployment
  - EIP-6110 Deposits
    
    EIP-6110 Deposits
    
    Spec
    
    Test Deposits
    
    Test Deposits
    
    test_deposit
    
    test_deposit_negative
  - EIP-7002 El Triggerable Withdrawals
    
    EIP-7002 El Triggerable Withdrawals
    
    Spec
    
    Test Contract Deployment
    
    Test Contract Deployment
    
    test_system_contract_deployment
    
    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
    
    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
  - EIP-7623 Increase Calldata Cost
    
    EIP-7623 Increase Calldata Cost
    
    Spec
    
    Test Execution Gas
    
    Test Execution Gas
    
    test_gas_refunds_from_data_floor
    
    test_full_gas_consumption
    
    test_gas_consumption_below_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
    
    Test Deposits Withdrawals Consolidations
    
    Test Deposits Withdrawals Consolidations
    
    test_valid_deposit_withdrawal_consolidation_requests
    
    test_valid_deposit_withdrawal_consolidation_request_from_same_tx
    
    test_invalid_deposit_withdrawal_consolidation_requests
    
    Test Request Types
    
    Test Request Types
    
    test_invalid_request_type
  - EIP-7702 Set Code Tx
    
    EIP-7702 Set Code Tx
    
    Spec
    
    Test Gas
    
    Test Gas
    
    test_gas_cost
    
    test_account_warming
    
    test_intrinsic_gas_cost
    
    test_self_set_code_cost
    
    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_nonce
    
    Test Set Code Txs
    
    Test Set Code Txs
    
    test_self_sponsored_set_code
    
    test_set_code_to_sstore
    
    test_set_code_to_non_empty_storage
    
    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_set_code_to_contract_creator
    
    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_system_contract
    
    test_eoa_tx_after_set_code
    
    test_reset_code
    
    test_contract_create
    
    test_delegation_clearing
    
    test_delegation_clearing_tx_to
    
    test_delegation_clearing_and_set
    
    test_delegation_clearing_failing_tx
    
    test_deploying_delegation_designation_contract
    
    test_many_delegations
- Cancun
  Cancun
  - EIP-1153 TSTORE
    
    EIP-1153 TSTORE
    
    Spec
    
    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_transient_storage_unset_values
    
    test_tload_after_tstore
    
    test_tload_after_sstore
    
    test_tload_after_tstore_is_zero
    
    test_gas_usage
    
    test_run_until_out_of_gas
    
    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
    
    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
    
    Test Blob Txs
    
    Test Blob Txs
    
    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_insufficient_balance_blob_tx
    
    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_type_tx_pre_fork
    
    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 Excess Blob Gas
    
    Test 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_blob_gas_used_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_invalid_negative_excess_blob_gas
    
    test_invalid_non_multiple_excess_blob_gas
    
    Test Excess Blob Gas Fork Transition
    
    Test Excess Blob Gas Fork Transition
    
    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_fork_transition_excess_blob_gas_post_blob_genesis
    
    Test Point Evaluation Precompile
    
    Test Point Evaluation Precompile
    
    test_valid_inputs
    
    test_invalid_inputs
    
    test_external_vectors
    
    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
    
    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
    
    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
    
    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
    
    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 Spec
    Table of contents
    
    spec
    
    Test PUSH0
    
    Test PUSH0
    
    test_push0_contracts
    
    test_push0_contract_during_call_contexts
  - EIP-3860 Initcode
    
    EIP-3860 Initcode
    
    Spec
    
    Test Initcode
    
    Test Initcode
    
    test_contract_creating_tx
    
    test_gas_usage
    
    test_create_opcode_initcode
  - EIP-4895 Withdrawals
    
    EIP-4895 Withdrawals
    
    Spec
    
    Test Withdrawals
    
    Test Withdrawals
    
    test_use_value_in_tx
    
    test_use_value_in_contract
    
    test_balance_within_block
    
    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
    
    test_withdrawing_to_precompiles
- Paris
  Paris
  - Security
    
    Security
    
    Test SELFDESTRUCT BALANCE Bug
    
    Test SELFDESTRUCT BALANCE Bug
    
    test_tx_selfdestruct_balance_bug
- Berlin
  Berlin
  - EIP-2930 Access List
    
    EIP-2930 Access List
    
    Test ACL
    
    Test ACL
    
    test_access_list
- Istanbul
  Istanbul
  - EIP-1344 CHAINID
    
    EIP-1344 CHAINID
    
    Test CHAINID
    
    Test CHAINID
    
    test_chainid
- Constantinople
  Constantinople
  - EIP-1014 CREATE2
    
    EIP-1014 CREATE2
    
    Spec
    
    Test CREATE Returndata
    
    Test CREATE Returndata
    
    test_create2_return_data
    
    Test Recreate
    
    Test Recreate
    
    test_recreate
- Byzantium
  Byzantium
  - EIP-198 Modexp Precompile
    
    EIP-198 Modexp Precompile
    
    Test Modexp
    
    Test Modexp
    
    test_modexp
- Homestead
  Homestead
  - Coverage
    
    Coverage
    
    Test Coverage
    
    Test Coverage
    
    test_coverage
  - Yul
    
    Yul
    
    Test Yul Example
    
    Test Yul Example
    
    test_yul
- Frontier
  Frontier
  - Examples
    
    Examples
    
    Test Block Intermediate State
    
    Test Block Intermediate State
    
    test_block_intermidiate_state
  - Opcodes
    
    Opcodes
    
    Test All Opcodes
    
    Test All Opcodes
    
    test_all_opcodes
    
    test_cover_revert
    
    Test CALL AND CALLCODE Gas Calculation
    
    Test CALL AND CALLCODE Gas Calculation
    
    test_value_transfer_gas_calculation
    
    Test Dup
    
    Test Dup
    
    test_dup
    
    Test Push
    
    Test Push
    
    test_push
    
    test_stack_overflow
    
    Test SELFDESTRUCT
    
    Test SELFDESTRUCT
    
    test_double_kill
  - Precompiles
    
    Precompiles
    
    Test Precompile Absence
    
    Test Precompile Absence
    
    test_precompile_absence

Table of contents

spec

Spec¶

Documentation for tests/shanghai/eip3855_push0/spec.py@5e6a38e0.

Defines EIP-3855 specification constants and functions.

Copyright: 2024, Ethereum Community

Made with Material for MkDocs