@lodestar/state-transition 1.35.0-dev.98d359db41 → 1.35.0-dev.a70bac5bd3

package/lib/util/seed.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"seed.d.ts","sourceRoot":"","sources":["../../src/util/seed.ts"],"names":[],"mappings":"AAKA,OAAO,EAKL,OAAO,EAOR,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAC,MAAM,iBAAiB,CAAC;AAE3E,OAAO,EAAC,0BAA0B,EAAC,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAC,mBAAmB,EAAE,yBAAyB,EAAC,MAAM,aAAa,CAAC;AAG3E;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,OAAO,EACb,SAAS,EAAE,UAAU,EACrB,SAAS,EAAE;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,aAAa,EAAE,WAAW,CAAA;CAAC,EACrD,0BAA0B,EAAE,0BAA0B,GACrD,MAAM,EAAE,CAeV;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,OAAO,EACb,0BAA0B,EAAE,0BAA0B,EACtD,OAAO,EAAE,SAAS,CAAC,cAAc,CAAC,EAClC,IAAI,EAAE,UAAU,GACf,cAAc,CAwChB;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,OAAO,EACb,0BAA0B,EAAE,0BAA0B,EACtD,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,UAAU,GACf,cAAc,CAwBhB;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,yBAAyB,EAChC,SAAS,EAAE;IAAC,aAAa,EAAE,WAAW,CAAA;CAAC,EACvC,KAAK,EAAE,KAAK,GACX,cAAc,EAAE,CAgBlB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,mBAAmB,EAC1B,sBAAsB,EAAE,SAAS,CAAC,cAAc,CAAC,EACjD,0BAA0B,EAAE,0BAA0B,GACrD,cAAc,EAAE,CAkDlB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,mBAAmB,EAC1B,sBAAsB,EAAE,WAAW,EACnC,0BAA0B,EAAE,0BAA0B,GACrD,WAAW,CAwBb;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,CAiB7F;AAED,KAAK,sBAAsB,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;AAExD;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,sBAAsB,CA8DnG;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAE9E;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,GAAG,UAAU,CAIpG"}

package/lib/util/shufflingDecisionRoot.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"shufflingDecisionRoot.d.ts","sourceRoot":"","sources":["../../src/util/shufflingDecisionRoot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,KAAK,EAAE,IAAI,EAAO,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAC,yBAAyB,EAAC,MAAM,aAAa,CAAC;AAItD;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,yBAAyB,GAAG,IAAI,GAAG,IAAI,CAM3F;AAWD;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,yBAAyB,EAAE,cAAc,EAAE,KAAK,GAAG,IAAI,GAAG,IAAI,CAMlH"}

package/lib/util/signatureSets.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"signatureSets.d.ts","sourceRoot":"","sources":["../../src/util/signatureSets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,SAAS,EAAyC,MAAM,iBAAiB,CAAC;AAClF,OAAO,EAAC,IAAI,EAAC,MAAM,iBAAiB,CAAC;AAErC,oBAAY,gBAAgB;IAC1B,MAAM,WAAW;IACjB,SAAS,cAAc;CACxB;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC;IAC9B,MAAM,EAAE,SAAS,CAAC;IAClB,WAAW,EAAE,IAAI,CAAC;IAClB,SAAS,EAAE,UAAU,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,IAAI,EAAE,gBAAgB,CAAC,SAAS,CAAC;IACjC,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,WAAW,EAAE,IAAI,CAAC;IAClB,SAAS,EAAE,UAAU,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,kBAAkB,GAAG,sBAAsB,CAAC;AAExE,wBAAgB,kBAAkB,CAAC,YAAY,EAAE,aAAa,GAAG,OAAO,CAcvE;AAED,wBAAgB,sCAAsC,CACpD,MAAM,EAAE,SAAS,EACjB,WAAW,EAAE,IAAI,EACjB,SAAS,EAAE,UAAU,GACpB,kBAAkB,CAOpB;AAED,wBAAgB,yCAAyC,CACvD,OAAO,EAAE,SAAS,EAAE,EACpB,WAAW,EAAE,IAAI,EACjB,SAAS,EAAE,UAAU,GACpB,sBAAsB,CAOxB"}

package/lib/util/signingRoot.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"signingRoot.d.ts","sourceRoot":"","sources":["../../src/util/signingRoot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,IAAI,EAAC,MAAM,gBAAgB,CAAC;AACpC,OAAO,EAAC,MAAM,EAAc,MAAM,iBAAiB,CAAC;AAEpD;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAM7F"}

package/lib/util/slot.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"slot.d.ts","sourceRoot":"","sources":["../../src/util/slot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,WAAW,EAAC,MAAM,kBAAkB,CAAC;AAE7C,OAAO,EAAC,KAAK,EAAE,IAAI,EAAE,WAAW,EAAC,MAAM,iBAAiB,CAAC;AAGzD,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,GAAG,IAAI,CAGxF;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,GAAG,IAAI,CAElF;AAED,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,IAAI,CAG3E;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,WAAW,CAExG;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,GAAG,MAAM,CAGvF"}

