@lodestar/state-transition 1.43.0-dev.bc569affb9 → 1.43.0-dev.c98da75ec7

package/lib/lightClient/spec/index.js

@@ -0,0 +1,58 @@
+import { UPDATE_TIMEOUT } from "@lodestar/params";
+import { computeSyncPeriodAtSlot } from "../../util/epoch.js";
+import { getSyncCommitteeAtPeriod, processLightClientUpdate, } from "./processLightClientUpdate.js";
+import { LightClientStore } from "./store.js";
+import { ZERO_HEADER, ZERO_SYNC_COMMITTEE, getZeroFinalityBranch, getZeroSyncCommitteeBranch } from "./utils.js";
+export { isBetterUpdate, toLightClientUpdateSummary } from "./isBetterUpdate.js";
+export { getSyncCommitteeAtPeriod, isSafeLightClientUpdate, processLightClientUpdate, } from "./processLightClientUpdate.js";
+export { LightClientStore, } from "./store.js";
+export { getSafetyThreshold, isFinalityUpdate, isSyncCommitteeUpdate, isValidLightClientHeader, normalizeMerkleBranch, upgradeLightClientFinalityUpdate, upgradeLightClientHeader, upgradeLightClientOptimisticUpdate, upgradeLightClientStore, upgradeLightClientUpdate, } from "./utils.js";
+export { validateLightClientBootstrap } from "./validateLightClientBootstrap.js";
+export { validateLightClientUpdate } from "./validateLightClientUpdate.js";
+export class LightclientSpec {
+    opts;
+    store;
+    config;
+    constructor(config, opts, bootstrap) {
+        this.opts = opts;
+        this.store = new LightClientStore(config, bootstrap, opts);
+        this.config = config;
+    }
+    onUpdate(currentSlot, update) {
+        processLightClientUpdate(this.config, this.store, currentSlot, this.opts, update);
+    }
+    onFinalityUpdate(currentSlot, finalityUpdate) {
+        this.onUpdate(currentSlot, {
+            attestedHeader: finalityUpdate.attestedHeader,
+            nextSyncCommittee: ZERO_SYNC_COMMITTEE,
+            nextSyncCommitteeBranch: getZeroSyncCommitteeBranch(this.config.getForkName(finalityUpdate.signatureSlot)),
+            finalizedHeader: finalityUpdate.finalizedHeader,
+            finalityBranch: finalityUpdate.finalityBranch,
+            syncAggregate: finalityUpdate.syncAggregate,
+            signatureSlot: finalityUpdate.signatureSlot,
+        });
+    }
+    onOptimisticUpdate(currentSlot, optimisticUpdate) {
+        this.onUpdate(currentSlot, {
+            attestedHeader: optimisticUpdate.attestedHeader,
+            nextSyncCommittee: ZERO_SYNC_COMMITTEE,
+            nextSyncCommitteeBranch: getZeroSyncCommitteeBranch(this.config.getForkName(optimisticUpdate.signatureSlot)),
+            finalizedHeader: { beacon: ZERO_HEADER },
+            finalityBranch: getZeroFinalityBranch(this.config.getForkName(optimisticUpdate.signatureSlot)),
+            syncAggregate: optimisticUpdate.syncAggregate,
+            signatureSlot: optimisticUpdate.signatureSlot,
+        });
+    }
+    forceUpdate(currentSlot) {
+        for (const bestValidUpdate of this.store.bestValidUpdates.values()) {
+            if (currentSlot > bestValidUpdate.update.finalizedHeader.beacon.slot + UPDATE_TIMEOUT) {
+                const updatePeriod = computeSyncPeriodAtSlot(bestValidUpdate.update.signatureSlot);
+                // Simulate process_light_client_store_force_update() by forcing to apply a bestValidUpdate
+                // https://github.com/ethereum/consensus-specs/blob/a57e15636013eeba3610ff3ade41781dba1bb0cd/specs/altair/light-client/sync-protocol.md?plain=1#L394
+                // Call for `updatePeriod + 1` to force the update at `update.signatureSlot` to be applied
+                getSyncCommitteeAtPeriod(this.store, updatePeriod + 1, this.opts);
+            }
+        }
+    }
+}
+//# sourceMappingURL=index.js.map

package/lib/lightClient/spec/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lightClient/spec/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,cAAc,EAAC,MAAM,kBAAkB,CAAC;AAQhD,OAAO,EAAC,uBAAuB,EAAC,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAEL,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAyB,gBAAgB,EAA8B,MAAM,YAAY,CAAC;AACjG,OAAO,EAAC,WAAW,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,0BAA0B,EAAC,MAAM,YAAY,CAAC;AAG/G,OAAO,EAAC,cAAc,EAAE,0BAA0B,EAAC,MAAM,qBAAqB,CAAC;AAC/E,OAAO,EAEL,wBAAwB,EACxB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAEL,gBAAgB,GAIjB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,qBAAqB,EACrB,wBAAwB,EACxB,qBAAqB,EACrB,gCAAgC,EAChC,wBAAwB,EACxB,kCAAkC,EAClC,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAC,4BAA4B,EAAC,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAC,yBAAyB,EAAC,MAAM,gCAAgC,CAAC;AAEzE,MAAM,OAAO,eAAe;IAMP,IAAI;IALd,KAAK,CAAoB;IACzB,MAAM,CAAe;IAE9B,YACE,MAAoB,EACH,IAAgD,EACjE,SAA+B,EAC/B;oBAFiB,IAAI;QAGrB,IAAI,CAAC,KAAK,GAAG,IAAI,gBAAgB,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IAAA,CACtB;IAED,QAAQ,CAAC,WAAiB,EAAE,MAAyB,EAAQ;QAC3D,wBAAwB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAAA,CACnF;IAED,gBAAgB,CAAC,WAAiB,EAAE,cAAyC,EAAQ;QACnF,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE;YACzB,cAAc,EAAE,cAAc,CAAC,cAAc;YAC7C,iBAAiB,EAAE,mBAAmB;YACtC,uBAAuB,EAAE,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;YAC1G,eAAe,EAAE,cAAc,CAAC,eAAe;YAC/C,cAAc,EAAE,cAAc,CAAC,cAAc;YAC7C,aAAa,EAAE,cAAc,CAAC,aAAa;YAC3C,aAAa,EAAE,cAAc,CAAC,aAAa;SAC5C,CAAC,CAAC;IAAA,CACJ;IAED,kBAAkB,CAAC,WAAiB,EAAE,gBAA6C,EAAQ;QACzF,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE;YACzB,cAAc,EAAE,gBAAgB,CAAC,cAAc;YAC/C,iBAAiB,EAAE,mBAAmB;YACtC,uBAAuB,EAAE,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC;YAC5G,eAAe,EAAE,EAAC,MAAM,EAAE,WAAW,EAAC;YACtC,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC;YAC9F,aAAa,EAAE,gBAAgB,CAAC,aAAa;YAC7C,aAAa,EAAE,gBAAgB,CAAC,aAAa;SAC9C,CAAC,CAAC;IAAA,CACJ;IAED,WAAW,CAAC,WAAiB,EAAQ;QACnC,KAAK,MAAM,eAAe,IAAI,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,EAAE,EAAE,CAAC;YACnE,IAAI,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,GAAG,cAAc,EAAE,CAAC;gBACtF,MAAM,YAAY,GAAG,uBAAuB,CAAC,eAAe,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;gBACnF,2FAA2F;gBAC3F,oJAAoJ;gBACpJ,0FAA0F;gBAC1F,wBAAwB,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;IAAA,CACF;CACF"}

