ethereum · etan-status · Oct 1, 2025 · Oct 6, 2025 · Oct 7, 2025 · Oct 8, 2025
diff --git a/presets/mainnet/eip8148.yaml b/presets/mainnet/eip8148.yaml
@@ -4,3 +4,8 @@
 # ---------------------------------------------------------------
 # 2**4 (= 16)
 MAX_SET_SWEEP_THRESHOLD_REQUESTS_PER_PAYLOAD: 16
+
+# Type-specific SSZ bounds
+# ---------------------------------------------------------------
+# 4,035,526 bytes, ~4 MiB
+MAX_SIGNED_BEACON_BLOCK_SIZE_EIP8148: 4035526
diff --git a/presets/mainnet/gloas.yaml b/presets/mainnet/gloas.yaml
@@ -10,14 +10,22 @@ PTC_SIZE: 512
 # 2**2 (= 4) attestations
 MAX_PAYLOAD_ATTESTATIONS: 4
 
-# State list lengths
-# ---------------------------------------------------------------
-# 2**40 (= 1,099,511,627,776) builder spots
-BUILDER_REGISTRY_LIMIT: 1099511627776
-# 2**20 (= 1,048,576) builder pending withdrawals
-BUILDER_PENDING_WITHDRAWALS_LIMIT: 1048576
-
 # Withdrawals processing
 # ---------------------------------------------------------------
 # 2**14 (= 16,384) builders
 MAX_BUILDERS_PER_WITHDRAWALS_SWEEP: 16384
+
+# Type-specific SSZ bounds
+# ---------------------------------------------------------------
+# 16,829 bytes, ~16 KiB
+MAX_SIGNED_AGGREGATE_AND_PROOF_SIZE: 16829
+# 2,097,616 bytes, ~2 MiB
+MAX_ATTESTER_SLASHING_SIZE: 2097616
+# 8,585,272 bytes, ~8 MiB
+MAX_DATA_COLUMN_SIDECAR_SIZE: 8585272
+# 8,585,741 bytes, ~8 MiB
+MAX_PARTIAL_DATA_COLUMN_SIDECAR_SIZE: 8585741
+# 196,932 bytes, ~192 KiB
+MAX_SIGNED_EXECUTION_PAYLOAD_BID_SIZE: 196932
+# 4,034,304 bytes, ~4 MiB
+MAX_SIGNED_BEACON_BLOCK_SIZE: 4034304
diff --git a/presets/mainnet/heze.yaml b/presets/mainnet/heze.yaml
@@ -4,3 +4,12 @@
 # ---------------------------------------------------------------
 # 2**4 (= 16) validators
 INCLUSION_LIST_COMMITTEE_SIZE: 16
+
+# Type-specific SSZ bounds
+# ---------------------------------------------------------------
+# 8,344 bytes, ~8 KiB
+MAX_SIGNED_INCLUSION_LIST_SIZE: 8344
+# 196,934 bytes, ~192 KiB
+MAX_SIGNED_EXECUTION_PAYLOAD_BID_SIZE_HEZE: 196934
+# 4,034,306 bytes, ~4 MiB
+MAX_SIGNED_BEACON_BLOCK_SIZE_HEZE: 4034306
diff --git a/presets/minimal/eip8148.yaml b/presets/minimal/eip8148.yaml
@@ -4,3 +4,8 @@
 # ---------------------------------------------------------------
 # 2**4 (= 16)
 MAX_SET_SWEEP_THRESHOLD_REQUESTS_PER_PAYLOAD: 16
+
+# Type-specific SSZ bounds
+# ---------------------------------------------------------------
+# 1,946,202 bytes, ~2 MiB
+MAX_SIGNED_BEACON_BLOCK_SIZE_EIP8148: 1946202
diff --git a/presets/minimal/gloas.yaml b/presets/minimal/gloas.yaml
@@ -10,14 +10,22 @@ PTC_SIZE: 16
 # 2**2 (= 4) attestations
 MAX_PAYLOAD_ATTESTATIONS: 4
 
