Skip to content

test_ext_code_on_set_code()

Documentation for tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_ext_code_on_set_code@21fb11c8.

Generate fixtures for these test cases for Prague with:

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

Test different ext*code operations on a set-code address.

Source code in tests/prague/eip7702_set_code_tx/test_set_code_txs.py
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
@pytest.mark.parametrize(
    "balance",
    [0, 1],
)
@pytest.mark.parametrize(
    "set_code_type",
    list(AddressType),
    ids=lambda address_type: address_type.name,
)
def test_ext_code_on_set_code(
    state_test: StateTestFiller,
    pre: Alloc,
    balance: int,
    set_code_type: AddressType,
):
    """Test different ext*code operations on a set-code address."""
    auth_signer = pre.fund_eoa(balance)

    slot = count(1)
    slot_ext_code_size_result = next(slot)
    slot_ext_code_hash_result = next(slot)
    slot_ext_code_copy_result = next(slot)
    slot_ext_balance_result = next(slot)

    callee_code = (
        Op.SSTORE(slot_ext_code_size_result, Op.EXTCODESIZE(auth_signer))
        + Op.SSTORE(slot_ext_code_hash_result, Op.EXTCODEHASH(auth_signer))
        + Op.EXTCODECOPY(auth_signer, 0, 0, Op.EXTCODESIZE(auth_signer))
        + Op.SSTORE(slot_ext_code_copy_result, Op.MLOAD(0))
        + Op.SSTORE(slot_ext_balance_result, Op.BALANCE(auth_signer))
        + Op.STOP
    )
    callee_address = pre.deploy_contract(callee_code)

    set_code_to_address: Address
    set_code: Bytecode | Bytes
    match set_code_type:
        case AddressType.EMPTY_ACCOUNT:
            set_code = Bytecode()
            set_code_to_address = pre.fund_eoa(0)
        case AddressType.EOA:
            set_code = Bytecode()
            set_code_to_address = pre.fund_eoa(1)
        case AddressType.EOA_WITH_SET_CODE:
            set_code_account = pre.fund_eoa(0)
            set_code = Spec.delegation_designation(set_code_account)
            set_code_to_address = pre.fund_eoa(1, delegation=set_code_account)
        case AddressType.CONTRACT:
            set_code = Op.STOP
            set_code_to_address = pre.deploy_contract(set_code)
        case _:
            raise ValueError(f"Unsupported set code type: {set_code_type}")

    callee_storage = Storage()
    callee_storage[slot_ext_code_size_result] = len(
        Spec.delegation_designation(set_code_to_address)
    )
    callee_storage[slot_ext_code_hash_result] = Spec.delegation_designation(
        set_code_to_address
    ).keccak256()
    callee_storage[slot_ext_code_copy_result] = Hash(
        Spec.delegation_designation(set_code_to_address), right_padding=True
    )
    callee_storage[slot_ext_balance_result] = balance

    tx = Transaction(
        gas_limit=10_000_000,
        to=callee_address,
        authorization_list=[
            AuthorizationTuple(
                address=set_code_to_address,
                nonce=0,
                signer=auth_signer,
            ),
        ],
        sender=pre.fund_eoa(),
    )

    state_test(
        env=Environment(),
        pre=pre,
        tx=tx,
        post={
            set_code_to_address: (
                Account.NONEXISTENT
                if set_code_type == AddressType.EMPTY_ACCOUNT
                else Account(storage={})
            ),
            auth_signer: Account(
                nonce=1,
                code=Spec.delegation_designation(set_code_to_address),
                balance=balance,
            ),
            callee_address: Account(storage=callee_storage),
        },
    )

Parametrized Test Cases

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

Test ID (Abbreviated) set_code_type balance
...fork_Prague-state_test-EMPTY_ACCOUNT-balance_0 AddressType.EMPTY_ACCOUNT 0
...fork_Prague-state_test-EMPTY_ACCOUNT-balance_1 AddressType.EMPTY_ACCOUNT 1
...fork_Prague-state_test-EOA-balance_0 AddressType.EOA 0
...fork_Prague-state_test-EOA-balance_1 AddressType.EOA 1
...fork_Prague-state_test-EOA_WITH_SET_CODE-balance_0 AddressType.EOA_WITH_SET_CODE 0
...fork_Prague-state_test-EOA_WITH_SET_CODE-balance_1 AddressType.EOA_WITH_SET_CODE 1
...fork_Prague-state_test-CONTRACT-balance_0 AddressType.CONTRACT 0
...fork_Prague-state_test-CONTRACT-balance_1 AddressType.CONTRACT 1
...fork_Prague-blockchain_test_from_state_test-EMPTY_ACCOUNT-balance_0 AddressType.EMPTY_ACCOUNT 0
...fork_Prague-blockchain_test_from_state_test-EMPTY_ACCOUNT-balance_1 AddressType.EMPTY_ACCOUNT 1
...fork_Prague-blockchain_test_from_state_test-EOA-balance_0 AddressType.EOA 0
...fork_Prague-blockchain_test_from_state_test-EOA-balance_1 AddressType.EOA 1
...fork_Prague-blockchain_test_from_state_test-EOA_WITH_SET_CODE-balance_0 AddressType.EOA_WITH_SET_CODE 0
...fork_Prague-blockchain_test_from_state_test-EOA_WITH_SET_CODE-balance_1 AddressType.EOA_WITH_SET_CODE 1
...fork_Prague-blockchain_test_from_state_test-CONTRACT-balance_0 AddressType.CONTRACT 0
...fork_Prague-blockchain_test_from_state_test-CONTRACT-balance_1 AddressType.CONTRACT 1
...fork_Osaka-state_test-EMPTY_ACCOUNT-balance_0 AddressType.EMPTY_ACCOUNT 0
...fork_Osaka-state_test-EMPTY_ACCOUNT-balance_1 AddressType.EMPTY_ACCOUNT 1
...fork_Osaka-state_test-EOA-balance_0 AddressType.EOA 0
...fork_Osaka-state_test-EOA-balance_1 AddressType.EOA 1
...fork_Osaka-state_test-EOA_WITH_SET_CODE-balance_0 AddressType.EOA_WITH_SET_CODE 0
...fork_Osaka-state_test-EOA_WITH_SET_CODE-balance_1 AddressType.EOA_WITH_SET_CODE 1
...fork_Osaka-state_test-CONTRACT-balance_0 AddressType.CONTRACT 0
...fork_Osaka-state_test-CONTRACT-balance_1 AddressType.CONTRACT 1
...fork_Osaka-blockchain_test_from_state_test-EMPTY_ACCOUNT-balance_0 AddressType.EMPTY_ACCOUNT 0
...fork_Osaka-blockchain_test_from_state_test-EMPTY_ACCOUNT-balance_1 AddressType.EMPTY_ACCOUNT 1
...fork_Osaka-blockchain_test_from_state_test-EOA-balance_0 AddressType.EOA 0
...fork_Osaka-blockchain_test_from_state_test-EOA-balance_1 AddressType.EOA 1
...fork_Osaka-blockchain_test_from_state_test-EOA_WITH_SET_CODE-balance_0 AddressType.EOA_WITH_SET_CODE 0
...fork_Osaka-blockchain_test_from_state_test-EOA_WITH_SET_CODE-balance_1 AddressType.EOA_WITH_SET_CODE 1
...fork_Osaka-blockchain_test_from_state_test-CONTRACT-balance_0 AddressType.CONTRACT 0
...fork_Osaka-blockchain_test_from_state_test-CONTRACT-balance_1 AddressType.CONTRACT 1