@aztec/sequencer-client 6.0.0-nightly.20260726 → 6.0.0-nightly.20260728
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/sequencer/missing_committee.d.ts +72 -0
- package/dest/sequencer/missing_committee.d.ts.map +1 -0
- package/dest/sequencer/missing_committee.js +139 -0
- package/dest/sequencer/sequencer.d.ts +3 -3
- package/dest/sequencer/sequencer.d.ts.map +1 -1
- package/dest/sequencer/sequencer.js +13 -4
- package/package.json +26 -27
- package/src/sequencer/missing_committee.ts +192 -0
- package/src/sequencer/sequencer.ts +14 -5
|
@@ -0,0 +1,72 @@
|
|
|
1
|
+
import type { EpochCache } from '@aztec/epoch-cache';
|
|
2
|
+
import type { RollupContract } from '@aztec/ethereum/contracts';
|
|
3
|
+
import { EpochNumber, type SlotNumber } from '@aztec/foundation/branded-types';
|
|
4
|
+
import type { Logger } from '@aztec/foundation/log';
|
|
5
|
+
import type { DateProvider } from '@aztec/foundation/timer';
|
|
6
|
+
import type { L2BlockSource } from '@aztec/stdlib/block';
|
|
7
|
+
import { type L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
|
|
8
|
+
/** Collaborators {@link logMissingCommittee} needs to diagnose and report why no committee exists. */
|
|
9
|
+
export interface MissingCommitteeContext {
|
|
10
|
+
epochCache: Pick<EpochCache, 'getL1Constants' | 'getLagInEpochsForValidatorSet'>;
|
|
11
|
+
rollupContract: Pick<RollupContract, 'getActiveAttesterCount' | 'getAttesterCountAtTime'>;
|
|
12
|
+
l2BlockSource: Pick<L2BlockSource, 'getBlockNumber'>;
|
|
13
|
+
l1Constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'epochDuration'>;
|
|
14
|
+
dateProvider: Pick<DateProvider, 'nowInSeconds'>;
|
|
15
|
+
logger: Pick<Logger, 'info' | 'warn' | 'debug'>;
|
|
16
|
+
}
|
|
17
|
+
/**
|
|
18
|
+
* Why the sequencer cannot find a validator committee for an upcoming slot. A committee for an epoch is
|
|
19
|
+
* sampled from the validator set as of `lagInEpochsForValidatorSet` epochs earlier, and L1 refuses to
|
|
20
|
+
* produce one until at least `targetCommitteeSize` validators were staked at that sampling time.
|
|
21
|
+
*/
|
|
22
|
+
export type MissingCommitteeCause =
|
|
23
|
+
/** Enough validators are staked now; the committee is just waiting for the sampling window to advance. */
|
|
24
|
+
'awaiting-sampling-lag'
|
|
25
|
+
/** The chain has not produced any block yet and too few validators are staked: normal bootstrap state. */
|
|
26
|
+
| 'awaiting-first-validators'
|
|
27
|
+
/** The chain has produced blocks before but the validator set has since dropped below the required size. */
|
|
28
|
+
| 'validator-set-shrank';
|
|
29
|
+
export interface MissingCommitteeDiagnosis {
|
|
30
|
+
cause: MissingCommitteeCause;
|
|
31
|
+
/** Log severity: bootstrap and lag are expected (`info`); a shrunken set on a live chain is not (`warn`). */
|
|
32
|
+
severity: 'info' | 'warn';
|
|
33
|
+
}
|
|
34
|
+
/**
|
|
35
|
+
* Logs why no validator committee exists for the given slot. Rather than the cryptic "committee does not
|
|
36
|
+
* exist on L1", it diagnoses the cause from the live attester count and whether the chain has ever produced
|
|
37
|
+
* a block: a bootstrapping chain waiting for validators to stake, a full set still waiting for the sampling
|
|
38
|
+
* lag to elapse, or a validator set that has shrunk below the required size on a live chain. Only the last is
|
|
39
|
+
* a genuine problem, so only it is logged at `warn`.
|
|
40
|
+
*
|
|
41
|
+
* Best-effort: if the diagnostic L1 reads fail we fall back to a neutral message so this never throws on the
|
|
42
|
+
* propose path.
|
|
43
|
+
*/
|
|
44
|
+
export declare function logMissingCommittee(targetSlot: SlotNumber, targetEpoch: EpochNumber, ctx: MissingCommitteeContext): Promise<void>;
|
|
45
|
+
/**
|
|
46
|
+
* Classifies why no committee exists for a slot, using only cheap live signals: the current attester count
|
|
47
|
+
* and whether the chain has ever produced a block. See {@link MissingCommitteeCause} for the reasoning.
|
|
48
|
+
*/
|
|
49
|
+
export declare function classifyMissingCommittee(args: {
|
|
50
|
+
attesterCount: number;
|
|
51
|
+
targetCommitteeSize: number;
|
|
52
|
+
hasProducedBlocks: boolean;
|
|
53
|
+
}): MissingCommitteeDiagnosis;
|
|
54
|
+
/**
|
|
55
|
+
* Given each candidate epoch after the one we failed to propose at, paired with the attester count staked at
|
|
56
|
+
* that epoch's validator-set sample time (`undefined` when the sample time is still in the future), returns
|
|
57
|
+
* the earliest epoch that will have a committee, or `undefined` if none qualifies.
|
|
58
|
+
*
|
|
59
|
+
* Candidates must be ordered ascending by epoch. A committee for epoch `E` exists iff at least
|
|
60
|
+
* `targetCommitteeSize` validators were staked at `E`'s sample time, so the first candidate whose sampled
|
|
61
|
+
* count meets the target is the answer; a candidate whose sample time is still in the future is assumed to
|
|
62
|
+
* have a committee if the set holds and wins as soon as it is reached. The predicate is not monotone in `E`
|
|
63
|
+
* (the set can dip below target between sample times), so this must scan ascending rather than binary-search.
|
|
64
|
+
*/
|
|
65
|
+
export declare function findFirstEpochWithCommittee(args: {
|
|
66
|
+
candidates: {
|
|
67
|
+
epoch: EpochNumber;
|
|
68
|
+
sampledAttesterCount: number | undefined;
|
|
69
|
+
}[];
|
|
70
|
+
targetCommitteeSize: number;
|
|
71
|
+
}): EpochNumber | undefined;
|
|
72
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWlzc2luZ19jb21taXR0ZWUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zZXF1ZW5jZXIvbWlzc2luZ19jb21taXR0ZWUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDckQsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFdBQVcsRUFBRSxLQUFLLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRS9FLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRXBELE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxLQUFLLGlCQUFpQixFQUE2QixNQUFNLDZCQUE2QixDQUFDO0FBRWhHLHNHQUFzRztBQUN0RyxNQUFNLFdBQVcsdUJBQXVCO0lBQ3RDLFVBQVUsRUFBRSxJQUFJLENBQUMsVUFBVSxFQUFFLGdCQUFnQixHQUFHLCtCQUErQixDQUFDLENBQUM7SUFDakYsY0FBYyxFQUFFLElBQUksQ0FBQyxjQUFjLEVBQUUsd0JBQXdCLEdBQUcsd0JBQXdCLENBQUMsQ0FBQztJQUMxRixhQUFhLEVBQUUsSUFBSSxDQUFDLGFBQWEsRUFBRSxnQkFBZ0IsQ0FBQyxDQUFDO0lBQ3JELFdBQVcsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLENBQUMsQ0FBQztJQUN6RixZQUFZLEVBQUUsSUFBSSxDQUFDLFlBQVksRUFBRSxjQUFjLENBQUMsQ0FBQztJQUNqRCxNQUFNLEVBQUUsSUFBSSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsTUFBTSxHQUFHLE9BQU8sQ0FBQyxDQUFDO0NBQ2pEO0FBRUQ7Ozs7R0FJRztBQUNILE1BQU0sTUFBTSxxQkFBcUI7QUFDL0IsMEdBQTBHO0FBQ3hHLHVCQUF1QjtBQUN6QiwwR0FBMEc7R0FDeEcsMkJBQTJCO0FBQzdCLDRHQUE0RztHQUMxRyxzQkFBc0IsQ0FBQztBQUUzQixNQUFNLFdBQVcseUJBQXlCO0lBQ3hDLEtBQUssRUFBRSxxQkFBcUIsQ0FBQztJQUM3Qiw2R0FBNkc7SUFDN0csUUFBUSxFQUFFLE1BQU0sR0FBRyxNQUFNLENBQUM7Q0FDM0I7QUFFRDs7Ozs7Ozs7O0dBU0c7QUFDSCx3QkFBc0IsbUJBQW1CLENBQ3ZDLFVBQVUsRUFBRSxVQUFVLEVBQ3RCLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLEdBQUcsRUFBRSx1QkFBdUIsR0FDM0IsT0FBTyxDQUFDLElBQUksQ0FBQyxDQTBEZjtBQUVEOzs7R0FHRztBQUNILHdCQUFnQix3QkFBd0IsQ0FBQyxJQUFJLEVBQUU7SUFDN0MsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixtQkFBbUIsRUFBRSxNQUFNLENBQUM7SUFDNUIsaUJBQWlCLEVBQUUsT0FBTyxDQUFDO0NBQzVCLEdBQUcseUJBQXlCLENBWTVCO0FBRUQ7Ozs7Ozs7Ozs7R0FVRztBQUNILHdCQUFnQiwyQkFBMkIsQ0FBQyxJQUFJLEVBQUU7SUFDaEQsVUFBVSxFQUFFO1FBQUUsS0FBSyxFQUFFLFdBQVcsQ0FBQztRQUFDLG9CQUFvQixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUE7S0FBRSxFQUFFLENBQUM7SUFDL0UsbUJBQW1CLEVBQUUsTUFBTSxDQUFDO0NBQzdCLEdBQUcsV0FBVyxHQUFHLFNBQVMsQ0FJMUIifQ==
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"missing_committee.d.ts","sourceRoot":"","sources":["../../src/sequencer/missing_committee.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,KAAK,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE/E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,KAAK,iBAAiB,EAA6B,MAAM,6BAA6B,CAAC;AAEhG,sGAAsG;AACtG,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,gBAAgB,GAAG,+BAA+B,CAAC,CAAC;IACjF,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,wBAAwB,GAAG,wBAAwB,CAAC,CAAC;IAC1F,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC;IACrD,WAAW,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,CAAC;IACzF,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IACjD,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CACjD;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB;AAC/B,0GAA0G;AACxG,uBAAuB;AACzB,0GAA0G;GACxG,2BAA2B;AAC7B,4GAA4G;GAC1G,sBAAsB,CAAC;AAE3B,MAAM,WAAW,yBAAyB;IACxC,KAAK,EAAE,qBAAqB,CAAC;IAC7B,6GAA6G;IAC7G,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;CAC3B;AAED;;;;;;;;;GASG;AACH,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,UAAU,EACtB,WAAW,EAAE,WAAW,EACxB,GAAG,EAAE,uBAAuB,GAC3B,OAAO,CAAC,IAAI,CAAC,CA0Df;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAC7C,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,OAAO,CAAC;CAC5B,GAAG,yBAAyB,CAY5B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE;IAChD,UAAU,EAAE;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,oBAAoB,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,EAAE,CAAC;IAC/E,mBAAmB,EAAE,MAAM,CAAC;CAC7B,GAAG,WAAW,GAAG,SAAS,CAI1B"}
|
|
@@ -0,0 +1,139 @@
|
|
|
1
|
+
import { EpochNumber } from '@aztec/foundation/branded-types';
|
|
2
|
+
import { timesParallel } from '@aztec/foundation/collection';
|
|
3
|
+
import { formatSeconds } from '@aztec/foundation/string';
|
|
4
|
+
import { getStartTimestampForEpoch } from '@aztec/stdlib/epoch-helpers';
|
|
5
|
+
/**
|
|
6
|
+
* Logs why no validator committee exists for the given slot. Rather than the cryptic "committee does not
|
|
7
|
+
* exist on L1", it diagnoses the cause from the live attester count and whether the chain has ever produced
|
|
8
|
+
* a block: a bootstrapping chain waiting for validators to stake, a full set still waiting for the sampling
|
|
9
|
+
* lag to elapse, or a validator set that has shrunk below the required size on a live chain. Only the last is
|
|
10
|
+
* a genuine problem, so only it is logged at `warn`.
|
|
11
|
+
*
|
|
12
|
+
* Best-effort: if the diagnostic L1 reads fail we fall back to a neutral message so this never throws on the
|
|
13
|
+
* propose path.
|
|
14
|
+
*/ export async function logMissingCommittee(targetSlot, targetEpoch, ctx) {
|
|
15
|
+
const targetCommitteeSize = ctx.epochCache.getL1Constants().targetCommitteeSize;
|
|
16
|
+
const lag = ctx.epochCache.getLagInEpochsForValidatorSet();
|
|
17
|
+
let attesterCount;
|
|
18
|
+
let hasProducedBlocks;
|
|
19
|
+
try {
|
|
20
|
+
[attesterCount, hasProducedBlocks] = await Promise.all([
|
|
21
|
+
ctx.rollupContract.getActiveAttesterCount(),
|
|
22
|
+
ctx.l2BlockSource.getBlockNumber().then((n)=>n > 0)
|
|
23
|
+
]);
|
|
24
|
+
} catch (err) {
|
|
25
|
+
ctx.logger.warn(`No committee found for slot ${targetSlot}; could not determine validator set size`, {
|
|
26
|
+
targetSlot,
|
|
27
|
+
targetEpoch,
|
|
28
|
+
targetCommitteeSize,
|
|
29
|
+
err
|
|
30
|
+
});
|
|
31
|
+
return;
|
|
32
|
+
}
|
|
33
|
+
const diagnosis = classifyMissingCommittee({
|
|
34
|
+
attesterCount,
|
|
35
|
+
targetCommitteeSize,
|
|
36
|
+
hasProducedBlocks
|
|
37
|
+
});
|
|
38
|
+
const logCtx = {
|
|
39
|
+
targetSlot,
|
|
40
|
+
targetEpoch,
|
|
41
|
+
attesterCount,
|
|
42
|
+
targetCommitteeSize,
|
|
43
|
+
cause: diagnosis.cause
|
|
44
|
+
};
|
|
45
|
+
switch(diagnosis.cause){
|
|
46
|
+
case 'awaiting-sampling-lag':
|
|
47
|
+
{
|
|
48
|
+
const firstCommitteeEpoch = await estimateFirstCommitteeEpoch(targetEpoch, lag, targetCommitteeSize, ctx);
|
|
49
|
+
const staked = `${attesterCount} validators are staked (>= ${targetCommitteeSize} required)`;
|
|
50
|
+
const forming = `the committee is still forming as the ${lag}-epoch sampling window advances`;
|
|
51
|
+
// When we could not pin the exact epoch, report the safe upper bound rather than a misleading ETA.
|
|
52
|
+
const epoch = firstCommitteeEpoch ?? EpochNumber(targetEpoch + lag + 1);
|
|
53
|
+
const expectation = firstCommitteeEpoch === undefined ? `A committee should exist no later than epoch ${epoch}.` : `The first committee is expected at epoch ${epoch}${formatEpochEta(epoch, ctx)}.`;
|
|
54
|
+
ctx.logger.info(`No committee for slot ${targetSlot} yet: ${staked}, ${forming}. ${expectation}`, {
|
|
55
|
+
...logCtx,
|
|
56
|
+
firstCommitteeEpoch: epoch
|
|
57
|
+
});
|
|
58
|
+
break;
|
|
59
|
+
}
|
|
60
|
+
case 'awaiting-first-validators':
|
|
61
|
+
ctx.logger.info(`No committee for slot ${targetSlot}: the chain has not started producing blocks and only ${attesterCount} ` + `of the ${targetCommitteeSize} required validators are staked. Block production begins once at least ` + `${targetCommitteeSize} validators stake and the ${lag}-epoch sampling lag elapses.`, logCtx);
|
|
62
|
+
break;
|
|
63
|
+
case 'validator-set-shrank':
|
|
64
|
+
ctx.logger.warn(`No committee for slot ${targetSlot}: the validator set has dropped to ${attesterCount}, below the ` + `${targetCommitteeSize} required to form a committee. The chain cannot progress until enough validators ` + `are staked again — check for validators exiting or being slashed.`, logCtx);
|
|
65
|
+
break;
|
|
66
|
+
}
|
|
67
|
+
}
|
|
68
|
+
/**
|
|
69
|
+
* Classifies why no committee exists for a slot, using only cheap live signals: the current attester count
|
|
70
|
+
* and whether the chain has ever produced a block. See {@link MissingCommitteeCause} for the reasoning.
|
|
71
|
+
*/ export function classifyMissingCommittee(args) {
|
|
72
|
+
const { attesterCount, targetCommitteeSize, hasProducedBlocks } = args;
|
|
73
|
+
if (attesterCount >= targetCommitteeSize) {
|
|
74
|
+
return {
|
|
75
|
+
cause: 'awaiting-sampling-lag',
|
|
76
|
+
severity: 'info'
|
|
77
|
+
};
|
|
78
|
+
}
|
|
79
|
+
if (hasProducedBlocks) {
|
|
80
|
+
return {
|
|
81
|
+
cause: 'validator-set-shrank',
|
|
82
|
+
severity: 'warn'
|
|
83
|
+
};
|
|
84
|
+
}
|
|
85
|
+
return {
|
|
86
|
+
cause: 'awaiting-first-validators',
|
|
87
|
+
severity: 'info'
|
|
88
|
+
};
|
|
89
|
+
}
|
|
90
|
+
/**
|
|
91
|
+
* Given each candidate epoch after the one we failed to propose at, paired with the attester count staked at
|
|
92
|
+
* that epoch's validator-set sample time (`undefined` when the sample time is still in the future), returns
|
|
93
|
+
* the earliest epoch that will have a committee, or `undefined` if none qualifies.
|
|
94
|
+
*
|
|
95
|
+
* Candidates must be ordered ascending by epoch. A committee for epoch `E` exists iff at least
|
|
96
|
+
* `targetCommitteeSize` validators were staked at `E`'s sample time, so the first candidate whose sampled
|
|
97
|
+
* count meets the target is the answer; a candidate whose sample time is still in the future is assumed to
|
|
98
|
+
* have a committee if the set holds and wins as soon as it is reached. The predicate is not monotone in `E`
|
|
99
|
+
* (the set can dip below target between sample times), so this must scan ascending rather than binary-search.
|
|
100
|
+
*/ export function findFirstEpochWithCommittee(args) {
|
|
101
|
+
return args.candidates.find((c)=>c.sampledAttesterCount === undefined || c.sampledAttesterCount >= args.targetCommitteeSize)?.epoch;
|
|
102
|
+
}
|
|
103
|
+
/**
|
|
104
|
+
* Earliest epoch expected to have a committee, replaying L1's validator-set sampling rule: a committee for
|
|
105
|
+
* epoch `E` exists iff at least `targetCommitteeSize` attesters were staked at `E`'s sample time
|
|
106
|
+
* (`epochStart(E) - lag * epochDuration`). Only epochs after the one we failed at can qualify, and the set
|
|
107
|
+
* must have crossed the target within the last `lag` epochs' sample window, so the answer lies in
|
|
108
|
+
* `(targetEpoch, targetEpoch + lag + 1]`. Reads the historical attester count at each candidate's sample time
|
|
109
|
+
* (at most `lag` on-chain reads; future sample times are assumed to hold). Returns `undefined` if no candidate
|
|
110
|
+
* qualifies or the reads fail, leaving the caller to report a bound instead of an ETA.
|
|
111
|
+
*/ async function estimateFirstCommitteeEpoch(targetEpoch, lag, targetCommitteeSize, ctx) {
|
|
112
|
+
try {
|
|
113
|
+
const epochDurationSeconds = BigInt(ctx.l1Constants.epochDuration * ctx.l1Constants.slotDuration);
|
|
114
|
+
const nowSeconds = BigInt(ctx.dateProvider.nowInSeconds());
|
|
115
|
+
const candidates = await timesParallel(lag + 1, async (i)=>{
|
|
116
|
+
const epoch = EpochNumber(targetEpoch + 1 + i);
|
|
117
|
+
const sampleTime = getStartTimestampForEpoch(epoch, ctx.l1Constants) - epochDurationSeconds * BigInt(lag);
|
|
118
|
+
const sampledAttesterCount = sampleTime > nowSeconds ? undefined : await ctx.rollupContract.getAttesterCountAtTime(sampleTime);
|
|
119
|
+
return {
|
|
120
|
+
epoch,
|
|
121
|
+
sampledAttesterCount
|
|
122
|
+
};
|
|
123
|
+
});
|
|
124
|
+
return findFirstEpochWithCommittee({
|
|
125
|
+
candidates,
|
|
126
|
+
targetCommitteeSize
|
|
127
|
+
});
|
|
128
|
+
} catch (err) {
|
|
129
|
+
ctx.logger.debug(`Could not estimate first committee epoch after epoch ${targetEpoch}`, {
|
|
130
|
+
targetEpoch,
|
|
131
|
+
err
|
|
132
|
+
});
|
|
133
|
+
return undefined;
|
|
134
|
+
}
|
|
135
|
+
}
|
|
136
|
+
/** Formats the ETA to the start of the given epoch as ` (~12m from now)`, or empty if it is in the past. */ function formatEpochEta(epoch, ctx) {
|
|
137
|
+
const secondsUntil = Number(getStartTimestampForEpoch(epoch, ctx.l1Constants)) - ctx.dateProvider.nowInSeconds();
|
|
138
|
+
return secondsUntil > 0 ? ` (~${formatSeconds(secondsUntil)} from now)` : '';
|
|
139
|
+
}
|
|
@@ -73,8 +73,8 @@ export declare class Sequencer extends Sequencer_base {
|
|
|
73
73
|
/** The (checkpoint, slot) of the last invalidation request we successfully simulated, to prevent
|
|
74
74
|
* re-simulating and re-submitting the same invalidation across the many ticks within a single slot. */
|
|
75
75
|
private lastInvalidationAttempt;
|
|
76
|
-
/** The last
|
|
77
|
-
private
|
|
76
|
+
/** The last epoch for which we logged a "no committee" diagnostic, to avoid per-slot log spam. */
|
|
77
|
+
private lastEpochForNoCommitteeLog;
|
|
78
78
|
/** The last slot for which we triggered a checkpoint proposal job, to prevent duplicate attempts. */
|
|
79
79
|
protected lastSlotForCheckpointProposalJob: SlotNumber | undefined;
|
|
80
80
|
/** Last successful checkpoint proposed */
|
|
@@ -321,4 +321,4 @@ type SequencerSyncCheckResult = {
|
|
|
321
321
|
syncedL2Slot: SlotNumber;
|
|
322
322
|
pendingChainValidationStatus: ValidateCheckpointResult;
|
|
323
323
|
};
|
|
324
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
324
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VxdWVuY2VyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2VxdWVuY2VyL3NlcXVlbmNlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsS0FBSyxVQUFVLEVBQW1DLE1BQU0sb0JBQW9CLENBQUM7QUFDdEYsT0FBTyxFQUFvQixLQUFLLGNBQWMsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ2xGLE9BQU8sRUFBRSxXQUFXLEVBQUUsZ0JBQWdCLEVBQUUsV0FBVyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRXpHLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBQ2xFLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUNuRSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ2pFLE9BQU8sS0FBSyxFQUFFLEdBQUcsRUFBRSxNQUFNLFlBQVksQ0FBQztBQUN0QyxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLGdCQUFnQixDQUFDO0FBQzdELE9BQU8sS0FBSyxFQUNWLFNBQVMsRUFDVCxXQUFXLEVBQ1gsYUFBYSxFQUNiLHNCQUFzQixFQUN0Qix3QkFBd0IsRUFDekIsTUFBTSxxQkFBcUIsQ0FBQztBQUM3QixPQUFPLEVBQ0wsS0FBSyxVQUFVLEVBQ2YsS0FBSyxzQkFBc0IsRUFFNUIsTUFBTSwwQkFBMEIsQ0FBQztBQUNsQyxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQU94RCxPQUFPLEVBQ0wsS0FBSyx1QkFBdUIsRUFDNUIsS0FBSyxlQUFlLEVBRXBCLEtBQUssc0JBQXNCLEVBQzVCLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUduRSxPQUFPLEVBQUUsaUJBQWlCLEVBQTBCLE1BQU0seUJBQXlCLENBQUM7QUFDcEYsT0FBTyxFQUFjLEtBQUssZUFBZSxFQUFFLEtBQUssTUFBTSxFQUFpQyxNQUFNLHlCQUF5QixDQUFDO0FBQ3ZILE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxtQkFBbUIsRUFBRSxLQUFLLGVBQWUsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBS2hILE9BQU8sS0FBSyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sOENBQThDLENBQUM7QUFDMUYsT0FBTyxLQUFLLEVBQUUseUJBQXlCLEVBQUUsTUFBTSw2Q0FBNkMsQ0FBQztBQUM3RixPQUFPLEtBQUssRUFBRSwyQkFBMkIsRUFBRSxrQkFBa0IsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBQzNHLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBSXJFLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUduRCxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDeEQsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFDM0QsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLFlBQVksQ0FBQztBQUU1QyxPQUFPLEVBQUUsY0FBYyxFQUFFLENBQUM7QUFFMUIsMkRBQTJEO0FBQzNELEtBQUssb0JBQW9CLEdBQUc7SUFDMUIsSUFBSSxFQUFFLFVBQVUsQ0FBQztJQUNqQixVQUFVLEVBQUUsVUFBVSxDQUFDO0lBQ3ZCLEtBQUssRUFBRSxXQUFXLENBQUM7SUFDbkIsV0FBVyxFQUFFLFdBQVcsQ0FBQztJQUN6QixFQUFFLEVBQUUsTUFBTSxDQUFDO0lBQ1gsVUFBVSxFQUFFLE1BQU0sQ0FBQztDQUNwQixDQUFDOztBQUVGOzs7Ozs7O0dBT0c7QUFDSCxxQkFBYSxTQUFVLFNBQVEsY0FBOEQ7SUFtRHpGLFNBQVMsQ0FBQyxnQkFBZ0IsRUFBRSx5QkFBeUI7SUFDckQsU0FBUyxDQUFDLGVBQWUsRUFBRSxlQUFlO0lBQzFDLFNBQVMsQ0FBQyxjQUFjLEVBQUUscUJBQXFCO0lBQy9DLFNBQVMsQ0FBQyxTQUFTLEVBQUUsR0FBRztJQUN4QixTQUFTLENBQUMsVUFBVSxFQUFFLHNCQUFzQjtJQUM1QyxTQUFTLENBQUMsYUFBYSxFQUFFLHNCQUFzQixHQUFHLFNBQVM7SUFDM0QsU0FBUyxDQUFDLGFBQWEsRUFBRSxhQUFhLEdBQUcsV0FBVyxHQUFHLHNCQUFzQjtJQUM3RSxTQUFTLENBQUMsbUJBQW1CLEVBQUUsbUJBQW1CO0lBQ2xELFNBQVMsQ0FBQyxrQkFBa0IsRUFBRSwwQkFBMEI7SUFDeEQsU0FBUyxDQUFDLFdBQVcsRUFBRSx3QkFBd0I7SUFDL0MsU0FBUyxDQUFDLFlBQVksRUFBRSxZQUFZO0lBQ3BDLFNBQVMsQ0FBQyxVQUFVLEVBQUUsVUFBVTtJQUNoQyxTQUFTLENBQUMsY0FBYyxFQUFFLGNBQWM7SUFFeEMsU0FBUyxDQUFDLFNBQVMsRUFBRSxlQUFlO0lBQ3BDLFNBQVMsQ0FBQyxHQUFHO0lBakVmLFNBQVMsQ0FBQyxjQUFjLENBQUMsRUFBRSxjQUFjLENBQUM7SUFDMUMsT0FBTyxDQUFDLEtBQUssQ0FBMEI7SUFDdkMsT0FBTyxDQUFDLGVBQWUsQ0FBeUI7SUFDaEQsMEZBQTBGO0lBQzFGLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBUztJQUNqQyxPQUFPLENBQUMsT0FBTyxDQUFtQjtJQUNsQyxPQUFPLENBQUMsNEJBQTRCLENBQStCO0lBQ25FLE9BQU8sQ0FBQyxRQUFRLENBQUMsUUFBUSxDQUFTO0lBRWxDLDhIQUE4SDtJQUM5SCxPQUFPLENBQUMseUJBQXlCLENBQXlCO0lBRTFEOzJHQUN1RztJQUN2RyxPQUFPLENBQUMsdUJBQXVCLENBQXVFO0lBRXRHLGtHQUFrRztJQUNsRyxPQUFPLENBQUMsMEJBQTBCLENBQTBCO0lBRTVELHFHQUFxRztJQUNyRyxTQUFTLENBQUMsZ0NBQWdDLEVBQUUsVUFBVSxHQUFHLFNBQVMsQ0FBQztJQUVuRSwwQ0FBMEM7SUFDMUMsT0FBTyxDQUFDLHNCQUFzQixDQUF5QjtJQUV2RCxnRkFBZ0Y7SUFDaEYsT0FBTyxDQUFDLDhCQUE4QixDQUEwQjtJQUVoRSwyR0FBMkc7SUFDM0csU0FBUyxDQUFDLHlCQUF5QixFQUFFLHFCQUFxQixHQUFHLFNBQVMsQ0FBQztJQUV2RTs7Ozs7Ozs7T0FRRztJQUNILFNBQVMsQ0FBQyxRQUFRLENBQUMsZUFBZSxrQkFBeUI7SUFFM0Qsd0dBQXdHO0lBQ3hHLFNBQVMsQ0FBQyxTQUFTLEVBQUcsaUJBQWlCLENBQUM7SUFFeEMsK0JBQStCO0lBQy9CLFNBQVMsQ0FBQyxNQUFNLEVBQUUsdUJBQXVCLENBQTBCO0lBQ25FLE9BQU8sQ0FBQyxRQUFRLENBQUMsZ0JBQWdCLENBQStCO0lBRWhFLFlBQ1ksZ0JBQWdCLEVBQUUseUJBQXlCLEVBQzNDLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLGNBQWMsRUFBRSxxQkFBcUIsRUFDckMsU0FBUyxFQUFFLEdBQUcsRUFDZCxVQUFVLEVBQUUsc0JBQXNCLEVBQ2xDLGFBQWEsRUFBRSxzQkFBc0IsR0FBRyxTQUFTLEVBQ2pELGFBQWEsRUFBRSxhQUFhLEdBQUcsV0FBVyxHQUFHLHNCQUFzQixFQUNuRSxtQkFBbUIsRUFBRSxtQkFBbUIsRUFDeEMsa0JBQWtCLEVBQUUsMEJBQTBCLEVBQzlDLFdBQVcsRUFBRSx3QkFBd0IsRUFDckMsWUFBWSxFQUFFLFlBQVksRUFDMUIsVUFBVSxFQUFFLFVBQVUsRUFDdEIsY0FBYyxFQUFFLGNBQWMsRUFDeEMsTUFBTSxFQUFFLGVBQWUsR0FBRyxJQUFJLENBQUMsV0FBVyxFQUFFLFdBQVcsR0FBRyxlQUFlLENBQUMsRUFDaEUsU0FBUyxHQUFFLGVBQXNDLEVBQ2pELEdBQUcsU0FBNEIsRUFrQjFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNJLFlBQVksQ0FBQyxNQUFNLEVBQUUsT0FBTyxDQUFDLGVBQWUsQ0FBQyxRQWVuRDtJQUVEOzs7Ozs7OztPQVFHO0lBQ0gsT0FBTyxDQUFDLGNBQWM7SUFtQnRCOzs7Ozs7Ozs7Ozs7Ozs7O09BZ0JHO0lBQ0gsT0FBTyxDQUFDLGdDQUFnQztJQTZDeEMsc0VBQXNFO0lBQy9ELElBQUksU0FFVjtJQUVEOzs7Ozs7O09BT0c7SUFDSSxLQUFLLFNBZ0JYO0lBRUQsa0ZBQWtGO0lBQzNFLE9BQU8sOEJBRWI7SUFFRDs7Ozs7O09BTUc7SUFDVSxJQUFJLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQWtCakM7SUFFRDs7Ozs7OztPQU9HO0lBQ1UsS0FBSyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FhbEM7SUFFRCwyQ0FBMkM7SUFDM0MsVUFBZ0IsUUFBUSxrQkFTdkI7SUFFRCxrREFBa0Q7SUFDM0MsTUFBTTs7TUFFWjtJQUVEOzs7Ozs7O09BT0c7SUFDSCxVQUNnQixJQUFJLG9DQXNDbkI7SUFFRCxpRUFBaUU7SUFDakUsU0FBUyxDQUFDLDBCQUEwQixJQUFJLG9CQUFvQixDQUkzRDtJQUVEOzs7O09BSUc7SUFDSCxVQUNnQix5QkFBeUIsQ0FDdkMsSUFBSSxFQUFFLFVBQVUsRUFDaEIsVUFBVSxFQUFFLFVBQVUsRUFDdEIsS0FBSyxFQUFFLFdBQVcsRUFDbEIsV0FBVyxFQUFFLFdBQVcsRUFDeEIsRUFBRSxFQUFFLE1BQU0sRUFDVixVQUFVLEVBQUUsTUFBTSxHQUNqQixPQUFPLENBQUMscUJBQXFCLEdBQUcsU0FBUyxDQUFDLENBcVI1QztJQUVELFNBQVMsQ0FBQywyQkFBMkIsQ0FDbkMsVUFBVSxFQUFFLFVBQVUsRUFDdEIsV0FBVyxFQUFFLFdBQVcsRUFDeEIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQ2xDLG1CQUFtQixFQUFFLFdBQVcsRUFDaEMsNEJBQTRCLEVBQUUsZ0JBQWdCLEVBQzlDLFFBQVEsRUFBRSxVQUFVLEdBQUcsU0FBUyxFQUNoQyxTQUFTLEVBQUUsa0JBQWtCLEVBQzdCLGVBQWUsRUFBRSxVQUFVLEVBQzNCLG9CQUFvQixFQUFFLDJCQUEyQixHQUFHLFNBQVMsRUFDN0Qsc0JBQXNCLENBQUMsRUFBRSxzQkFBc0IsR0FDOUMscUJBQXFCLENBbUN2QjtJQUVEOztPQUVHO0lBQ0ksUUFBUSxJQUFJLGNBQWMsQ0FFaEM7SUFFRDs7Ozs7OztPQU9HO0lBQ0gsU0FBUyxDQUFDLFFBQVEsQ0FDaEIsYUFBYSxFQUFFLGNBQWMsRUFDN0IsVUFBVSxFQUFFLFVBQVUsR0FBRyxTQUFTLEVBQ2xDLElBQUksR0FBRTtRQUFFLEtBQUssQ0FBQyxFQUFFLE9BQU8sQ0FBQTtLQUFPLEdBQzdCLElBQUksQ0EyQ047SUFFRDs7O09BR0c7SUFDSCxVQUFnQixTQUFTLENBQUMsSUFBSSxFQUFFO1FBQUUsRUFBRSxFQUFFLE1BQU0sQ0FBQztRQUFDLElBQUksRUFBRSxVQUFVLENBQUE7S0FBRSxHQUFHLE9BQU8sQ0FBQyx3QkFBd0IsR0FBRyxTQUFTLENBQUMsQ0E4Ry9HO0lBRUQ7OztPQUdHO0lBQ0gsVUFBZ0IsZUFBZSxDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLFVBQVUsR0FBRyxTQUFTLENBQUMsQ0FBQyxDQW1EbEc7SUFFRDs7OztPQUlHO0lBQ0gsVUFDZ0IsOEJBQThCLENBQUMsSUFBSSxFQUFFO1FBQUUsSUFBSSxFQUFFLFVBQVUsQ0FBQztRQUFDLFVBQVUsRUFBRSxVQUFVLENBQUE7S0FBRSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0ErRWhIO1lBRWEseUJBQXlCO0lBU3ZDOzs7T0FHRztJQUNILFVBQ2dCLDBCQUEwQixDQUFDLElBQUksRUFBRTtRQUMvQyxJQUFJLEVBQUUsVUFBVSxDQUFDO1FBQ2pCLFVBQVUsRUFBRSxVQUFVLENBQUM7UUFDdkIsUUFBUSxFQUFFLFVBQVUsR0FBRyxTQUFTLENBQUM7S0FDbEMsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBdURoQjtJQUVEOzs7Ozs7O09BT0c7SUFDSCxVQUFnQiw4QkFBOEIsQ0FDNUMsNEJBQTRCLEVBQUUsd0JBQXdCLEVBQ3RELFdBQVcsRUFBRSxVQUFVLEdBQ3RCLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FzR2Y7SUFFRCxPQUFPLENBQUMscUJBQXFCO0lBNkI3Qjs7O09BR0c7SUFDSCxPQUFPLENBQUMsd0JBQXdCO0lBS2hDLElBQVcsaUJBQWlCLFdBRTNCO0lBRUQsSUFBVyxhQUFhLElBQUksTUFBTSxHQUFHLFNBQVMsQ0FFN0M7SUFFTSxnQkFBZ0IsSUFBSSxzQkFBc0IsR0FBRyxTQUFTLENBRTVEO0lBRUQsSUFBVyxNQUFNLElBQUksTUFBTSxDQUUxQjtJQUVNLHFCQUFxQixpQkFFM0I7SUFFRCxxRkFBcUY7SUFDOUUsMkJBQTJCLENBQUMsT0FBTyxFQUFFLG1CQUFtQixHQUFHLElBQUksQ0FFckU7SUFFTSxTQUFTOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O01BRWY7Q0FDRjtBQUVELEtBQUssd0JBQXdCLEdBQUc7SUFDOUIsU0FBUyxDQUFDLEVBQUUsU0FBUyxDQUFDO0lBQ3RCLGdCQUFnQixFQUFFLGdCQUFnQixDQUFDO0lBQ25DLDRCQUE0QixFQUFFLGdCQUFnQixDQUFDO0lBQy9DLFdBQVcsRUFBRSxXQUFXLENBQUM7SUFDekIsT0FBTyxFQUFFLEVBQUUsQ0FBQztJQUNaLHFCQUFxQixFQUFFLE9BQU8sQ0FBQztJQUMvQixzQkFBc0IsQ0FBQyxFQUFFLHNCQUFzQixDQUFDO0lBQ2hELFlBQVksRUFBRSxVQUFVLENBQUM7SUFDekIsNEJBQTRCLEVBQUUsd0JBQXdCLENBQUM7Q0FDeEQsQ0FBQyJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sequencer.d.ts","sourceRoot":"","sources":["../../src/sequencer/sequencer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,UAAU,EAAmC,MAAM,oBAAoB,CAAC;AACtF,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAEzG,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,KAAK,EACV,SAAS,EACT,WAAW,EACX,aAAa,EACb,sBAAsB,EACtB,wBAAwB,EACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,KAAK,UAAU,EACf,KAAK,sBAAsB,EAE5B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAOxD,OAAO,EACL,KAAK,uBAAuB,EAC5B,KAAK,eAAe,EAEpB,KAAK,sBAAsB,EAC5B,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAGnE,OAAO,EAAE,iBAAiB,EAA0B,MAAM,yBAAyB,CAAC;AACpF,OAAO,EAAc,KAAK,eAAe,EAAE,KAAK,MAAM,EAAiC,MAAM,yBAAyB,CAAC;AACvH,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,KAAK,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAKhH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAC1F,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAC7F,OAAO,KAAK,EAAE,2BAA2B,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAC3G,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAIrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"sequencer.d.ts","sourceRoot":"","sources":["../../src/sequencer/sequencer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,UAAU,EAAmC,MAAM,oBAAoB,CAAC;AACtF,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAEzG,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,KAAK,EACV,SAAS,EACT,WAAW,EACX,aAAa,EACb,sBAAsB,EACtB,wBAAwB,EACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,KAAK,UAAU,EACf,KAAK,sBAAsB,EAE5B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAOxD,OAAO,EACL,KAAK,uBAAuB,EAC5B,KAAK,eAAe,EAEpB,KAAK,sBAAsB,EAC5B,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAGnE,OAAO,EAAE,iBAAiB,EAA0B,MAAM,yBAAyB,CAAC;AACpF,OAAO,EAAc,KAAK,eAAe,EAAE,KAAK,MAAM,EAAiC,MAAM,yBAAyB,CAAC;AACvH,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,KAAK,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAKhH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAC1F,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAC7F,OAAO,KAAK,EAAE,2BAA2B,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAC3G,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAIrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAGnD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,EAAE,cAAc,EAAE,CAAC;AAE1B,2DAA2D;AAC3D,KAAK,oBAAoB,GAAG;IAC1B,IAAI,EAAE,UAAU,CAAC;IACjB,UAAU,EAAE,UAAU,CAAC;IACvB,KAAK,EAAE,WAAW,CAAC;IACnB,WAAW,EAAE,WAAW,CAAC;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;;AAEF;;;;;;;GAOG;AACH,qBAAa,SAAU,SAAQ,cAA8D;IAmDzF,SAAS,CAAC,gBAAgB,EAAE,yBAAyB;IACrD,SAAS,CAAC,eAAe,EAAE,eAAe;IAC1C,SAAS,CAAC,cAAc,EAAE,qBAAqB;IAC/C,SAAS,CAAC,SAAS,EAAE,GAAG;IACxB,SAAS,CAAC,UAAU,EAAE,sBAAsB;IAC5C,SAAS,CAAC,aAAa,EAAE,sBAAsB,GAAG,SAAS;IAC3D,SAAS,CAAC,aAAa,EAAE,aAAa,GAAG,WAAW,GAAG,sBAAsB;IAC7E,SAAS,CAAC,mBAAmB,EAAE,mBAAmB;IAClD,SAAS,CAAC,kBAAkB,EAAE,0BAA0B;IACxD,SAAS,CAAC,WAAW,EAAE,wBAAwB;IAC/C,SAAS,CAAC,YAAY,EAAE,YAAY;IACpC,SAAS,CAAC,UAAU,EAAE,UAAU;IAChC,SAAS,CAAC,cAAc,EAAE,cAAc;IAExC,SAAS,CAAC,SAAS,EAAE,eAAe;IACpC,SAAS,CAAC,GAAG;IAjEf,SAAS,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;IAC1C,OAAO,CAAC,KAAK,CAA0B;IACvC,OAAO,CAAC,eAAe,CAAyB;IAChD,0FAA0F;IAC1F,OAAO,CAAC,gBAAgB,CAAS;IACjC,OAAO,CAAC,OAAO,CAAmB;IAClC,OAAO,CAAC,4BAA4B,CAA+B;IACnE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;IAElC,8HAA8H;IAC9H,OAAO,CAAC,yBAAyB,CAAyB;IAE1D;2GACuG;IACvG,OAAO,CAAC,uBAAuB,CAAuE;IAEtG,kGAAkG;IAClG,OAAO,CAAC,0BAA0B,CAA0B;IAE5D,qGAAqG;IACrG,SAAS,CAAC,gCAAgC,EAAE,UAAU,GAAG,SAAS,CAAC;IAEnE,0CAA0C;IAC1C,OAAO,CAAC,sBAAsB,CAAyB;IAEvD,gFAAgF;IAChF,OAAO,CAAC,8BAA8B,CAA0B;IAEhE,2GAA2G;IAC3G,SAAS,CAAC,yBAAyB,EAAE,qBAAqB,GAAG,SAAS,CAAC;IAEvE;;;;;;;;OAQG;IACH,SAAS,CAAC,QAAQ,CAAC,eAAe,kBAAyB;IAE3D,wGAAwG;IACxG,SAAS,CAAC,SAAS,EAAG,iBAAiB,CAAC;IAExC,+BAA+B;IAC/B,SAAS,CAAC,MAAM,EAAE,uBAAuB,CAA0B;IACnE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA+B;IAEhE,YACY,gBAAgB,EAAE,yBAAyB,EAC3C,eAAe,EAAE,eAAe,EAChC,cAAc,EAAE,qBAAqB,EACrC,SAAS,EAAE,GAAG,EACd,UAAU,EAAE,sBAAsB,EAClC,aAAa,EAAE,sBAAsB,GAAG,SAAS,EACjD,aAAa,EAAE,aAAa,GAAG,WAAW,GAAG,sBAAsB,EACnE,mBAAmB,EAAE,mBAAmB,EACxC,kBAAkB,EAAE,0BAA0B,EAC9C,WAAW,EAAE,wBAAwB,EACrC,YAAY,EAAE,YAAY,EAC1B,UAAU,EAAE,UAAU,EACtB,cAAc,EAAE,cAAc,EACxC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC,WAAW,EAAE,WAAW,GAAG,eAAe,CAAC,EAChE,SAAS,GAAE,eAAsC,EACjD,GAAG,SAA4B,EAkB1C;IAED;;;;;;;OAOG;IACI,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,eAAe,CAAC,QAenD;IAED;;;;;;;;OAQG;IACH,OAAO,CAAC,cAAc;IAmBtB;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,gCAAgC;IA6CxC,sEAAsE;IAC/D,IAAI,SAEV;IAED;;;;;;;OAOG;IACI,KAAK,SAgBX;IAED,kFAAkF;IAC3E,OAAO,8BAEb;IAED;;;;;;OAMG;IACU,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAkBjC;IAED;;;;;;;OAOG;IACU,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAalC;IAED,2CAA2C;IAC3C,UAAgB,QAAQ,kBASvB;IAED,kDAAkD;IAC3C,MAAM;;MAEZ;IAED;;;;;;;OAOG;IACH,UACgB,IAAI,oCAsCnB;IAED,iEAAiE;IACjE,SAAS,CAAC,0BAA0B,IAAI,oBAAoB,CAI3D;IAED;;;;OAIG;IACH,UACgB,yBAAyB,CACvC,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,WAAW,EAClB,WAAW,EAAE,WAAW,EACxB,EAAE,EAAE,MAAM,EACV,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CAqR5C;IAED,SAAS,CAAC,2BAA2B,CACnC,UAAU,EAAE,UAAU,EACtB,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,gBAAgB,EAClC,mBAAmB,EAAE,WAAW,EAChC,4BAA4B,EAAE,gBAAgB,EAC9C,QAAQ,EAAE,UAAU,GAAG,SAAS,EAChC,SAAS,EAAE,kBAAkB,EAC7B,eAAe,EAAE,UAAU,EAC3B,oBAAoB,EAAE,2BAA2B,GAAG,SAAS,EAC7D,sBAAsB,CAAC,EAAE,sBAAsB,GAC9C,qBAAqB,CAmCvB;IAED;;OAEG;IACI,QAAQ,IAAI,cAAc,CAEhC;IAED;;;;;;;OAOG;IACH,SAAS,CAAC,QAAQ,CAChB,aAAa,EAAE,cAAc,EAC7B,UAAU,EAAE,UAAU,GAAG,SAAS,EAClC,IAAI,GAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAO,GAC7B,IAAI,CA2CN;IAED;;;OAGG;IACH,UAAgB,SAAS,CAAC,IAAI,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,UAAU,CAAA;KAAE,GAAG,OAAO,CAAC,wBAAwB,GAAG,SAAS,CAAC,CA8G/G;IAED;;;OAGG;IACH,UAAgB,eAAe,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAC,CAAC,OAAO,EAAE,UAAU,GAAG,SAAS,CAAC,CAAC,CAmDlG;IAED;;;;OAIG;IACH,UACgB,8BAA8B,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,UAAU,CAAC;QAAC,UAAU,EAAE,UAAU,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA+EhH;YAEa,yBAAyB;IASvC;;;OAGG;IACH,UACgB,0BAA0B,CAAC,IAAI,EAAE;QAC/C,IAAI,EAAE,UAAU,CAAC;QACjB,UAAU,EAAE,UAAU,CAAC;QACvB,QAAQ,EAAE,UAAU,GAAG,SAAS,CAAC;KAClC,GAAG,OAAO,CAAC,IAAI,CAAC,CAuDhB;IAED;;;;;;;OAOG;IACH,UAAgB,8BAA8B,CAC5C,4BAA4B,EAAE,wBAAwB,EACtD,WAAW,EAAE,UAAU,GACtB,OAAO,CAAC,IAAI,CAAC,CAsGf;IAED,OAAO,CAAC,qBAAqB;IA6B7B;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IAKhC,IAAW,iBAAiB,WAE3B;IAED,IAAW,aAAa,IAAI,MAAM,GAAG,SAAS,CAE7C;IAEM,gBAAgB,IAAI,sBAAsB,GAAG,SAAS,CAE5D;IAED,IAAW,MAAM,IAAI,MAAM,CAE1B;IAEM,qBAAqB,iBAE3B;IAED,qFAAqF;IAC9E,2BAA2B,CAAC,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAErE;IAEM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAEf;CACF;AAED,KAAK,wBAAwB,GAAG;IAC9B,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,4BAA4B,EAAE,gBAAgB,CAAC;IAC/C,WAAW,EAAE,WAAW,CAAC;IACzB,OAAO,EAAE,EAAE,CAAC;IACZ,qBAAqB,EAAE,OAAO,CAAC;IAC/B,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD,YAAY,EAAE,UAAU,CAAC;IACzB,4BAA4B,EAAE,wBAAwB,CAAC;CACxD,CAAC"}
|
|
@@ -393,6 +393,7 @@ import { CheckpointProposalJobMetrics } from './checkpoint_proposal_job_metrics.
|
|
|
393
393
|
import { CheckpointVoter } from './checkpoint_voter.js';
|
|
394
394
|
import { SequencerInterruptedError } from './errors.js';
|
|
395
395
|
import { SequencerMetrics } from './metrics.js';
|
|
396
|
+
import { logMissingCommittee } from './missing_committee.js';
|
|
396
397
|
import { RequestsTracker } from './requests_tracker.js';
|
|
397
398
|
import { SequencerState } from './utils.js';
|
|
398
399
|
export { SequencerState };
|
|
@@ -458,7 +459,7 @@ _dec = trackSpan('Sequencer.work'), _dec1 = trackSpan('Sequencer.prepareCheckpoi
|
|
|
458
459
|
/** The last slot for which we attempted to perform our fallback duties (votes and/or prune) with degraded block production */ lastSlotForFallbackAction;
|
|
459
460
|
/** The (checkpoint, slot) of the last invalidation request we successfully simulated, to prevent
|
|
460
461
|
* re-simulating and re-submitting the same invalidation across the many ticks within a single slot. */ lastInvalidationAttempt;
|
|
461
|
-
/** The last
|
|
462
|
+
/** The last epoch for which we logged a "no committee" diagnostic, to avoid per-slot log spam. */ lastEpochForNoCommitteeLog;
|
|
462
463
|
/** The last slot for which we triggered a checkpoint proposal job, to prevent duplicate attempts. */ lastSlotForCheckpointProposalJob;
|
|
463
464
|
/** Last successful checkpoint proposed */ lastCheckpointProposed;
|
|
464
465
|
/** The last epoch for which we logged strategy comparison in fisherman mode. */ lastEpochForStrategyComparison;
|
|
@@ -1154,9 +1155,17 @@ _dec = trackSpan('Sequencer.work'), _dec1 = trackSpan('Sequencer.prepareCheckpoi
|
|
|
1154
1155
|
proposer = await this.epochCache.getProposerAttesterAddressInSlot(targetSlot);
|
|
1155
1156
|
} catch (e) {
|
|
1156
1157
|
if (e instanceof NoCommitteeError) {
|
|
1157
|
-
|
|
1158
|
-
|
|
1159
|
-
this.
|
|
1158
|
+
const targetEpoch = getEpochAtSlot(targetSlot, this.l1Constants);
|
|
1159
|
+
if (this.lastEpochForNoCommitteeLog !== targetEpoch) {
|
|
1160
|
+
this.lastEpochForNoCommitteeLog = targetEpoch;
|
|
1161
|
+
await logMissingCommittee(targetSlot, targetEpoch, {
|
|
1162
|
+
epochCache: this.epochCache,
|
|
1163
|
+
rollupContract: this.rollupContract,
|
|
1164
|
+
l2BlockSource: this.l2BlockSource,
|
|
1165
|
+
l1Constants: this.l1Constants,
|
|
1166
|
+
dateProvider: this.dateProvider,
|
|
1167
|
+
logger: this.log
|
|
1168
|
+
});
|
|
1160
1169
|
}
|
|
1161
1170
|
return [
|
|
1162
1171
|
false,
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/sequencer-client",
|
|
3
|
-
"version": "6.0.0-nightly.
|
|
3
|
+
"version": "6.0.0-nightly.20260728",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -27,38 +27,37 @@
|
|
|
27
27
|
"test:integration:run": "NODE_NO_WARNINGS=1 node --experimental-vm-modules $(yarn bin jest) --no-cache --config jest.integration.config.json"
|
|
28
28
|
},
|
|
29
29
|
"dependencies": {
|
|
30
|
-
"@aztec/aztec.js": "6.0.0-nightly.
|
|
31
|
-
"@aztec/bb-prover": "6.0.0-nightly.
|
|
32
|
-
"@aztec/blob-client": "6.0.0-nightly.
|
|
33
|
-
"@aztec/blob-lib": "6.0.0-nightly.
|
|
34
|
-
"@aztec/constants": "6.0.0-nightly.
|
|
35
|
-
"@aztec/epoch-cache": "6.0.0-nightly.
|
|
36
|
-
"@aztec/ethereum": "6.0.0-nightly.
|
|
37
|
-
"@aztec/foundation": "6.0.0-nightly.
|
|
38
|
-
"@aztec/l1-artifacts": "6.0.0-nightly.
|
|
39
|
-
"@aztec/node-keystore": "6.0.0-nightly.
|
|
40
|
-
"@aztec/noir-acvm_js": "6.0.0-nightly.
|
|
41
|
-
"@aztec/noir-
|
|
42
|
-
"@aztec/
|
|
43
|
-
"@aztec/
|
|
44
|
-
"@aztec/
|
|
45
|
-
"@aztec/
|
|
46
|
-
"@aztec/
|
|
47
|
-
"@aztec/
|
|
48
|
-
"@aztec/
|
|
49
|
-
"@aztec/
|
|
50
|
-
"@aztec/
|
|
51
|
-
"@aztec/
|
|
52
|
-
"@aztec/validator-ha-signer": "6.0.0-nightly.20260726",
|
|
53
|
-
"@aztec/world-state": "6.0.0-nightly.20260726",
|
|
30
|
+
"@aztec/aztec.js": "6.0.0-nightly.20260728",
|
|
31
|
+
"@aztec/bb-prover": "6.0.0-nightly.20260728",
|
|
32
|
+
"@aztec/blob-client": "6.0.0-nightly.20260728",
|
|
33
|
+
"@aztec/blob-lib": "6.0.0-nightly.20260728",
|
|
34
|
+
"@aztec/constants": "6.0.0-nightly.20260728",
|
|
35
|
+
"@aztec/epoch-cache": "6.0.0-nightly.20260728",
|
|
36
|
+
"@aztec/ethereum": "6.0.0-nightly.20260728",
|
|
37
|
+
"@aztec/foundation": "6.0.0-nightly.20260728",
|
|
38
|
+
"@aztec/l1-artifacts": "6.0.0-nightly.20260728",
|
|
39
|
+
"@aztec/node-keystore": "6.0.0-nightly.20260728",
|
|
40
|
+
"@aztec/noir-acvm_js": "6.0.0-nightly.20260728",
|
|
41
|
+
"@aztec/noir-types": "6.0.0-nightly.20260728",
|
|
42
|
+
"@aztec/p2p": "6.0.0-nightly.20260728",
|
|
43
|
+
"@aztec/protocol-contracts": "6.0.0-nightly.20260728",
|
|
44
|
+
"@aztec/prover-client": "6.0.0-nightly.20260728",
|
|
45
|
+
"@aztec/simulator": "6.0.0-nightly.20260728",
|
|
46
|
+
"@aztec/slasher": "6.0.0-nightly.20260728",
|
|
47
|
+
"@aztec/stdlib": "6.0.0-nightly.20260728",
|
|
48
|
+
"@aztec/telemetry-client": "6.0.0-nightly.20260728",
|
|
49
|
+
"@aztec/validator-client": "6.0.0-nightly.20260728",
|
|
50
|
+
"@aztec/validator-ha-signer": "6.0.0-nightly.20260728",
|
|
51
|
+
"@aztec/world-state": "6.0.0-nightly.20260728",
|
|
54
52
|
"lodash.chunk": "^4.2.0",
|
|
55
53
|
"tslib": "^2.4.0",
|
|
56
54
|
"viem": "npm:@aztec/viem@2.38.2",
|
|
57
55
|
"zod": "^4"
|
|
58
56
|
},
|
|
59
57
|
"devDependencies": {
|
|
60
|
-
"@aztec/archiver": "6.0.0-nightly.
|
|
61
|
-
"@aztec/kv-store": "6.0.0-nightly.
|
|
58
|
+
"@aztec/archiver": "6.0.0-nightly.20260728",
|
|
59
|
+
"@aztec/kv-store": "6.0.0-nightly.20260728",
|
|
60
|
+
"@aztec/noir-protocol-circuits-types": "6.0.0-nightly.20260728",
|
|
62
61
|
"@electric-sql/pglite": "^0.3.14",
|
|
63
62
|
"@jest/globals": "^30.0.0",
|
|
64
63
|
"@types/jest": "^30.0.0",
|
|
@@ -0,0 +1,192 @@
|
|
|
1
|
+
import type { EpochCache } from '@aztec/epoch-cache';
|
|
2
|
+
import type { RollupContract } from '@aztec/ethereum/contracts';
|
|
3
|
+
import { EpochNumber, type SlotNumber } from '@aztec/foundation/branded-types';
|
|
4
|
+
import { timesParallel } from '@aztec/foundation/collection';
|
|
5
|
+
import type { Logger } from '@aztec/foundation/log';
|
|
6
|
+
import { formatSeconds } from '@aztec/foundation/string';
|
|
7
|
+
import type { DateProvider } from '@aztec/foundation/timer';
|
|
8
|
+
import type { L2BlockSource } from '@aztec/stdlib/block';
|
|
9
|
+
import { type L1RollupConstants, getStartTimestampForEpoch } from '@aztec/stdlib/epoch-helpers';
|
|
10
|
+
|
|
11
|
+
/** Collaborators {@link logMissingCommittee} needs to diagnose and report why no committee exists. */
|
|
12
|
+
export interface MissingCommitteeContext {
|
|
13
|
+
epochCache: Pick<EpochCache, 'getL1Constants' | 'getLagInEpochsForValidatorSet'>;
|
|
14
|
+
rollupContract: Pick<RollupContract, 'getActiveAttesterCount' | 'getAttesterCountAtTime'>;
|
|
15
|
+
l2BlockSource: Pick<L2BlockSource, 'getBlockNumber'>;
|
|
16
|
+
l1Constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'epochDuration'>;
|
|
17
|
+
dateProvider: Pick<DateProvider, 'nowInSeconds'>;
|
|
18
|
+
logger: Pick<Logger, 'info' | 'warn' | 'debug'>;
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
/**
|
|
22
|
+
* Why the sequencer cannot find a validator committee for an upcoming slot. A committee for an epoch is
|
|
23
|
+
* sampled from the validator set as of `lagInEpochsForValidatorSet` epochs earlier, and L1 refuses to
|
|
24
|
+
* produce one until at least `targetCommitteeSize` validators were staked at that sampling time.
|
|
25
|
+
*/
|
|
26
|
+
export type MissingCommitteeCause =
|
|
27
|
+
/** Enough validators are staked now; the committee is just waiting for the sampling window to advance. */
|
|
28
|
+
| 'awaiting-sampling-lag'
|
|
29
|
+
/** The chain has not produced any block yet and too few validators are staked: normal bootstrap state. */
|
|
30
|
+
| 'awaiting-first-validators'
|
|
31
|
+
/** The chain has produced blocks before but the validator set has since dropped below the required size. */
|
|
32
|
+
| 'validator-set-shrank';
|
|
33
|
+
|
|
34
|
+
export interface MissingCommitteeDiagnosis {
|
|
35
|
+
cause: MissingCommitteeCause;
|
|
36
|
+
/** Log severity: bootstrap and lag are expected (`info`); a shrunken set on a live chain is not (`warn`). */
|
|
37
|
+
severity: 'info' | 'warn';
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
/**
|
|
41
|
+
* Logs why no validator committee exists for the given slot. Rather than the cryptic "committee does not
|
|
42
|
+
* exist on L1", it diagnoses the cause from the live attester count and whether the chain has ever produced
|
|
43
|
+
* a block: a bootstrapping chain waiting for validators to stake, a full set still waiting for the sampling
|
|
44
|
+
* lag to elapse, or a validator set that has shrunk below the required size on a live chain. Only the last is
|
|
45
|
+
* a genuine problem, so only it is logged at `warn`.
|
|
46
|
+
*
|
|
47
|
+
* Best-effort: if the diagnostic L1 reads fail we fall back to a neutral message so this never throws on the
|
|
48
|
+
* propose path.
|
|
49
|
+
*/
|
|
50
|
+
export async function logMissingCommittee(
|
|
51
|
+
targetSlot: SlotNumber,
|
|
52
|
+
targetEpoch: EpochNumber,
|
|
53
|
+
ctx: MissingCommitteeContext,
|
|
54
|
+
): Promise<void> {
|
|
55
|
+
const targetCommitteeSize = ctx.epochCache.getL1Constants().targetCommitteeSize;
|
|
56
|
+
const lag = ctx.epochCache.getLagInEpochsForValidatorSet();
|
|
57
|
+
|
|
58
|
+
let attesterCount: number;
|
|
59
|
+
let hasProducedBlocks: boolean;
|
|
60
|
+
try {
|
|
61
|
+
[attesterCount, hasProducedBlocks] = await Promise.all([
|
|
62
|
+
ctx.rollupContract.getActiveAttesterCount(),
|
|
63
|
+
ctx.l2BlockSource.getBlockNumber().then(n => n > 0),
|
|
64
|
+
]);
|
|
65
|
+
} catch (err) {
|
|
66
|
+
ctx.logger.warn(`No committee found for slot ${targetSlot}; could not determine validator set size`, {
|
|
67
|
+
targetSlot,
|
|
68
|
+
targetEpoch,
|
|
69
|
+
targetCommitteeSize,
|
|
70
|
+
err,
|
|
71
|
+
});
|
|
72
|
+
return;
|
|
73
|
+
}
|
|
74
|
+
|
|
75
|
+
const diagnosis = classifyMissingCommittee({ attesterCount, targetCommitteeSize, hasProducedBlocks });
|
|
76
|
+
const logCtx = { targetSlot, targetEpoch, attesterCount, targetCommitteeSize, cause: diagnosis.cause };
|
|
77
|
+
|
|
78
|
+
switch (diagnosis.cause) {
|
|
79
|
+
case 'awaiting-sampling-lag': {
|
|
80
|
+
const firstCommitteeEpoch = await estimateFirstCommitteeEpoch(targetEpoch, lag, targetCommitteeSize, ctx);
|
|
81
|
+
const staked = `${attesterCount} validators are staked (>= ${targetCommitteeSize} required)`;
|
|
82
|
+
const forming = `the committee is still forming as the ${lag}-epoch sampling window advances`;
|
|
83
|
+
// When we could not pin the exact epoch, report the safe upper bound rather than a misleading ETA.
|
|
84
|
+
const epoch = firstCommitteeEpoch ?? EpochNumber(targetEpoch + lag + 1);
|
|
85
|
+
const expectation =
|
|
86
|
+
firstCommitteeEpoch === undefined
|
|
87
|
+
? `A committee should exist no later than epoch ${epoch}.`
|
|
88
|
+
: `The first committee is expected at epoch ${epoch}${formatEpochEta(epoch, ctx)}.`;
|
|
89
|
+
ctx.logger.info(`No committee for slot ${targetSlot} yet: ${staked}, ${forming}. ${expectation}`, {
|
|
90
|
+
...logCtx,
|
|
91
|
+
firstCommitteeEpoch: epoch,
|
|
92
|
+
});
|
|
93
|
+
break;
|
|
94
|
+
}
|
|
95
|
+
case 'awaiting-first-validators':
|
|
96
|
+
ctx.logger.info(
|
|
97
|
+
`No committee for slot ${targetSlot}: the chain has not started producing blocks and only ${attesterCount} ` +
|
|
98
|
+
`of the ${targetCommitteeSize} required validators are staked. Block production begins once at least ` +
|
|
99
|
+
`${targetCommitteeSize} validators stake and the ${lag}-epoch sampling lag elapses.`,
|
|
100
|
+
logCtx,
|
|
101
|
+
);
|
|
102
|
+
break;
|
|
103
|
+
case 'validator-set-shrank':
|
|
104
|
+
ctx.logger.warn(
|
|
105
|
+
`No committee for slot ${targetSlot}: the validator set has dropped to ${attesterCount}, below the ` +
|
|
106
|
+
`${targetCommitteeSize} required to form a committee. The chain cannot progress until enough validators ` +
|
|
107
|
+
`are staked again — check for validators exiting or being slashed.`,
|
|
108
|
+
logCtx,
|
|
109
|
+
);
|
|
110
|
+
break;
|
|
111
|
+
}
|
|
112
|
+
}
|
|
113
|
+
|
|
114
|
+
/**
|
|
115
|
+
* Classifies why no committee exists for a slot, using only cheap live signals: the current attester count
|
|
116
|
+
* and whether the chain has ever produced a block. See {@link MissingCommitteeCause} for the reasoning.
|
|
117
|
+
*/
|
|
118
|
+
export function classifyMissingCommittee(args: {
|
|
119
|
+
attesterCount: number;
|
|
120
|
+
targetCommitteeSize: number;
|
|
121
|
+
hasProducedBlocks: boolean;
|
|
122
|
+
}): MissingCommitteeDiagnosis {
|
|
123
|
+
const { attesterCount, targetCommitteeSize, hasProducedBlocks } = args;
|
|
124
|
+
|
|
125
|
+
if (attesterCount >= targetCommitteeSize) {
|
|
126
|
+
return { cause: 'awaiting-sampling-lag', severity: 'info' };
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
if (hasProducedBlocks) {
|
|
130
|
+
return { cause: 'validator-set-shrank', severity: 'warn' };
|
|
131
|
+
}
|
|
132
|
+
|
|
133
|
+
return { cause: 'awaiting-first-validators', severity: 'info' };
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
/**
|
|
137
|
+
* Given each candidate epoch after the one we failed to propose at, paired with the attester count staked at
|
|
138
|
+
* that epoch's validator-set sample time (`undefined` when the sample time is still in the future), returns
|
|
139
|
+
* the earliest epoch that will have a committee, or `undefined` if none qualifies.
|
|
140
|
+
*
|
|
141
|
+
* Candidates must be ordered ascending by epoch. A committee for epoch `E` exists iff at least
|
|
142
|
+
* `targetCommitteeSize` validators were staked at `E`'s sample time, so the first candidate whose sampled
|
|
143
|
+
* count meets the target is the answer; a candidate whose sample time is still in the future is assumed to
|
|
144
|
+
* have a committee if the set holds and wins as soon as it is reached. The predicate is not monotone in `E`
|
|
145
|
+
* (the set can dip below target between sample times), so this must scan ascending rather than binary-search.
|
|
146
|
+
*/
|
|
147
|
+
export function findFirstEpochWithCommittee(args: {
|
|
148
|
+
candidates: { epoch: EpochNumber; sampledAttesterCount: number | undefined }[];
|
|
149
|
+
targetCommitteeSize: number;
|
|
150
|
+
}): EpochNumber | undefined {
|
|
151
|
+
return args.candidates.find(
|
|
152
|
+
c => c.sampledAttesterCount === undefined || c.sampledAttesterCount >= args.targetCommitteeSize,
|
|
153
|
+
)?.epoch;
|
|
154
|
+
}
|
|
155
|
+
|
|
156
|
+
/**
|
|
157
|
+
* Earliest epoch expected to have a committee, replaying L1's validator-set sampling rule: a committee for
|
|
158
|
+
* epoch `E` exists iff at least `targetCommitteeSize` attesters were staked at `E`'s sample time
|
|
159
|
+
* (`epochStart(E) - lag * epochDuration`). Only epochs after the one we failed at can qualify, and the set
|
|
160
|
+
* must have crossed the target within the last `lag` epochs' sample window, so the answer lies in
|
|
161
|
+
* `(targetEpoch, targetEpoch + lag + 1]`. Reads the historical attester count at each candidate's sample time
|
|
162
|
+
* (at most `lag` on-chain reads; future sample times are assumed to hold). Returns `undefined` if no candidate
|
|
163
|
+
* qualifies or the reads fail, leaving the caller to report a bound instead of an ETA.
|
|
164
|
+
*/
|
|
165
|
+
async function estimateFirstCommitteeEpoch(
|
|
166
|
+
targetEpoch: EpochNumber,
|
|
167
|
+
lag: number,
|
|
168
|
+
targetCommitteeSize: number,
|
|
169
|
+
ctx: MissingCommitteeContext,
|
|
170
|
+
): Promise<EpochNumber | undefined> {
|
|
171
|
+
try {
|
|
172
|
+
const epochDurationSeconds = BigInt(ctx.l1Constants.epochDuration * ctx.l1Constants.slotDuration);
|
|
173
|
+
const nowSeconds = BigInt(ctx.dateProvider.nowInSeconds());
|
|
174
|
+
const candidates = await timesParallel(lag + 1, async i => {
|
|
175
|
+
const epoch = EpochNumber(targetEpoch + 1 + i);
|
|
176
|
+
const sampleTime = getStartTimestampForEpoch(epoch, ctx.l1Constants) - epochDurationSeconds * BigInt(lag);
|
|
177
|
+
const sampledAttesterCount =
|
|
178
|
+
sampleTime > nowSeconds ? undefined : await ctx.rollupContract.getAttesterCountAtTime(sampleTime);
|
|
179
|
+
return { epoch, sampledAttesterCount };
|
|
180
|
+
});
|
|
181
|
+
return findFirstEpochWithCommittee({ candidates, targetCommitteeSize });
|
|
182
|
+
} catch (err) {
|
|
183
|
+
ctx.logger.debug(`Could not estimate first committee epoch after epoch ${targetEpoch}`, { targetEpoch, err });
|
|
184
|
+
return undefined;
|
|
185
|
+
}
|
|
186
|
+
}
|
|
187
|
+
|
|
188
|
+
/** Formats the ETA to the start of the given epoch as ` (~12m from now)`, or empty if it is in the past. */
|
|
189
|
+
function formatEpochEta(epoch: EpochNumber, ctx: MissingCommitteeContext): string {
|
|
190
|
+
const secondsUntil = Number(getStartTimestampForEpoch(epoch, ctx.l1Constants)) - ctx.dateProvider.nowInSeconds();
|
|
191
|
+
return secondsUntil > 0 ? ` (~${formatSeconds(secondsUntil)} from now)` : '';
|
|
192
|
+
}
|
|
@@ -55,6 +55,7 @@ import { CheckpointVoter } from './checkpoint_voter.js';
|
|
|
55
55
|
import { SequencerInterruptedError } from './errors.js';
|
|
56
56
|
import type { SequencerEvents } from './events.js';
|
|
57
57
|
import { SequencerMetrics } from './metrics.js';
|
|
58
|
+
import { logMissingCommittee } from './missing_committee.js';
|
|
58
59
|
import { RequestsTracker } from './requests_tracker.js';
|
|
59
60
|
import type { SequencerRollupConstants } from './types.js';
|
|
60
61
|
import { SequencerState } from './utils.js';
|
|
@@ -96,8 +97,8 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
|
|
|
96
97
|
* re-simulating and re-submitting the same invalidation across the many ticks within a single slot. */
|
|
97
98
|
private lastInvalidationAttempt: { slot: SlotNumber; checkpointNumber: CheckpointNumber } | undefined;
|
|
98
99
|
|
|
99
|
-
/** The last
|
|
100
|
-
private
|
|
100
|
+
/** The last epoch for which we logged a "no committee" diagnostic, to avoid per-slot log spam. */
|
|
101
|
+
private lastEpochForNoCommitteeLog: EpochNumber | undefined;
|
|
101
102
|
|
|
102
103
|
/** The last slot for which we triggered a checkpoint proposal job, to prevent duplicate attempts. */
|
|
103
104
|
protected lastSlotForCheckpointProposalJob: SlotNumber | undefined;
|
|
@@ -970,9 +971,17 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
|
|
|
970
971
|
proposer = await this.epochCache.getProposerAttesterAddressInSlot(targetSlot);
|
|
971
972
|
} catch (e) {
|
|
972
973
|
if (e instanceof NoCommitteeError) {
|
|
973
|
-
|
|
974
|
-
|
|
975
|
-
this.
|
|
974
|
+
const targetEpoch = getEpochAtSlot(targetSlot, this.l1Constants);
|
|
975
|
+
if (this.lastEpochForNoCommitteeLog !== targetEpoch) {
|
|
976
|
+
this.lastEpochForNoCommitteeLog = targetEpoch;
|
|
977
|
+
await logMissingCommittee(targetSlot, targetEpoch, {
|
|
978
|
+
epochCache: this.epochCache,
|
|
979
|
+
rollupContract: this.rollupContract,
|
|
980
|
+
l2BlockSource: this.l2BlockSource,
|
|
981
|
+
l1Constants: this.l1Constants,
|
|
982
|
+
dateProvider: this.dateProvider,
|
|
983
|
+
logger: this.log,
|
|
984
|
+
});
|
|
976
985
|
}
|
|
977
986
|
return [false, undefined];
|
|
978
987
|
}
|