@lodestar/types 1.48.0-dev.f22c5ce63e → 1.48.0-dev.f63ac74039

package/src/gloas/sszTypes.ts

@@ -18,13 +18,33 @@ import {
   EXECUTION_BLOCK_HASH_DEPTH_GLOAS,
   FINALIZED_ROOT_DEPTH_GLOAS,
   HISTORICAL_ROOTS_LIMIT,
+  MAX_ATTESTATIONS_ELECTRA,
+  MAX_ATTESTER_SLASHINGS_ELECTRA,
+  MAX_BLOB_COMMITMENTS_PER_BLOCK,
+  MAX_BLS_TO_EXECUTION_CHANGES,
   MAX_BUILDER_AUTH_DATA_SIZE,
+  MAX_BUILDER_DEPOSIT_REQUESTS_PER_PAYLOAD,
+  MAX_BUILDER_EXIT_REQUESTS_PER_PAYLOAD,
+  MAX_BYTES_PER_TRANSACTION,
+  MAX_COMMITTEES_PER_SLOT,
+  MAX_CONSOLIDATION_REQUESTS_PER_PAYLOAD,
+  MAX_PAYLOAD_ATTESTATIONS,
+  MAX_PROPOSER_SLASHINGS,
+  MAX_TRANSACTIONS_PER_PAYLOAD,
+  MAX_VALIDATORS_PER_COMMITTEE,
+  MAX_VOLUNTARY_EXITS,
+  MAX_WITHDRAWALS_PER_PAYLOAD,
+  MAX_WITHDRAWAL_REQUESTS_PER_PAYLOAD,
   MIN_SEED_LOOKAHEAD,
   NEXT_SYNC_COMMITTEE_DEPTH_GLOAS,
   NUMBER_OF_COLUMNS,
+  PENDING_CONSOLIDATIONS_LIMIT,
+  PENDING_DEPOSITS_LIMIT,
+  PENDING_PARTIAL_WITHDRAWALS_LIMIT,
   PTC_SIZE,
   SLOTS_PER_EPOCH,
   SLOTS_PER_HISTORICAL_ROOT,
+  VALIDATOR_REGISTRY_LIMIT,
 } from "@lodestar/params";
 import {ssz as altairSsz} from "../altair/index.js";
 import {ssz as capellaSsz} from "../capella/index.js";
