feat(fixtures): Add state field to post in state tests (#1064)

* feat(fixtures): Add `postDecoded` field to state tests

* rename field to `state`

Author: marioevz

docs/CHANGELOG.md

@@ -87,6 +87,7 @@ Test fixtures for use by clients are available for each release on the [Github r
 - ✨ A new application-wide configuration manager provides access to environment and application configurations. ([#892](https://github.com/ethereum/execution-spec-tests/pull/892)).
 - 🐞 Use a local version of ethereum/execution-specs (EELS) when running the framework tests in CI ([#997](https://github.com/ethereum/execution-spec-tests/pull/997)).
 - ✨ Use self-hosted runners for fixture building in CI ([#1051](https://github.com/ethereum/execution-spec-tests/pull/1051)).
+- ✨ `StateTest` fixture format now contains `state` field in each network post result, containing the decoded post allocation that results from the transaction execution ([#1064](https://github.com/ethereum/execution-spec-tests/pull/1064)).
 
 ### 💥 Breaking Change
 

docs/consuming_tests/state_test.md

@@ -171,6 +171,10 @@ Hash of the RLP representation of the state logs result of applying the transact
 
 Exception that is expected to be thrown by the transaction execution (Field is missing if the transaction is expected to succeed)
 
+#### - `state`: [`Alloc`](./common_types.md#alloc-mappingaddressaccount)
+
+Dictionary that represents the allocation after execution of the transaction.
+
 ### `FixtureForkPostIndexes`
 
 #### - `data`: `int`

src/ethereum_test_fixtures/state.py

@@ -82,6 +82,7 @@ class FixtureForkPost(CamelModel):
     logs_hash: Hash = Field(..., alias="logs")
     tx_bytes: Bytes = Field(..., alias="txbytes")
     indexes: FixtureForkPostIndexes = Field(default_factory=FixtureForkPostIndexes)
+    state: Alloc
     expect_exception: TransactionExceptionInstanceOrList | None = None
 
 

src/ethereum_test_fixtures/tests/test_state.py

@@ -19,12 +19,14 @@
                 state_root="0x00",
                 logs_hash="0x01",
                 tx_bytes="0x02",
+                state={},
             ),
             {
                 "hash": Hash(0).hex(),
                 "logs": Hash(1).hex(),
                 "txbytes": Bytes(b"\x02").hex(),
                 "indexes": {"data": 0, "gas": 0, "value": 0},
+                "state": {},
             },
             id="state_fixture_fork_post",
         ),
@@ -35,13 +37,15 @@
                 logs_hash="0x01",
                 tx_bytes="0x02",
                 expect_exception=TransactionException.INITCODE_SIZE_EXCEEDED,
+                state={},
             ),
             {
                 "hash": Hash(0).hex(),
                 "logs": Hash(1).hex(),
                 "txbytes": Bytes(b"\x02").hex(),
                 "expectException": "TransactionException.INITCODE_SIZE_EXCEEDED",
                 "indexes": {"data": 0, "gas": 0, "value": 0},
+                "state": {},
             },
             id="state_fixture_fork_post_exception",
         ),
@@ -53,13 +57,15 @@
                 logs_hash="0x01",
                 tx_bytes="0x02",
                 expect_exception=[TransactionException.INITCODE_SIZE_EXCEEDED],
+                state={},
             ),
             {
                 "hash": Hash(0).hex(),
                 "logs": Hash(1).hex(),
                 "txbytes": Bytes(b"\x02").hex(),
                 "expectException": "TransactionException.INITCODE_SIZE_EXCEEDED",
                 "indexes": {"data": 0, "gas": 0, "value": 0},
+                "state": {},
             },
             id="state_fixture_fork_post_exception_list_1",
         ),
@@ -73,6 +79,7 @@
                     TransactionException.INITCODE_SIZE_EXCEEDED,
                     TransactionException.INSUFFICIENT_ACCOUNT_FUNDS,
                 ],
+                state={},
             ),
             {
                 "hash": Hash(0).hex(),
@@ -81,6 +88,7 @@
                 "expectException": "TransactionException.INITCODE_SIZE_EXCEEDED|"
                 "TransactionException.INSUFFICIENT_ACCOUNT_FUNDS",
                 "indexes": {"data": 0, "gas": 0, "value": 0},
+                "state": {},
             },
             id="state_fixture_fork_post_exception_list_2",
         ),

src/ethereum_test_specs/state.py

@@ -167,6 +167,7 @@ def make_state_test_fixture(
                         logs_hash=transition_tool_output.result.logs_hash,
                         tx_bytes=tx.rlp,
                         expect_exception=tx.error,
+                        state=transition_tool_output.alloc,
                     )
                 ]
             },

src/ethereum_test_specs/tests/fixtures/chainid_paris_state_test.json

@@ -1,7 +1,7 @@
 {
     "000/my_chain_id_test/Paris": {
         "_info": {
-            "hash": "0x9533310242d3fe15fca5ea1d31f97121f7db0f54843c9f2160c01f2468b10535",
+            "hash": "0x14d892cf15f595cc7160e0e66020fa553252c33fc185c3b825bb018d4aac62b6",
             "fixture_format": "state_test"
         },
         "env": {
@@ -53,9 +53,31 @@
                         "data": 0,
                         "gas": 0,
                         "value": 0
+                    },
+                    "state": {
+                        "0x1000000000000000000000000000000000000000": {
+                            "nonce": "0x00",
+                            "balance": "0x00",
+                            "code": "0x4660015500",
+                            "storage": {
+                                "0x01": "0x01"
+                            }
+                        },
+                        "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba": {
+                            "balance": "0x01f923",
+                            "nonce": "0x00",
+                            "code": "0x",
+                            "storage": {}
+                        },
+                        "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
+                            "nonce": "0x01",
+                            "balance": "0x3635c9adc5de996c36",
+                            "code": "0x",
+                            "storage": {}
+                        }
                     }
                 }
             ]
         }
     }
-}
+}

src/ethereum_test_specs/tests/fixtures/chainid_shanghai_state_test.json

@@ -1,7 +1,7 @@
 {
     "000/my_chain_id_test/Shanghai": {
         "_info": {
-            "hash": "0xac10a919bea8bb3bc6b74cb291d92ce12549216dd78dde2d2bd6d94fd48897aa",
+            "hash": "0x288556997e3809e7b3a3f97415a661600fdf3652e9fedf617264d70ce255893f",
             "fixture_format": "state_test"
         },
         "env": {
@@ -53,9 +53,31 @@
                         "data": 0,
                         "gas": 0,
                         "value": 0
+                    },
+                    "state": {
+                        "0x1000000000000000000000000000000000000000": {
+                            "nonce": "0x00",
+                            "balance": "0x00",
+                            "code": "0x4660015500",
+                            "storage": {
+                                "0x01": "0x01"
+                            }
+                        },
+                        "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba": {
+                            "balance": "0x01f923",
+                            "nonce": "0x00",
+                            "code": "0x",
+                            "storage": {}
+                        },
+                        "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
+                            "nonce": "0x01",
+                            "balance": "0x3635c9adc5de996c36",
+                            "code": "0x",
+                            "storage": {}
+                        }
                     }
                 }
             ]
         }
     }
-}
+}