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_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_valid_forward
    
    test_rjump_valid_backward
    
    test_rjump_into_stack_height_diff
    
    test_rjump_into_stack_height_diff_2
    
    test_rjump_backward_invalid_max_stack_height
    
    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_returncode
    
    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_valid_forward
    
    test_rjumpi_valid_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_returncode
    
    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_rjumpi_backward_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_returncode
    
    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
    
    test_rjumpv_valid_forward
    
    test_rjumpv_valid_backward
    
    test_rjumpv_backward_invalid_max_stack_height
    
    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_callf_retf_memory_context
    
    Test Code Validation
    
    Test Code Validation
    
    test_eof_validity
    
    test_callf_truncated_immediate
    
    test_invalid_code_section_index
    
    test_unreachable_code_sections
    
    test_callf_stack_height_limit_exceeded
    
    test_callf_stack_overflow
    
    test_callf_stack_overflow_after_callf
    
    test_callf_stack_overflow_variable_stack
    
    test_callf_stack_overflow_variable_stack_2
    
    test_callf_stack_overflow_variable_stack_3
    
    test_callf_stack_overflow_variable_stack_4
    
    test_callf_validate_outputs
    
    test_callf_with_inputs_stack_overflow
    
    test_callf_with_inputs_stack_overflow_variable_stack
    
    test_callf_stack_overflow_by_outputs
    
    test_callf_stack_overflow_by_height
    
    test_callf_stack_underflow_examples
    
    test_returning_section_aborts
    
    EIP-5450 Stack
    
    EIP-5450 Stack
    
    Test Code Validation
    
    Test Code Validation
    
    test_rjumps_callf_retf
    
    test_rjumps_jumpf_nonreturning
    
    test_all_opcodes_stack_underflow
    
    test_stack_underflow_examples
    
    test_valid_non_constant_stack_examples
    
    test_stack_range_maximally_broad
    
    Test Execution
    
    Test Execution
    
    test_execution_at_max_stack_height
    
    EIP-6206 JUMPF
    
    EIP-6206 JUMPF
    
    Spec
    
    Test JUMPF Execution
    
    Test JUMPF Execution
    
    test_jumpf_forward
    
    test_jumpf_to_retf
    
    test_jumpf_to_self
    
    test_jumpf_and_retf
    
    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_infinite_loop
    
    test_jumpf_memory_context
    
    test_callf_jumpf_retf_memory_context
    
    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_self_variadic_stack_overflow
    
    test_jumpf_variadic_stack_overflow
    
    test_jumpf_with_inputs_stack_overflow
    
    test_jumpf_with_inputs_stack_overflow_variable_stack
    
    Test JUMPF Target
    
    Test JUMPF Target
    
    test_jumpf_target_rules
    
    test_jumpf_multi_target_rules
    
    Test JUMPF Validation
    
    Test JUMPF Validation
    
    test_returning_jumpf
    
    test_invalid_code_section_index
    
    test_returning_section_aborts_jumpf
    
    test_jumpf_self_stack_overflow
    
    test_jumpf_other_stack_overflow
    
    test_jumpf_to_non_returning
    
    test_jumpf_to_non_returning_variable_stack
    
    test_jumpf_to_returning
    
    test_jumpf_to_returning_variable_stack_1
    
    test_jumpf_to_returning_variable_stack_2
    
    test_jumpf_to_returning_variable_stack_3
    
    test_jumpf_stack_underflow_examples
    
    Test Nonreturning Validation
    
    Test Nonreturning Validation
    
    test_first_section_returning
    
    test_first_section_with_inputs
    
    test_returning_section_not_returning
    
    test_returning_section_returncode
    
    test_retf_in_nonreturning
    
    test_jumpf_in_nonreturning
    
    test_callf_to_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_dupn_simple
    
    Test EXCHANGE
    
    Test EXCHANGE
    
    test_exchange_all_valid_immediates
    
    test_exchange_stack_underflow
    
    test_exchange_simple
    
    Test SWAPN
    
    Test SWAPN
    
    test_swapn_all_valid_immediates
    
    test_swapn_on_max_stack
    
    test_swapn_stack_underflow
    
    test_swapn_simple
    
    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_extdelegate_call_targets
    
    Test Gas
    
    Test Gas
    
    test_ext_calls_gas
    
    test_transfer_gas_is_cleared
    
    test_late_account_create
    
    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_valid_containers_with_data_section
    
    test_invalid_containers_with_data_section
    
    test_dataloadn_truncated_immediate
    
    Test Data Opcodes
    
    Test Data Opcodes
    
    test_dataloadn
    
    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_dataload
    
    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_invalid_truncated_immediate
    
    test_eofcreate_truncated_container
    
    test_eofcreate_context
    
    test_eofcreate_memory_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_returncode_auxdata_gas
    
    test_static_flag_eofcreate
    
    test_eof_eofcreate_msg_depth
    
    test_reentrant_eofcreate
    
    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 RETURNCODE
    
    Test RETURNCODE
    
    test_returncode_valid_index_0
    
    test_returncode_valid_index_1
    
    test_returncode_valid_index_255
    
    test_returncode_invalid_truncated_immediate
    
    test_returncode_invalid_index_0
    
    test_returncode_invalid_index_1
    
    test_returncode_invalid_index_255
    
    test_returncode_terminating
    
    test_returncode_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_ambiguous_kind
    
    test_container_both_kinds_different_sub
    
    test_container_multiple_eofcreate_references
    
    test_container_multiple_returncode_references
    
    test_subcontainer_wrong_eof_version
    
    test_subcontainer_wrong_size
    
    test_deep_container
    
    test_deep_container_initcode
    
    test_wide_container
    
    test_migrated_eofcreate
    
    test_dangling_initcode_subcontainer_bytes
    
    test_dangling_runtime_subcontainer_bytes
    
    EIP-7873 Tx CREATE
    
    EIP-7873 Tx CREATE
    
    Spec
    
    Test Creation Tx
    
    Test Creation Tx
    
    test_legacy_create_tx_legacy_initcode_eof_bytecode
    
    test_legacy_create_tx_eof_initcode
    
    Test TXCREATE
    
    Test TXCREATE
    
    test_simple_txcreate
    
    test_txcreate_then_dataload
    
    test_txcreate_then_call
    
    test_auxdata_variations
    
    test_calldata
    
    test_txcreate_in_initcode
    
    test_return_data_cleared
    
    test_address_collision
    
    test_txcreate_revert_eof_returndata
    
    test_txcreate_context
    
    test_txcreate_memory_context
    
    test_short_data_subcontainer
    
    Test TXCREATE Failures
    
    Test TXCREATE Failures
    
    test_initcode_revert
    
    test_txcreate_invalid_hash
    
    test_initcode_aborts
    
    test_txcreate_deploy_sizes
    
    test_auxdata_size_failures
    
    test_txcreate_insufficient_stipend
    
    test_insufficient_initcode_gas
    
    test_insufficient_gas_memory_expansion
    
    test_insufficient_returncode_auxdata_gas
    
    test_static_flag_txcreate
    
    test_eof_txcreate_msg_depth
    
    test_reentrant_txcreate
    
    test_invalid_container_deployment
- 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_multi_pair_invalid_inf
    
    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_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
  - EIP-6110 Deposits
    
    EIP-6110 Deposits
    
    Spec
    
    Test Deposits
    
    Test Deposits
    
    test_deposit
    
    test_deposit_negative
    
    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
    
    Test Contract Deployment
    
    Test Contract Deployment
    
    test_system_contract_deployment
    
    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
    
    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 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
    
    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
    
    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
    
    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_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_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_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_many_delegations
    
    test_invalid_transaction_after_authorization
    
    test_authorization_reusing_nonce
    
    test_set_code_from_account_with_non_delegating_code
    
    test_set_code_transaction_fee_validations
    
    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_eof
    
    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
- 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
    
    Test With EOF
    
    Test With EOF
    
    test_legacy_create_edge_code_size
  - 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
  - EIP-152 Blake2
    
    EIP-152 Blake2
    
    Spec
    
    Test Blake2
    
    Test Blake2
    
    test_blake2b
    
    test_blake2b_invalid_gas
    
    test_blake2b_gas_limit
    
    test_blake2b_large_gas_limit
    
    Test Blake2 DELEGATECALL
    
    Test Blake2 DELEGATECALL
    
    test_blake2_precompile_delegatecall
- 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 CALLDATACOPY
    
    Test CALLDATACOPY
    
    test_calldatacopy
    
    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
    
    Test Precompiles
    
    Test Precompiles
    
    test_precompiles

Table of contents

spec

Spec¶

Documentation for tests/shanghai/eip3855_push0/spec.py@v4.3.0.

Defines EIP-3855 specification constants and functions.

Copyright: 2024, Ethereum Community

Made with Material for MkDocs