package/lib/lightClient/spec/isBetterUpdate.d.ts

@@ -0,0 +1,23 @@
+import { LightClientUpdate, Slot } from "@lodestar/types";
+/**
+ * Wrapper type for `isBetterUpdate()` so we can apply its logic without requiring the full LightClientUpdate type.
+ */
+export type LightClientUpdateSummary = {
+    activeParticipants: number;
+    attestedHeaderSlot: Slot;
+    signatureSlot: Slot;
+    finalizedHeaderSlot: Slot;
+    /** `if update.next_sync_committee_branch != [Bytes32() for _ in range(floorlog2(NEXT_SYNC_COMMITTEE_INDEX))]` */
+    isSyncCommitteeUpdate: boolean;
+    /** `if update.finality_branch != [Bytes32() for _ in range(floorlog2(FINALIZED_ROOT_INDEX))]` */
+    isFinalityUpdate: boolean;
+};
+/**
+ * Returns the update with more bits. On ties, prevUpdate is the better
+ *
+ * https://github.com/ethereum/consensus-specs/blob/be3c774069e16e89145660be511c1b183056017e/specs/altair/light-client/sync-protocol.md#is_better_update
+ */
+export declare function isBetterUpdate(newUpdate: LightClientUpdateSummary, oldUpdate: LightClientUpdateSummary): boolean;
+export declare function isSafeLightClientUpdate(update: LightClientUpdateSummary): boolean;
+export declare function toLightClientUpdateSummary(update: LightClientUpdate): LightClientUpdateSummary;
+//# sourceMappingURL=isBetterUpdate.d.ts.map

package/lib/lightClient/spec/isBetterUpdate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isBetterUpdate.d.ts","sourceRoot":"","sources":["../../../src/lightClient/spec/isBetterUpdate.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,iBAAiB,EAAE,IAAI,EAAC,MAAM,iBAAiB,CAAC;AAIxD;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,kBAAkB,EAAE,IAAI,CAAC;IACzB,aAAa,EAAE,IAAI,CAAC;IACpB,mBAAmB,EAAE,IAAI,CAAC;IAC1B,iHAAiH;IACjH,qBAAqB,EAAE,OAAO,CAAC;IAC/B,iGAAiG;IACjG,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,wBAAwB,EAAE,SAAS,EAAE,wBAAwB,GAAG,OAAO,CAoDhH;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,wBAAwB,GAAG,OAAO,CAIjF;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,iBAAiB,GAAG,wBAAwB,CAS9F"}

package/lib/lightClient/spec/isBetterUpdate.js