-# State list lengths
-# ---------------------------------------------------------------
-# 2**40 (= 1,099,511,627,776) builder spots
-BUILDER_REGISTRY_LIMIT: 1099511627776
-# 2**20 (= 1,048,576) builder pending withdrawals
-BUILDER_PENDING_WITHDRAWALS_LIMIT: 1048576
-
 # Withdrawals processing
 # ---------------------------------------------------------------
 # [customized] 2**4 (= 16) builders
 MAX_BUILDERS_PER_WITHDRAWALS_SWEEP: 16
+
+# Type-specific SSZ bounds
+# ---------------------------------------------------------------
+# 1,462 bytes, ~1 KiB
+MAX_SIGNED_AGGREGATE_AND_PROOF_SIZE: 1462
+# 131,536 bytes, ~128 KiB
+MAX_ATTESTER_SLASHING_SIZE: 131536
+# 8,585,272 bytes, ~8 MiB
+MAX_DATA_COLUMN_SIDECAR_SIZE: 8585272
+# 8,585,741 bytes, ~8 MiB
+MAX_PARTIAL_DATA_COLUMN_SIDECAR_SIZE: 8585741
+# 196,932 bytes, ~192 KiB
+MAX_SIGNED_EXECUTION_PAYLOAD_BID_SIZE: 196932
+# 1,944,980 bytes, ~2 MiB
+MAX_SIGNED_BEACON_BLOCK_SIZE: 1944980
diff --git a/presets/minimal/heze.yaml b/presets/minimal/heze.yaml
@@ -4,3 +4,12 @@
 # ---------------------------------------------------------------
 # 2**4 (= 16) validators
 INCLUSION_LIST_COMMITTEE_SIZE: 16