package/lib/util/sszBytes.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"sszBytes.d.ts","sourceRoot":"","sources":["../../src/util/sszBytes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,eAAe,EAAC,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAC,OAAO,EAAE,OAAO,EAAC,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAC,WAAW,EAAE,IAAI,EAAC,MAAM,iBAAiB,CAAC;AAQlD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,oBAAoB,MAAM,CAAC;AAcxC,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CAGzF;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,GAAG,WAAW,CAAC,OAAO,EAAE,aAAa,CAAC,CAGrH;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAE7D"}

package/lib/util/syncCommittee.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"syncCommittee.d.ts","sourceRoot":"","sources":["../../src/util/syncCommittee.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,OAAO,EAKR,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAC,MAAM,EAAC,MAAM,iBAAiB,CAAC;AAEvC,OAAO,EAAC,0BAA0B,EAAC,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAC,mBAAmB,EAAC,MAAM,aAAa,CAAC;AAGhD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,mBAAmB,EAC1B,sBAAsB,EAAE,WAAW,EACnC,0BAA0B,EAAE,0BAA0B,GACrD;IAAC,OAAO,EAAE,WAAW,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC,aAAa,CAAA;CAAC,CAgB7D;AAED;;GAEG;AACH,wBAAgB,4BAA4B,CAAC,4BAA4B,EAAE,MAAM,GAAG,MAAM,CAUzF;AAED;;;IAGI;AACJ,wBAAgB,6BAA6B,CAAC,2BAA2B,EAAE,MAAM,GAAG,MAAM,CAKzF"}

package/lib/util/targetUnslashedBalance.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"targetUnslashedBalance.d.ts","sourceRoot":"","sources":["../../src/util/targetUnslashedBalance.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,KAAK,EAAE,MAAM,EAAC,MAAM,iBAAiB,CAAC;AAM9C;;;;;;GAMG;AACH,wBAAgB,mCAAmC,CACjD,aAAa,EAAE,MAAM,EAAE,EACvB,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,MAAM,CAAC,SAAS,EAAE,GAC7B,MAAM,CAWR"}

package/lib/util/validator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/util/validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,eAAe,EAAC,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAEL,OAAO,EAGR,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAC,MAAM,iBAAiB,CAAC;AAE9D,OAAO,EAAC,mBAAmB,EAAE,wBAAwB,EAAE,UAAU,EAAC,MAAM,aAAa,CAAC;AAGtF;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAEpF;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAEvF;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,KAAK,GAAG,WAAW,CAW/F;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,oBAAoB,EAAE,MAAM,GAAG,MAAM,CAKpH;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,GAAG,MAAM,CAE3F;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,4BAA4B,EAAE,MAAM,EACpC,kBAAkB,EAAE,MAAM,EAC1B,qBAAqB,EAAE,MAAM,GAC5B,MAAM,CAQR;AAED,wBAAgB,6BAA6B,CAAC,QAAQ,EAAE,UAAU,GAAG,MAAM,CAM1E;AAED,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,UAAU,GAAG,MAAM,CAExE;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,UAAU,GAAG,MAAM,CAEvE;AAED,wBAAgB,sBAAsB,CAAC,qBAAqB,EAAE,UAAU,GAAG,MAAM,CAMhF;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,GAAG,MAAM,CAQnH"}

package/lib/util/weakSubjectivity.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"weakSubjectivity.d.ts","sourceRoot":"","sources":["../../src/util/weakSubjectivity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,YAAY,EAAE,eAAe,EAAC,MAAM,kBAAkB,CAAC;AAQ/D,OAAO,EAAC,KAAK,EAAE,IAAI,EAAM,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAC,UAAU,EAAC,MAAM,wBAAwB,CAAC;AAGlD,OAAO,EAAC,mBAAmB,EAAE,yBAAyB,EAAC,MAAM,aAAa,CAAC;AAU3E,eAAO,MAAM,WAAW,QAAU,CAAC;AAGnC;;;GAGG;AACH,wBAAgB,wCAAwC,CACtD,MAAM,EAAE,eAAe,EACvB,KAAK,EAAE,yBAAyB,GAC/B,KAAK,CAEP;AAED;;;;;;;GAOG;AACH,wBAAgB,wCAAwC,CACtD,MAAM,EAAE,eAAe,EACvB,KAAK,EAAE,yBAAyB,GAC/B,MAAM,CAgBR;AAED;;;GAGG;AACH,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,mBAAmB,GAAG,MAAM,CA6BzG;AAED,wBAAgB,mDAAmD,CACjE,oBAAoB,EAAE,MAAM,EAC5B,uBAAuB,EAAE,MAAM,EAC/B,UAAU,EAAE,MAAM,EAClB,uBAAuB,EAAE,MAAM,GAC9B,MAAM,CAuBR;AAED,wBAAgB,oDAAoD,CAClE,uBAAuB,EAAE,MAAM,EAE/B,iBAAiB,EAAE,MAAM,EACzB,uBAAuB,EAAE,MAAM,GAC9B,MAAM,CAOR;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAMnE;AAED,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,mBAAmB,EAC5B,YAAY,EAAE,UAAU,GACvB,OAAO,CAOT;AAED,wBAAgB,kCAAkC,CAChD,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,mBAAmB,EAC5B,YAAY,EAAE,UAAU,GACvB,IAAI,CAgBN"}