@@ -0,0 +1,66 @@
+import { SYNC_COMMITTEE_SIZE } from "@lodestar/params";
+import { computeSyncPeriodAtSlot } from "../../util/epoch.js";
+import { isFinalityUpdate, isSyncCommitteeUpdate, sumBits } from "./utils.js";
+/**
+ * Returns the update with more bits. On ties, prevUpdate is the better
+ *
+ * https://github.com/ethereum/consensus-specs/blob/be3c774069e16e89145660be511c1b183056017e/specs/altair/light-client/sync-protocol.md#is_better_update
+ */
+export function isBetterUpdate(newUpdate, oldUpdate) {
+    // Compare supermajority (> 2/3) sync committee participation
+    const newNumActiveParticipants = newUpdate.activeParticipants;
+    const oldNumActiveParticipants = oldUpdate.activeParticipants;
+    const newHasSupermajority = newNumActiveParticipants * 3 >= SYNC_COMMITTEE_SIZE * 2;
+    const oldHasSupermajority = oldNumActiveParticipants * 3 >= SYNC_COMMITTEE_SIZE * 2;
+    if (newHasSupermajority !== oldHasSupermajority) {
+        return newHasSupermajority;
+    }
+    if (!newHasSupermajority && newNumActiveParticipants !== oldNumActiveParticipants) {
+        return newNumActiveParticipants > oldNumActiveParticipants;
+    }
+    // Compare presence of relevant sync committee
+    const newHasRelevantSyncCommittee = newUpdate.isSyncCommitteeUpdate &&
+        computeSyncPeriodAtSlot(newUpdate.attestedHeaderSlot) === computeSyncPeriodAtSlot(newUpdate.signatureSlot);
+    const oldHasRelevantSyncCommittee = oldUpdate.isSyncCommitteeUpdate &&
+        computeSyncPeriodAtSlot(oldUpdate.attestedHeaderSlot) === computeSyncPeriodAtSlot(oldUpdate.signatureSlot);
+    if (newHasRelevantSyncCommittee !== oldHasRelevantSyncCommittee) {
+        return newHasRelevantSyncCommittee;
+    }
+    // Compare indication of any finality
+    const newHasFinality = newUpdate.isFinalityUpdate;
+    const oldHasFinality = oldUpdate.isFinalityUpdate;
+    if (newHasFinality !== oldHasFinality) {
+        return newHasFinality;
+    }
+    // Compare sync committee finality
+    if (newHasFinality) {
+        const newHasSyncCommitteeFinality = computeSyncPeriodAtSlot(newUpdate.finalizedHeaderSlot) === computeSyncPeriodAtSlot(newUpdate.attestedHeaderSlot);
+        const oldHasSyncCommitteeFinality = computeSyncPeriodAtSlot(oldUpdate.finalizedHeaderSlot) === computeSyncPeriodAtSlot(oldUpdate.attestedHeaderSlot);
+        if (newHasSyncCommitteeFinality !== oldHasSyncCommitteeFinality) {
+            return newHasSyncCommitteeFinality;
+        }
+    }
+    // Tiebreaker 1: Sync committee participation beyond supermajority
+    if (newNumActiveParticipants !== oldNumActiveParticipants) {
+        return newNumActiveParticipants > oldNumActiveParticipants;
+    }
+    // Tiebreaker 2: Prefer older data (fewer changes to best)
+    if (newUpdate.attestedHeaderSlot !== oldUpdate.attestedHeaderSlot) {
+        return newUpdate.attestedHeaderSlot < oldUpdate.attestedHeaderSlot;
+    }
+    return newUpdate.signatureSlot < oldUpdate.signatureSlot;
+}
+export function isSafeLightClientUpdate(update) {
+    return (update.activeParticipants * 3 >= SYNC_COMMITTEE_SIZE * 2 && update.isFinalityUpdate && update.isSyncCommitteeUpdate);
+}
+export function toLightClientUpdateSummary(update) {
+    return {
+        activeParticipants: sumBits(update.syncAggregate.syncCommitteeBits),
+        attestedHeaderSlot: update.attestedHeader.beacon.slot,
+        signatureSlot: update.signatureSlot,
+        finalizedHeaderSlot: update.finalizedHeader.beacon.slot,
+        isSyncCommitteeUpdate: isSyncCommitteeUpdate(update),
+        isFinalityUpdate: isFinalityUpdate(update),
+    };
+}
+//# sourceMappingURL=isBetterUpdate.js.map

package/lib/lightClient/spec/isBetterUpdate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isBetterUpdate.js","sourceRoot":"","sources":["../../../src/lightClient/spec/isBetterUpdate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,mBAAmB,EAAC,MAAM,kBAAkB,CAAC;AAErD,OAAO,EAAC,uBAAuB,EAAC,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAC,gBAAgB,EAAE,qBAAqB,EAAE,OAAO,EAAC,MAAM,YAAY,CAAC;AAgB5E;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,SAAmC,EAAE,SAAmC,EAAW;IAChH,6DAA6D;IAC7D,MAAM,wBAAwB,GAAG,SAAS,CAAC,kBAAkB,CAAC;IAC9D,MAAM,wBAAwB,GAAG,SAAS,CAAC,kBAAkB,CAAC;IAC9D,MAAM,mBAAmB,GAAG,wBAAwB,GAAG,CAAC,IAAI,mBAAmB,GAAG,CAAC,CAAC;IACpF,MAAM,mBAAmB,GAAG,wBAAwB,GAAG,CAAC,IAAI,mBAAmB,GAAG,CAAC,CAAC;IACpF,IAAI,mBAAmB,KAAK,mBAAmB,EAAE,CAAC;QAChD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,mBAAmB,IAAI,wBAAwB,KAAK,wBAAwB,EAAE,CAAC;QAClF,OAAO,wBAAwB,GAAG,wBAAwB,CAAC;IAC7D,CAAC;IAED,8CAA8C;IAC9C,MAAM,2BAA2B,GAC/B,SAAS,CAAC,qBAAqB;QAC/B,uBAAuB,CAAC,SAAS,CAAC,kBAAkB,CAAC,KAAK,uBAAuB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC7G,MAAM,2BAA2B,GAC/B,SAAS,CAAC,qBAAqB;QAC/B,uBAAuB,CAAC,SAAS,CAAC,kBAAkB,CAAC,KAAK,uBAAuB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC7G,IAAI,2BAA2B,KAAK,2BAA2B,EAAE,CAAC;QAChE,OAAO,2BAA2B,CAAC;IACrC,CAAC;IAED,qCAAqC;IACrC,MAAM,cAAc,GAAG,SAAS,CAAC,gBAAgB,CAAC;IAClD,MAAM,cAAc,GAAG,SAAS,CAAC,gBAAgB,CAAC;IAClD,IAAI,cAAc,KAAK,cAAc,EAAE,CAAC;QACtC,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,kCAAkC;IAClC,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,2BAA2B,GAC/B,uBAAuB,CAAC,SAAS,CAAC,mBAAmB,CAAC,KAAK,uBAAuB,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACnH,MAAM,2BAA2B,GAC/B,uBAAuB,CAAC,SAAS,CAAC,mBAAmB,CAAC,KAAK,uBAAuB,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACnH,IAAI,2BAA2B,KAAK,2BAA2B,EAAE,CAAC;YAChE,OAAO,2BAA2B,CAAC;QACrC,CAAC;IACH,CAAC;IAED,kEAAkE;IAClE,IAAI,wBAAwB,KAAK,wBAAwB,EAAE,CAAC;QAC1D,OAAO,wBAAwB,GAAG,wBAAwB,CAAC;IAC7D,CAAC;IAED,0DAA0D;IAC1D,IAAI,SAAS,CAAC,kBAAkB,KAAK,SAAS,CAAC,kBAAkB,EAAE,CAAC;QAClE,OAAO,SAAS,CAAC,kBAAkB,GAAG,SAAS,CAAC,kBAAkB,CAAC;IACrE,CAAC;IACD,OAAO,SAAS,CAAC,aAAa,GAAG,SAAS,CAAC,aAAa,CAAC;AAAA,CAC1D;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAgC,EAAW;IACjF,OAAO,CACL,MAAM,CAAC,kBAAkB,GAAG,CAAC,IAAI,mBAAmB,GAAG,CAAC,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,qBAAqB,CACpH,CAAC;AAAA,CACH;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAyB,EAA4B;IAC9F,OAAO;QACL,kBAAkB,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,CAAC;QACnE,kBAAkB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI;QACrD,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,mBAAmB,EAAE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI;QACvD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,CAAC;QACpD,gBAAgB,EAAE,gBAAgB,CAAC,MAAM,CAAC;KAC3C,CAAC;AAAA,CACH"}

