@lodestar/state-transition 1.36.0-dev.a2a22d66ef → 1.36.0-dev.d9cc6b90f7

package/lib/block/processVoluntaryExit.d.ts

@@ -1,11 +1,21 @@
 import { ForkSeq } from "@lodestar/params";
 import { phase0 } from "@lodestar/types";
 import { CachedBeaconStateAllForks } from "../types.js";
+export declare enum VoluntaryExitValidity {
+    valid = "valid",
+    inactive = "inactive",
+    alreadyExited = "already_exited",
+    earlyEpoch = "early_epoch",
+    shortTimeActive = "short_time_active",
+    pendingWithdrawals = "pending_withdrawals",
+    invalidSignature = "invalid_signature"
+}
 /**
  * Process a VoluntaryExit operation. Initiates the exit of a validator.
  *
  * PERF: Work depends on number of VoluntaryExit per block. On regular networks the average is 0 / block.
  */
 export declare function processVoluntaryExit(fork: ForkSeq, state: CachedBeaconStateAllForks, signedVoluntaryExit: phase0.SignedVoluntaryExit, verifySignature?: boolean): void;
+export declare function getVoluntaryExitValidity(fork: ForkSeq, state: CachedBeaconStateAllForks, signedVoluntaryExit: phase0.SignedVoluntaryExit, verifySignature?: boolean): VoluntaryExitValidity;
 export declare function isValidVoluntaryExit(fork: ForkSeq, state: CachedBeaconStateAllForks, signedVoluntaryExit: phase0.SignedVoluntaryExit, verifySignature?: boolean): boolean;
 //# sourceMappingURL=processVoluntaryExit.d.ts.map