+
+# Type-specific SSZ bounds
+# ---------------------------------------------------------------
+# 8,344 bytes, ~8 KiB
+MAX_SIGNED_INCLUSION_LIST_SIZE: 8344
+# 196,934 bytes, ~192 KiB
+MAX_SIGNED_EXECUTION_PAYLOAD_BID_SIZE_HEZE: 196934
+# 1,944,982 bytes, ~2 MiB
+MAX_SIGNED_BEACON_BLOCK_SIZE_HEZE: 1944982
diff --git a/pysetup/helpers.py b/pysetup/helpers.py
@@ -300,6 +300,7 @@ def combine_dicts(old_dict: dict[str, T], new_dict: dict[str, T]) -> dict[str, T
     "List",
     "Optional",
     "ProgressiveBitlist",
+    "ProgressiveByteList",
     "ProgressiveList",
     "Sequence",
     "Set",

diff --git a/pysetup/md_to_spec.py b/pysetup/md_to_spec.py
@@ -214,6 +214,7 @@ def _process_table(self, table: Table) -> None:
                         "Bytes",
                         "List",
                         "ProgressiveBitlist",
+                        "ProgressiveByteList",
                         "ProgressiveList",
                         "Union",
                         "Vector",

diff --git a/pysetup/spec_builders/gloas.py b/pysetup/spec_builders/gloas.py
@@ -9,15 +9,20 @@ class GloasSpecBuilder(BaseSpecBuilder):
     @classmethod
     def imports(cls, preset_name: str):
         return f"""
+from eth_consensus_specs.utils.ssz.ssz_typing import ProgressiveBitlist, ProgressiveByteList, ProgressiveContainer, ProgressiveList
+
 from eth_consensus_specs.fulu import {preset_name} as fulu
 """
 
     @classmethod
     def hardcoded_ssz_dep_constants(cls) -> dict[str, str]:
         return {
+            "FINALIZED_ROOT_GINDEX_GLOAS": "GeneralizedIndex(735)",
+            "CURRENT_SYNC_COMMITTEE_GINDEX_GLOAS": "GeneralizedIndex(2945)",
+            "NEXT_SYNC_COMMITTEE_GINDEX_GLOAS": "GeneralizedIndex(2946)",
             "EXECUTION_BLOCK_HASH_GINDEX": "GeneralizedIndex(412)",
             "EXECUTION_BLOCK_HASH_GINDEX_DENEB": "GeneralizedIndex(812)",
-            "EXECUTION_BLOCK_HASH_GINDEX_GLOAS": "GeneralizedIndex(832)",
+            "EXECUTION_BLOCK_HASH_GINDEX_GLOAS": "GeneralizedIndex(11424)",
         }
 
     @classmethod

diff --git a/specs/_features/eip8025/beacon-chain.md b/specs/_features/eip8025/beacon-chain.md
@@ -65,7 +65,7 @@ class PublicInput(Container):
 
 ```python
 class ExecutionProof(Container):
-    proof_data: ByteList[MAX_PROOF_SIZE]
+    proof_data: ProgressiveByteList
     proof_type: ProofType
     public_input: PublicInput
 ```
@@ -94,6 +94,7 @@ def process_execution_proof(
     proof_engine: ProofEngine,
 ) -> None:
     proof_message = signed_proof.message
+    assert len(proof_message.proof_data) <= MAX_PROOF_SIZE
 
     # Verify prover is an active validator
     validator = state.validators[signed_proof.validator_index]

diff --git a/specs/_features/eip8025/p2p-interface.md b/specs/_features/eip8025/p2p-interface.md
@@ -12,6 +12,7 @@ and imports proof types from [proof-engine.md](./proof-engine.md).
 - [Table of contents](#table-of-contents)
 - [Constants](#constants)
   - [Execution](#execution)
+  - [Type-specific SSZ bounds](#type-specific-ssz-bounds)
 - [Containers](#containers)
   - [`ProofByRootIdentifier`](#proofbyrootidentifier)
 - [Helpers](#helpers)
@@ -41,6 +42,12 @@ and imports proof types from [proof-engine.md](./proof-engine.md).
 | ---------------------------------- | ----------- |
 | `MAX_EXECUTION_PROOFS_PER_PAYLOAD` | `uint64(4)` |
 
+### Type-specific SSZ bounds
+
+| Name                              | Value                | Description                                        |
+| --------------------------------- | -------------------- | -------------------------------------------------- |
+| `MAX_SIGNED_EXECUTION_PROOF_SIZE` | `4194449` (= ~4 MiB) | Type-specific SSZ bound for `SignedExecutionProof` |
+
 ## Containers
 
 ### `ProofByRootIdentifier`

diff --git a/specs/_features/eip8148/beacon-chain.md b/specs/_features/eip8148/beacon-chain.md
@@ -78,7 +78,7 @@ control their balance withdrawals more precisely.
 #### `BeaconState`
 
 ```python
-class BeaconState(Container):
+class BeaconState(ProgressiveContainer(active_fields=[1] * 47)):
     genesis_time: uint64
     genesis_validators_root: Root
     slot: Slot
@@ -90,17 +90,17 @@ class BeaconState(Container):
     eth1_data: Eth1Data
     eth1_data_votes: List[Eth1Data, EPOCHS_PER_ETH1_VOTING_PERIOD * SLOTS_PER_EPOCH]
     eth1_deposit_index: uint64
-    validators: List[Validator, VALIDATOR_REGISTRY_LIMIT]
-    balances: List[Gwei, VALIDATOR_REGISTRY_LIMIT]
+    validators: ProgressiveList[Validator]
+    balances: ProgressiveList[Gwei]
     randao_mixes: Vector[Bytes32, EPOCHS_PER_HISTORICAL_VECTOR]
     slashings: Vector[Gwei, EPOCHS_PER_SLASHINGS_VECTOR]
-    previous_epoch_participation: List[ParticipationFlags, VALIDATOR_REGISTRY_LIMIT]
-    current_epoch_participation: List[ParticipationFlags, VALIDATOR_REGISTRY_LIMIT]
+    previous_epoch_participation: ProgressiveList[ParticipationFlags]
+    current_epoch_participation: ProgressiveList[ParticipationFlags]
     justification_bits: Bitvector[JUSTIFICATION_BITS_LENGTH]
     previous_justified_checkpoint: Checkpoint
     current_justified_checkpoint: Checkpoint
     finalized_checkpoint: Checkpoint
-    inactivity_scores: List[uint64, VALIDATOR_REGISTRY_LIMIT]
+    inactivity_scores: ProgressiveList[uint64]
     current_sync_committee: SyncCommittee
     next_sync_committee: SyncCommittee
     latest_block_hash: Hash32
@@ -113,32 +113,32 @@ class BeaconState(Container):
     earliest_exit_epoch: Epoch
     consolidation_balance_to_consume: Gwei
     earliest_consolidation_epoch: Epoch
-    pending_deposits: List[PendingDeposit, PENDING_DEPOSITS_LIMIT]
-    pending_partial_withdrawals: List[PendingPartialWithdrawal, PENDING_PARTIAL_WITHDRAWALS_LIMIT]
-    pending_consolidations: List[PendingConsolidation, PENDING_CONSOLIDATIONS_LIMIT]
+    pending_deposits: ProgressiveList[PendingDeposit]
+    pending_partial_withdrawals: ProgressiveList[PendingPartialWithdrawal]
+    pending_consolidations: ProgressiveList[PendingConsolidation]
     proposer_lookahead: Vector[ValidatorIndex, (MIN_SEED_LOOKAHEAD + 1) * SLOTS_PER_EPOCH]
-    builders: List[Builder, BUILDER_REGISTRY_LIMIT]
+    builders: ProgressiveList[Builder]
     next_withdrawal_builder_index: BuilderIndex
     execution_payload_availability: Bitvector[SLOTS_PER_HISTORICAL_ROOT]
     builder_pending_payments: Vector[BuilderPendingPayment, 2 * SLOTS_PER_EPOCH]
-    builder_pending_withdrawals: List[BuilderPendingWithdrawal, BUILDER_PENDING_WITHDRAWALS_LIMIT]
+    builder_pending_withdrawals: ProgressiveList[BuilderPendingWithdrawal]
     # [Modified in Heze:EIP7805]
     latest_execution_payload_bid: ExecutionPayloadBid
-    payload_expected_withdrawals: List[Withdrawal, MAX_WITHDRAWALS_PER_PAYLOAD]
+    payload_expected_withdrawals: ProgressiveList[Withdrawal]
     ptc_window: Vector[Vector[ValidatorIndex, PTC_SIZE], (2 + MIN_SEED_LOOKAHEAD) * SLOTS_PER_EPOCH]
     # [New in EIP8148]
-    validator_sweep_thresholds: List[Gwei, VALIDATOR_REGISTRY_LIMIT]
+    validator_sweep_thresholds: ProgressiveList[Gwei]
 ```
 
 #### `ExecutionRequests`
 
 ```python
-class ExecutionRequests(Container):
-    deposits: List[DepositRequest, MAX_DEPOSIT_REQUESTS_PER_PAYLOAD]
-    withdrawals: List[WithdrawalRequest, MAX_WITHDRAWAL_REQUESTS_PER_PAYLOAD]
-    consolidations: List[ConsolidationRequest, MAX_CONSOLIDATION_REQUESTS_PER_PAYLOAD]
+class ExecutionRequests(ProgressiveContainer(active_fields=[1] * 4)):
+    deposits: DepositRequests
+    withdrawals: WithdrawalRequests
+    consolidations: ConsolidationRequests
     # [New in EIP8148]
-    sweep_thresholds: List[SetSweepThresholdRequest, MAX_SET_SWEEP_THRESHOLD_REQUESTS_PER_PAYLOAD]
+    sweep_thresholds: ProgressiveList[SetSweepThresholdRequest]
 ```
 
 ### New containers
@@ -367,6 +367,12 @@ def apply_parent_execution_payload(
     parent_slot = parent_bid.slot
     parent_epoch = compute_epoch_at_slot(parent_slot)
 
+    assert len(requests.deposits) <= MAX_DEPOSIT_REQUESTS_PER_PAYLOAD
+    assert len(requests.withdrawals) <= MAX_WITHDRAWAL_REQUESTS_PER_PAYLOAD
+    assert len(requests.consolidations) <= MAX_CONSOLIDATION_REQUESTS_PER_PAYLOAD
+    # [New in EIP8148]
+    assert len(requests.sweep_thresholds) <= MAX_SET_SWEEP_THRESHOLD_REQUESTS_PER_PAYLOAD
+
     # Process execution requests from parent's payload. The execution
     # requests are processed at state.slot (child's slot), not the parent's slot.
     def for_ops(operations: Sequence[Any], fn: Callable[[BeaconState, Any], None]) -> None:

diff --git a/specs/_features/eip8148/p2p-interface.md b/specs/_features/eip8148/p2p-interface.md
@@ -6,8 +6,15 @@
 
 - [Introduction](#introduction)
 - [Modifications in EIP-8148](#modifications-in-eip-8148)
+  - [Preset](#preset)
+    - [Type-specific SSZ bounds](#type-specific-ssz-bounds)
   - [Helpers](#helpers)
     - [Modified `compute_fork_version`](#modified-compute_fork_version)
+  - [The gossip domain: gossipsub](#the-gossip-domain-gossipsub)
+    - [Topics and messages](#topics-and-messages)
+      - [Global topics](#global-topics)
+        - [`beacon_block`](#beacon_block)
+        - [`execution_payload`](#execution_payload)
 
 <!-- mdformat-toc end -->
 
@@ -21,6 +28,14 @@ specifications of previous upgrades, and assumes them as pre-requisite.
 
 ## Modifications in EIP-8148
 
+### Preset
+
+#### Type-specific SSZ bounds
+
+| Name                                   | Value                      | Description                                     |
+| -------------------------------------- | -------------------------- | ----------------------------------------------- |
+| `MAX_SIGNED_BEACON_BLOCK_SIZE_EIP8148` | `4035526` bytes (= ~4 MiB) | Type-specific SSZ bound for `SignedBeaconBlock` |
+
 ### Helpers
 
 #### Modified `compute_fork_version`
@@ -50,3 +65,31 @@ def compute_fork_version(epoch: Epoch) -> Version:
         return ALTAIR_FORK_VERSION
     return GENESIS_FORK_VERSION
 ```
+
+### The gossip domain: gossipsub
+
+#### Topics and messages
+
+##### Global topics
+
+###### `beacon_block`
+
+*[Modified in EIP8148]*
+
+**Added in EIP8148:**
+
+- _[REJECT]_ The count of
+  `block.body.parent_execution_requests.sweep_thresholds` is within its limit --
+  i.e. validate that
+  `len(block.body.parent_execution_requests.sweep_thresholds) <= MAX_SET_SWEEP_THRESHOLD_REQUESTS_PER_PAYLOAD`.
+
+###### `execution_payload`
+
+*[Modified in EIP8148]*
+
+**Added in EIP8148:**
+
+- _[REJECT]_ The count of `execution_requests.sweep_thresholds` is within its
+  limit -- i.e. validate that
+  `len(execution_requests.sweep_thresholds) <= MAX_SET_SWEEP_THRESHOLD_REQUESTS_PER_PAYLOAD`,
+  with the alias `execution_requests = envelope.execution_requests`.
diff --git a/specs/electra/beacon-chain.md b/specs/electra/beacon-chain.md
@@ -3,6 +3,7 @@
 <!-- mdformat-toc start --slug=github --no-anchors --maxlevel=6 --minlevel=2 -->
 
 - [Introduction](#introduction)
+- [Types](#types)
 - [Constants](#constants)
   - [Misc](#misc)
   - [Withdrawal prefixes](#withdrawal-prefixes)
@@ -126,6 +127,16 @@ Electra is a consensus-layer upgrade containing a number of features. Including:
   outside Attestation
 - [EIP-7691](https://eips.ethereum.org/EIPS/eip-7691): Blob throughput increase
 
+## Types
+
+| Name                    | SSZ equivalent                                                                 | Description                                                       |
+| ----------------------- | ------------------------------------------------------------------------------ | ----------------------------------------------------------------- |
+| `AggregationBits`       | `Bitlist[MAX_VALIDATORS_PER_COMMITTEE * MAX_COMMITTEES_PER_SLOT]`              | Combined participation info for all participating subcommittees   |
+| `AttestingIndices`      | `List[ValidatorIndex, MAX_VALIDATORS_PER_COMMITTEE * MAX_COMMITTEES_PER_SLOT]` | List of attesting validator indices                               |
+| `DepositRequests`       | `List[DepositRequest, MAX_DEPOSIT_REQUESTS_PER_PAYLOAD]`                       | List of deposit requests pertaining to an execution payload       |
+| `WithdrawalRequests`    | `List[WithdrawalRequest, MAX_WITHDRAWAL_REQUESTS_PER_PAYLOAD]`                 | List of withdrawal requests pertaining to an execution payload    |
+| `ConsolidationRequests` | `List[ConsolidationRequest, MAX_CONSOLIDATION_REQUESTS_PER_PAYLOAD]`           | List of consolidation requests pertaining to an execution payload |
+
 ## Constants
 
 The following values are (non-configurable) constants used throughout the
@@ -296,11 +307,11 @@ class ConsolidationRequest(Container):
 ```python
 class ExecutionRequests(Container):
     # [New in Electra:EIP6110]
-    deposits: List[DepositRequest, MAX_DEPOSIT_REQUESTS_PER_PAYLOAD]
+    deposits: DepositRequests
     # [New in Electra:EIP7002:EIP7251]
-    withdrawals: List[WithdrawalRequest, MAX_WITHDRAWAL_REQUESTS_PER_PAYLOAD]
+    withdrawals: WithdrawalRequests
     # [New in Electra:EIP7251]
-    consolidations: List[ConsolidationRequest, MAX_CONSOLIDATION_REQUESTS_PER_PAYLOAD]
+    consolidations: ConsolidationRequests
 ```
 
 #### `SingleAttestation`
@@ -352,7 +363,7 @@ class BeaconBlockBody(Container):
 ```python
 class Attestation(Container):
     # [Modified in Electra:EIP7549]
-    aggregation_bits: Bitlist[MAX_VALIDATORS_PER_COMMITTEE * MAX_COMMITTEES_PER_SLOT]
+    aggregation_bits: AggregationBits
     data: AttestationData
     signature: BLSSignature
     # [New in Electra:EIP7549]
@@ -364,7 +375,7 @@ class Attestation(Container):
 ```python
 class IndexedAttestation(Container):
     # [Modified in Electra:EIP7549]
-    attesting_indices: List[ValidatorIndex, MAX_VALIDATORS_PER_COMMITTEE * MAX_COMMITTEES_PER_SLOT]
+    attesting_indices: AttestingIndices
     data: AttestationData
     signature: BLSSignature
 ```
@@ -1395,7 +1406,7 @@ def get_execution_requests_list(execution_requests: ExecutionRequests) -> Sequen
     return [
         request_type + ssz_serialize(request_data)
         for request_type, request_data in requests
-        if len(request_data) != 0
+        if request_data
     ]
 ```