test_double_auth()

Documentation for tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_double_auth@e9958ed2.

Generate fixtures for these test cases for Osaka with:

fill -v tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_double_auth --fork Osaka

Only the last auth works, but first auth still charges the gas.

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

@pytest.mark.xdist_group(name="bigmem")
@pytest.mark.valid_from("Prague")
@pytest.mark.parametrize(
    "first_delegation", [DelegationTo.CONTRACT_A, DelegationTo.CONTRACT_B, DelegationTo.RESET]
)
@pytest.mark.parametrize(
    "second_delegation", [DelegationTo.CONTRACT_A, DelegationTo.CONTRACT_B, DelegationTo.RESET]
)
def test_double_auth(
    state_test: StateTestFiller,
    pre: Alloc,
    first_delegation: DelegationTo,
    second_delegation: DelegationTo,
) -> None:
    """Only the last auth works, but first auth still charges the gas."""
    env = Environment()
    sender = pre.fund_eoa()
    pointer = pre.fund_eoa()

    storage = Storage()
    contract_a = pre.deploy_contract(
        code=Op.SSTORE(
            storage.store_next(
                1 if second_delegation == DelegationTo.CONTRACT_A else 0, "code_a_worked"
            ),
            1,
        )
    )
    contract_b = pre.deploy_contract(
        code=Op.SSTORE(
            storage.store_next(
                2 if second_delegation == DelegationTo.CONTRACT_B else 0, "code_b_worked"
            ),
            2,
        )
    )

    main_storage = Storage()
    contract_main = pre.deploy_contract(code=Op.CALL(address=pointer))

    tx = Transaction(
        to=contract_main,
        gas_limit=200_000,
        data=b"",
        value=0,
        sender=sender,
        authorization_list=[
            AuthorizationTuple(
                address=(
                    contract_a
                    if first_delegation == DelegationTo.CONTRACT_A
                    else contract_b
                    if first_delegation == DelegationTo.CONTRACT_B
                    else 0
                ),
                nonce=0,
                signer=pointer,
            ),
            AuthorizationTuple(
                address=(
                    contract_a
                    if second_delegation == DelegationTo.CONTRACT_A
                    else contract_b
                    if second_delegation == DelegationTo.CONTRACT_B
                    else 0
                ),
                nonce=1,
                signer=pointer,
            ),
        ],
    )
    post = {
        pointer: (
            Account(
                storage=storage,
                code=(
                    Spec.delegation_designation(contract_a)
                    if second_delegation == DelegationTo.CONTRACT_A
                    else (
                        Spec.delegation_designation(contract_b)
                        if second_delegation == DelegationTo.CONTRACT_B
                        else bytes()
                    )
                ),
            )
        ),
        contract_main: Account(storage=main_storage),
    }
    state_test(
        env=env,
        pre=pre,
        post=post,
        tx=tx,
    )

Parametrized Test Cases

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

Fork All Forks Prague Osaka

Fixture Type All Fixture Types state_test blockchain_test

Test ID (Abbreviated)	second_delegation	first_delegation
...fork_Prague-state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_A
...fork_Prague-state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_B
...fork_Prague-state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.RESET	DelegationTo.CONTRACT_A	DelegationTo.RESET
...fork_Prague-state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_A
...fork_Prague-state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_B
...fork_Prague-state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.RESET	DelegationTo.CONTRACT_B	DelegationTo.RESET
...fork_Prague-state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.RESET	DelegationTo.CONTRACT_A
...fork_Prague-state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.RESET	DelegationTo.CONTRACT_B
...fork_Prague-state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.RESET	DelegationTo.RESET	DelegationTo.RESET
...fork_Prague-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_A
...fork_Prague-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_B
...fork_Prague-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.RESET	DelegationTo.CONTRACT_A	DelegationTo.RESET
...fork_Prague-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_A
...fork_Prague-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_B
...fork_Prague-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.RESET	DelegationTo.CONTRACT_B	DelegationTo.RESET
...fork_Prague-blockchain_test_from_state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.RESET	DelegationTo.CONTRACT_A
...fork_Prague-blockchain_test_from_state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.RESET	DelegationTo.CONTRACT_B
...fork_Prague-blockchain_test_from_state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.RESET	DelegationTo.RESET	DelegationTo.RESET
...fork_Osaka-state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_A
...fork_Osaka-state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_B
...fork_Osaka-state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.RESET	DelegationTo.CONTRACT_A	DelegationTo.RESET
...fork_Osaka-state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_A
...fork_Osaka-state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_B
...fork_Osaka-state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.RESET	DelegationTo.CONTRACT_B	DelegationTo.RESET
...fork_Osaka-state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.RESET	DelegationTo.CONTRACT_A
...fork_Osaka-state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.RESET	DelegationTo.CONTRACT_B
...fork_Osaka-state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.RESET	DelegationTo.RESET	DelegationTo.RESET
...fork_Osaka-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_A
...fork_Osaka-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_B
...fork_Osaka-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_A-first_delegation_DelegationTo.RESET	DelegationTo.CONTRACT_A	DelegationTo.RESET
...fork_Osaka-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_A
...fork_Osaka-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_B	DelegationTo.CONTRACT_B
...fork_Osaka-blockchain_test_from_state_test-second_delegation_DelegationTo.CONTRACT_B-first_delegation_DelegationTo.RESET	DelegationTo.CONTRACT_B	DelegationTo.RESET
...fork_Osaka-blockchain_test_from_state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.CONTRACT_A	DelegationTo.RESET	DelegationTo.CONTRACT_A
...fork_Osaka-blockchain_test_from_state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.CONTRACT_B	DelegationTo.RESET	DelegationTo.CONTRACT_B
...fork_Osaka-blockchain_test_from_state_test-second_delegation_DelegationTo.RESET-first_delegation_DelegationTo.RESET	DelegationTo.RESET	DelegationTo.RESET