package/lib/block/processVoluntaryExit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"processVoluntaryExit.d.ts","sourceRoot":"","sources":["../../src/block/processVoluntaryExit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,OAAO,EAAC,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAC,MAAM,EAAC,MAAM,iBAAiB,CAAC;AAEvC,OAAO,EAAC,yBAAyB,EAA2B,MAAM,aAAa,CAAC;AAIhF;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,yBAAyB,EAChC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAC/C,eAAe,UAAO,GACrB,IAAI,CAON;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,yBAAyB,EAChC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAC/C,eAAe,UAAO,GACrB,OAAO,CAuBT"}
+{"version":3,"file":"processVoluntaryExit.d.ts","sourceRoot":"","sources":["../../src/block/processVoluntaryExit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,OAAO,EAAC,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAC,MAAM,EAAC,MAAM,iBAAiB,CAAC;AAEvC,OAAO,EAAC,yBAAyB,EAA2B,MAAM,aAAa,CAAC;AAIhF,oBAAY,qBAAqB;IAC/B,KAAK,UAAU;IACf,QAAQ,aAAa;IACrB,aAAa,mBAAmB;IAChC,UAAU,gBAAgB;IAC1B,eAAe,sBAAsB;IACrC,kBAAkB,wBAAwB;IAC1C,gBAAgB,sBAAsB;CACvC;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,yBAAyB,EAChC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAC/C,eAAe,UAAO,GACrB,IAAI,CAQN;AAED,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,yBAAyB,EAChC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAC/C,eAAe,UAAO,GACrB,qBAAqB,CAuCvB;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,yBAAyB,EAChC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAC/C,eAAe,UAAO,GACrB,OAAO,CAET"}

package/lib/block/processVoluntaryExit.js

@@ -2,38 +2,61 @@ import { FAR_FUTURE_EPOCH, ForkSeq } from "@lodestar/params";
 import { verifyVoluntaryExitSignature } from "../signatureSets/index.js";
 import { getPendingBalanceToWithdraw, isActiveValidator } from "../util/index.js";
 import { initiateValidatorExit } from "./index.js";
+export var VoluntaryExitValidity;
+(function (VoluntaryExitValidity) {
+    VoluntaryExitValidity["valid"] = "valid";
+    VoluntaryExitValidity["inactive"] = "inactive";
+    VoluntaryExitValidity["alreadyExited"] = "already_exited";
+    VoluntaryExitValidity["earlyEpoch"] = "early_epoch";
+    VoluntaryExitValidity["shortTimeActive"] = "short_time_active";
+    VoluntaryExitValidity["pendingWithdrawals"] = "pending_withdrawals";
+    VoluntaryExitValidity["invalidSignature"] = "invalid_signature";
+})(VoluntaryExitValidity || (VoluntaryExitValidity = {}));
 /**
  * Process a VoluntaryExit operation. Initiates the exit of a validator.
  *
  * PERF: Work depends on number of VoluntaryExit per block. On regular networks the average is 0 / block.
  */
 export function processVoluntaryExit(fork, state, signedVoluntaryExit, verifySignature = true) {
-    if (!isValidVoluntaryExit(fork, state, signedVoluntaryExit, verifySignature)) {
-        throw Error(`Invalid voluntary exit at forkSeq=${fork}`);
+    const validity = getVoluntaryExitValidity(fork, state, signedVoluntaryExit, verifySignature);
+    if (validity !== VoluntaryExitValidity.valid) {
+        throw Error(`Invalid voluntary exit at forkSeq=${fork} reason=${validity}`);
     }
     const validator = state.validators.get(signedVoluntaryExit.message.validatorIndex);
     initiateValidatorExit(fork, state, validator);
 }
-export function isValidVoluntaryExit(fork, state, signedVoluntaryExit, verifySignature = true) {
+export function getVoluntaryExitValidity(fork, state, signedVoluntaryExit, verifySignature = true) {
     const { config, epochCtx } = state;
     const voluntaryExit = signedVoluntaryExit.message;
     const validator = state.validators.get(voluntaryExit.validatorIndex);
     const currentEpoch = epochCtx.epoch;
-    return (
     // verify the validator is active
-    isActiveValidator(validator, currentEpoch) &&
-        // verify exit has not been initiated
-        validator.exitEpoch === FAR_FUTURE_EPOCH &&
-        // exits must specify an epoch when they become valid; they are not valid before then
-        currentEpoch >= voluntaryExit.epoch &&
-        // verify the validator had been active long enough
-        currentEpoch >= validator.activationEpoch + config.SHARD_COMMITTEE_PERIOD &&
-        (fork >= ForkSeq.electra
-            ? // only exit validator if it has no pending withdrawals in the queue
-                getPendingBalanceToWithdraw(state, voluntaryExit.validatorIndex) === 0
-            : // there are no pending withdrawals in previous forks
-                true) &&
-        // verify signature
-        (!verifySignature || verifyVoluntaryExitSignature(state, signedVoluntaryExit)));
+    if (!isActiveValidator(validator, currentEpoch)) {
+        return VoluntaryExitValidity.inactive;
+    }
+    // verify exit has not been initiated
+    if (validator.exitEpoch !== FAR_FUTURE_EPOCH) {
+        return VoluntaryExitValidity.alreadyExited;
+    }
+    // exits must specify an epoch when they become valid; they are not valid before then
+    if (currentEpoch < voluntaryExit.epoch) {
+        return VoluntaryExitValidity.earlyEpoch;
+    }
+    // verify the validator had been active long enough
+    if (currentEpoch < validator.activationEpoch + config.SHARD_COMMITTEE_PERIOD) {
+        return VoluntaryExitValidity.shortTimeActive;
+    }
+    // only exit validator if it has no pending withdrawals in the queue
+    if (fork >= ForkSeq.electra &&
+        getPendingBalanceToWithdraw(state, voluntaryExit.validatorIndex) !== 0) {
+        return VoluntaryExitValidity.pendingWithdrawals;
+    }
+    if (verifySignature && !verifyVoluntaryExitSignature(state, signedVoluntaryExit)) {
+        return VoluntaryExitValidity.invalidSignature;
+    }
+    return VoluntaryExitValidity.valid;
+}
+export function isValidVoluntaryExit(fork, state, signedVoluntaryExit, verifySignature = true) {
+    return getVoluntaryExitValidity(fork, state, signedVoluntaryExit, verifySignature) === VoluntaryExitValidity.valid;
 }
 //# sourceMappingURL=processVoluntaryExit.js.map

package/lib/block/processVoluntaryExit.js.map

@@ -1 +1 @@
-{"version":3,"file":"processVoluntaryExit.js","sourceRoot":"","sources":["../../src/block/processVoluntaryExit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,gBAAgB,EAAE,OAAO,EAAC,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EAAC,4BAA4B,EAAC,MAAM,2BAA2B,CAAC;AAEvE,OAAO,EAAC,2BAA2B,EAAE,iBAAiB,EAAC,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAC,qBAAqB,EAAC,MAAM,YAAY,CAAC;AAEjD;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAa,EACb,KAAgC,EAChC,mBAA+C,EAC/C,eAAe,GAAG,IAAI;IAEtB,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,mBAAmB,EAAE,eAAe,CAAC,EAAE,CAAC;QAC7E,MAAM,KAAK,CAAC,qCAAqC,IAAI,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACnF,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAa,EACb,KAAgC,EAChC,mBAA+C,EAC/C,eAAe,GAAG,IAAI;IAEtB,MAAM,EAAC,MAAM,EAAE,QAAQ,EAAC,GAAG,KAAK,CAAC;IACjC,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC;IACrE,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC;IAEpC,OAAO;IACL,iCAAiC;IACjC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC;QAC1C,qCAAqC;QACrC,SAAS,CAAC,SAAS,KAAK,gBAAgB;QACxC,qFAAqF;QACrF,YAAY,IAAI,aAAa,CAAC,KAAK;QACnC,mDAAmD;QACnD,YAAY,IAAI,SAAS,CAAC,eAAe,GAAG,MAAM,CAAC,sBAAsB;QACzE,CAAC,IAAI,IAAI,OAAO,CAAC,OAAO;YACtB,CAAC,CAAC,oEAAoE;gBACpE,2BAA2B,CAAC,KAAiC,EAAE,aAAa,CAAC,cAAc,CAAC,KAAK,CAAC;YACpG,CAAC,CAAC,qDAAqD;gBACrD,IAAI,CAAC;QACT,mBAAmB;QACnB,CAAC,CAAC,eAAe,IAAI,4BAA4B,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAC/E,CAAC;AACJ,CAAC"}
+{"version":3,"file":"processVoluntaryExit.js","sourceRoot":"","sources":["../../src/block/processVoluntaryExit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,gBAAgB,EAAE,OAAO,EAAC,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EAAC,4BAA4B,EAAC,MAAM,2BAA2B,CAAC;AAEvE,OAAO,EAAC,2BAA2B,EAAE,iBAAiB,EAAC,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAC,qBAAqB,EAAC,MAAM,YAAY,CAAC;AAEjD,MAAM,CAAN,IAAY,qBAQX;AARD,WAAY,qBAAqB;IAC/B,wCAAe,CAAA;IACf,8CAAqB,CAAA;IACrB,yDAAgC,CAAA;IAChC,mDAA0B,CAAA;IAC1B,8DAAqC,CAAA;IACrC,mEAA0C,CAAA;IAC1C,+DAAsC,CAAA;AACxC,CAAC,EARW,qBAAqB,KAArB,qBAAqB,QAQhC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAa,EACb,KAAgC,EAChC,mBAA+C,EAC/C,eAAe,GAAG,IAAI;IAEtB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,EAAE,KAAK,EAAE,mBAAmB,EAAE,eAAe,CAAC,CAAC;IAC7F,IAAI,QAAQ,KAAK,qBAAqB,CAAC,KAAK,EAAE,CAAC;QAC7C,MAAM,KAAK,CAAC,qCAAqC,IAAI,WAAW,QAAQ,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACnF,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAAa,EACb,KAAgC,EAChC,mBAA+C,EAC/C,eAAe,GAAG,IAAI;IAEtB,MAAM,EAAC,MAAM,EAAE,QAAQ,EAAC,GAAG,KAAK,CAAC;IACjC,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC;IACrE,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC;IAEpC,iCAAiC;IACjC,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;QAChD,OAAO,qBAAqB,CAAC,QAAQ,CAAC;IACxC,CAAC;IAED,qCAAqC;IACrC,IAAI,SAAS,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC7C,OAAO,qBAAqB,CAAC,aAAa,CAAC;IAC7C,CAAC;IAED,qFAAqF;IACrF,IAAI,YAAY,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC;QACvC,OAAO,qBAAqB,CAAC,UAAU,CAAC;IAC1C,CAAC;IAED,mDAAmD;IACnD,IAAI,YAAY,GAAG,SAAS,CAAC,eAAe,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAC;QAC7E,OAAO,qBAAqB,CAAC,eAAe,CAAC;IAC/C,CAAC;IAED,oEAAoE;IACpE,IACE,IAAI,IAAI,OAAO,CAAC,OAAO;QACvB,2BAA2B,CAAC,KAAiC,EAAE,aAAa,CAAC,cAAc,CAAC,KAAK,CAAC,EAClG,CAAC;QACD,OAAO,qBAAqB,CAAC,kBAAkB,CAAC;IAClD,CAAC;IAED,IAAI,eAAe,IAAI,CAAC,4BAA4B,CAAC,KAAK,EAAE,mBAAmB,CAAC,EAAE,CAAC;QACjF,OAAO,qBAAqB,CAAC,gBAAgB,CAAC;IAChD,CAAC;IAED,OAAO,qBAAqB,CAAC,KAAK,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAa,EACb,KAAgC,EAChC,mBAA+C,EAC/C,eAAe,GAAG,IAAI;IAEtB,OAAO,wBAAwB,CAAC,IAAI,EAAE,KAAK,EAAE,mBAAmB,EAAE,eAAe,CAAC,KAAK,qBAAqB,CAAC,KAAK,CAAC;AACrH,CAAC"}

package/lib/index.d.ts

@@ -4,7 +4,7 @@ export { assertValidAttesterSlashing } from "./block/processAttesterSlashing.js"
 export { isValidBlsToExecutionChange } from "./block/processBlsToExecutionChange.js";
 export { becomesNewEth1Data } from "./block/processEth1Data.js";
 export { assertValidProposerSlashing } from "./block/processProposerSlashing.js";
-export { isValidVoluntaryExit } from "./block/processVoluntaryExit.js";
+export { VoluntaryExitValidity, getVoluntaryExitValidity, isValidVoluntaryExit } from "./block/processVoluntaryExit.js";
 export { getExpectedWithdrawals } from "./block/processWithdrawals.js";
 export { ProposerRewardType } from "./block/types.js";
 export { type EffectiveBalanceIncrements, getEffectiveBalanceIncrementsWithLen, getEffectiveBalanceIncrementsZeroed, } from "./cache/effectiveBalanceIncrements.js";

package/lib/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,iBAAiB,EACtB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAC,iCAAiC,EAAE,yBAAyB,EAAC,MAAM,sCAAsC,CAAC;AAClH,OAAO,EAAC,2BAA2B,EAAC,MAAM,oCAAoC,CAAC;AAC/E,OAAO,EAAC,2BAA2B,EAAC,MAAM,wCAAwC,CAAC;AAEnF,OAAO,EAAC,kBAAkB,EAAC,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAC,2BAA2B,EAAC,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAC,oBAAoB,EAAC,MAAM,iCAAiC,CAAC;AAErE,OAAO,EAAC,sBAAsB,EAAC,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAC,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AACpD,OAAO,EACL,KAAK,0BAA0B,EAC/B,oCAAoC,EACpC,mCAAmC,GACpC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,UAAU,EACV,eAAe,EACf,mBAAmB,EACnB,KAAK,uBAAuB,EAC5B,kCAAkC,GACnC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAC,KAAK,oBAAoB,EAAE,kBAAkB,EAAC,MAAM,iCAAiC,CAAC;AAE9F,OAAO,EAAC,KAAK,iBAAiB,EAAC,MAAM,wBAAwB,CAAC;AAE9D,OAAO,EACL,KAAK,gBAAgB,EACrB,uBAAuB,EACvB,mBAAmB,EACnB,6BAA6B,EAC7B,+BAA+B,EAC/B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,cAAc,sBAAsB,CAAC;AACrC,YAAY,EAAC,mBAAmB,EAAC,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAC,KAAK,4BAA4B,EAAE,UAAU,EAAC,MAAM,cAAc,CAAC;AAC3E,cAAc,0BAA0B,CAAC;AACzC,cAAc,sBAAsB,CAAC;AACrC,YAAY,EACV,mBAAmB,EACnB,iBAAiB,EACjB,oBAAoB,EACpB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EAEf,iBAAiB,EACjB,yBAAyB,EACzB,uBAAuB,EACvB,0BAA0B,EAC1B,wBAAwB,EACxB,sBAAsB,EACtB,wBAAwB,EACxB,2BAA2B,EAC3B,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,iBAAiB,EACtB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAC,iCAAiC,EAAE,yBAAyB,EAAC,MAAM,sCAAsC,CAAC;AAClH,OAAO,EAAC,2BAA2B,EAAC,MAAM,oCAAoC,CAAC;AAC/E,OAAO,EAAC,2BAA2B,EAAC,MAAM,wCAAwC,CAAC;AAEnF,OAAO,EAAC,kBAAkB,EAAC,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAC,2BAA2B,EAAC,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAC,qBAAqB,EAAE,wBAAwB,EAAE,oBAAoB,EAAC,MAAM,iCAAiC,CAAC;AAEtH,OAAO,EAAC,sBAAsB,EAAC,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAC,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AACpD,OAAO,EACL,KAAK,0BAA0B,EAC/B,oCAAoC,EACpC,mCAAmC,GACpC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,UAAU,EACV,eAAe,EACf,mBAAmB,EACnB,KAAK,uBAAuB,EAC5B,kCAAkC,GACnC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAC,KAAK,oBAAoB,EAAE,kBAAkB,EAAC,MAAM,iCAAiC,CAAC;AAE9F,OAAO,EAAC,KAAK,iBAAiB,EAAC,MAAM,wBAAwB,CAAC;AAE9D,OAAO,EACL,KAAK,gBAAgB,EACrB,uBAAuB,EACvB,mBAAmB,EACnB,6BAA6B,EAC7B,+BAA+B,EAC/B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,cAAc,sBAAsB,CAAC;AACrC,YAAY,EAAC,mBAAmB,EAAC,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAC,KAAK,4BAA4B,EAAE,UAAU,EAAC,MAAM,cAAc,CAAC;AAC3E,cAAc,0BAA0B,CAAC;AACzC,cAAc,sBAAsB,CAAC;AACrC,YAAY,EACV,mBAAmB,EACnB,iBAAiB,EACjB,oBAAoB,EACpB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EAEf,iBAAiB,EACjB,yBAAyB,EACzB,uBAAuB,EACvB,0BAA0B,EAC1B,wBAAwB,EACxB,sBAAsB,EACtB,wBAAwB,EACxB,2BAA2B,EAC3B,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,cAAc,iBAAiB,CAAC"}

package/lib/index.js

@@ -6,7 +6,7 @@ export { isValidBlsToExecutionChange } from "./block/processBlsToExecutionChange
 export { becomesNewEth1Data } from "./block/processEth1Data.js";
 export { assertValidProposerSlashing } from "./block/processProposerSlashing.js";
 // BeaconChain validation
-export { isValidVoluntaryExit } from "./block/processVoluntaryExit.js";
+export { VoluntaryExitValidity, getVoluntaryExitValidity, isValidVoluntaryExit } from "./block/processVoluntaryExit.js";
 // Withdrawals for new blocks
 export { getExpectedWithdrawals } from "./block/processWithdrawals.js";
 export { ProposerRewardType } from "./block/types.js";

package/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAC,iCAAiC,EAAE,yBAAyB,EAAC,MAAM,sCAAsC,CAAC;AAClH,OAAO,EAAC,2BAA2B,EAAC,MAAM,oCAAoC,CAAC;AAC/E,OAAO,EAAC,2BAA2B,EAAC,MAAM,wCAAwC,CAAC;AACnF,qCAAqC;AACrC,OAAO,EAAC,kBAAkB,EAAC,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAC,2BAA2B,EAAC,MAAM,oCAAoC,CAAC;AAC/E,yBAAyB;AACzB,OAAO,EAAC,oBAAoB,EAAC,MAAM,iCAAiC,CAAC;AACrE,6BAA6B;AAC7B,OAAO,EAAC,sBAAsB,EAAC,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAC,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAEL,oCAAoC,EACpC,mCAAmC,GACpC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,UAAU,EACV,eAAe,EACf,mBAAmB,EAEnB,kCAAkC,GACnC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAA4B,kBAAkB,EAAC,MAAM,iCAAiC,CAAC;AAG9F,oBAAoB;AACpB,OAAO,EAEL,uBAAuB,EACvB,mBAAmB,EACnB,6BAA6B,EAC7B,+BAA+B,EAC/B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,cAAc,sBAAsB,CAAC;AAErC,OAAO,EAAoC,UAAU,EAAC,MAAM,cAAc,CAAC;AAC3E,cAAc,0BAA0B,CAAC;AACzC,cAAc,sBAAsB,CAAC;AAsBrC,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAC,iCAAiC,EAAE,yBAAyB,EAAC,MAAM,sCAAsC,CAAC;AAClH,OAAO,EAAC,2BAA2B,EAAC,MAAM,oCAAoC,CAAC;AAC/E,OAAO,EAAC,2BAA2B,EAAC,MAAM,wCAAwC,CAAC;AACnF,qCAAqC;AACrC,OAAO,EAAC,kBAAkB,EAAC,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAC,2BAA2B,EAAC,MAAM,oCAAoC,CAAC;AAC/E,yBAAyB;AACzB,OAAO,EAAC,qBAAqB,EAAE,wBAAwB,EAAE,oBAAoB,EAAC,MAAM,iCAAiC,CAAC;AACtH,6BAA6B;AAC7B,OAAO,EAAC,sBAAsB,EAAC,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAC,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAEL,oCAAoC,EACpC,mCAAmC,GACpC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,UAAU,EACV,eAAe,EACf,mBAAmB,EAEnB,kCAAkC,GACnC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAA4B,kBAAkB,EAAC,MAAM,iCAAiC,CAAC;AAG9F,oBAAoB;AACpB,OAAO,EAEL,uBAAuB,EACvB,mBAAmB,EACnB,6BAA6B,EAC7B,+BAA+B,EAC/B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,cAAc,sBAAsB,CAAC;AAErC,OAAO,EAAoC,UAAU,EAAC,MAAM,cAAc,CAAC;AAC3E,cAAc,0BAA0B,CAAC;AACzC,cAAc,sBAAsB,CAAC;AAsBrC,cAAc,iBAAiB,CAAC"}

package/package.json

@@ -11,7 +11,7 @@
   "bugs": {
     "url": "https://github.com/ChainSafe/lodestar/issues"
   },
-  "version": "1.36.0-dev.a2a22d66ef",
+  "version": "1.36.0-dev.d9cc6b90f7",
   "type": "module",
   "exports": {
     ".": {
@@ -67,10 +67,10 @@
     "@chainsafe/pubkey-index-map": "^3.0.0",
     "@chainsafe/ssz": "^1.2.2",
     "@chainsafe/swap-or-not-shuffle": "^1.2.1",
-    "@lodestar/config": "1.36.0-dev.a2a22d66ef",
-    "@lodestar/params": "1.36.0-dev.a2a22d66ef",
-    "@lodestar/types": "1.36.0-dev.a2a22d66ef",
-    "@lodestar/utils": "1.36.0-dev.a2a22d66ef",
+    "@lodestar/config": "1.36.0-dev.d9cc6b90f7",
+    "@lodestar/params": "1.36.0-dev.d9cc6b90f7",
+    "@lodestar/types": "1.36.0-dev.d9cc6b90f7",
+    "@lodestar/utils": "1.36.0-dev.d9cc6b90f7",
     "bigint-buffer": "^1.1.5"
   },
   "keywords": [
@@ -79,5 +79,5 @@
     "beacon",
     "blockchain"
   ],
-  "gitHead": "d7da4f4e9edc9a30e03a011b3c2bced291201b0a"
+  "gitHead": "e12e6a3eea6e631d76427de1128cd3b3aabb21bb"
 }

package/src/block/processVoluntaryExit.ts

@@ -5,6 +5,16 @@ import {CachedBeaconStateAllForks, CachedBeaconStateElectra} from "../types.js";
 import {getPendingBalanceToWithdraw, isActiveValidator} from "../util/index.js";
 import {initiateValidatorExit} from "./index.js";
 
+export enum VoluntaryExitValidity {
+  valid = "valid",
+  inactive = "inactive",
+  alreadyExited = "already_exited",
+  earlyEpoch = "early_epoch",
+  shortTimeActive = "short_time_active",
+  pendingWithdrawals = "pending_withdrawals",
+  invalidSignature = "invalid_signature",
+}
+
 /**
  * Process a VoluntaryExit operation. Initiates the exit of a validator.
  *
@@ -16,40 +26,66 @@ export function processVoluntaryExit(
   signedVoluntaryExit: phase0.SignedVoluntaryExit,
   verifySignature = true
 ): void {
-  if (!isValidVoluntaryExit(fork, state, signedVoluntaryExit, verifySignature)) {
-    throw Error(`Invalid voluntary exit at forkSeq=${fork}`);
+  const validity = getVoluntaryExitValidity(fork, state, signedVoluntaryExit, verifySignature);
+  if (validity !== VoluntaryExitValidity.valid) {
+    throw Error(`Invalid voluntary exit at forkSeq=${fork} reason=${validity}`);
   }
 
   const validator = state.validators.get(signedVoluntaryExit.message.validatorIndex);
   initiateValidatorExit(fork, state, validator);
 }
 
-export function isValidVoluntaryExit(
+export function getVoluntaryExitValidity(
   fork: ForkSeq,
   state: CachedBeaconStateAllForks,
   signedVoluntaryExit: phase0.SignedVoluntaryExit,
   verifySignature = true
-): boolean {
+): VoluntaryExitValidity {
   const {config, epochCtx} = state;
   const voluntaryExit = signedVoluntaryExit.message;
   const validator = state.validators.get(voluntaryExit.validatorIndex);
   const currentEpoch = epochCtx.epoch;
 
-  return (
-    // verify the validator is active
-    isActiveValidator(validator, currentEpoch) &&
-    // verify exit has not been initiated
-    validator.exitEpoch === FAR_FUTURE_EPOCH &&
-    // exits must specify an epoch when they become valid; they are not valid before then
-    currentEpoch >= voluntaryExit.epoch &&
-    // verify the validator had been active long enough
-    currentEpoch >= validator.activationEpoch + config.SHARD_COMMITTEE_PERIOD &&
-    (fork >= ForkSeq.electra
-      ? // only exit validator if it has no pending withdrawals in the queue
-        getPendingBalanceToWithdraw(state as CachedBeaconStateElectra, voluntaryExit.validatorIndex) === 0
-      : // there are no pending withdrawals in previous forks
-        true) &&
-    // verify signature
-    (!verifySignature || verifyVoluntaryExitSignature(state, signedVoluntaryExit))
-  );
+  // verify the validator is active
+  if (!isActiveValidator(validator, currentEpoch)) {
+    return VoluntaryExitValidity.inactive;
+  }
+
+  // verify exit has not been initiated
+  if (validator.exitEpoch !== FAR_FUTURE_EPOCH) {
+    return VoluntaryExitValidity.alreadyExited;
+  }
+
+  // exits must specify an epoch when they become valid; they are not valid before then
+  if (currentEpoch < voluntaryExit.epoch) {
+    return VoluntaryExitValidity.earlyEpoch;
+  }
+
+  // verify the validator had been active long enough
+  if (currentEpoch < validator.activationEpoch + config.SHARD_COMMITTEE_PERIOD) {
+    return VoluntaryExitValidity.shortTimeActive;
+  }
+
+  // only exit validator if it has no pending withdrawals in the queue
+  if (
+    fork >= ForkSeq.electra &&
+    getPendingBalanceToWithdraw(state as CachedBeaconStateElectra, voluntaryExit.validatorIndex) !== 0
+  ) {
+    return VoluntaryExitValidity.pendingWithdrawals;
+  }
+
+  if (verifySignature && !verifyVoluntaryExitSignature(state, signedVoluntaryExit)) {
+    return VoluntaryExitValidity.invalidSignature;
+  }
+
+  return VoluntaryExitValidity.valid;
+}
+
+export function isValidVoluntaryExit(
+  fork: ForkSeq,
+  state: CachedBeaconStateAllForks,
+  signedVoluntaryExit: phase0.SignedVoluntaryExit,
+  verifySignature = true
+): boolean {
+  return getVoluntaryExitValidity(fork, state, signedVoluntaryExit, verifySignature) === VoluntaryExitValidity.valid;
 }

package/src/index.ts

@@ -10,7 +10,7 @@ export {isValidBlsToExecutionChange} from "./block/processBlsToExecutionChange.j
 export {becomesNewEth1Data} from "./block/processEth1Data.js";
 export {assertValidProposerSlashing} from "./block/processProposerSlashing.js";
 // BeaconChain validation
-export {isValidVoluntaryExit} from "./block/processVoluntaryExit.js";
+export {VoluntaryExitValidity, getVoluntaryExitValidity, isValidVoluntaryExit} from "./block/processVoluntaryExit.js";
 // Withdrawals for new blocks
 export {getExpectedWithdrawals} from "./block/processWithdrawals.js";
 export {ProposerRewardType} from "./block/types.js";