@@ -67,16 +87,35 @@ export const FinalityBranch = new VectorCompositeType(Bytes32, FINALIZED_ROOT_DE
 
 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 AggregationBits = new ProgressiveBitListType({
+  typeName: "AggregationBits",
+  limit: MAX_VALIDATORS_PER_COMMITTEE * MAX_COMMITTEES_PER_SLOT,
+});
+export const AttestingIndices = new ProgressiveListBasicType(ValidatorIndex, {
+  typeName: "AttestingIndices",
+  limit: MAX_VALIDATORS_PER_COMMITTEE * MAX_COMMITTEES_PER_SLOT,
+});
+export const Transaction = new ProgressiveByteListType({typeName: "Transaction", limit: MAX_BYTES_PER_TRANSACTION});
+export const Transactions = new ProgressiveListCompositeType(Transaction, {
+  typeName: "Transactions",
+  limit: MAX_TRANSACTIONS_PER_PAYLOAD,
+});
+export const Withdrawals = new ProgressiveListCompositeType(capellaSsz.Withdrawal, {
+  typeName: "Withdrawals",
+  limit: MAX_WITHDRAWALS_PER_PAYLOAD,
+});
 export const BlobKzgCommitments = new ProgressiveListCompositeType(denebSsz.KZGCommitment, {
   typeName: "BlobKzgCommitments",
+  limit: MAX_BLOB_COMMITMENTS_PER_BLOCK,
+});
+export const KZGProofs = new ProgressiveListCompositeType(denebSsz.KZGProof, {
+  typeName: "KZGProofs",
+  limit: MAX_BLOB_COMMITMENTS_PER_BLOCK,
+});
+export const DataColumn = new ProgressiveListCompositeType(fuluSsz.Cell, {
+  typeName: "DataColumn",
+  limit: MAX_BLOB_COMMITMENTS_PER_BLOCK,
 });
-export const KZGProofs = new ProgressiveListCompositeType(denebSsz.KZGProof, {typeName: "KZGProofs"});
-export const DataColumn = new ProgressiveListCompositeType(fuluSsz.Cell, {typeName: "DataColumn"});
 
 export const Attestation = new ProgressiveContainerType(
   {
@@ -140,10 +179,12 @@ export const DepositRequests = new ProgressiveListCompositeType(DepositRequest,
 export const WithdrawalRequest = electraSsz.WithdrawalRequest;
 export const WithdrawalRequests = new ProgressiveListCompositeType(WithdrawalRequest, {
   typeName: "WithdrawalRequests",
+  limit: MAX_WITHDRAWAL_REQUESTS_PER_PAYLOAD,
 });
 export const ConsolidationRequest = electraSsz.ConsolidationRequest;
 export const ConsolidationRequests = new ProgressiveListCompositeType(ConsolidationRequest, {
   typeName: "ConsolidationRequests",
+  limit: MAX_CONSOLIDATION_REQUESTS_PER_PAYLOAD,
 });
 
 // New in GLOAS:EIP8282
@@ -158,6 +199,7 @@ export const BuilderDepositRequest = new ContainerType(
 );
 export const BuilderDepositRequests = new ProgressiveListCompositeType(BuilderDepositRequest, {
   typeName: "BuilderDepositRequests",
+  limit: MAX_BUILDER_DEPOSIT_REQUESTS_PER_PAYLOAD,
 });
 
 // New in GLOAS:EIP8282
@@ -170,6 +212,7 @@ export const BuilderExitRequest = new ContainerType(
 );
 export const BuilderExitRequests = new ProgressiveListCompositeType(BuilderExitRequest, {
   typeName: "BuilderExitRequests",
+  limit: MAX_BUILDER_EXIT_REQUESTS_PER_PAYLOAD,
 });
 
 export const ExecutionRequests = new ProgressiveContainerType(
@@ -186,33 +229,57 @@ export const ExecutionRequests = new ProgressiveContainerType(
 
 export const ProposerSlashings = new ProgressiveListCompositeType(phase0Ssz.ProposerSlashing, {
   typeName: "ProposerSlashings",
+  limit: MAX_PROPOSER_SLASHINGS,
 });
 export const AttesterSlashings = new ProgressiveListCompositeType(AttesterSlashing, {
   typeName: "AttesterSlashings",
+  limit: MAX_ATTESTER_SLASHINGS_ELECTRA,
+});
+export const Attestations = new ProgressiveListCompositeType(Attestation, {
+  typeName: "Attestations",
+  limit: MAX_ATTESTATIONS_ELECTRA,
+});
+export const Deposits = new ProgressiveListCompositeType(phase0Ssz.Deposit, {
+  typeName: "Deposits",
+  // Legacy deposits are removed since Fulu, the list must always be empty
+  limit: 0,
 });
-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",
+  limit: MAX_VOLUNTARY_EXITS,
 });
 export const BlsToExecutionChanges = new ProgressiveListCompositeType(capellaSsz.SignedBLSToExecutionChange, {
   typeName: "BLSToExecutionChanges",
+  limit: MAX_BLS_TO_EXECUTION_CHANGES,
 });
 
-export const Validators = new ProgressiveListCompositeType(phase0Ssz.Validator, {typeName: "Validators"});
-export const Balances = new ProgressiveListBasicType(UintNum64, {typeName: "Balances"});
+export const Validators = new ProgressiveListCompositeType(phase0Ssz.Validator, {
+  typeName: "Validators",
+  limit: VALIDATOR_REGISTRY_LIMIT,
+});
+export const Balances = new ProgressiveListBasicType(UintNum64, {
+  typeName: "Balances",
+  limit: VALIDATOR_REGISTRY_LIMIT,
+});
 export const EpochParticipation = new ProgressiveListBasicType(ParticipationFlags, {
   typeName: "EpochParticipation",
+  limit: VALIDATOR_REGISTRY_LIMIT,
+});
+export const InactivityScores = new ProgressiveListBasicType(UintNum64, {
+  typeName: "InactivityScores",
+  limit: VALIDATOR_REGISTRY_LIMIT,
 });
-export const InactivityScores = new ProgressiveListBasicType(UintNum64, {typeName: "InactivityScores"});
 export const PendingDeposits = new ProgressiveListCompositeType(electraSsz.PendingDeposit, {
   typeName: "PendingDeposits",
+  limit: PENDING_DEPOSITS_LIMIT,
 });
 export const PendingPartialWithdrawals = new ProgressiveListCompositeType(electraSsz.PendingPartialWithdrawal, {
   typeName: "PendingPartialWithdrawals",
+  limit: PENDING_PARTIAL_WITHDRAWALS_LIMIT,
 });
 export const PendingConsolidations = new ProgressiveListCompositeType(electraSsz.PendingConsolidation, {
   typeName: "PendingConsolidations",
+  limit: PENDING_CONSOLIDATIONS_LIMIT,
 });
 
 export const Builder = new ContainerType(
@@ -238,6 +305,9 @@ export const BuilderPendingWithdrawal = new ContainerType(
 
 export const BuilderPendingPayment = new ContainerType(
   {
+    // weight sums attesting validators' effective balances, which are multiples of 1e9 Gwei;
+    // such multiples stay exactly representable as JS numbers far beyond any reachable Ethereum
+    // stake, so UintNum64 is safe here.
     weight: UintNum64,
     withdrawal: BuilderPendingWithdrawal,
     proposerIndex: ValidatorIndex,
@@ -251,7 +321,9 @@ export const BuilderPendingWithdrawals = new ProgressiveListCompositeType(Builde
 });
 
 export const PayloadTimelinessCommittee = new VectorBasicType(ValidatorIndex, PTC_SIZE);
-export const PtcWindow = new VectorCompositeType(
+export const PayloadTimelinessCommitteeIndices = new ListBasicType(ValidatorIndex, PTC_SIZE);
+export const PayloadTimelinessCommitteeBits = new BitVectorType(PTC_SIZE);
+export const PayloadTimelinessCommitteeWindow = new VectorCompositeType(
   PayloadTimelinessCommittee,
   (2 + MIN_SEED_LOOKAHEAD) * SLOTS_PER_EPOCH
 );
@@ -268,7 +340,7 @@ export const PayloadAttestationData = new ContainerType(
 
 export const PayloadAttestation = new ProgressiveContainerType(
   {
-    aggregationBits: new BitVectorType(PTC_SIZE),
+    aggregationBits: PayloadTimelinessCommitteeBits,
     data: PayloadAttestationData,
     signature: BLSSignature,
   },
@@ -278,6 +350,7 @@ export const PayloadAttestation = new ProgressiveContainerType(
 
 export const PayloadAttestations = new ProgressiveListCompositeType(PayloadAttestation, {
   typeName: "PayloadAttestations",
+  limit: MAX_PAYLOAD_ATTESTATIONS,
 });
 
 export const PayloadAttestationMessage = new ContainerType(
@@ -291,7 +364,7 @@ export const PayloadAttestationMessage = new ContainerType(
 
 export const IndexedPayloadAttestation = new ProgressiveContainerType(
   {
-    attestingIndices: new ListBasicType(ValidatorIndex, PTC_SIZE),
+    attestingIndices: PayloadTimelinessCommitteeIndices,
     data: PayloadAttestationData,
     signature: BLSSignature,
   },
@@ -406,6 +479,16 @@ export const ExecutionPayload = new ProgressiveContainerType(
   {typeName: "ExecutionPayload", jsonCase: "eth2"}
 );
 
+export const NewPayloadRequest = new ProgressiveContainerType(
+  {
+    ...electraSsz.NewPayloadRequest.fields,
+    executionPayload: ExecutionPayload,
+    executionRequests: ExecutionRequests,
+  },
+  activeFields(4),
+  {typeName: "NewPayloadRequest", jsonCase: "eth2"}
+);
+
 export const ExecutionPayloadEnvelope = new ProgressiveContainerType(
   {
     payload: ExecutionPayload,
@@ -604,7 +687,7 @@ export const BeaconState = new ProgressiveContainerType(
     builderPendingWithdrawals: BuilderPendingWithdrawals, // New in GLOAS:EIP7732
     latestExecutionPayloadBid: ExecutionPayloadBid, // New in GLOAS:EIP7732
     payloadExpectedWithdrawals: Withdrawals, // New in GLOAS:EIP7732
-    ptcWindow: PtcWindow, // New in GLOAS:EIP7732
+    ptcWindow: PayloadTimelinessCommitteeWindow, // New in GLOAS:EIP7732
   },
   activeFields(46),
   {typeName: "BeaconState", jsonCase: "eth2"}

package/src/gloas/types.ts

@@ -34,7 +34,9 @@ export type BuilderDepositRequests = ValueOf<typeof ssz.BuilderDepositRequests>;
 export type BuilderExitRequest = ValueOf<typeof ssz.BuilderExitRequest>;
 export type BuilderExitRequests = ValueOf<typeof ssz.BuilderExitRequests>;
 export type PayloadTimelinessCommittee = ValueOf<typeof ssz.PayloadTimelinessCommittee>;
-export type PtcWindow = ValueOf<typeof ssz.PtcWindow>;
+export type PayloadTimelinessCommitteeIndices = ValueOf<typeof ssz.PayloadTimelinessCommitteeIndices>;
+export type PayloadTimelinessCommitteeBits = ValueOf<typeof ssz.PayloadTimelinessCommitteeBits>;
+export type PayloadTimelinessCommitteeWindow = ValueOf<typeof ssz.PayloadTimelinessCommitteeWindow>;
 export type PayloadAttestationData = ValueOf<typeof ssz.PayloadAttestationData>;
 export type PayloadAttestation = ValueOf<typeof ssz.PayloadAttestation>;
 export type PayloadAttestationMessage = ValueOf<typeof ssz.PayloadAttestationMessage>;
@@ -42,6 +44,7 @@ export type IndexedPayloadAttestation = ValueOf<typeof ssz.IndexedPayloadAttesta
 export type ProposerPreferences = ValueOf<typeof ssz.ProposerPreferences>;
 export type SignedProposerPreferences = ValueOf<typeof ssz.SignedProposerPreferences>;
 export type ExecutionPayload = ValueOf<typeof ssz.ExecutionPayload>;
+export type NewPayloadRequest = ValueOf<typeof ssz.NewPayloadRequest>;
 export type ExecutionPayloadBid = ValueOf<typeof ssz.ExecutionPayloadBid>;
 export type SignedExecutionPayloadBid = ValueOf<typeof ssz.SignedExecutionPayloadBid>;
 export type BuilderRequestAuth = ValueOf<typeof ssz.BuilderRequestAuth>;

package/src/types.ts

@@ -121,6 +121,7 @@ type TypesByFork = {
     BlindedBeaconBlockBody: bellatrix.BlindedBeaconBlockBody;
     SignedBlindedBeaconBlock: bellatrix.SignedBlindedBeaconBlock;
     ExecutionPayload: bellatrix.ExecutionPayload;
+    NewPayloadRequest: bellatrix.NewPayloadRequest;
     ExecutionPayloadHeader: bellatrix.ExecutionPayloadHeader;
     BuilderBid: bellatrix.BuilderBid;
     SignedBuilderBid: bellatrix.SignedBuilderBid;
@@ -156,6 +157,7 @@ type TypesByFork = {
     BlindedBeaconBlockBody: capella.BlindedBeaconBlockBody;
     SignedBlindedBeaconBlock: capella.SignedBlindedBeaconBlock;
     ExecutionPayload: capella.ExecutionPayload;
+    NewPayloadRequest: capella.NewPayloadRequest;
     ExecutionPayloadHeader: capella.ExecutionPayloadHeader;
     BuilderBid: capella.BuilderBid;
     SignedBuilderBid: capella.SignedBuilderBid;
@@ -191,6 +193,7 @@ type TypesByFork = {
     BlindedBeaconBlockBody: deneb.BlindedBeaconBlockBody;
     SignedBlindedBeaconBlock: deneb.SignedBlindedBeaconBlock;
     ExecutionPayload: deneb.ExecutionPayload;
+    NewPayloadRequest: deneb.NewPayloadRequest;
     ExecutionPayloadHeader: deneb.ExecutionPayloadHeader;
     BuilderBid: deneb.BuilderBid;
     SignedBuilderBid: deneb.SignedBuilderBid;
@@ -228,6 +231,7 @@ type TypesByFork = {
     BlindedBeaconBlockBody: electra.BlindedBeaconBlockBody;
     SignedBlindedBeaconBlock: electra.SignedBlindedBeaconBlock;
     ExecutionPayload: deneb.ExecutionPayload;
+    NewPayloadRequest: electra.NewPayloadRequest;
     ExecutionPayloadHeader: deneb.ExecutionPayloadHeader;
     BuilderBid: electra.BuilderBid;
     SignedBuilderBid: electra.SignedBuilderBid;
@@ -266,6 +270,7 @@ type TypesByFork = {
     BlindedBeaconBlockBody: electra.BlindedBeaconBlockBody;
     SignedBlindedBeaconBlock: electra.SignedBlindedBeaconBlock;
     ExecutionPayload: deneb.ExecutionPayload;
+    NewPayloadRequest: electra.NewPayloadRequest;
     ExecutionPayloadHeader: deneb.ExecutionPayloadHeader;
     BuilderBid: electra.BuilderBid;
     SignedBuilderBid: electra.SignedBuilderBid;
@@ -306,6 +311,7 @@ type TypesByFork = {
     BlindedBeaconBlockBody: electra.BlindedBeaconBlockBody;
     SignedBlindedBeaconBlock: electra.SignedBlindedBeaconBlock;
     ExecutionPayload: gloas.ExecutionPayload;
+    NewPayloadRequest: gloas.NewPayloadRequest;
     ExecutionPayloadHeader: deneb.ExecutionPayloadHeader;
     BuilderBid: electra.BuilderBid;
     SignedBuilderBid: electra.SignedBuilderBid;
@@ -347,6 +353,7 @@ type TypesByFork = {
     BlindedBeaconBlockBody: electra.BlindedBeaconBlockBody;
     SignedBlindedBeaconBlock: electra.SignedBlindedBeaconBlock;
     ExecutionPayload: gloas.ExecutionPayload;
+    NewPayloadRequest: gloas.NewPayloadRequest;
     ExecutionPayloadHeader: deneb.ExecutionPayloadHeader;
     BuilderBid: electra.BuilderBid;
     SignedBuilderBid: electra.SignedBuilderBid;
@@ -394,6 +401,7 @@ export type SignedBlockContents<F extends ForkAll = ForkAll> = TypesByFork[F]["S
 export type SignedOrUnsignedBlockContents<F extends ForkAll = ForkAll> = BlockContents<F> | SignedBlockContents<F>;
 
 export type ExecutionPayload<F extends ForkPostBellatrix = ForkPostBellatrix> = TypesByFork[F]["ExecutionPayload"];
+export type NewPayloadRequest<F extends ForkPostBellatrix = ForkPostBellatrix> = TypesByFork[F]["NewPayloadRequest"];
 export type ExecutionPayloadHeader<F extends ForkPostBellatrix = ForkPostBellatrix> =
   TypesByFork[F]["ExecutionPayloadHeader"];
 export type ExecutionRequests<F extends ForkPostElectra = ForkPostElectra> = TypesByFork[F]["ExecutionRequests"];

package/src/utils/array.ts

@@ -1,6 +1,9 @@
 import {ArrayType, ListBasicType, ListCompositeType, Type, isBasicType, isCompositeType} from "@chainsafe/ssz";
 
-export function ArrayOf<T>(elementType: Type<T>, limit = Infinity): ArrayType<Type<T>, unknown, unknown> {
+export function ArrayOf<T>(
+  elementType: Type<T>,
+  limit = Number.MAX_SAFE_INTEGER
+): ArrayType<Type<T>, unknown, unknown> {
   if (isCompositeType(elementType)) {
     return new ListCompositeType(elementType, limit) as unknown as ArrayType<Type<T>, unknown, unknown>;
   }