wip: 3rd test-case

ethereum · May 11, 2023 · 0963195 · 0963195
1 parent 3979889
commit 0963195
Showing 1 changed file with 86 additions and 0 deletions.
diff --git a/fillers/eips/eip6780/eip6780.py b/fillers/eips/eip6780/eip6780.py
@@ -4,6 +4,7 @@
 from typing import Dict
 
 from ethereum_test_forks import Cancun
+from ethereum_test_tools.vm.opcode import Opcodes as Op
 
 from ethereum_test_tools import (
     Account,
@@ -22,6 +23,91 @@
 REFERENCE_SPEC_GIT_PATH = "EIPS/eip-6780.md"
 REFERENCE_SPEC_VERSION = "2f8299df31bb8173618901a03a8366a3183479b0"
 
+@test_only(fork=Cancun)
+def test_eip6780_create_selfdestruct_same_tx_revert(fork):
+        env = Environment(
+                coinbase="0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+                difficulty=0x20000,
+                gas_limit=10000000000,
+                number=1,
+                timestamp=1000,
+        )
+        post: Dict[Any, Any] = {}
+
+        # a -> b create c (c.create = true, c.sendall = false)
+        # ...
+        # a -> b -> c sendall to d. (c.sendall = true)
+        # a    b revert
+
+        # account b code
+        test_ops =[
+                op.CALLDATALOAD(Op.PUSH0, Op.PUSH1(1)),
+                op.PUSH1(0),
+                op.EQ,
+                op.PUSH1(CASE_INP_0),
+                op.JUMPI,
+                # default input case
+                op.
+                "6032",
+                "601c",
+                "6000",
+                "39", # codecopy
+                # create account
+                "6032",
+                "6000",
+                "6000", # zero value
+                "f0" # create account
+                "" # TODO pop address
+                "00" # STOP
+                # call previously-created account: send-all then revert
+                "6000",
+                "6000",
+                "6000",
+                "6000",
+                "6000",
+                "85", # dup the returned address
+                "45", # pass gas limit
+                "f1", # call
+                "00" # STOP
+                # payload:
+                # copy inner payload to memory
+                "6008",
+                "600c",
+                "6000",
+                "39", # codecopy
+                # return payload
+                "6008",
+                "6000",
+                "f3",
+                # inner payload:
+                "60016000556000ff"
+        ] 
+        test_ops = "".join(test_ops)
+
+        post['0x5fef11c6545be552c986e9eaac3144ecf2258fd3'] = Account.NONEXISTENT
+
+        pre = {
+                TestAddress: Account(balance=1000000000000000000000),
+        }
+        tx = Transaction(
+                ty=0x0,
+                data=test_ops,
+                chain_id=0x0,
+                nonce=0,
+                to=None,
+                gas_limit=100000000,
+                gas_price=10,
+                protected=False,
+        )
+
+        yield StateTest(
+                env=env,
+                pre=pre,
+                post=post,
+                txs=[tx],
+                tag="6780-create-inside-tx",
+        )
+
 @test_only(fork=Cancun)
 def test_eip6780_create_selfdestruct_same_tx(fork):
         env = Environment(