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@88e9fb8f.

Generate fixtures for these test cases for Osaka with:

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

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

Source code in tests/prague/eip7702_set_code_tx/test_set_code_txs.py 
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
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
@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,
) -> None:
    """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