@lodestar/types 1.45.0 → 1.46.0-dev.18a1510f34

package/src/gloas/sszTypes.ts

@@ -1,21 +1,24 @@
 import {
   BitVectorType,
-  ByteListType,
   ContainerType,
   ListBasicType,
   ListCompositeType,
+  ProgressiveBitListType,
+  ProgressiveByteListType,
+  ProgressiveContainerType,
+  ProgressiveListBasicType,
+  ProgressiveListCompositeType,
   VectorBasicType,
   VectorCompositeType,
 } from "@chainsafe/ssz";
 import {
-  BUILDER_PENDING_WITHDRAWALS_LIMIT,
-  BUILDER_REGISTRY_LIMIT,
+  CURRENT_SYNC_COMMITTEE_DEPTH_GLOAS,
+  EPOCHS_PER_SYNC_COMMITTEE_PERIOD,
+  EXECUTION_BLOCK_HASH_DEPTH_GLOAS,
+  FINALIZED_ROOT_DEPTH_GLOAS,
   HISTORICAL_ROOTS_LIMIT,
-  MAX_BUILDER_DEPOSIT_REQUESTS_PER_PAYLOAD,
-  MAX_BUILDER_EXIT_REQUESTS_PER_PAYLOAD,
-  MAX_BYTES_PER_TRANSACTION,
-  MAX_PAYLOAD_ATTESTATIONS,
   MIN_SEED_LOOKAHEAD,
+  NEXT_SYNC_COMMITTEE_DEPTH_GLOAS,
   NUMBER_OF_COLUMNS,
   PTC_SIZE,
   SLOTS_PER_EPOCH,
@@ -47,38 +50,101 @@ const {
   Uint8,
   BuilderIndex,
   EpochInf,
+  ParticipationFlags,
 } = primitiveSsz;
 
-export const Builder = new ContainerType(
+function activeFields(count: number): boolean[] {
+  return Array.from({length: count}, () => true);
+}
+
+export const ExecutionBranch = new VectorCompositeType(Bytes32, EXECUTION_BLOCK_HASH_DEPTH_GLOAS);
+
+export const CurrentSyncCommitteeBranch = new VectorCompositeType(Bytes32, CURRENT_SYNC_COMMITTEE_DEPTH_GLOAS);
+
+export const FinalityBranch = new VectorCompositeType(Bytes32, FINALIZED_ROOT_DEPTH_GLOAS);
+
+export const NextSyncCommitteeBranch = new VectorCompositeType(Bytes32, NEXT_SYNC_COMMITTEE_DEPTH_GLOAS);
+
+export const AggregationBits = new ProgressiveBitListType({typeName: "AggregationBits"});
+export const AttestingIndices = new ProgressiveListBasicType(ValidatorIndex, {typeName: "AttestingIndices"});
+export const Transaction = new ProgressiveByteListType({typeName: "Transaction"});
+export const Transactions = new ProgressiveListCompositeType(Transaction, {typeName: "Transactions"});
+export const Withdrawals = new ProgressiveListCompositeType(capellaSsz.Withdrawal, {typeName: "Withdrawals"});
+export const BlobKzgCommitments = new ProgressiveListCompositeType(denebSsz.KZGCommitment, {
+  typeName: "BlobKzgCommitments",
+});
+export const KZGProofs = new ProgressiveListCompositeType(denebSsz.KZGProof, {typeName: "KZGProofs"});
+export const DataColumn = new ProgressiveListCompositeType(fuluSsz.Cell, {typeName: "DataColumn"});
+
+export const Attestation = new ProgressiveContainerType(
   {
-    pubkey: BLSPubkey,
-    version: Uint8,
-    executionAddress: ExecutionAddress,
-    balance: UintNum64,
-    depositEpoch: EpochInf,
-    withdrawableEpoch: EpochInf,
+    aggregationBits: AggregationBits,
+    data: phase0Ssz.AttestationData,
+    signature: BLSSignature,
+    committeeBits: electraSsz.CommitteeBits,
   },
-  {typeName: "Builder", jsonCase: "eth2"}
+  activeFields(4),
+  {typeName: "Attestation", jsonCase: "eth2"}
 );
 
-export const BuilderPendingWithdrawal = new ContainerType(
+export const IndexedAttestation = new ProgressiveContainerType(
   {
-    feeRecipient: ExecutionAddress,
-    amount: UintNum64,
-    builderIndex: BuilderIndex,
+    attestingIndices: AttestingIndices,
+    data: phase0Ssz.AttestationData,
+    signature: BLSSignature,
   },
-  {typeName: "BuilderPendingWithdrawal", jsonCase: "eth2"}
+  activeFields(3),
+  {typeName: "IndexedAttestation", jsonCase: "eth2"}
 );
 
-export const BuilderPendingPayment = new ContainerType(
+/** Same as `IndexedAttestation` but epoch, slot and index are not bounded and must be a bigint */
+export const IndexedAttestationBigint = new ProgressiveContainerType(
   {
-    weight: UintNum64,
-    withdrawal: BuilderPendingWithdrawal,
-    proposerIndex: ValidatorIndex,
+    attestingIndices: AttestingIndices,
+    data: phase0Ssz.AttestationDataBigint,
+    signature: BLSSignature,
   },
-  {typeName: "BuilderPendingPayment", jsonCase: "eth2"}
+  activeFields(3),
+  {typeName: "IndexedAttestation", jsonCase: "eth2"}
 );
 
+export const AttesterSlashing = new ContainerType(
+  {
+    attestation1: IndexedAttestationBigint,
+    attestation2: IndexedAttestationBigint,
+  },
+  {typeName: "AttesterSlashing", jsonCase: "eth2"}
+);
+
+export const AggregateAndProof = new ContainerType(
+  {
+    aggregatorIndex: ValidatorIndex,
+    aggregate: Attestation,
+    selectionProof: BLSSignature,
+  },
+  {typeName: "AggregateAndProof", jsonCase: "eth2", cachePermanentRootStruct: true}
+);
+
+export const SignedAggregateAndProof = new ContainerType(
+  {
+    message: AggregateAndProof,
+    signature: BLSSignature,
+  },
+  {typeName: "SignedAggregateAndProof", jsonCase: "eth2"}
+);
+
+export const DepositRequest = electraSsz.DepositRequest;
+export const DepositRequests = new ProgressiveListCompositeType(DepositRequest, {typeName: "DepositRequests"});
+export const WithdrawalRequest = electraSsz.WithdrawalRequest;
+export const WithdrawalRequests = new ProgressiveListCompositeType(WithdrawalRequest, {
+  typeName: "WithdrawalRequests",
+});
+export const ConsolidationRequest = electraSsz.ConsolidationRequest;
+export const ConsolidationRequests = new ProgressiveListCompositeType(ConsolidationRequest, {
+  typeName: "ConsolidationRequests",
+});
+
+// New in GLOAS:EIP8282
 export const BuilderDepositRequest = new ContainerType(
   {
     pubkey: BLSPubkey,
@@ -88,12 +154,11 @@ export const BuilderDepositRequest = new ContainerType(
   },
   {typeName: "BuilderDepositRequest", jsonCase: "eth2"}
 );
+export const BuilderDepositRequests = new ProgressiveListCompositeType(BuilderDepositRequest, {
+  typeName: "BuilderDepositRequests",
+});
 
-export const BuilderDepositRequests = new ListCompositeType(
-  BuilderDepositRequest,
-  MAX_BUILDER_DEPOSIT_REQUESTS_PER_PAYLOAD
-);
-
+// New in GLOAS:EIP8282
 export const BuilderExitRequest = new ContainerType(
   {
     sourceAddress: ExecutionAddress,
@@ -101,21 +166,88 @@ export const BuilderExitRequest = new ContainerType(
   },
   {typeName: "BuilderExitRequest", jsonCase: "eth2"}
 );
+export const BuilderExitRequests = new ProgressiveListCompositeType(BuilderExitRequest, {
+  typeName: "BuilderExitRequests",
+});
 
-export const BuilderExitRequests = new ListCompositeType(BuilderExitRequest, MAX_BUILDER_EXIT_REQUESTS_PER_PAYLOAD);
-
-// New in GLOAS:EIP8282 — extends electra ExecutionRequests with builder deposits and exits
-export const ExecutionRequests = new ContainerType(
+export const ExecutionRequests = new ProgressiveContainerType(
   {
-    deposits: electraSsz.DepositRequests,
-    withdrawals: electraSsz.WithdrawalRequests,
-    consolidations: electraSsz.ConsolidationRequests,
-    builderDeposits: BuilderDepositRequests,
-    builderExits: BuilderExitRequests,
+    deposits: DepositRequests,
+    withdrawals: WithdrawalRequests,
+    consolidations: ConsolidationRequests,
+    builderDeposits: BuilderDepositRequests, // New in GLOAS:EIP8282
+    builderExits: BuilderExitRequests, // New in GLOAS:EIP8282
   },
+  activeFields(5),
   {typeName: "ExecutionRequests", jsonCase: "eth2"}
 );
 
+export const ProposerSlashings = new ProgressiveListCompositeType(phase0Ssz.ProposerSlashing, {
+  typeName: "ProposerSlashings",
+});
+export const AttesterSlashings = new ProgressiveListCompositeType(AttesterSlashing, {
+  typeName: "AttesterSlashings",
+});
+export const Attestations = new ProgressiveListCompositeType(Attestation, {typeName: "Attestations"});
+export const Deposits = new ProgressiveListCompositeType(phase0Ssz.Deposit, {typeName: "Deposits"});
+export const VoluntaryExits = new ProgressiveListCompositeType(phase0Ssz.SignedVoluntaryExit, {
+  typeName: "VoluntaryExits",
+});
+export const BlsToExecutionChanges = new ProgressiveListCompositeType(capellaSsz.SignedBLSToExecutionChange, {
+  typeName: "BLSToExecutionChanges",
+});
+
+export const Validators = new ProgressiveListCompositeType(phase0Ssz.Validator, {typeName: "Validators"});
+export const Balances = new ProgressiveListBasicType(UintNum64, {typeName: "Balances"});
+export const EpochParticipation = new ProgressiveListBasicType(ParticipationFlags, {
+  typeName: "EpochParticipation",
+});
+export const InactivityScores = new ProgressiveListBasicType(UintNum64, {typeName: "InactivityScores"});
+export const PendingDeposits = new ProgressiveListCompositeType(electraSsz.PendingDeposit, {
+  typeName: "PendingDeposits",
+});
+export const PendingPartialWithdrawals = new ProgressiveListCompositeType(electraSsz.PendingPartialWithdrawal, {
+  typeName: "PendingPartialWithdrawals",
+});
+export const PendingConsolidations = new ProgressiveListCompositeType(electraSsz.PendingConsolidation, {
+  typeName: "PendingConsolidations",
+});
+
+export const Builder = new ContainerType(
+  {
+    pubkey: BLSPubkey,
+    version: Uint8,
+    executionAddress: ExecutionAddress,
+    balance: UintNum64,
+    depositEpoch: EpochInf,
+    withdrawableEpoch: EpochInf,
+  },
+  {typeName: "Builder", jsonCase: "eth2"}
+);
+
+export const BuilderPendingWithdrawal = new ContainerType(
+  {
+    feeRecipient: ExecutionAddress,
+    amount: UintNum64,
+    builderIndex: BuilderIndex,
+  },
+  {typeName: "BuilderPendingWithdrawal", jsonCase: "eth2"}
+);
+
+export const BuilderPendingPayment = new ContainerType(
+  {
+    weight: UintNum64,
+    withdrawal: BuilderPendingWithdrawal,
+    proposerIndex: ValidatorIndex,
+  },
+  {typeName: "BuilderPendingPayment", jsonCase: "eth2"}
+);
+
+export const Builders = new ProgressiveListCompositeType(Builder, {typeName: "Builders"});
+export const BuilderPendingWithdrawals = new ProgressiveListCompositeType(BuilderPendingWithdrawal, {
+  typeName: "BuilderPendingWithdrawals",
+});
+
 export const PayloadTimelinessCommittee = new VectorBasicType(ValidatorIndex, PTC_SIZE);
 export const PtcWindow = new VectorCompositeType(
   PayloadTimelinessCommittee,
@@ -132,15 +264,20 @@ export const PayloadAttestationData = new ContainerType(
   {typeName: "PayloadAttestationData", jsonCase: "eth2"}
 );
 
-export const PayloadAttestation = new ContainerType(
+export const PayloadAttestation = new ProgressiveContainerType(
   {
     aggregationBits: new BitVectorType(PTC_SIZE),
     data: PayloadAttestationData,
     signature: BLSSignature,
   },
+  activeFields(3),
   {typeName: "PayloadAttestation", jsonCase: "eth2"}
 );
 
+export const PayloadAttestations = new ProgressiveListCompositeType(PayloadAttestation, {
+  typeName: "PayloadAttestations",
+});
+
 export const PayloadAttestationMessage = new ContainerType(
   {
     validatorIndex: ValidatorIndex,
@@ -150,12 +287,13 @@ export const PayloadAttestationMessage = new ContainerType(
   {typeName: "PayloadAttestationMessage", jsonCase: "eth2"}
 );
 
-export const IndexedPayloadAttestation = new ContainerType(
+export const IndexedPayloadAttestation = new ProgressiveContainerType(
   {
     attestingIndices: new ListBasicType(ValidatorIndex, PTC_SIZE),
     data: PayloadAttestationData,
     signature: BLSSignature,
   },
+  activeFields(3),
   {typeName: "IndexedPayloadAttestation", jsonCase: "eth2"}
 );
 
@@ -165,7 +303,10 @@ export const ProposerPreferences = new ContainerType(
     proposalSlot: Slot,
     validatorIndex: ValidatorIndex,
     feeRecipient: ExecutionAddress,
-    targetGasLimit: UintNum64,
+    // targetGasLimit is a proposer-set uint64 with no bound; use UintBn64 so a value above 2**53
+    // round-trips exactly (this container is not in the block HTR, but the value is emitted to the
+    // EL via engine PayloadAttributesV4 and over the SSE payload_attributes event).
+    targetGasLimit: UintBn64,
   },
   {typeName: "ProposerPreferences", jsonCase: "eth2"}
 );
@@ -178,21 +319,27 @@ export const SignedProposerPreferences = new ContainerType(
   {typeName: "SignedProposerPreferences", jsonCase: "eth2"}
 );
 
-export const ExecutionPayloadBid = new ContainerType(
+export const ExecutionPayloadBid = new ProgressiveContainerType(
   {
     parentBlockHash: Bytes32,
     parentBlockRoot: Root,
     blockHash: Bytes32,
     prevRandao: Bytes32,
     feeRecipient: ExecutionAddress,
-    gasLimit: UintNum64,
+    // gasLimit is a uint64 with no bound in process_execution_payload_bid (the gas-limit target
+    // check is gossip-only), so a block can carry any value; use UintBn64 so the bid hashTreeRoot
+    // matches exact-uint64 clients for values above 2**53.
+    gasLimit: UintBn64,
     builderIndex: BuilderIndex,
     slot: Slot,
     value: UintNum64,
-    executionPayment: UintNum64,
-    blobKzgCommitments: denebSsz.BlobKzgCommitments,
+    // executionPayment is a uint64 with no bound in process_execution_payload_bid, so a block can
+    // carry any value; use UintBn64 so the hashTreeRoot matches exact-uint64 clients for values > 2**53.
+    executionPayment: UintBn64,
+    blobKzgCommitments: BlobKzgCommitments,
     executionRequestsRoot: Root,
   },
+  activeFields(12),
   {typeName: "ExecutionPayloadBid", jsonCase: "eth2"}
 );
 
@@ -204,18 +351,21 @@ export const SignedExecutionPayloadBid = new ContainerType(
   {typeName: "SignedExecutionPayloadBid", jsonCase: "eth2"}
 );
 
-export const BlockAccessList = new ByteListType(MAX_BYTES_PER_TRANSACTION);
+export const BlockAccessList = new ProgressiveByteListType({typeName: "BlockAccessList"});
 
-export const ExecutionPayload = new ContainerType(
+export const ExecutionPayload = new ProgressiveContainerType(
   {
     ...electraSsz.ExecutionPayload.fields,
+    transactions: Transactions,
+    withdrawals: Withdrawals,
     blockAccessList: BlockAccessList, // New in GLOAS:EIP-7928
     slotNumber: Slot, // New in GLOAS:EIP-7843
   },
+  activeFields(19),
   {typeName: "ExecutionPayload", jsonCase: "eth2"}
 );
 
-export const ExecutionPayloadEnvelope = new ContainerType(
+export const ExecutionPayloadEnvelope = new ProgressiveContainerType(
   {
     payload: ExecutionPayload,
     executionRequests: ExecutionRequests,
@@ -223,6 +373,7 @@ export const ExecutionPayloadEnvelope = new ContainerType(
     beaconBlockRoot: Root,
     parentBeaconBlockRoot: Root,
   },
+  activeFields(5),
   {typeName: "ExecutionPayloadEnvelope", jsonCase: "eth2"}
 );
 
@@ -234,25 +385,35 @@ export const SignedExecutionPayloadEnvelope = new ContainerType(
   {typeName: "SignedExecutionPayloadEnvelope", jsonCase: "eth2"}
 );
 
-export const BeaconBlockBody = new ContainerType(
+export const SignedExecutionPayloadEnvelopeContents = new ContainerType(
+  {
+    signedExecutionPayloadEnvelope: SignedExecutionPayloadEnvelope,
+    kzgProofs: fuluSsz.KZGProofs,
+    blobs: denebSsz.Blobs,
+  },
+  {typeName: "SignedExecutionPayloadEnvelopeContents", jsonCase: "eth2"}
+);
+
+export const BeaconBlockBody = new ProgressiveContainerType(
   {
     randaoReveal: phase0Ssz.BeaconBlockBody.fields.randaoReveal,
     eth1Data: phase0Ssz.BeaconBlockBody.fields.eth1Data,
     graffiti: phase0Ssz.BeaconBlockBody.fields.graffiti,
-    proposerSlashings: phase0Ssz.BeaconBlockBody.fields.proposerSlashings,
-    attesterSlashings: electraSsz.BeaconBlockBody.fields.attesterSlashings,
-    attestations: electraSsz.BeaconBlockBody.fields.attestations,
-    deposits: phase0Ssz.BeaconBlockBody.fields.deposits,
-    voluntaryExits: phase0Ssz.BeaconBlockBody.fields.voluntaryExits,
+    proposerSlashings: ProposerSlashings,
+    attesterSlashings: AttesterSlashings,
+    attestations: Attestations,
+    deposits: Deposits,
+    voluntaryExits: VoluntaryExits,
     syncAggregate: altairSsz.BeaconBlockBody.fields.syncAggregate,
     // executionPayload: ExecutionPayload, // Removed in GLOAS:EIP7732
-    blsToExecutionChanges: capellaSsz.BeaconBlockBody.fields.blsToExecutionChanges,
+    blsToExecutionChanges: BlsToExecutionChanges,
     // blobKzgCommitments: denebSsz.BeaconBlockBody.fields.blobKzgCommitments, // Removed in GLOAS:EIP7732
     // executionRequests: ExecutionRequests, // Removed in GLOAS:EIP7732
     signedExecutionPayloadBid: SignedExecutionPayloadBid, // New in GLOAS:EIP7732
-    payloadAttestations: new ListCompositeType(PayloadAttestation, MAX_PAYLOAD_ATTESTATIONS), // New in GLOAS:EIP7732
+    payloadAttestations: PayloadAttestations, // New in GLOAS:EIP7732
     parentExecutionRequests: ExecutionRequests, // New in GLOAS:EIP7732
   },
+  activeFields(13),
   {typeName: "BeaconBlockBody", jsonCase: "eth2", cachePermanentRootStruct: true}
 );
 
@@ -272,7 +433,77 @@ export const SignedBeaconBlock = new ContainerType(
   {typeName: "SignedBeaconBlock", jsonCase: "eth2"}
 );
 
-export const BeaconState = new ContainerType(
+// Full block production response for self-builds, enables stateless envelope publishing
+export const BlockContents = new ContainerType(
+  {
+    block: BeaconBlock,
+    executionPayloadEnvelope: ExecutionPayloadEnvelope,
+    kzgProofs: fuluSsz.KZGProofs,
+    blobs: denebSsz.Blobs,
+  },
+  {typeName: "BlockContents", jsonCase: "eth2"}
+);
+
+export const LightClientHeader = new ContainerType(
+  {
+    beacon: phase0Ssz.BeaconBlockHeader,
+    executionBlockHash: Bytes32,
+    executionBranch: ExecutionBranch,
+  },
+  {typeName: "LightClientHeader", jsonCase: "eth2"}
+);
+
+export const LightClientBootstrap = new ContainerType(
+  {
+    header: LightClientHeader,
+    currentSyncCommittee: altairSsz.SyncCommittee,
+    currentSyncCommitteeBranch: CurrentSyncCommitteeBranch,
+  },
+  {typeName: "LightClientBootstrap", jsonCase: "eth2"}
+);
+
+export const LightClientUpdate = new ContainerType(
+  {
+    attestedHeader: LightClientHeader,
+    nextSyncCommittee: altairSsz.SyncCommittee,
+    nextSyncCommitteeBranch: NextSyncCommitteeBranch,
+    finalizedHeader: LightClientHeader,
+    finalityBranch: FinalityBranch,
+    syncAggregate: altairSsz.SyncAggregate,
+    signatureSlot: Slot,
+  },
+  {typeName: "LightClientUpdate", jsonCase: "eth2"}
+);
+
+export const LightClientFinalityUpdate = new ContainerType(
+  {
+    attestedHeader: LightClientHeader,
+    finalizedHeader: LightClientHeader,
+    finalityBranch: FinalityBranch,
+    syncAggregate: altairSsz.SyncAggregate,
+    signatureSlot: Slot,
+  },
+  {typeName: "LightClientFinalityUpdate", jsonCase: "eth2"}
+);
+
+export const LightClientOptimisticUpdate = new ContainerType(
+  {
+    attestedHeader: LightClientHeader,
+    syncAggregate: altairSsz.SyncAggregate,
+    signatureSlot: Slot,
+  },
+  {typeName: "LightClientOptimisticUpdate", jsonCase: "eth2"}
+);
+
+export const LightClientStore = new ContainerType(
+  {
+    snapshot: LightClientBootstrap,
+    validUpdates: new ListCompositeType(LightClientUpdate, EPOCHS_PER_SYNC_COMMITTEE_PERIOD * SLOTS_PER_EPOCH),
+  },
+  {typeName: "LightClientStore", jsonCase: "eth2"}
+);
+
+export const BeaconState = new ProgressiveContainerType(
   {
     genesisTime: UintNum64,
     genesisValidatorsRoot: Root,
@@ -289,21 +520,21 @@ export const BeaconState = new ContainerType(
     eth1DataVotes: phase0Ssz.Eth1DataVotes,
     eth1DepositIndex: UintNum64,
     // Registry
-    validators: phase0Ssz.Validators,
-    balances: phase0Ssz.Balances,
+    validators: Validators,
+    balances: Balances,
     randaoMixes: phase0Ssz.RandaoMixes,
     // Slashings
     slashings: phase0Ssz.Slashings,
     // Participation
-    previousEpochParticipation: altairSsz.EpochParticipation,
-    currentEpochParticipation: altairSsz.EpochParticipation,
+    previousEpochParticipation: EpochParticipation,
+    currentEpochParticipation: EpochParticipation,
     // Finality
     justificationBits: phase0Ssz.JustificationBits,
     previousJustifiedCheckpoint: phase0Ssz.Checkpoint,
     currentJustifiedCheckpoint: phase0Ssz.Checkpoint,
     finalizedCheckpoint: phase0Ssz.Checkpoint,
     // Inactivity
-    inactivityScores: altairSsz.InactivityScores,
+    inactivityScores: InactivityScores,
     // Sync
     currentSyncCommittee: altairSsz.SyncCommittee,
     nextSyncCommittee: altairSsz.SyncCommittee,
@@ -321,28 +552,29 @@ export const BeaconState = new ContainerType(
     earliestExitEpoch: Epoch,
     consolidationBalanceToConsume: Gwei,
     earliestConsolidationEpoch: Epoch,
-    pendingDeposits: electraSsz.BeaconState.fields.pendingDeposits,
-    pendingPartialWithdrawals: electraSsz.BeaconState.fields.pendingPartialWithdrawals,
-    pendingConsolidations: electraSsz.BeaconState.fields.pendingConsolidations,
+    pendingDeposits: PendingDeposits,
+    pendingPartialWithdrawals: PendingPartialWithdrawals,
+    pendingConsolidations: PendingConsolidations,
     proposerLookahead: fuluSsz.BeaconState.fields.proposerLookahead,
-    builders: new ListCompositeType(Builder, BUILDER_REGISTRY_LIMIT), // New in GLOAS:EIP7732
+    builders: Builders, // New in GLOAS:EIP7732
     nextWithdrawalBuilderIndex: BuilderIndex, // New in GLOAS:EIP7732
     executionPayloadAvailability: new BitVectorType(SLOTS_PER_HISTORICAL_ROOT), // New in GLOAS:EIP7732
     builderPendingPayments: new VectorCompositeType(BuilderPendingPayment, 2 * SLOTS_PER_EPOCH), // New in GLOAS:EIP7732
-    builderPendingWithdrawals: new ListCompositeType(BuilderPendingWithdrawal, BUILDER_PENDING_WITHDRAWALS_LIMIT), // New in GLOAS:EIP7732
+    builderPendingWithdrawals: BuilderPendingWithdrawals, // New in GLOAS:EIP7732
     latestExecutionPayloadBid: ExecutionPayloadBid, // New in GLOAS:EIP7732
-    payloadExpectedWithdrawals: capellaSsz.Withdrawals, // New in GLOAS:EIP7732
+    payloadExpectedWithdrawals: Withdrawals, // New in GLOAS:EIP7732
     ptcWindow: PtcWindow, // New in GLOAS:EIP7732
   },
+  activeFields(46),
   {typeName: "BeaconState", jsonCase: "eth2"}
 );
 
 export const DataColumnSidecar = new ContainerType(
   {
     index: fuluSsz.DataColumnSidecar.fields.index,
-    column: fuluSsz.DataColumnSidecar.fields.column,
+    column: DataColumn,
     // kzgCommitments: denebSsz.BlobKzgCommitments, // Removed in GLOAS:EIP7732
-    kzgProofs: fuluSsz.DataColumnSidecar.fields.kzgProofs,
+    kzgProofs: KZGProofs,
     // signedBlockHeader: phase0Ssz.SignedBeaconBlockHeader, // Removed in GLOAS:EIP7732
     // kzgCommitmentsInclusionProof: KzgCommitmentsInclusionProof, // Removed in GLOAS:EIP7732
     slot: Slot, // New in GLOAS:EIP7732
@@ -363,7 +595,7 @@ export const PayloadAttributes = new ContainerType(
   {
     ...denebSsz.PayloadAttributes.fields,
     slotNumber: Slot,
-    targetGasLimit: UintNum64,
+    targetGasLimit: UintBn64,
   },
   {typeName: "PayloadAttributes", jsonCase: "eth2"}
 );

package/src/gloas/types.ts

@@ -1,6 +1,31 @@
 import {ValueOf} from "@chainsafe/ssz";
 import * as ssz from "./sszTypes.js";
 
+export type AggregationBits = ValueOf<typeof ssz.AggregationBits>;
+export type AttestingIndices = ValueOf<typeof ssz.AttestingIndices>;
+export type Transaction = ValueOf<typeof ssz.Transaction>;
+export type Transactions = ValueOf<typeof ssz.Transactions>;
+export type Withdrawals = ValueOf<typeof ssz.Withdrawals>;
+export type BlobKzgCommitments = ValueOf<typeof ssz.BlobKzgCommitments>;
+export type KZGProofs = ValueOf<typeof ssz.KZGProofs>;
+export type DataColumn = ValueOf<typeof ssz.DataColumn>;
+
+export type Attestation = ValueOf<typeof ssz.Attestation>;
+export type IndexedAttestation = ValueOf<typeof ssz.IndexedAttestation>;
+export type IndexedAttestationBigint = ValueOf<typeof ssz.IndexedAttestationBigint>;
+export type AttesterSlashing = ValueOf<typeof ssz.AttesterSlashing>;
+
+export type AggregateAndProof = ValueOf<typeof ssz.AggregateAndProof>;
+export type SignedAggregateAndProof = ValueOf<typeof ssz.SignedAggregateAndProof>;
+
+export type DepositRequest = ValueOf<typeof ssz.DepositRequest>;
+export type DepositRequests = ValueOf<typeof ssz.DepositRequests>;
+export type WithdrawalRequest = ValueOf<typeof ssz.WithdrawalRequest>;
+export type WithdrawalRequests = ValueOf<typeof ssz.WithdrawalRequests>;
+export type ConsolidationRequest = ValueOf<typeof ssz.ConsolidationRequest>;
+export type ConsolidationRequests = ValueOf<typeof ssz.ConsolidationRequests>;
+export type ExecutionRequests = ValueOf<typeof ssz.ExecutionRequests>;
+
 export type Builder = ValueOf<typeof ssz.Builder>;
 export type BuilderPendingWithdrawal = ValueOf<typeof ssz.BuilderPendingWithdrawal>;
 export type BuilderPendingPayment = ValueOf<typeof ssz.BuilderPendingPayment>;
@@ -8,7 +33,6 @@ export type BuilderDepositRequest = ValueOf<typeof ssz.BuilderDepositRequest>;
 export type BuilderDepositRequests = ValueOf<typeof ssz.BuilderDepositRequests>;
 export type BuilderExitRequest = ValueOf<typeof ssz.BuilderExitRequest>;
 export type BuilderExitRequests = ValueOf<typeof ssz.BuilderExitRequests>;
-export type ExecutionRequests = ValueOf<typeof ssz.ExecutionRequests>;
 export type PayloadTimelinessCommittee = ValueOf<typeof ssz.PayloadTimelinessCommittee>;
 export type PtcWindow = ValueOf<typeof ssz.PtcWindow>;
 export type PayloadAttestationData = ValueOf<typeof ssz.PayloadAttestationData>;
@@ -23,9 +47,17 @@ export type SignedExecutionPayloadBid = ValueOf<typeof ssz.SignedExecutionPayloa
 export type BlockAccessList = ValueOf<typeof ssz.BlockAccessList>;
 export type ExecutionPayloadEnvelope = ValueOf<typeof ssz.ExecutionPayloadEnvelope>;
 export type SignedExecutionPayloadEnvelope = ValueOf<typeof ssz.SignedExecutionPayloadEnvelope>;
+export type SignedExecutionPayloadEnvelopeContents = ValueOf<typeof ssz.SignedExecutionPayloadEnvelopeContents>;
 export type BeaconBlockBody = ValueOf<typeof ssz.BeaconBlockBody>;
 export type BeaconBlock = ValueOf<typeof ssz.BeaconBlock>;
 export type SignedBeaconBlock = ValueOf<typeof ssz.SignedBeaconBlock>;
+export type BlockContents = ValueOf<typeof ssz.BlockContents>;
+export type LightClientHeader = ValueOf<typeof ssz.LightClientHeader>;
+export type LightClientBootstrap = ValueOf<typeof ssz.LightClientBootstrap>;
+export type LightClientUpdate = ValueOf<typeof ssz.LightClientUpdate>;
+export type LightClientFinalityUpdate = ValueOf<typeof ssz.LightClientFinalityUpdate>;
+export type LightClientOptimisticUpdate = ValueOf<typeof ssz.LightClientOptimisticUpdate>;
+export type LightClientStore = ValueOf<typeof ssz.LightClientStore>;
 export type BeaconState = ValueOf<typeof ssz.BeaconState>;
 
 export type DataColumnSidecar = ValueOf<typeof ssz.DataColumnSidecar>;

package/src/types.ts

@@ -294,12 +294,12 @@ type TypesByFork = {
     SignedBeaconBlock: gloas.SignedBeaconBlock;
     Metadata: fulu.Metadata;
     Status: fulu.Status;
-    LightClientHeader: deneb.LightClientHeader;
-    LightClientBootstrap: electra.LightClientBootstrap;
-    LightClientUpdate: electra.LightClientUpdate;
-    LightClientFinalityUpdate: electra.LightClientFinalityUpdate;
-    LightClientOptimisticUpdate: electra.LightClientOptimisticUpdate;
-    LightClientStore: electra.LightClientStore;
+    LightClientHeader: gloas.LightClientHeader;
+    LightClientBootstrap: gloas.LightClientBootstrap;
+    LightClientUpdate: gloas.LightClientUpdate;
+    LightClientFinalityUpdate: gloas.LightClientFinalityUpdate;
+    LightClientOptimisticUpdate: gloas.LightClientOptimisticUpdate;
+    LightClientStore: gloas.LightClientStore;
     BlindedBeaconBlock: electra.BlindedBeaconBlock;
     BlindedBeaconBlockBody: electra.BlindedBeaconBlockBody;
     SignedBlindedBeaconBlock: electra.SignedBlindedBeaconBlock;
@@ -308,19 +308,19 @@ type TypesByFork = {
     BuilderBid: electra.BuilderBid;
     SignedBuilderBid: electra.SignedBuilderBid;
     SSEPayloadAttributes: gloas.SSEPayloadAttributes;
-    BlockContents: fulu.BlockContents;
+    BlockContents: gloas.BlockContents;
     SignedBlockContents: fulu.SignedBlockContents;
     ExecutionPayloadAndBlobsBundle: fulu.ExecutionPayloadAndBlobsBundle;
     BlobsBundle: fulu.BlobsBundle;
     SyncCommittee: altair.SyncCommittee;
     SyncAggregate: altair.SyncAggregate;
     SingleAttestation: electra.SingleAttestation;
-    Attestation: electra.Attestation;
-    IndexedAttestation: electra.IndexedAttestation;
-    IndexedAttestationBigint: electra.IndexedAttestationBigint;
-    AttesterSlashing: electra.AttesterSlashing;
-    AggregateAndProof: electra.AggregateAndProof;
-    SignedAggregateAndProof: electra.SignedAggregateAndProof;
+    Attestation: gloas.Attestation;
+    IndexedAttestation: gloas.IndexedAttestation;
+    IndexedAttestationBigint: gloas.IndexedAttestationBigint;
+    AttesterSlashing: gloas.AttesterSlashing;
+    AggregateAndProof: gloas.AggregateAndProof;
+    SignedAggregateAndProof: gloas.SignedAggregateAndProof;
     ExecutionRequests: gloas.ExecutionRequests;
     ExecutionPayloadBid: gloas.ExecutionPayloadBid;
     DataColumnSidecar: gloas.DataColumnSidecar;