test_eoa_tx_after_set_code()

Documentation for tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_eoa_tx_after_set_code@14a7429a.

Generate fixtures for these test cases for Prague with:

fill -v tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_eoa_tx_after_set_code --fork Prague

Test sending a transaction from an EOA after code has been set to the account.

Source code in tests/prague/eip7702_set_code_tx/test_set_code_txs.py

@pytest.mark.with_all_evm_code_types
@pytest.mark.with_all_tx_types(
    selector=lambda tx_type: tx_type != 4,
    marks=lambda tx_type: pytest.mark.execute(pytest.mark.skip("incompatible tx"))
    if tx_type in [0, 3]
    else None,
)
@pytest.mark.parametrize(
    "same_block",
    [
        pytest.param(
            True,
            marks=[pytest.mark.execute(pytest.mark.skip("duplicate scenario for execute"))],
            id="same_block",
        ),
        pytest.param(False, id="different_block"),
    ],
)
def test_eoa_tx_after_set_code(
    blockchain_test: BlockchainTestFiller,
    pre: Alloc,
    tx_type: int,
    fork: Fork,
    evm_code_type: EVMCodeType,
    same_block: bool,
):
    """Test sending a transaction from an EOA after code has been set to the account."""
    auth_signer = pre.fund_eoa()

    set_code = Op.SSTORE(1, Op.ADD(Op.SLOAD(1), 1)) + Op.STOP
    set_code_to_address = pre.deploy_contract(set_code)

    first_eoa_tx = Transaction(
        sender=pre.fund_eoa(),
        gas_limit=500_000,
        to=auth_signer,
        value=0,
        authorization_list=[
            AuthorizationTuple(
                address=set_code_to_address,
                nonce=0,
                signer=auth_signer,
            ),
        ],
    )
    auth_signer.nonce += 1  # type: ignore

    follow_up_eoa_txs: List[Transaction] = []
    match tx_type:
        case 0:
            follow_up_eoa_txs.extend(
                [
                    Transaction(
                        type=tx_type,
                        sender=auth_signer,
                        gas_limit=500_000,
                        to=auth_signer,
                        value=0,
                        protected=True,
                    ),
                    Transaction(
                        type=tx_type,
                        sender=auth_signer,
                        gas_limit=500_000,
                        to=auth_signer,
                        value=0,
                        protected=False,
                    ),
                ]
            )
        case 1:
            follow_up_eoa_txs.append(
                Transaction(
                    type=tx_type,
                    sender=auth_signer,
                    gas_limit=500_000,
                    to=auth_signer,
                    value=0,
                    access_list=[
                        AccessList(
                            address=auth_signer,
                            storage_keys=[1],
                        )
                    ],
                )
            )
        case 2:
            follow_up_eoa_txs.append(
                Transaction(
                    type=tx_type,
                    sender=auth_signer,
                    gas_limit=500_000,
                    to=auth_signer,
                    value=0,
                    max_fee_per_gas=1_000,
                    max_priority_fee_per_gas=1_000,
                )
            )
        case 3:
            follow_up_eoa_txs.append(
                Transaction(
                    type=tx_type,
                    sender=auth_signer,
                    gas_limit=500_000,
                    to=auth_signer,
                    value=0,
                    max_fee_per_gas=1_000,
                    max_priority_fee_per_gas=1_000,
                    max_fee_per_blob_gas=fork.min_base_fee_per_blob_gas() * 10,
                    blob_versioned_hashes=add_kzg_version(
                        [Hash(1)],
                        Spec4844.BLOB_COMMITMENT_VERSION_KZG,
                    ),
                )
            )
        case _:
            raise ValueError(f"Unsupported tx type: {tx_type}, test needs update")

    if same_block:
        blocks = [Block(txs=[first_eoa_tx] + follow_up_eoa_txs)]
    else:
        blocks = [
            Block(txs=[first_eoa_tx]),
            Block(txs=follow_up_eoa_txs),
        ]
    blockchain_test(
        pre=pre,
        blocks=blocks,
        post={
            auth_signer: Account(
                nonce=3 if tx_type == 0 else 2,
                code=Spec.delegation_designation(set_code_to_address),
                storage={1: 3 if tx_type == 0 else 2},
            ),
        },
    )

Parametrized Test Cases

The interactive table below is also available as a standalone page.

Fork All Forks Prague Osaka

Fixture Type All Fixture Types blockchain_test

Test ID (Abbreviated)	tx_type	evm_code_type	same_block
...fork_Prague-tx_type_3-evm_code_type_LEGACY-blockchain_test-same_block	3	LEGACY	True
...fork_Prague-tx_type_3-evm_code_type_LEGACY-blockchain_test-different_block	3	LEGACY	False
...fork_Prague-tx_type_2-evm_code_type_LEGACY-blockchain_test-same_block	2	LEGACY	True
...fork_Prague-tx_type_2-evm_code_type_LEGACY-blockchain_test-different_block	2	LEGACY	False
...fork_Prague-tx_type_1-evm_code_type_LEGACY-blockchain_test-same_block	1	LEGACY	True
...fork_Prague-tx_type_1-evm_code_type_LEGACY-blockchain_test-different_block	1	LEGACY	False
...fork_Prague-tx_type_0-evm_code_type_LEGACY-blockchain_test-same_block	0	LEGACY	True
...fork_Prague-tx_type_0-evm_code_type_LEGACY-blockchain_test-different_block	0	LEGACY	False
...fork_Osaka-tx_type_3-evm_code_type_LEGACY-blockchain_test-same_block	3	LEGACY	True
...fork_Osaka-tx_type_3-evm_code_type_LEGACY-blockchain_test-different_block	3	LEGACY	False
...fork_Osaka-tx_type_3-evm_code_type_EOF_V1-blockchain_test-same_block	3	EOF_V1	True
...fork_Osaka-tx_type_3-evm_code_type_EOF_V1-blockchain_test-different_block	3	EOF_V1	False
...fork_Osaka-tx_type_2-evm_code_type_LEGACY-blockchain_test-same_block	2	LEGACY	True
...fork_Osaka-tx_type_2-evm_code_type_LEGACY-blockchain_test-different_block	2	LEGACY	False
...fork_Osaka-tx_type_2-evm_code_type_EOF_V1-blockchain_test-same_block	2	EOF_V1	True
...fork_Osaka-tx_type_2-evm_code_type_EOF_V1-blockchain_test-different_block	2	EOF_V1	False
...fork_Osaka-tx_type_1-evm_code_type_LEGACY-blockchain_test-same_block	1	LEGACY	True
...fork_Osaka-tx_type_1-evm_code_type_LEGACY-blockchain_test-different_block	1	LEGACY	False
...fork_Osaka-tx_type_1-evm_code_type_EOF_V1-blockchain_test-same_block	1	EOF_V1	True
...fork_Osaka-tx_type_1-evm_code_type_EOF_V1-blockchain_test-different_block	1	EOF_V1	False
...fork_Osaka-tx_type_0-evm_code_type_LEGACY-blockchain_test-same_block	0	LEGACY	True
...fork_Osaka-tx_type_0-evm_code_type_LEGACY-blockchain_test-different_block	0	LEGACY	False
...fork_Osaka-tx_type_0-evm_code_type_EOF_V1-blockchain_test-same_block	0	EOF_V1	True
...fork_Osaka-tx_type_0-evm_code_type_EOF_V1-blockchain_test-different_block	0	EOF_V1	False