feat(tests): EIP-7691: Fork transition tests

[marioevz]

🗒️ Description

Implements fork transition tests for the blob target and max increment by EIP-7691 that occurs on the Prague activation.

Test expectation: At the first block of Prague, we use theTARGET_BLOB_GAS_PER_BLOCK,MAX_BLOB_GAS_PER_BLOCK and BLOB_BASE_FEE_UPDATE_FRACTION_PRAGUE constants in EIP-7691, just the same as we use for subsequent blocks for Prague:

tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_at_blob_genesis[fork_ShanghaiToCancunAtTime15k-max_blobs-blockchain_test]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_at_blob_genesis[fork_ShanghaiToCancunAtTime15k-max_blobs-blockchain_test_engine]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_at_blob_genesis[fork_ShanghaiToCancunAtTime15k-no_blobs-blockchain_test]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_at_blob_genesis[fork_ShanghaiToCancunAtTime15k-no_blobs-blockchain_test_engine]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_at_blob_genesis[fork_ShanghaiToCancunAtTime15k-target_blobs-blockchain_test]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_at_blob_genesis[fork_ShanghaiToCancunAtTime15k-target_blobs-blockchain_test_engine]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-max_blobs-blockchain_test]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-max_blobs-blockchain_test_engine]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-no_blobs_before-blockchain_test]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-no_blobs_before-blockchain_test_engine]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-no_blobs_after-blockchain_test]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-no_blobs_after-blockchain_test_engine]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-target_blobs-blockchain_test]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-target_blobs-blockchain_test_engine]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-single_blob_to_max_blobs-blockchain_test]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-single_blob_to_max_blobs-blockchain_test_engine]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-max_blobs_to_single_blob-blockchain_test]
tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py::test_fork_transition_excess_blob_gas_post_blob_genesis[fork_CancunToPragueAtTime15k-max_blobs_to_single_blob-blockchain_test_engi

(output generated with fill --until Prague -k test_fork_transition_excess_blob_gas --collect-only -q)

Requires #1081 Merged

🔗 Related Issues

None

✅ Checklist

• All: Set appropriate labels for the changes.
• All: Considered squashing commits to improve commit history.
• All: Added an entry to CHANGELOG.md.

[marioevz]

Documenting here the drop in coverage when comparing the generated fixtures by this PR against main:

The culprit is that we were originally sending the blob transactions to a hard-coded empty address at Address(0x100) here:

execution-spec-tests/tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py

Lines 72 to 74 in 607d1b6

	@pytest.fixture
	def destination_account() -> Address: # noqa: D103
	return Address(0x100)

And was changed in this PR to a new dynamically generated contract with a single STOP opcode here:

execution-spec-tests/tests/cancun/eip4844_blobs/test_excess_blob_gas_fork_transition.py

Lines 133 to 135 in 773e5c3

	@pytest.fixture
	def destination_account(pre: Alloc) -> Address: # noqa: D103
	return pre.deploy_contract(Op.STOP)

Since this test has nothing to do with empty accounts, I think this should be ok.

Coverage check doing its job very nicely here because if it was something else that was a bit more serious, it would have been caught here 💯

[danceratopz]

Looks great!

These tests all pass consume direct with s1na/go-ethereum@f24d6f6

Not particular to the changes here (the tests were already so): The tests include type2 tx before the transition and then type3 tx after (no type2). I wondered if we should include type2 after transition as well, in addtion to the new type3 txs?

One other comment below.

[danceratopz]

LGTM!

[marioevz]

Lost of coverage in the last commit is due to removal of Type-2 transactions, which are not the purpose of this test: