update BAL format

Author: nerolation

src/ethereum/osaka/bal_builder.py

@@ -20,7 +20,6 @@
     CodeChange,
     NonceChange,
     SlotChanges,
-    SlotRead,
     StorageChange,
 )
 
@@ -124,7 +123,7 @@ def build(self) -> BlockAccessList:
             storage_reads = []
             for slot in changes['storage_reads']:
                 if slot not in changes['storage_changes']:
-                    storage_reads.append(SlotRead(slot=slot))
+                    storage_reads.append(slot)
 
             # Sort all changes by tx_index for deterministic encoding
             balance_changes = tuple(sorted(changes['balance_changes'], key=lambda x: x.tx_index))
@@ -133,7 +132,7 @@ def build(self) -> BlockAccessList:
 
             # Sort storage changes and reads by slot
             storage_changes.sort(key=lambda x: x.slot)
-            storage_reads.sort(key=lambda x: x.slot)
+            storage_reads.sort()
 
             # Create account changes object
             account_change = AccountChanges(

src/ethereum/osaka/bal_tracker.py

@@ -84,8 +84,8 @@ def track_balance_change(
         """Track a balance change."""
         self.track_address_access(address)
 
-        # Convert U256 to 12-byte balance (sufficient for total ETH supply)
-        balance_bytes = new_balance.to_be_bytes32()[-12:]  # Take last 12 bytes
+        # Convert U256 to 16-byte balance (uint128 - sufficient for total ETH supply)
+        balance_bytes = new_balance.to_be_bytes32()[-16:]  # Take last 16 bytes for uint128
         self.bal_builder.add_balance_change(address, self.current_tx_index, balance_bytes)
 
     def track_nonce_change(

src/ethereum/osaka/ssz_types.py

@@ -19,14 +19,15 @@
 StorageKey = Bytes32
 StorageValue = Bytes32
 TxIndex = Uint
-Balance = U256
+Balance = Bytes  # uint128 - Post-transaction balance in wei (16 bytes, sufficient for total ETH supply)
 Nonce = Uint
 
 # Constants chosen to support a 630m block gas limit
 MAX_TXS = 30_000
 MAX_SLOTS = 300_000
 MAX_ACCOUNTS = 300_000
 MAX_CODE_SIZE = 24_576
+MAX_CODE_CHANGES = 1
 
 
 @slotted_freezable
@@ -69,11 +70,6 @@ class SlotChanges:
     changes: Tuple[StorageChange, ...]
 
 
-@slotted_freezable
-@dataclass
-class SlotRead:
-    """Read-only access to a storage slot (no changes)"""
-    slot: StorageKey
 
 
 @slotted_freezable
@@ -85,7 +81,7 @@ class AccountChanges:
     """
     address: Address
     storage_changes: Tuple[SlotChanges, ...]
-    storage_reads: Tuple[SlotRead, ...]
+    storage_reads: Tuple[StorageKey, ...]
     balance_changes: Tuple[BalanceChange, ...]
     nonce_changes: Tuple[NonceChange, ...]
     code_changes: Tuple[CodeChange, ...]

src/ethereum/osaka/state.py

@@ -599,7 +599,12 @@ def increase_nonce(sender: Account) -> None:
 
     modify_state(state, address, increase_nonce)
 
-    # Track nonce change for BAL (for ALL accounts, including EOAs)
+    # Track nonce change for BAL (for ALL accounts and ALL nonce changes)
+    # This includes:
+    # - EOA senders (transaction nonce increments)
+    # - Contracts performing CREATE/CREATE2
+    # - Deployed contracts
+    # - EIP-7702 authorities
     if bal_tracker is not None:
         account = get_account(state, address)
         bal_tracker.track_nonce_change(address, account.nonce, state)

src/ethereum/osaka/vm/instructions/system.py

@@ -114,7 +114,7 @@ def generic_create(
         push(evm.stack, U256(0))
         return
 
-    increment_nonce(evm.message.block_env.state, evm.message.current_target)
+    increment_nonce(evm.message.block_env.state, evm.message.current_target, evm.message.bal_tracker)
 
     child_message = Message(
         block_env=evm.message.block_env,