package/lib/lightClient/spec/processLightClientUpdate.d.ts

@@ -0,0 +1,12 @@
+import { ChainForkConfig } from "@lodestar/config";
+import { LightClientUpdate, Slot, SyncPeriod } from "@lodestar/types";
+import { LightClientUpdateSummary } from "./isBetterUpdate.js";
+import { type ILightClientStore, type SyncCommitteeFast } from "./store.js";
+export interface ProcessUpdateOpts {
+    allowForcedUpdates?: boolean;
+    updateHeadersOnForcedUpdate?: boolean;
+}
+export declare function processLightClientUpdate(config: ChainForkConfig, store: ILightClientStore, currentSlot: Slot, opts: ProcessUpdateOpts, update: LightClientUpdate): void;
+export declare function getSyncCommitteeAtPeriod(store: ILightClientStore, period: SyncPeriod, opts: ProcessUpdateOpts): SyncCommitteeFast;
+export declare function isSafeLightClientUpdate(update: LightClientUpdateSummary): boolean;
+//# sourceMappingURL=processLightClientUpdate.d.ts.map

package/lib/lightClient/spec/processLightClientUpdate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"processLightClientUpdate.d.ts","sourceRoot":"","sources":["../../../src/lightClient/spec/processLightClientUpdate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,eAAe,EAAC,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAC,iBAAiB,EAAE,IAAI,EAAE,UAAU,EAAC,MAAM,iBAAiB,CAAC;AAGpE,OAAO,EAAC,wBAAwB,EAA6C,MAAM,qBAAqB,CAAC;AACzG,OAAO,EAAC,KAAK,iBAAiB,EAA0B,KAAK,iBAAiB,EAAC,MAAM,YAAY,CAAC;AAIlG,MAAM,WAAW,iBAAiB;IAChC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,2BAA2B,CAAC,EAAE,OAAO,CAAC;CACvC;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,eAAe,EACvB,KAAK,EAAE,iBAAiB,EACxB,WAAW,EAAE,IAAI,EACjB,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,iBAAiB,GACxB,IAAI,CA8CN;AAED,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,iBAAiB,EACxB,MAAM,EAAE,UAAU,EAClB,IAAI,EAAE,iBAAiB,GACtB,iBAAiB,CAuCnB;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,wBAAwB,GAAG,OAAO,CAIjF"}

package/lib/lightClient/spec/processLightClientUpdate.js

@@ -0,0 +1,80 @@
+import { SYNC_COMMITTEE_SIZE } from "@lodestar/params";
+import { pruneSetToMax } from "@lodestar/utils";
+import { computeSyncPeriodAtSlot } from "../../util/epoch.js";
+import { isBetterUpdate, toLightClientUpdateSummary } from "./isBetterUpdate.js";
+import { MAX_SYNC_PERIODS_CACHE } from "./store.js";
+import { deserializeSyncCommittee, getSafetyThreshold, isSyncCommitteeUpdate, sumBits } from "./utils.js";
+import { validateLightClientUpdate } from "./validateLightClientUpdate.js";
+export function processLightClientUpdate(config, store, currentSlot, opts, update) {
+    if (update.signatureSlot > currentSlot) {
+        throw Error(`update slot ${update.signatureSlot} must not be in the future, current slot ${currentSlot}`);
+    }
+    const updateSignaturePeriod = computeSyncPeriodAtSlot(update.signatureSlot);
+    // TODO: Consider attempting to retrieve LightClientUpdate from transport if missing
+    // Note: store.getSyncCommitteeAtPeriod() may advance store
+    const syncCommittee = getSyncCommitteeAtPeriod(store, updateSignaturePeriod, opts);
+    validateLightClientUpdate(config, store, update, syncCommittee);
+    // Track the maximum number of active participants in the committee signatures
+    const syncCommitteeTrueBits = sumBits(update.syncAggregate.syncCommitteeBits);
+    store.setActiveParticipants(updateSignaturePeriod, syncCommitteeTrueBits);
+    // Update the optimistic header
+    if (syncCommitteeTrueBits > getSafetyThreshold(store.getMaxActiveParticipants(updateSignaturePeriod)) &&
+        update.attestedHeader.beacon.slot > store.optimisticHeader.beacon.slot) {
+        store.optimisticHeader = update.attestedHeader;
+    }
+    // Update finalized header
+    if (syncCommitteeTrueBits * 3 >= SYNC_COMMITTEE_SIZE * 2 &&
+        update.finalizedHeader.beacon.slot > store.finalizedHeader.beacon.slot) {
+        store.finalizedHeader = update.finalizedHeader;
+        if (store.finalizedHeader.beacon.slot > store.optimisticHeader.beacon.slot) {
+            store.optimisticHeader = store.finalizedHeader;
+        }
+    }
+    if (isSyncCommitteeUpdate(update)) {
+        // Update the best update in case we have to force-update to it if the timeout elapses
+        const bestValidUpdate = store.bestValidUpdates.get(updateSignaturePeriod);
+        const updateSummary = toLightClientUpdateSummary(update);
+        if (!bestValidUpdate || isBetterUpdate(updateSummary, bestValidUpdate.summary)) {
+            store.bestValidUpdates.set(updateSignaturePeriod, { update, summary: updateSummary });
+            pruneSetToMax(store.bestValidUpdates, MAX_SYNC_PERIODS_CACHE);
+        }
+        // Note: defer update next sync committee to a future getSyncCommitteeAtPeriod() call
+    }
+}
+export function getSyncCommitteeAtPeriod(store, period, opts) {
+    const syncCommittee = store.syncCommittees.get(period);
+    if (syncCommittee) {
+        return syncCommittee;
+    }
+    const bestValidUpdate = store.bestValidUpdates.get(period - 1);
+    if (bestValidUpdate && (isSafeLightClientUpdate(bestValidUpdate.summary) || opts.allowForcedUpdates)) {
+        const { update } = bestValidUpdate;
+        const syncCommittee = deserializeSyncCommittee(update.nextSyncCommittee);
+        store.syncCommittees.set(period, syncCommittee);
+        pruneSetToMax(store.syncCommittees, MAX_SYNC_PERIODS_CACHE);
+        store.bestValidUpdates.delete(period - 1);
+        if (opts.updateHeadersOnForcedUpdate) {
+            // From https://github.com/ethereum/consensus-specs/blob/a57e15636013eeba3610ff3ade41781dba1bb0cd/specs/altair/light-client/sync-protocol.md?plain=1#L403
+            if (update.finalizedHeader.beacon.slot <= store.finalizedHeader.beacon.slot) {
+                update.finalizedHeader = update.attestedHeader;
+            }
+            // From https://github.com/ethereum/consensus-specs/blob/a57e15636013eeba3610ff3ade41781dba1bb0cd/specs/altair/light-client/sync-protocol.md?plain=1#L374
+            if (update.finalizedHeader.beacon.slot > store.finalizedHeader.beacon.slot) {
+                store.finalizedHeader = update.finalizedHeader;
+            }
+            if (store.finalizedHeader.beacon.slot > store.optimisticHeader.beacon.slot) {
+                store.optimisticHeader = store.finalizedHeader;
+            }
+        }
+        return syncCommittee;
+    }
+    const availableSyncCommittees = Array.from(store.syncCommittees.keys());
+    const availableBestValidUpdates = Array.from(store.bestValidUpdates.keys());
+    throw Error(`No SyncCommittee for period ${period}` +
+        ` available syncCommittees ${JSON.stringify(availableSyncCommittees)}` +
+        ` available bestValidUpdates ${JSON.stringify(availableBestValidUpdates)}`);
+}
+export function isSafeLightClientUpdate(update) {
+    return (update.activeParticipants * 3 >= SYNC_COMMITTEE_SIZE * 2 && update.isFinalityUpdate && update.isSyncCommitteeUpdate);
+}
+//# sourceMappingURL=processLightClientUpdate.js.map

package/lib/lightClient/spec/processLightClientUpdate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"processLightClientUpdate.js","sourceRoot":"","sources":["../../../src/lightClient/spec/processLightClientUpdate.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,mBAAmB,EAAC,MAAM,kBAAkB,CAAC;AAErD,OAAO,EAAC,aAAa,EAAC,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAC,uBAAuB,EAAC,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAA2B,cAAc,EAAE,0BAA0B,EAAC,MAAM,qBAAqB,CAAC;AACzG,OAAO,EAAyB,sBAAsB,EAAyB,MAAM,YAAY,CAAC;AAClG,OAAO,EAAC,wBAAwB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,OAAO,EAAC,MAAM,YAAY,CAAC;AACxG,OAAO,EAAC,yBAAyB,EAAC,MAAM,gCAAgC,CAAC;AAOzE,MAAM,UAAU,wBAAwB,CACtC,MAAuB,EACvB,KAAwB,EACxB,WAAiB,EACjB,IAAuB,EACvB,MAAyB,EACnB;IACN,IAAI,MAAM,CAAC,aAAa,GAAG,WAAW,EAAE,CAAC;QACvC,MAAM,KAAK,CAAC,eAAe,MAAM,CAAC,aAAa,4CAA4C,WAAW,EAAE,CAAC,CAAC;IAC5G,CAAC;IAED,MAAM,qBAAqB,GAAG,uBAAuB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC5E,oFAAoF;IACpF,2DAA2D;IAC3D,MAAM,aAAa,GAAG,wBAAwB,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;IAEnF,yBAAyB,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;IAEhE,8EAA8E;IAC9E,MAAM,qBAAqB,GAAG,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC;IAC9E,KAAK,CAAC,qBAAqB,CAAC,qBAAqB,EAAE,qBAAqB,CAAC,CAAC;IAE1E,+BAA+B;IAC/B,IACE,qBAAqB,GAAG,kBAAkB,CAAC,KAAK,CAAC,wBAAwB,CAAC,qBAAqB,CAAC,CAAC;QACjG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EACtE,CAAC;QACD,KAAK,CAAC,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC;IACjD,CAAC;IAED,0BAA0B;IAC1B,IACE,qBAAqB,GAAG,CAAC,IAAI,mBAAmB,GAAG,CAAC;QACpD,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EACtE,CAAC;QACD,KAAK,CAAC,eAAe,GAAG,MAAM,CAAC,eAAe,CAAC;QAC/C,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC3E,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAC,eAAe,CAAC;QACjD,CAAC;IACH,CAAC;IAED,IAAI,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,sFAAsF;QACtF,MAAM,eAAe,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QAC1E,MAAM,aAAa,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;QACzD,IAAI,CAAC,eAAe,IAAI,cAAc,CAAC,aAAa,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/E,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,qBAAqB,EAAE,EAAC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAC,CAAC,CAAC;YACpF,aAAa,CAAC,KAAK,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC;QAChE,CAAC;QAED,qFAAqF;IACvF,CAAC;AAAA,CACF;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAwB,EACxB,MAAkB,EAClB,IAAuB,EACJ;IACnB,MAAM,aAAa,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,eAAe,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC/D,IAAI,eAAe,IAAI,CAAC,uBAAuB,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACrG,MAAM,EAAC,MAAM,EAAC,GAAG,eAAe,CAAC;QACjC,MAAM,aAAa,GAAG,wBAAwB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QACzE,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAChD,aAAa,CAAC,KAAK,CAAC,cAAc,EAAE,sBAAsB,CAAC,CAAC;QAC5D,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE1C,IAAI,IAAI,CAAC,2BAA2B,EAAE,CAAC;YACrC,yJAAyJ;YACzJ,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC5E,MAAM,CAAC,eAAe,GAAG,MAAM,CAAC,cAAc,CAAC;YACjD,CAAC;YAED,yJAAyJ;YACzJ,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC3E,KAAK,CAAC,eAAe,GAAG,MAAM,CAAC,eAAe,CAAC;YACjD,CAAC;YACD,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC3E,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAC,eAAe,CAAC;YACjD,CAAC;QACH,CAAC;QAED,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,uBAAuB,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;IACxE,MAAM,yBAAyB,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5E,MAAM,KAAK,CACT,+BAA+B,MAAM,EAAE;QACrC,6BAA6B,IAAI,CAAC,SAAS,CAAC,uBAAuB,CAAC,EAAE;QACtE,+BAA+B,IAAI,CAAC,SAAS,CAAC,yBAAyB,CAAC,EAAE,CAC7E,CAAC;AAAA,CACH;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAgC,EAAW;IACjF,OAAO,CACL,MAAM,CAAC,kBAAkB,GAAG,CAAC,IAAI,mBAAmB,GAAG,CAAC,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,qBAAqB,CACpH,CAAC;AAAA,CACH"}

package/lib/lightClient/spec/store.d.ts

@@ -0,0 +1,45 @@
+import type { PublicKey } from "@chainsafe/blst";
+import { BeaconConfig } from "@lodestar/config";
+import { LightClientBootstrap, LightClientHeader, LightClientUpdate, SyncPeriod } from "@lodestar/types";
+import type { LightClientUpdateSummary } from "./isBetterUpdate.js";
+export declare const MAX_SYNC_PERIODS_CACHE = 2;
+export interface ILightClientStore {
+    readonly config: BeaconConfig;
+    /** Map of trusted SyncCommittee to be used for sig validation */
+    readonly syncCommittees: Map<SyncPeriod, SyncCommitteeFast>;
+    /** Map of best valid updates */
+    readonly bestValidUpdates: Map<SyncPeriod, LightClientUpdateWithSummary>;
+    getMaxActiveParticipants(period: SyncPeriod): number;
+    setActiveParticipants(period: SyncPeriod, activeParticipants: number): void;
+    finalizedHeader: LightClientHeader;
+    optimisticHeader: LightClientHeader;
+}
+export interface LightClientStoreEvents {
+    onSetFinalizedHeader?: (header: LightClientHeader) => void;
+    onSetOptimisticHeader?: (header: LightClientHeader) => void;
+}
+export declare class LightClientStore implements ILightClientStore {
+    readonly config: BeaconConfig;
+    private readonly events;
+    readonly syncCommittees: Map<number, SyncCommitteeFast>;
+    readonly bestValidUpdates: Map<number, LightClientUpdateWithSummary>;
+    private finalizedHeaderValue;
+    private optimisticHeaderValue;
+    private readonly maxActiveParticipants;
+    constructor(config: BeaconConfig, bootstrap: LightClientBootstrap, events: LightClientStoreEvents);
+    get finalizedHeader(): LightClientHeader;
+    set finalizedHeader(value: LightClientHeader);
+    get optimisticHeader(): LightClientHeader;
+    set optimisticHeader(value: LightClientHeader);
+    getMaxActiveParticipants(period: SyncPeriod): number;
+    setActiveParticipants(period: SyncPeriod, activeParticipants: number): void;
+}
+export type SyncCommitteeFast = {
+    pubkeys: PublicKey[];
+    aggregatePubkey: PublicKey;
+};
+export type LightClientUpdateWithSummary = {
+    update: LightClientUpdate;
+    summary: LightClientUpdateSummary;
+};
+//# sourceMappingURL=store.d.ts.map

package/lib/lightClient/spec/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../../src/lightClient/spec/store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,SAAS,EAAC,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAC,YAAY,EAAC,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAC,oBAAoB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,UAAU,EAAC,MAAM,iBAAiB,CAAC;AAEvG,OAAO,KAAK,EAAC,wBAAwB,EAAC,MAAM,qBAAqB,CAAC;AAGlE,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAExC,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAE9B,iEAAiE;IACjE,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IAC5D,gCAAgC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,EAAE,4BAA4B,CAAC,CAAC;IAEzE,wBAAwB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAAC;IACrD,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAG5E,eAAe,EAAE,iBAAiB,CAAC;IAGnC,gBAAgB,EAAE,iBAAiB,CAAC;CACrC;AAED,MAAM,WAAW,sBAAsB;IACrC,oBAAoB,CAAC,EAAE,CAAC,MAAM,EAAE,iBAAiB,KAAK,IAAI,CAAC;IAC3D,qBAAqB,CAAC,EAAE,CAAC,MAAM,EAAE,iBAAiB,KAAK,IAAI,CAAC;CAC7D;AAED,qBAAa,gBAAiB,YAAW,iBAAiB;IAUtD,QAAQ,CAAC,MAAM,EAAE,YAAY;IAE7B,OAAO,CAAC,QAAQ,CAAC,MAAM;IAXzB,QAAQ,CAAC,cAAc,iCAA4C;IACnE,QAAQ,CAAC,gBAAgB,4CAAuD;IAEhF,OAAO,CAAC,oBAAoB,CAAoB;IAChD,OAAO,CAAC,qBAAqB,CAAoB;IAEjD,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAiC;IAEvE,YACW,MAAM,EAAE,YAAY,EAC7B,SAAS,EAAE,oBAAoB,EACd,MAAM,EAAE,sBAAsB,EAMhD;IAED,IAAI,eAAe,IAAI,iBAAiB,CAEvC;IAED,IAAI,eAAe,CAAC,KAAK,EAAE,iBAAiB,EAG3C;IAED,IAAI,gBAAgB,IAAI,iBAAiB,CAExC;IAED,IAAI,gBAAgB,CAAC,KAAK,EAAE,iBAAiB,EAG5C;IAED,wBAAwB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAKnD;IAED,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAY1E;CACF;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,eAAe,EAAE,SAAS,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,OAAO,EAAE,wBAAwB,CAAC;CACnC,CAAC"}

package/lib/lightClient/spec/store.js

@@ -0,0 +1,56 @@
+import { computeSyncPeriodAtSlot } from "../../util/epoch.js";
+import { deserializeSyncCommittee } from "./utils.js";
+export const MAX_SYNC_PERIODS_CACHE = 2;
+export class LightClientStore {
+    config;
+    events;
+    syncCommittees = new Map();
+    bestValidUpdates = new Map();
+    finalizedHeaderValue;
+    optimisticHeaderValue;
+    maxActiveParticipants = new Map();
+    constructor(config, bootstrap, events) {
+        this.config = config;
+        this.events = events;
+        const bootstrapPeriod = computeSyncPeriodAtSlot(bootstrap.header.beacon.slot);
+        this.syncCommittees.set(bootstrapPeriod, deserializeSyncCommittee(bootstrap.currentSyncCommittee));
+        this.finalizedHeaderValue = bootstrap.header;
+        this.optimisticHeaderValue = bootstrap.header;
+    }
+    get finalizedHeader() {
+        return this.finalizedHeaderValue;
+    }
+    set finalizedHeader(value) {
+        this.finalizedHeaderValue = value;
+        this.events.onSetFinalizedHeader?.(value);
+    }
+    get optimisticHeader() {
+        return this.optimisticHeaderValue;
+    }
+    set optimisticHeader(value) {
+        this.optimisticHeaderValue = value;
+        this.events.onSetOptimisticHeader?.(value);
+    }
+    getMaxActiveParticipants(period) {
+        const currMaxParticipants = this.maxActiveParticipants.get(period) ?? 0;
+        const prevMaxParticipants = this.maxActiveParticipants.get(period - 1) ?? 0;
+        return Math.max(currMaxParticipants, prevMaxParticipants);
+    }
+    setActiveParticipants(period, activeParticipants) {
+        const maxActiveParticipants = this.maxActiveParticipants.get(period) ?? 0;
+        if (activeParticipants > maxActiveParticipants) {
+            this.maxActiveParticipants.set(period, activeParticipants);
+        }
+        // Prune old entries
+        for (const key of this.maxActiveParticipants.keys()) {
+            if (key < period - MAX_SYNC_PERIODS_CACHE) {
+                this.maxActiveParticipants.delete(key);
+            }
+        }
+    }
+}
+// === storePeriod ? store.currentSyncCommittee : store.nextSyncCommittee;
+// if (!syncCommittee) {
+//   throw Error(`syncCommittee not available for signature period ${updateSignaturePeriod}`);
+// }
+//# sourceMappingURL=store.js.map

package/lib/lightClient/spec/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../../src/lightClient/spec/store.ts"],"names":[],"mappings":"AAGA,OAAO,EAAC,uBAAuB,EAAC,MAAM,qBAAqB,CAAC;AAE5D,OAAO,EAAC,wBAAwB,EAAC,MAAM,YAAY,CAAC;AAEpD,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAyBxC,MAAM,OAAO,gBAAgB;IAUhB,MAAM;IAEE,MAAM;IAXhB,cAAc,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC1D,gBAAgB,GAAG,IAAI,GAAG,EAA4C,CAAC;IAExE,oBAAoB,CAAoB;IACxC,qBAAqB,CAAoB;IAEhC,qBAAqB,GAAG,IAAI,GAAG,EAAsB,CAAC;IAEvE,YACW,MAAoB,EAC7B,SAA+B,EACd,MAA8B,EAC/C;sBAHS,MAAM;sBAEE,MAAM;QAEvB,MAAM,eAAe,GAAG,uBAAuB,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9E,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,eAAe,EAAE,wBAAwB,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACnG,IAAI,CAAC,oBAAoB,GAAG,SAAS,CAAC,MAAM,CAAC;QAC7C,IAAI,CAAC,qBAAqB,GAAG,SAAS,CAAC,MAAM,CAAC;IAAA,CAC/C;IAED,IAAI,eAAe,GAAsB;QACvC,OAAO,IAAI,CAAC,oBAAoB,CAAC;IAAA,CAClC;IAED,IAAI,eAAe,CAAC,KAAwB,EAAE;QAC5C,IAAI,CAAC,oBAAoB,GAAG,KAAK,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,oBAAoB,EAAE,CAAC,KAAK,CAAC,CAAC;IAAA,CAC3C;IAED,IAAI,gBAAgB,GAAsB;QACxC,OAAO,IAAI,CAAC,qBAAqB,CAAC;IAAA,CACnC;IAED,IAAI,gBAAgB,CAAC,KAAwB,EAAE;QAC7C,IAAI,CAAC,qBAAqB,GAAG,KAAK,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,CAAC,KAAK,CAAC,CAAC;IAAA,CAC5C;IAED,wBAAwB,CAAC,MAAkB,EAAU;QACnD,MAAM,mBAAmB,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,mBAAmB,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QAE5E,OAAO,IAAI,CAAC,GAAG,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;IAAA,CAC3D;IAED,qBAAqB,CAAC,MAAkB,EAAE,kBAA0B,EAAQ;QAC1E,MAAM,qBAAqB,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1E,IAAI,kBAAkB,GAAG,qBAAqB,EAAE,CAAC;YAC/C,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;QAC7D,CAAC;QAED,oBAAoB;QACpB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,IAAI,GAAG,GAAG,MAAM,GAAG,sBAAsB,EAAE,CAAC;gBAC1C,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IAAA,CACF;CACF;AAYD,0EAA0E;AAC1E,wBAAwB;AACxB,8FAA8F;AAC9F,IAAI"}

package/lib/lightClient/spec/utils.d.ts

@@ -0,0 +1,47 @@
+import { BitArray } from "@chainsafe/ssz";
+import { ChainForkConfig } from "@lodestar/config";
+import { ForkName } from "@lodestar/params";
+import { BeaconBlockHeader, LightClientFinalityUpdate, LightClientHeader, LightClientOptimisticUpdate, LightClientUpdate, Slot, SyncCommittee } from "@lodestar/types";
+import type { LightClientStore, SyncCommitteeFast } from "./store.js";
+export declare const GENESIS_SLOT = 0;
+export declare const ZERO_HASH: Uint8Array<ArrayBuffer>;
+export declare const ZERO_PUBKEY: Uint8Array<ArrayBuffer>;
+export declare const ZERO_SYNC_COMMITTEE: import("@chainsafe/ssz").ValueOfFields<{
+    pubkeys: import("@chainsafe/ssz").VectorCompositeType<import("@chainsafe/ssz").ByteVectorType>;
+    aggregatePubkey: import("@chainsafe/ssz").ByteVectorType;
+}>;
+export declare const ZERO_HEADER: import("@chainsafe/ssz").ValueOfFields<{
+    slot: import("@chainsafe/ssz").UintNumberType;
+    proposerIndex: import("@chainsafe/ssz").UintNumberType;
+    parentRoot: import("@chainsafe/ssz").ByteVectorType;
+    stateRoot: import("@chainsafe/ssz").ByteVectorType;
+    bodyRoot: import("@chainsafe/ssz").ByteVectorType;
+}>;
+export declare function sumBits(bits: BitArray): number;
+/**
+ * Util to guarantee that all bits have a corresponding pubkey.
+ */
+export declare function getParticipantPubkeys<T>(pubkeys: T[], bits: BitArray): T[];
+export declare function deserializeSyncCommittee(syncCommittee: SyncCommittee): SyncCommitteeFast;
+export declare function serializeSyncCommittee(syncCommittee: SyncCommitteeFast): SyncCommittee;
+export declare function getSafetyThreshold(maxActiveParticipants: number): number;
+export declare function getZeroSyncCommitteeBranch(fork: ForkName): Uint8Array[];
+export declare function getZeroFinalityBranch(fork: ForkName): Uint8Array[];
+export declare function isSyncCommitteeUpdate(update: LightClientUpdate): boolean;
+export declare function isFinalityUpdate(update: LightClientUpdate): boolean;
+export declare function isZeroedHeader(header: BeaconBlockHeader): boolean;
+export declare function isZeroedSyncCommittee(syncCommittee: SyncCommittee): boolean;
+export declare function isValidMerkleBranch(leaf: Uint8Array, branch: Uint8Array[], depth: number, index: number, root: Uint8Array): boolean;
+export declare function normalizeMerkleBranch(branch: Uint8Array[], depth: number): Uint8Array[];
+export declare function upgradeLightClientHeader(config: ChainForkConfig, targetFork: ForkName, header: LightClientHeader): LightClientHeader;
+export declare function isValidLightClientHeader(config: ChainForkConfig, header: LightClientHeader): boolean;
+export declare function upgradeLightClientUpdate(config: ChainForkConfig, targetFork: ForkName, update: LightClientUpdate): LightClientUpdate;
+export declare function upgradeLightClientFinalityUpdate(config: ChainForkConfig, targetFork: ForkName, finalityUpdate: LightClientFinalityUpdate): LightClientFinalityUpdate;
+export declare function upgradeLightClientOptimisticUpdate(config: ChainForkConfig, targetFork: ForkName, optimisticUpdate: LightClientOptimisticUpdate): LightClientOptimisticUpdate;
+/**
+ * Currently this upgradation is not required because all processing is done based on the
+ * summary that the store generates and maintains. In case store needs to be saved to disk,
+ * this could be required depending on the format the store is saved to the disk
+ */
+export declare function upgradeLightClientStore(config: ChainForkConfig, targetFork: ForkName, store: LightClientStore, signatureSlot: Slot): LightClientStore;
+//# sourceMappingURL=utils.d.ts.map

package/lib/lightClient/spec/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/lightClient/spec/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,QAAQ,EAAC,MAAM,gBAAgB,CAAC;AACxC,OAAO,EAAC,eAAe,EAAC,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAKL,QAAQ,EAKT,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,iBAAiB,EACjB,yBAAyB,EACzB,iBAAiB,EACjB,2BAA2B,EAC3B,iBAAiB,EACjB,IAAI,EACJ,aAAa,EAGd,MAAM,iBAAiB,CAAC;AAGzB,OAAO,KAAK,EAAC,gBAAgB,EAAE,iBAAiB,EAAC,MAAM,YAAY,CAAC;AAEpE,eAAO,MAAM,YAAY,IAAI,CAAC;AAC9B,eAAO,MAAM,SAAS,yBAAqB,CAAC;AAC5C,eAAO,MAAM,WAAW,yBAAqB,CAAC;AAC9C,eAAO,MAAM,mBAAmB;;;EAA0C,CAAC;AAC3E,eAAO,MAAM,WAAW;;;;;;EAA8C,CAAC;AAIvE,wBAAgB,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAE9C;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,GAAG,CAAC,EAAE,CAG1E;AAUD,wBAAgB,wBAAwB,CAAC,aAAa,EAAE,aAAa,GAAG,iBAAiB,CAKxF;AAED,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,iBAAiB,GAAG,aAAa,CAKtF;AAED,wBAAgB,kBAAkB,CAAC,qBAAqB,EAAE,MAAM,GAAG,MAAM,CAExE;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,EAAE,CAMvE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,EAAE,CAIlE;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAOxE;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAOnE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAGjE;AAED,wBAAgB,qBAAqB,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO,CAG3E;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,UAAU,EAAE,EACpB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,UAAU,GACf,OAAO,CAMT;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,EAAE,CAIvF;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,eAAe,EACvB,UAAU,EAAE,QAAQ,EACpB,MAAM,EAAE,iBAAiB,GACxB,iBAAiB,CAiEnB;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAqCpG;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,eAAe,EACvB,UAAU,EAAE,QAAQ,EACpB,MAAM,EAAE,iBAAiB,GACxB,iBAAiB,CAanB;AAED,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,eAAe,EACvB,UAAU,EAAE,QAAQ,EACpB,cAAc,EAAE,yBAAyB,GACxC,yBAAyB,CAS3B;AAED,wBAAgB,kCAAkC,CAChD,MAAM,EAAE,eAAe,EACvB,UAAU,EAAE,QAAQ,EACpB,gBAAgB,EAAE,2BAA2B,GAC5C,2BAA2B,CAI7B;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,eAAe,EACvB,UAAU,EAAE,QAAQ,EACpB,KAAK,EAAE,gBAAgB,EACvB,aAAa,EAAE,IAAI,GAClB,gBAAgB,CAelB"}