package/src/block/externalData.ts

@@ -1,26 +0,0 @@
-/**
- * Should emulate the return value of `ExecutionEngine.notifyNewPayload()`, such that:
- *
- * Returns ``True`` iff ``execution_payload`` is valid with respect to ``self.execution_state``.
- *
- * Note: `processExecutionPayload()` depends on process_randao function call as it retrieves the most recent randao
- * mix from the state. Implementations that are considering parallel processing of execution payload with respect to
- * beacon chain state transition function should work around this dependency.
- */
-export enum ExecutionPayloadStatus {
-  preMerge = "preMerge",
-  invalid = "invalid",
-  valid = "valid",
-}
-
-export enum DataAvailabilityStatus {
-  PreData = "PreData",
-  /* validator activities can't be performed on out of range data */
-  OutOfRange = "OutOfRange",
-  Available = "Available",
-}
-
-export interface BlockExternalData {
-  executionPayloadStatus: ExecutionPayloadStatus;
-  dataAvailabilityStatus: DataAvailabilityStatus;
-}

package/src/block/index.ts

@@ -1,81 +0,0 @@
-import {ForkSeq} from "@lodestar/params";
-import {BeaconBlock, BlindedBeaconBlock, altair, capella} from "@lodestar/types";
-import {BeaconStateTransitionMetrics} from "../metrics.js";
-import {CachedBeaconStateAllForks, CachedBeaconStateBellatrix, CachedBeaconStateCapella} from "../types.js";
-import {getFullOrBlindedPayload, isExecutionEnabled} from "../util/execution.js";
-import {BlockExternalData, DataAvailabilityStatus} from "./externalData.js";
-import {processBlobKzgCommitments} from "./processBlobKzgCommitments.js";
-import {processBlockHeader} from "./processBlockHeader.js";
-import {processEth1Data} from "./processEth1Data.js";
-import {processExecutionPayload} from "./processExecutionPayload.js";
-import {processOperations} from "./processOperations.js";
-import {processRandao} from "./processRandao.js";
-import {processSyncAggregate} from "./processSyncCommittee.js";
-import {processWithdrawals} from "./processWithdrawals.js";
-import {ProcessBlockOpts, ProposerRewardType} from "./types.js";
-
-// Spec tests
-export {
-  processBlockHeader,
-  processExecutionPayload,
-  processRandao,
-  processEth1Data,
-  processSyncAggregate,
-  processWithdrawals,
-};
-
-export * from "./externalData.js";
-export * from "./initiateValidatorExit.js";
-export * from "./isValidIndexedAttestation.js";
-export * from "./processOperations.js";
-
-export function processBlock(
-  fork: ForkSeq,
-  state: CachedBeaconStateAllForks,
-  block: BeaconBlock | BlindedBeaconBlock,
-  externalData: BlockExternalData & ProcessBlockOpts,
-  opts?: ProcessBlockOpts,
-  metrics?: BeaconStateTransitionMetrics | null
-): void {
-  const {verifySignatures = true} = opts ?? {};
-
-  processBlockHeader(state, block);
-
-  // The call to the process_execution_payload must happen before the call to the process_randao as the former depends
-  // on the randao_mix computed with the reveal of the previous block.
-  if (fork >= ForkSeq.bellatrix && isExecutionEnabled(state as CachedBeaconStateBellatrix, block)) {
-    const fullOrBlindedPayload = getFullOrBlindedPayload(block);
-    // TODO Deneb: Allow to disable withdrawals for interop testing
-    // https://github.com/ethereum/consensus-specs/blob/b62c9e877990242d63aa17a2a59a49bc649a2f2e/specs/eip4844/beacon-chain.md#disabling-withdrawals
-    if (fork >= ForkSeq.capella) {
-      processWithdrawals(
-        fork,
-        state as CachedBeaconStateCapella,
-        fullOrBlindedPayload as capella.FullOrBlindedExecutionPayload
-      );
-    }
-
-    processExecutionPayload(fork, state as CachedBeaconStateBellatrix, block.body, externalData);
-  }
-
-  processRandao(state, block, verifySignatures);
-  processEth1Data(state, block.body.eth1Data);
-  processOperations(fork, state, block.body, opts, metrics);
-  if (fork >= ForkSeq.altair) {
-    processSyncAggregate(state, block as altair.BeaconBlock, verifySignatures);
-  }
-
-  if (fork >= ForkSeq.deneb) {
-    processBlobKzgCommitments(externalData);
-    // Only throw PreData so beacon can also sync/process blocks optimistically
-    // and let forkChoice handle it
-    if (externalData.dataAvailabilityStatus === DataAvailabilityStatus.PreData) {
-      throw Error("dataAvailabilityStatus.PreData");
-    }
-  }
-
-  const rewards = state.proposerRewards;
-  metrics?.proposerRewards.set({type: ProposerRewardType.attestation}, rewards.attestations);
-  metrics?.proposerRewards.set({type: ProposerRewardType.syncAggregate}, rewards.syncAggregate);
-  metrics?.proposerRewards.set({type: ProposerRewardType.slashing}, rewards.slashing);
-}

