feat(types): implement empty_account function (#1482)

* feat: implement empty_account in Alloc subclasses

* refactor: clean up pre-alloc logic and simplify fund_address declaration

* fix: type error and lint cleanup

* docs: add changelog entry for empty_account utility function

Author: ArunRawat404

docs/CHANGELOG.md

@@ -10,6 +10,8 @@ Test fixtures for use by clients are available for each release on the [Github r
 
 ### 🛠️ Framework
 
+- ✨ Add an empty account function for usage within fill and execute ([#1482](https://github.com/ethereum/execution-spec-tests/pull/1482)).
+
 #### `fill`
 
 #### `consume`

src/ethereum_test_types/types.py

@@ -298,6 +298,15 @@ def fund_address(self, address: Address, amount: NumberConvertible):
         """
         raise NotImplementedError("fund_address is not implemented in the base class")
 
+    def empty_account(self) -> Address:
+        """
+        Return a previously unused account guaranteed to be empty.
+
+        This ensures the account has zero balance, zero nonce, no code, and no storage.
+        The account is not a precompile or a system contract.
+        """
+        raise NotImplementedError("empty_account is not implemented in the base class")
+
 
 class WithdrawalGeneric(CamelModel, Generic[NumberBoundTypeVar]):
     """Withdrawal generic type, used as a parent class for `Withdrawal` and `FixtureWithdrawal`."""

src/pytest_plugins/execute/pre_alloc.py

@@ -343,6 +343,34 @@ def fund_address(self, address: Address, amount: NumberConvertible):
 
         super().__setitem__(address, Account(balance=amount))
 
+    def empty_account(self) -> Address:
+        """
+        Add a previously unused account guaranteed to be empty to the pre-alloc.
+
+        This ensures the account has:
+        - Zero balance
+        - Zero nonce
+        - No code
+        - No storage
+
+        This is different from precompiles or system contracts. The function does not
+        send any transactions, ensuring that the account remains "empty."
+
+        Returns:
+            Address: The address of the created empty account.
+
+        """
+        eoa = next(self._eoa_iterator)
+
+        super().__setitem__(
+            eoa,
+            Account(
+                nonce=0,
+                balance=0,
+            ),
+        )
+        return Address(eoa)
+
     def wait_for_transactions(self) -> List[TransactionByHashResponse]:
         """Wait for all transactions to be included in blocks."""
         return self._eth_rpc.wait_for_transactions(self._txs)

src/pytest_plugins/filler/pre_alloc.py

@@ -250,6 +250,27 @@ def fund_address(self, address: Address, amount: NumberConvertible):
                 return
         super().__setitem__(address, Account(balance=amount))
 
+    def empty_account(self) -> Address:
+        """
+        Add a previously unused account guaranteed to be empty to the pre-alloc.
+
+        This ensures the account has:
+        - Zero balance
+        - Zero nonce
+        - No code
+        - No storage
+
+        This is different from precompiles or system contracts. The function does not
+        send any transactions, ensuring that the account remains "empty."
+
+        Returns:
+            Address: The address of the created empty account.
+
+        """
+        eoa = next(self._eoa_iterator)
+
+        return Address(eoa)
+
 
 @pytest.fixture(scope="session")
 def alloc_mode(request: pytest.FixtureRequest) -> AllocMode: