Skip to content

test_set_code_to_sstore()

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

Generate fixtures for these test cases for Prague with:

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

Test the executing a simple SSTORE in a set-code transaction.

Source code in tests/prague/eip7702_set_code_tx/test_set_code_txs.py
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
@pytest.mark.parametrize(
    "eoa_balance,self_sponsored",
    [
        pytest.param(0, False, id="zero_balance_authority"),
        pytest.param(1, False, id="one_wei_balance_authority"),
        pytest.param(None, True, id="self_sponsored_tx"),
    ],
)
@pytest.mark.parametrize(
    "tx_value",
    [0, 1],
)
@pytest.mark.parametrize(
    "suffix,succeeds",
    [
        pytest.param(Op.STOP, True, id="stop"),
        pytest.param(Op.RETURN(0, 0), True, id="return"),
        pytest.param(Op.REVERT(0, 0), False, id="revert"),
        pytest.param(Op.INVALID, False, id="invalid"),
        pytest.param(Om.OOG + Op.STOP, False, id="out-of-gas"),
    ],
)
def test_set_code_to_sstore(
    state_test: StateTestFiller,
    pre: Alloc,
    suffix: Bytecode,
    succeeds: bool,
    tx_value: int,
    eoa_balance: int,
    self_sponsored: bool,
):
    """Test the executing a simple SSTORE in a set-code transaction."""
    storage = Storage()
    if self_sponsored:
        sender = pre.fund_eoa()
        auth_signer = sender
    else:
        auth_signer = pre.fund_eoa(eoa_balance)
        sender = pre.fund_eoa()

    set_code = (
        Op.SSTORE(storage.store_next(sender), Op.ORIGIN)
        + Op.SSTORE(storage.store_next(sender), Op.CALLER)
        + Op.SSTORE(storage.store_next(tx_value), Op.CALLVALUE)
        + suffix
    )
    set_code_to_address = pre.deploy_contract(
        set_code,
    )

    tx = Transaction(
        gas_limit=500_000,
        to=auth_signer,
        value=tx_value,
        authorization_list=[
            AuthorizationTuple(
                address=set_code_to_address,
                nonce=1 if self_sponsored else 0,
                signer=auth_signer,
            ),
        ],
        sender=sender,
    )

    state_test(
        env=Environment(),
        pre=pre,
        tx=tx,
        post={
            set_code_to_address: Account(
                storage={k: 0 for k in storage},
            ),
            auth_signer: Account(
                nonce=2 if self_sponsored else 1,
                code=Spec.delegation_designation(set_code_to_address),
                storage=storage if succeeds else {},
            ),
        },
    )

Parametrized Test Cases

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