package/src/block/initiateValidatorExit.ts

@@ -1,62 +0,0 @@
-import {CompositeViewDU} from "@chainsafe/ssz";
-import {FAR_FUTURE_EPOCH, ForkSeq} from "@lodestar/params";
-import {ssz} from "@lodestar/types";
-import {CachedBeaconStateAllForks, CachedBeaconStateElectra} from "../types.js";
-import {computeExitEpochAndUpdateChurn} from "../util/epoch.js";
-
-/**
- * Initiate the exit of the validator with index ``index``.
- *
- * NOTE: This function takes a `validator` as argument instead of the validator index.
- * SSZ TreeViews have a dangerous edge case that may break the code here in a non-obvious way.
- * When running `state.validators[i]` you get a SubTree of that validator with a hook to the state.
- * Then, when a property of `validator` is set it propagates the changes upwards to the parent tree up to the state.
- * This means that `validator` will propagate its new state along with the current state of its parent tree up to
- * the state, potentially overwriting changes done in other SubTrees before.
- * ```ts
- * // default state.validators, all zeroes
- * const validatorsA = state.validators
- * const validatorsB = state.validators
- * validatorsA[0].exitEpoch = 9
- * validatorsB[0].exitEpoch = 9 // Setting a value in validatorsB will overwrite all changes from validatorsA
- * // validatorsA[0].exitEpoch is 0
- * // validatorsB[0].exitEpoch is 9
- * ```
- * Forcing consumers to pass the SubTree of `validator` directly mitigates this issue.
- */
-export function initiateValidatorExit(
-  fork: ForkSeq,
-  state: CachedBeaconStateAllForks,
-  validator: CompositeViewDU<typeof ssz.phase0.Validator>
-): void {
-  const {config, epochCtx} = state;
-
-  // return if validator already initiated exit
-  if (validator.exitEpoch !== FAR_FUTURE_EPOCH) {
-    return;
-  }
-
-  if (fork < ForkSeq.electra) {
-    // Limits the number of validators that can exit on each epoch.
-    // Expects all state.validators to follow this rule, i.e. no validator.exitEpoch is greater than exitQueueEpoch.
-    // If there the churnLimit is reached at this current exitQueueEpoch, advance epoch and reset churn.
-    if (epochCtx.exitQueueChurn >= epochCtx.churnLimit) {
-      epochCtx.exitQueueEpoch += 1;
-      epochCtx.exitQueueChurn = 1; // = 1 to account for this validator with exitQueueEpoch
-    } else {
-      // Add this validator to the current exitQueueEpoch churn
-      epochCtx.exitQueueChurn += 1;
-    }
-
-    // set validator exit epoch
-    validator.exitEpoch = epochCtx.exitQueueEpoch;
-  } else {
-    // set validator exit epoch
-    // Note we don't use epochCtx.exitQueueChurn and exitQueueEpoch anymore
-    validator.exitEpoch = computeExitEpochAndUpdateChurn(
-      state as CachedBeaconStateElectra,
-      BigInt(validator.effectiveBalance)
-    );
-  }
-  validator.withdrawableEpoch = validator.exitEpoch + config.MIN_VALIDATOR_WITHDRAWABILITY_DELAY;
-}

package/src/block/isValidIndexedAttestation.ts

