chore(tests): review prague test cases

[danceratopz]

Tracking issue for the ongoing Prague test case review:

Standalone EIPs:

• eip2537_bls_12_381_precompiles @petertdavies @spencer-tb
  • feat(tests): extra BLS12-381 coverage #1350 @spencer-tb
• eip2935_historical_block_hashes_from_state @fselmo
  • feat(tests): Additional EIP-2935 coverage #1379 from @reedsa
• eip7623_increase_calldata_cost @raxhvl
  • 🧹 chore(tests): remove duplicate fixture in EIP-7623 #1381
  • feat(tests): eip7623 - parametrize test_transaction_validity_type_* with a tx to an eoa #1422
  • bug(tests): Missing exception for EIP-7623 #1412
• eip7702_set_code_tx @fselmo
  • feat(tests): update 7702 precompile test cases #1431

Related EIPs (requests):

• eip7685_general_purpose_el_requests @felix314159 @danceratopz
  • new(tests): add more test cases for request types #1340
• eip6110_deposits @danceratopz
  • feat(tests): EIP-6110 DepositEvent layout+topic tests #1371
• eip7002_el_triggerable_withdrawals @felix314159 @spencer-tb
• eip7251_consolidations @felix314159

Hive simulators:

• Update the engine simulator for engine-prague @felix314159 @spencer-tb
• Add the execute simulator: uv run execute hive -m transaction_test (provides invalid transaction tests for 7702).
  • simulators/ethereum: add eest/execute simulator hive#1248

Interaction:

• Evaluate EIP interaction.

EIP Updates:

• Update EIP-6110: Spec parse_deposit_data EIPs#9460 @jochem-brouwer
• Update EIP-7002: Add system call gas aspects and directive for handling failures EIPs#9508 @marioevz
• Update EIP-7251: Add system call properties and directive for failure cases EIPs#9582 @marioevz

Misc

• Line coverage review of ./tests/prague with fill @danceratopz
  • feat(tests): add consolidations & withdrawal requests with call_depth>2 #1415
  • feat(tests): eip7623 - parametrize test_transaction_validity_type_* with a tx to an eoa #1422
  • feat(tests): add increased nonce with invalid nonce tests #1441
• EELS coverage review @gurukamath @danceratopz
  • https://app.codecov.io/gh/ethereum/execution-specs/tree/forks%2Fprague
• evmone coverage review @winsvega
  • https://app.codecov.io/gh/ethereum/evmone
• update ethereum/tests fixtures for use with hive @winsvega
• enable ethereum/tests with consume simulators in hive @danceratopz
• create new release v4.1.0 with additional bls vectors @spencer-tb
• run invalid block tests (Blockchainin hive against each client and verify that none of the tests pass due to a:
  • state-root-mismatch,
  • receipt-root-mismatch, or,
  • gas-used-mismatch block rejection

Release trackers:

• feat(release): tasks for version v4.2.0 #1383
• feat(release): tasks for version v4.3.0 (Vltava) #1418

Run stealth tests:

• manually?
• add CI to stealth tests?

Feel free to create sub-issues to track comments and suggestions!

[winsvega]

I did eip 7702, so better take some other eip this time

[petertdavies]

Please can I be assigned eip2537_bls_12_381_precompiles

[marioevz]

We need to add running invalid block tests in hive against each client and verify that none of the tests pass due to a state-root-mismatch, receipt-root-mismatch or gas-used-mismatch block rejection.

[marioevz]

Added a first draft of EIP checklists to follow when reviewing these and future EIP tests:
https://github.com/ethereum/execution-spec-tests/blob/eip-checklist/docs/checklist_templates/eip_testing_checklist_template.md

Document is currently live and expect changes in the following hours.

[gurukamath]

Misc

• EELS coverage review @gurukamath @danceratopz

Investigate if the following are covered

1. Type 4 transaction being sent to an empty address
2. Type 4 transaction empty authorization list
3. Type 4 transaction with tx.max_fee_per_gas < tx.max_priority_fee_per_gas
4. Type 4 transaction tx.max_fee_per_gas < block_env.base_fee_per_gas