Test ID (Abbreviated) suffix succeeds tx_value eoa_balance self_sponsored
...fork_Prague-state_test-stop-tx_value_0-zero_balance_authority STOP True 0 0 False
...fork_Prague-state_test-stop-tx_value_0-one_wei_balance_authority STOP True 0 1 False
...fork_Prague-state_test-stop-tx_value_0-self_sponsored_tx STOP True 0 None True
...fork_Prague-state_test-stop-tx_value_1-zero_balance_authority STOP True 1 0 False
...fork_Prague-state_test-stop-tx_value_1-one_wei_balance_authority STOP True 1 1 False
...fork_Prague-state_test-stop-tx_value_1-self_sponsored_tx STOP True 1 None True
...fork_Prague-state_test-return-tx_value_0-zero_balance_authority True 0 0 False
...fork_Prague-state_test-return-tx_value_0-one_wei_balance_authority True 0 1 False
...fork_Prague-state_test-return-tx_value_0-self_sponsored_tx True 0 None True
...fork_Prague-state_test-return-tx_value_1-zero_balance_authority True 1 0 False
...fork_Prague-state_test-return-tx_value_1-one_wei_balance_authority True 1 1 False
...fork_Prague-state_test-return-tx_value_1-self_sponsored_tx True 1 None True
...fork_Prague-state_test-revert-tx_value_0-zero_balance_authority False 0 0 False
...fork_Prague-state_test-revert-tx_value_0-one_wei_balance_authority False 0 1 False
...fork_Prague-state_test-revert-tx_value_0-self_sponsored_tx False 0 None True
...fork_Prague-state_test-revert-tx_value_1-zero_balance_authority False 1 0 False
...fork_Prague-state_test-revert-tx_value_1-one_wei_balance_authority False 1 1 False
...fork_Prague-state_test-revert-tx_value_1-self_sponsored_tx False 1 None True
...fork_Prague-state_test-invalid-tx_value_0-zero_balance_authority INVALID False 0 0 False
...fork_Prague-state_test-invalid-tx_value_0-one_wei_balance_authority INVALID False 0 1 False
...fork_Prague-state_test-invalid-tx_value_0-self_sponsored_tx INVALID False 0 None True
...fork_Prague-state_test-invalid-tx_value_1-zero_balance_authority INVALID False 1 0 False
...fork_Prague-state_test-invalid-tx_value_1-one_wei_balance_authority INVALID False 1 1 False
...fork_Prague-state_test-invalid-tx_value_1-self_sponsored_tx INVALID False 1 None True
...fork_Prague-state_test-out-of-gas-tx_value_0-zero_balance_authority False 0 0 False
...fork_Prague-state_test-out-of-gas-tx_value_0-one_wei_balance_authority False 0 1 False
...fork_Prague-state_test-out-of-gas-tx_value_0-self_sponsored_tx False 0 None True
...fork_Prague-state_test-out-of-gas-tx_value_1-zero_balance_authority False 1 0 False
...fork_Prague-state_test-out-of-gas-tx_value_1-one_wei_balance_authority False 1 1 False
...fork_Prague-state_test-out-of-gas-tx_value_1-self_sponsored_tx False 1 None True
...fork_Prague-blockchain_test_from_state_test-stop-tx_value_0-zero_balance_authority STOP True 0 0 False
...fork_Prague-blockchain_test_from_state_test-stop-tx_value_0-one_wei_balance_authority STOP True 0 1 False
...fork_Prague-blockchain_test_from_state_test-stop-tx_value_0-self_sponsored_tx STOP True 0 None True
...fork_Prague-blockchain_test_from_state_test-stop-tx_value_1-zero_balance_authority STOP True 1 0 False
...fork_Prague-blockchain_test_from_state_test-stop-tx_value_1-one_wei_balance_authority STOP True 1 1 False
...fork_Prague-blockchain_test_from_state_test-stop-tx_value_1-self_sponsored_tx STOP True 1 None True
...fork_Prague-blockchain_test_from_state_test-return-tx_value_0-zero_balance_authority True 0 0 False
...fork_Prague-blockchain_test_from_state_test-return-tx_value_0-one_wei_balance_authority True 0 1 False
...fork_Prague-blockchain_test_from_state_test-return-tx_value_0-self_sponsored_tx True 0 None True
...fork_Prague-blockchain_test_from_state_test-return-tx_value_1-zero_balance_authority True 1 0 False
...fork_Prague-blockchain_test_from_state_test-return-tx_value_1-one_wei_balance_authority True 1 1 False
...fork_Prague-blockchain_test_from_state_test-return-tx_value_1-self_sponsored_tx True 1 None True
...fork_Prague-blockchain_test_from_state_test-revert-tx_value_0-zero_balance_authority False 0 0 False
...fork_Prague-blockchain_test_from_state_test-revert-tx_value_0-one_wei_balance_authority False 0 1 False
...fork_Prague-blockchain_test_from_state_test-revert-tx_value_0-self_sponsored_tx False 0 None True
...fork_Prague-blockchain_test_from_state_test-revert-tx_value_1-zero_balance_authority False 1 0 False
...fork_Prague-blockchain_test_from_state_test-revert-tx_value_1-one_wei_balance_authority False 1 1 False
...fork_Prague-blockchain_test_from_state_test-revert-tx_value_1-self_sponsored_tx False 1 None True
...fork_Prague-blockchain_test_from_state_test-invalid-tx_value_0-zero_balance_authority INVALID False 0 0 False
...fork_Prague-blockchain_test_from_state_test-invalid-tx_value_0-one_wei_balance_authority INVALID False 0 1 False
...fork_Prague-blockchain_test_from_state_test-invalid-tx_value_0-self_sponsored_tx INVALID False 0 None True
...fork_Prague-blockchain_test_from_state_test-invalid-tx_value_1-zero_balance_authority INVALID False 1 0 False
...fork_Prague-blockchain_test_from_state_test-invalid-tx_value_1-one_wei_balance_authority INVALID False 1 1 False
...fork_Prague-blockchain_test_from_state_test-invalid-tx_value_1-self_sponsored_tx INVALID False 1 None True
...fork_Prague-blockchain_test_from_state_test-out-of-gas-tx_value_0-zero_balance_authority False 0 0 False
...fork_Prague-blockchain_test_from_state_test-out-of-gas-tx_value_0-one_wei_balance_authority False 0 1 False
...fork_Prague-blockchain_test_from_state_test-out-of-gas-tx_value_0-self_sponsored_tx False 0 None True
...fork_Prague-blockchain_test_from_state_test-out-of-gas-tx_value_1-zero_balance_authority False 1 0 False
...fork_Prague-blockchain_test_from_state_test-out-of-gas-tx_value_1-one_wei_balance_authority False 1 1 False
...fork_Prague-blockchain_test_from_state_test-out-of-gas-tx_value_1-self_sponsored_tx False 1 None True
...fork_Osaka-state_test-stop-tx_value_0-zero_balance_authority STOP True 0 0 False
...fork_Osaka-state_test-stop-tx_value_0-one_wei_balance_authority STOP True 0 1 False
...fork_Osaka-state_test-stop-tx_value_0-self_sponsored_tx STOP True 0 None True
...fork_Osaka-state_test-stop-tx_value_1-zero_balance_authority STOP True 1 0 False
...fork_Osaka-state_test-stop-tx_value_1-one_wei_balance_authority STOP True 1 1 False
...fork_Osaka-state_test-stop-tx_value_1-self_sponsored_tx STOP True 1 None True
...fork_Osaka-state_test-return-tx_value_0-zero_balance_authority True 0 0 False
...fork_Osaka-state_test-return-tx_value_0-one_wei_balance_authority True 0 1 False
...fork_Osaka-state_test-return-tx_value_0-self_sponsored_tx True 0 None True
...fork_Osaka-state_test-return-tx_value_1-zero_balance_authority True 1 0 False
...fork_Osaka-state_test-return-tx_value_1-one_wei_balance_authority True 1 1 False
...fork_Osaka-state_test-return-tx_value_1-self_sponsored_tx True 1 None True
...fork_Osaka-state_test-revert-tx_value_0-zero_balance_authority False 0 0 False
...fork_Osaka-state_test-revert-tx_value_0-one_wei_balance_authority False 0 1 False
...fork_Osaka-state_test-revert-tx_value_0-self_sponsored_tx False 0 None True
...fork_Osaka-state_test-revert-tx_value_1-zero_balance_authority False 1 0 False
...fork_Osaka-state_test-revert-tx_value_1-one_wei_balance_authority False 1 1 False
...fork_Osaka-state_test-revert-tx_value_1-self_sponsored_tx False 1 None True
...fork_Osaka-state_test-invalid-tx_value_0-zero_balance_authority INVALID False 0 0 False
...fork_Osaka-state_test-invalid-tx_value_0-one_wei_balance_authority INVALID False 0 1 False
...fork_Osaka-state_test-invalid-tx_value_0-self_sponsored_tx INVALID False 0 None True
...fork_Osaka-state_test-invalid-tx_value_1-zero_balance_authority INVALID False 1 0 False
...fork_Osaka-state_test-invalid-tx_value_1-one_wei_balance_authority INVALID False 1 1 False
...fork_Osaka-state_test-invalid-tx_value_1-self_sponsored_tx INVALID False 1 None True
...fork_Osaka-state_test-out-of-gas-tx_value_0-zero_balance_authority False 0 0 False
...fork_Osaka-state_test-out-of-gas-tx_value_0-one_wei_balance_authority False 0 1 False
...fork_Osaka-state_test-out-of-gas-tx_value_0-self_sponsored_tx False 0 None True
...fork_Osaka-state_test-out-of-gas-tx_value_1-zero_balance_authority False 1 0 False
...fork_Osaka-state_test-out-of-gas-tx_value_1-one_wei_balance_authority False 1 1 False
...fork_Osaka-state_test-out-of-gas-tx_value_1-self_sponsored_tx False 1 None True
...fork_Osaka-blockchain_test_from_state_test-stop-tx_value_0-zero_balance_authority STOP True 0 0 False
...fork_Osaka-blockchain_test_from_state_test-stop-tx_value_0-one_wei_balance_authority STOP True 0 1 False
...fork_Osaka-blockchain_test_from_state_test-stop-tx_value_0-self_sponsored_tx STOP True 0 None True
...fork_Osaka-blockchain_test_from_state_test-stop-tx_value_1-zero_balance_authority STOP True 1 0 False
...fork_Osaka-blockchain_test_from_state_test-stop-tx_value_1-one_wei_balance_authority STOP True 1 1 False
...fork_Osaka-blockchain_test_from_state_test-stop-tx_value_1-self_sponsored_tx STOP True 1 None True
...fork_Osaka-blockchain_test_from_state_test-return-tx_value_0-zero_balance_authority True 0 0 False
...fork_Osaka-blockchain_test_from_state_test-return-tx_value_0-one_wei_balance_authority True 0 1 False
...fork_Osaka-blockchain_test_from_state_test-return-tx_value_0-self_sponsored_tx True 0 None True
...fork_Osaka-blockchain_test_from_state_test-return-tx_value_1-zero_balance_authority True 1 0 False
...fork_Osaka-blockchain_test_from_state_test-return-tx_value_1-one_wei_balance_authority True 1 1 False
...fork_Osaka-blockchain_test_from_state_test-return-tx_value_1-self_sponsored_tx True 1 None True
...fork_Osaka-blockchain_test_from_state_test-revert-tx_value_0-zero_balance_authority False 0 0 False
...fork_Osaka-blockchain_test_from_state_test-revert-tx_value_0-one_wei_balance_authority False 0 1 False
...fork_Osaka-blockchain_test_from_state_test-revert-tx_value_0-self_sponsored_tx False 0 None True
...fork_Osaka-blockchain_test_from_state_test-revert-tx_value_1-zero_balance_authority False 1 0 False
...fork_Osaka-blockchain_test_from_state_test-revert-tx_value_1-one_wei_balance_authority False 1 1 False
...fork_Osaka-blockchain_test_from_state_test-revert-tx_value_1-self_sponsored_tx False 1 None True
...fork_Osaka-blockchain_test_from_state_test-invalid-tx_value_0-zero_balance_authority INVALID False 0 0 False
...fork_Osaka-blockchain_test_from_state_test-invalid-tx_value_0-one_wei_balance_authority INVALID False 0 1 False
...fork_Osaka-blockchain_test_from_state_test-invalid-tx_value_0-self_sponsored_tx INVALID False 0 None True
...fork_Osaka-blockchain_test_from_state_test-invalid-tx_value_1-zero_balance_authority INVALID False 1 0 False
...fork_Osaka-blockchain_test_from_state_test-invalid-tx_value_1-one_wei_balance_authority INVALID False 1 1 False
...fork_Osaka-blockchain_test_from_state_test-invalid-tx_value_1-self_sponsored_tx INVALID False 1 None True
...fork_Osaka-blockchain_test_from_state_test-out-of-gas-tx_value_0-zero_balance_authority False 0 0 False
...fork_Osaka-blockchain_test_from_state_test-out-of-gas-tx_value_0-one_wei_balance_authority False 0 1 False
...fork_Osaka-blockchain_test_from_state_test-out-of-gas-tx_value_0-self_sponsored_tx False 0 None True
...fork_Osaka-blockchain_test_from_state_test-out-of-gas-tx_value_1-zero_balance_authority False 1 0 False
...fork_Osaka-blockchain_test_from_state_test-out-of-gas-tx_value_1-one_wei_balance_authority False 1 1 False
...fork_Osaka-blockchain_test_from_state_test-out-of-gas-tx_value_1-self_sponsored_tx False 1 None True