@@ -1,70 +0,0 @@
-import {ForkSeq, MAX_COMMITTEES_PER_SLOT, MAX_VALIDATORS_PER_COMMITTEE} from "@lodestar/params";
-import {IndexedAttestation, IndexedAttestationBigint} from "@lodestar/types";
-import {getIndexedAttestationBigintSignatureSet, getIndexedAttestationSignatureSet} from "../signatureSets/index.js";
-import {CachedBeaconStateAllForks} from "../types.js";
-import {verifySignatureSet} from "../util/index.js";
-
-/**
- * Check if `indexedAttestation` has sorted and unique indices and a valid aggregate signature.
- */
-export function isValidIndexedAttestation(
-  state: CachedBeaconStateAllForks,
-  indexedAttestation: IndexedAttestation,
-  verifySignature: boolean
-): boolean {
-  if (!isValidIndexedAttestationIndices(state, indexedAttestation.attestingIndices)) {
-    return false;
-  }
-
-  if (verifySignature) {
-    return verifySignatureSet(getIndexedAttestationSignatureSet(state, indexedAttestation));
-  }
-  return true;
-}
-
-export function isValidIndexedAttestationBigint(
-  state: CachedBeaconStateAllForks,
-  indexedAttestation: IndexedAttestationBigint,
-  verifySignature: boolean
-): boolean {
-  if (!isValidIndexedAttestationIndices(state, indexedAttestation.attestingIndices)) {
-    return false;
-  }
-
-  if (verifySignature) {
-    return verifySignatureSet(getIndexedAttestationBigintSignatureSet(state, indexedAttestation));
-  }
-  return true;
-}
-
-/**
- * Check if `indexedAttestation` has sorted and unique indices and a valid aggregate signature.
- */
-export function isValidIndexedAttestationIndices(state: CachedBeaconStateAllForks, indices: number[]): boolean {
-  // verify max number of indices
-  const maxIndices =
-    state.config.getForkSeq(state.slot) >= ForkSeq.electra
-      ? MAX_VALIDATORS_PER_COMMITTEE * MAX_COMMITTEES_PER_SLOT
-      : MAX_VALIDATORS_PER_COMMITTEE;
-  if (!(indices.length > 0 && indices.length <= maxIndices)) {
-    return false;
-  }
-
-  // verify indices are sorted and unique.
-  // Just check if they are monotonically increasing,
-  // instead of creating a set and sorting it. Should be (O(n)) instead of O(n log(n))
-  let prev = -1;
-  for (const index of indices) {
-    if (index <= prev) return false;
-    prev = index;
-  }
-
-  // check if indices are out of bounds, by checking the highest index (since it is sorted)
-  // TODO - SLOW CODE - Does this .length check the tree and is expensive?
-  const lastIndex = indices.at(-1);
-  if (lastIndex && lastIndex >= state.validators.length) {
-    return false;
-  }
-
-  return true;
-}

package/src/block/processAttestationPhase0.ts

@@ -1,158 +0,0 @@
-import {ForkSeq, MIN_ATTESTATION_INCLUSION_DELAY, SLOTS_PER_EPOCH} from "@lodestar/params";
-import {Attestation, Slot, electra, phase0, ssz} from "@lodestar/types";
-import {assert, toRootHex} from "@lodestar/utils";
-import {CachedBeaconStateAllForks, CachedBeaconStatePhase0} from "../types.js";
-import {computeEndSlotAtEpoch, computeEpochAtSlot} from "../util/index.js";
-import {isValidIndexedAttestation} from "./index.js";
-
-/**
- * Process an Attestation operation. Validates an attestation and appends it to state.currentEpochAttestations or
- * state.previousEpochAttestations to be processed in bulk at the epoch transition.
- *
- * PERF: Work depends on number of Attestation per block. On mainnet the average is 89.7 / block, with 87.8 participant
- * true bits on average. See `packages/state-transition/test/perf/analyzeBlocks.ts`
- */
-export function processAttestationPhase0(
-  state: CachedBeaconStatePhase0,
-  attestation: phase0.Attestation,
-  verifySignature = true
-): void {
-  const {epochCtx} = state;
-  const slot = state.slot;
-  const data = attestation.data;
-
-  validateAttestation(ForkSeq.phase0, state, attestation);
-
-  const pendingAttestation = ssz.phase0.PendingAttestation.toViewDU({
-    data: data,
-    aggregationBits: attestation.aggregationBits,
-    inclusionDelay: slot - data.slot,
-    proposerIndex: epochCtx.getBeaconProposer(slot),
-  });
-
-  if (data.target.epoch === epochCtx.epoch) {
-    if (!ssz.phase0.Checkpoint.equals(data.source, state.currentJustifiedCheckpoint)) {
-      throw new Error(
-        `Attestation source does not equal current justified checkpoint: source=${checkpointToStr(
-          data.source
-        )} currentJustifiedCheckpoint=${checkpointToStr(state.currentJustifiedCheckpoint)}`
-      );
-    }
-    state.currentEpochAttestations.push(pendingAttestation);
-  } else {
-    if (!ssz.phase0.Checkpoint.equals(data.source, state.previousJustifiedCheckpoint)) {
-      throw new Error(
-        `Attestation source does not equal previous justified checkpoint: source=${checkpointToStr(
-          data.source
-        )} previousJustifiedCheckpoint=${checkpointToStr(state.previousJustifiedCheckpoint)}`
-      );
-    }
-    state.previousEpochAttestations.push(pendingAttestation);
-  }
-
-  if (!isValidIndexedAttestation(state, epochCtx.getIndexedAttestation(ForkSeq.phase0, attestation), verifySignature)) {
-    throw new Error("Attestation is not valid");
-  }
-}
-
-export function validateAttestation(fork: ForkSeq, state: CachedBeaconStateAllForks, attestation: Attestation): void {
-  const {epochCtx} = state;
-  const slot = state.slot;
-  const data = attestation.data;
-  const computedEpoch = computeEpochAtSlot(data.slot);
-  const committeeCount = epochCtx.getCommitteeCountPerSlot(computedEpoch);
-
-  if (!(data.target.epoch === epochCtx.previousShuffling.epoch || data.target.epoch === epochCtx.epoch)) {
-    throw new Error(
-      "Attestation target epoch not in previous or current epoch: " +
-        `targetEpoch=${data.target.epoch} currentEpoch=${epochCtx.epoch}`
-    );
-  }
-  if (!(data.target.epoch === computedEpoch)) {
-    throw new Error(
-      "Attestation target epoch does not match epoch computed from slot: " +
-        `targetEpoch=${data.target.epoch} computedEpoch=${computedEpoch}`
-    );
-  }
-
-  // post deneb, the attestations are valid till end of next epoch
-  if (!(data.slot + MIN_ATTESTATION_INCLUSION_DELAY <= slot && isTimelyTarget(fork, slot - data.slot))) {
-    const windowStart = data.slot + MIN_ATTESTATION_INCLUSION_DELAY;
-    const windowEnd = fork >= ForkSeq.deneb ? computeEndSlotAtEpoch(computedEpoch + 1) : data.slot + SLOTS_PER_EPOCH;
-
-    throw new Error(
-      `Attestation slot not within inclusion window: slot=${data.slot} window=${windowStart}..${windowEnd}`
-    );
-  }
-
-  if (fork >= ForkSeq.electra) {
-    assert.equal(data.index, 0, `AttestationData.index must be zero: index=${data.index}`);
-    const attestationElectra = attestation as electra.Attestation;
-    const committeeIndices = attestationElectra.committeeBits.getTrueBitIndexes();
-
-    const lastCommitteeIndex = committeeIndices.at(-1);
-    if (lastCommitteeIndex === undefined) {
-      throw Error("Attestation should have at least one committee bit set");
-    }
-
-    if (lastCommitteeIndex >= committeeCount) {
-      throw new Error(
-        `Attestation committee index exceeds committee count: lastCommitteeIndex=${lastCommitteeIndex} numCommittees=${committeeCount}`
-      );
-    }
-
-    const validatorsByCommittee = epochCtx.getBeaconCommittees(data.slot, committeeIndices);
-    const aggregationBitsArray = attestationElectra.aggregationBits.toBoolArray();
-
-    // Total number of attestation participants of every committee specified
-    let committeeOffset = 0;
-    for (const committeeValidators of validatorsByCommittee) {
-      const committeeAggregationBits = aggregationBitsArray.slice(
-        committeeOffset,
-        committeeOffset + committeeValidators.length
-      );
-
-      // Assert aggregation bits in this committee have at least one true bit
-      if (committeeAggregationBits.every((bit) => !bit)) {
-        throw new Error("Every committee in aggregation bits must have at least one attester");
-      }
-
-      committeeOffset += committeeValidators.length;
-    }
-
-    // Bitfield length matches total number of participants
-    assert.equal(
-      attestationElectra.aggregationBits.bitLen,
-      committeeOffset,
-      `Attestation aggregation bits length does not match total number of committee participants aggregationBitsLength=${attestation.aggregationBits.bitLen} participantCount=${committeeOffset}`
-    );
-  } else {
-    if (!(data.index < committeeCount)) {
-      throw new Error(
-        "Attestation committee index not within current committee count: " +
-          `committeeIndex=${data.index} committeeCount=${committeeCount}`
-      );
-    }
-
-    const committee = epochCtx.getBeaconCommittee(data.slot, data.index);
-    if (attestation.aggregationBits.bitLen !== committee.length) {
-      throw new Error(
-        "Attestation aggregation bits length does not match committee length: " +
-          `aggregationBitsLength=${attestation.aggregationBits.bitLen} committeeLength=${committee.length}`
-      );
-    }
-  }
-}
-
-// Modified https://github.com/ethereum/consensus-specs/pull/3360
-export function isTimelyTarget(fork: ForkSeq, inclusionDistance: Slot): boolean {
-  // post deneb attestation is valid till end of next epoch for target
-  if (fork >= ForkSeq.deneb) {
-    return true;
-  }
-  return inclusionDistance <= SLOTS_PER_EPOCH;
-}
-
-export function checkpointToStr(checkpoint: phase0.Checkpoint): string {
-  return `${toRootHex(checkpoint.root)}:${checkpoint.epoch}`;
-}

package/src/block/processAttestations.ts

@@ -1,25 +0,0 @@
-import {ForkSeq} from "@lodestar/params";
-import {Attestation} from "@lodestar/types";
-import {BeaconStateTransitionMetrics} from "../metrics.js";
-import {CachedBeaconStateAllForks, CachedBeaconStateAltair, CachedBeaconStatePhase0} from "../types.js";
-import {processAttestationPhase0} from "./processAttestationPhase0.js";
-import {processAttestationsAltair} from "./processAttestationsAltair.js";
-
-/**
- * TODO
- */
-export function processAttestations(
-  fork: ForkSeq,
-  state: CachedBeaconStateAllForks,
-  attestations: Attestation[],
-  verifySignatures = true,
-  metrics?: BeaconStateTransitionMetrics | null
-): void {
-  if (fork === ForkSeq.phase0) {
-    for (const attestation of attestations) {
-      processAttestationPhase0(state as CachedBeaconStatePhase0, attestation, verifySignatures);
-    }
-  } else {
-    processAttestationsAltair(fork, state as CachedBeaconStateAltair, attestations, verifySignatures, metrics);
-  }
-}

package/src/block/processAttestationsAltair.ts

@@ -1,184 +0,0 @@
-import {byteArrayEquals} from "@chainsafe/ssz";
-import {
-  ForkSeq,
-  MIN_ATTESTATION_INCLUSION_DELAY,
-  PROPOSER_WEIGHT,
-  SLOTS_PER_EPOCH,
-  TIMELY_HEAD_FLAG_INDEX,
-  TIMELY_HEAD_WEIGHT,
-  TIMELY_SOURCE_FLAG_INDEX,
-  TIMELY_SOURCE_WEIGHT,
-  TIMELY_TARGET_FLAG_INDEX,
-  TIMELY_TARGET_WEIGHT,
-  WEIGHT_DENOMINATOR,
-} from "@lodestar/params";
-import {Attestation, Epoch, phase0} from "@lodestar/types";
-import {intSqrt} from "@lodestar/utils";
-import {BeaconStateTransitionMetrics} from "../metrics.js";
-import {getAttestationWithIndicesSignatureSet} from "../signatureSets/indexedAttestation.js";
-import {CachedBeaconStateAltair} from "../types.js";
-import {increaseBalance, verifySignatureSet} from "../util/index.js";
-import {RootCache} from "../util/rootCache.js";
-import {checkpointToStr, isTimelyTarget, validateAttestation} from "./processAttestationPhase0.js";
-
-const PROPOSER_REWARD_DOMINATOR = ((WEIGHT_DENOMINATOR - PROPOSER_WEIGHT) * WEIGHT_DENOMINATOR) / PROPOSER_WEIGHT;
-
-/** Same to https://github.com/ethereum/eth2.0-specs/blob/v1.1.0-alpha.5/specs/altair/beacon-chain.md#has_flag */
-const TIMELY_SOURCE = 1 << TIMELY_SOURCE_FLAG_INDEX;
-const TIMELY_TARGET = 1 << TIMELY_TARGET_FLAG_INDEX;
-const TIMELY_HEAD = 1 << TIMELY_HEAD_FLAG_INDEX;
-const SLOTS_PER_EPOCH_SQRT = intSqrt(SLOTS_PER_EPOCH);
-
-export function processAttestationsAltair(
-  fork: ForkSeq,
-  state: CachedBeaconStateAltair,
-  attestations: Attestation[],
-  verifySignature = true,
-  metrics?: BeaconStateTransitionMetrics | null
-): void {
-  const {epochCtx} = state;
-  const {effectiveBalanceIncrements} = epochCtx;
-  const stateSlot = state.slot;
-  const rootCache = new RootCache(state);
-  const currentEpoch = epochCtx.epoch;
-
-  // Process all attestations first and then increase the balance of the proposer once
-  let proposerReward = 0;
-  let newSeenAttesters = 0;
-  let newSeenAttestersEffectiveBalance = 0;
-  for (const attestation of attestations) {
-    const data = attestation.data;
-
-    validateAttestation(fork, state, attestation);
-
-    // Retrieve the validator indices from the attestation participation bitfield
-    const attestingIndices = epochCtx.getAttestingIndices(fork, attestation);
-
-    // this check is done last because its the most expensive (if signature verification is toggled on)
-    // TODO: Why should we verify an indexed attestation that we just created? If it's just for the signature
-    // we can verify only that and nothing else.
-    if (verifySignature) {
-      const sigSet = getAttestationWithIndicesSignatureSet(state, attestation, attestingIndices);
-      if (!verifySignatureSet(sigSet)) {
-        throw new Error("Attestation signature is not valid");
-      }
-    }
-
-    const inCurrentEpoch = data.target.epoch === currentEpoch;
-    const epochParticipation = inCurrentEpoch ? state.currentEpochParticipation : state.previousEpochParticipation;
-
-    const flagsAttestation = getAttestationParticipationStatus(
-      fork,
-      data,
-      stateSlot - data.slot,
-      epochCtx.epoch,
-      rootCache
-    );
-
-    // For each participant, update their participation
-    // In epoch processing, this participation info is used to calculate balance updates
-    let totalBalanceIncrementsWithWeight = 0;
-    const validators = state.validators;
-    for (const validatorIndex of attestingIndices) {
-      const flags = epochParticipation.get(validatorIndex);
-
-      // For normal block, > 90% of attestations belong to current epoch
-      // At epoch boundary, 100% of attestations belong to previous epoch
-      // so we want to update the participation flag tree in batch
-
-      // Note ParticipationFlags type uses option {setBitwiseOR: true}, .set() does a |= operation
-      epochParticipation.set(validatorIndex, flagsAttestation);
-      // epochParticipation.setStatus(index, newStatus);
-
-      // Returns flags that are NOT set before (~ bitwise NOT) AND are set after
-      const flagsNewSet = ~flags & flagsAttestation;
-      if (flagsNewSet !== 0) {
-        newSeenAttesters++;
-        newSeenAttestersEffectiveBalance += effectiveBalanceIncrements[validatorIndex];
-      }
-
-      // Spec:
-      // baseReward = state.validators[index].effectiveBalance / EFFECTIVE_BALANCE_INCREMENT * baseRewardPerIncrement;
-      // proposerRewardNumerator += baseReward * totalWeight
-      let totalWeight = 0;
-      if ((flagsNewSet & TIMELY_SOURCE) === TIMELY_SOURCE) totalWeight += TIMELY_SOURCE_WEIGHT;
-      if ((flagsNewSet & TIMELY_TARGET) === TIMELY_TARGET) totalWeight += TIMELY_TARGET_WEIGHT;
-      if ((flagsNewSet & TIMELY_HEAD) === TIMELY_HEAD) totalWeight += TIMELY_HEAD_WEIGHT;
-
-      if (totalWeight > 0) {
-        totalBalanceIncrementsWithWeight += effectiveBalanceIncrements[validatorIndex] * totalWeight;
-      }
-
-      // TODO: describe issue. Compute progressive target balances
-      // When processing each attestation, increase the cummulative target balance. Only applies post-altair
-      if ((flagsNewSet & TIMELY_TARGET) === TIMELY_TARGET) {
-        const validator = validators.getReadonly(validatorIndex);
-        if (!validator.slashed) {
-          if (inCurrentEpoch) {
-            epochCtx.currentTargetUnslashedBalanceIncrements += effectiveBalanceIncrements[validatorIndex];
-          } else {
-            epochCtx.previousTargetUnslashedBalanceIncrements += effectiveBalanceIncrements[validatorIndex];
-          }
-        }
-      }
-    }
-
-    // Do the discrete math inside the loop to ensure a deterministic result
-    const totalIncrements = totalBalanceIncrementsWithWeight;
-    const proposerRewardNumerator = totalIncrements * state.epochCtx.baseRewardPerIncrement;
-    proposerReward += Math.floor(proposerRewardNumerator / PROPOSER_REWARD_DOMINATOR);
-  }
-
-  metrics?.newSeenAttestersPerBlock.set(newSeenAttesters);
-  metrics?.newSeenAttestersEffectiveBalancePerBlock.set(newSeenAttestersEffectiveBalance);
-  metrics?.attestationsPerBlock.set(attestations.length);
-
-  increaseBalance(state, epochCtx.getBeaconProposer(state.slot), proposerReward);
-  state.proposerRewards.attestations = proposerReward;
-}
-
-/**
- * https://github.com/ethereum/consensus-specs/blob/v1.1.10/specs/altair/beacon-chain.md#get_attestation_participation_flag_indices
- */
-export function getAttestationParticipationStatus(
-  fork: ForkSeq,
-  data: phase0.AttestationData,
-  inclusionDelay: number,
-  currentEpoch: Epoch,
-  rootCache: RootCache
-): number {
-  const justifiedCheckpoint =
-    data.target.epoch === currentEpoch ? rootCache.currentJustifiedCheckpoint : rootCache.previousJustifiedCheckpoint;
-
-  // The source and target votes are part of the FFG vote, the head vote is part of the fork choice vote
-  // Both are tracked to properly incentivise validators
-  //
-  // The source vote always matches the justified checkpoint (else its invalid)
-  // The target vote should match the most recent checkpoint (eg: the first root of the epoch)
-  // The head vote should match the root at the attestation slot (eg: the root at data.slot)
-  const isMatchingSource = checkpointValueEquals(data.source, justifiedCheckpoint);
-  if (!isMatchingSource) {
-    throw new Error(
-      `Attestation source does not equal justified checkpoint: source=${checkpointToStr(
-        data.source
-      )} justifiedCheckpoint=${checkpointToStr(justifiedCheckpoint)}`
-    );
-  }
-
-  const isMatchingTarget = byteArrayEquals(data.target.root, rootCache.getBlockRoot(data.target.epoch));
-
-  // a timely head is only be set if the target is _also_ matching
-  const isMatchingHead =
-    isMatchingTarget && byteArrayEquals(data.beaconBlockRoot, rootCache.getBlockRootAtSlot(data.slot));
-
-  let flags = 0;
-  if (isMatchingSource && inclusionDelay <= SLOTS_PER_EPOCH_SQRT) flags |= TIMELY_SOURCE;
-  if (isMatchingTarget && isTimelyTarget(fork, inclusionDelay)) flags |= TIMELY_TARGET;
-  if (isMatchingHead && inclusionDelay === MIN_ATTESTATION_INCLUSION_DELAY) flags |= TIMELY_HEAD;
-
-  return flags;
-}
-
-export function checkpointValueEquals(cp1: phase0.Checkpoint, cp2: phase0.Checkpoint): boolean {
-  return cp1.epoch === cp2.epoch && byteArrayEquals(cp1.root, cp2.root);
-}