@aztec/epoch-cache 0.0.1-commit.d1f2d6c → 0.0.1-commit.d20b825a7
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/README.md +211 -0
- package/dest/config.d.ts +3 -2
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +3 -1
- package/dest/epoch_cache.d.ts +78 -17
- package/dest/epoch_cache.d.ts.map +1 -1
- package/dest/epoch_cache.js +230 -71
- package/dest/test/index.d.ts +2 -0
- package/dest/test/index.d.ts.map +1 -0
- package/dest/test/index.js +1 -0
- package/dest/test/test_epoch_cache.d.ts +92 -0
- package/dest/test/test_epoch_cache.d.ts.map +1 -0
- package/dest/test/test_epoch_cache.js +198 -0
- package/package.json +5 -6
- package/src/config.ts +9 -3
- package/src/epoch_cache.ts +291 -62
- package/src/test/index.ts +1 -0
- package/src/test/test_epoch_cache.ts +242 -0
package/src/epoch_cache.ts
CHANGED
|
@@ -1,5 +1,7 @@
|
|
|
1
1
|
import { createEthereumChain } from '@aztec/ethereum/chain';
|
|
2
|
+
import { makeL1HttpTransport } from '@aztec/ethereum/client';
|
|
2
3
|
import { NoCommitteeError, RollupContract } from '@aztec/ethereum/contracts';
|
|
4
|
+
import { getFinalizedL1Block } from '@aztec/ethereum/queries';
|
|
3
5
|
import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
|
|
4
6
|
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
5
7
|
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
@@ -8,19 +10,25 @@ import {
|
|
|
8
10
|
type L1RollupConstants,
|
|
9
11
|
getEpochAtSlot,
|
|
10
12
|
getEpochNumberAtTimestamp,
|
|
13
|
+
getNextL1SlotTimestamp,
|
|
14
|
+
getSlotAtNextL1Block,
|
|
11
15
|
getSlotAtTimestamp,
|
|
12
16
|
getSlotRangeForEpoch,
|
|
17
|
+
getStartTimestampForEpoch,
|
|
13
18
|
getTimestampForSlot,
|
|
14
|
-
getTimestampRangeForEpoch,
|
|
15
19
|
} from '@aztec/stdlib/epoch-helpers';
|
|
16
20
|
|
|
17
|
-
import { createPublicClient, encodeAbiParameters,
|
|
21
|
+
import { createPublicClient, encodeAbiParameters, keccak256 } from 'viem';
|
|
18
22
|
|
|
19
23
|
import { type EpochCacheConfig, getEpochCacheConfigEnvVars } from './config.js';
|
|
20
24
|
|
|
25
|
+
/** When proposer pipelining is enabled, the proposer builds one slot ahead. */
|
|
26
|
+
export const PROPOSER_PIPELINING_SLOT_OFFSET = 1;
|
|
27
|
+
|
|
28
|
+
/** Flat return type for compound epoch/slot getters. */
|
|
21
29
|
export type EpochAndSlot = {
|
|
22
|
-
epoch: EpochNumber;
|
|
23
30
|
slot: SlotNumber;
|
|
31
|
+
epoch: EpochNumber;
|
|
24
32
|
ts: bigint;
|
|
25
33
|
};
|
|
26
34
|
|
|
@@ -34,17 +42,45 @@ export type EpochCommitteeInfo = {
|
|
|
34
42
|
|
|
35
43
|
export type SlotTag = 'now' | 'next' | SlotNumber;
|
|
36
44
|
|
|
45
|
+
/** Minimal L1 block info used for cache provenance. */
|
|
46
|
+
type L1BlockInfo = { number: bigint; hash: `0x${string}`; timestamp: bigint };
|
|
47
|
+
|
|
48
|
+
/** Resolved cache entry with L1 provenance metadata. */
|
|
49
|
+
type CachedEpochEntry = {
|
|
50
|
+
data: EpochCommitteeInfo;
|
|
51
|
+
/** L1 block number at which the committee data was originally queried. */
|
|
52
|
+
lastQueryL1BlockNumber: bigint;
|
|
53
|
+
/** L1 block hash at which the committee data was originally queried. Used to detect reorgs. */
|
|
54
|
+
lastQueryL1BlockHash: `0x${string}`;
|
|
55
|
+
/** Latest L1 block timestamp at the time of the most recent refresh (full fetch or lightweight check). */
|
|
56
|
+
lastRefreshL1Timestamp: bigint;
|
|
57
|
+
/** Whether the epoch's sampling data falls within finalized L1 history. */
|
|
58
|
+
finalized: boolean;
|
|
59
|
+
};
|
|
60
|
+
|
|
37
61
|
export interface EpochCacheInterface {
|
|
38
62
|
getCommittee(slot: SlotTag | undefined): Promise<EpochCommitteeInfo>;
|
|
63
|
+
getSlotNow(): SlotNumber;
|
|
64
|
+
getTargetSlot(): SlotNumber;
|
|
65
|
+
getEpochNow(): EpochNumber;
|
|
66
|
+
getTargetEpoch(): EpochNumber;
|
|
39
67
|
getEpochAndSlotNow(): EpochAndSlot & { nowMs: bigint };
|
|
40
|
-
getEpochAndSlotInNextL1Slot(): EpochAndSlot & {
|
|
68
|
+
getEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint };
|
|
69
|
+
/** Returns epoch/slot info for the next L1 slot with pipeline offset applied. */
|
|
70
|
+
getTargetEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint };
|
|
71
|
+
isProposerPipeliningEnabled(): boolean;
|
|
72
|
+
pipeliningOffset(): number;
|
|
73
|
+
isEscapeHatchOpen(epoch: EpochNumber): Promise<boolean>;
|
|
74
|
+
isEscapeHatchOpenAtSlot(slot: SlotTag): Promise<boolean>;
|
|
41
75
|
getProposerIndexEncoding(epoch: EpochNumber, slot: SlotNumber, seed: bigint): `0x${string}`;
|
|
42
76
|
computeProposerIndex(slot: SlotNumber, epoch: EpochNumber, seed: bigint, size: bigint): bigint;
|
|
43
77
|
getCurrentAndNextSlot(): { currentSlot: SlotNumber; nextSlot: SlotNumber };
|
|
78
|
+
getTargetAndNextSlot(): { targetSlot: SlotNumber; nextSlot: SlotNumber };
|
|
44
79
|
getProposerAttesterAddressInSlot(slot: SlotNumber): Promise<EthAddress | undefined>;
|
|
45
80
|
getRegisteredValidators(): Promise<EthAddress[]>;
|
|
46
81
|
isInCommittee(slot: SlotTag, validator: EthAddress): Promise<boolean>;
|
|
47
82
|
filterInCommittee(slot: SlotTag, validators: EthAddress[]): Promise<EthAddress[]>;
|
|
83
|
+
getL1Constants(): L1RollupConstants;
|
|
48
84
|
}
|
|
49
85
|
|
|
50
86
|
/**
|
|
@@ -57,12 +93,18 @@ export interface EpochCacheInterface {
|
|
|
57
93
|
* Note: This class is very dependent on the system clock being in sync.
|
|
58
94
|
*/
|
|
59
95
|
export class EpochCache implements EpochCacheInterface {
|
|
96
|
+
/**
|
|
97
|
+
* Single map holding both resolved entries and in-flight promises.
|
|
98
|
+
* A `Promise` value means a fetch is in progress; concurrent callers await it.
|
|
99
|
+
*/
|
|
60
100
|
// eslint-disable-next-line aztec-custom/no-non-primitive-in-collections
|
|
61
|
-
protected cache: Map<EpochNumber,
|
|
101
|
+
protected cache: Map<EpochNumber, CachedEpochEntry | Promise<CachedEpochEntry>> = new Map();
|
|
62
102
|
private allValidators: Set<string> = new Set();
|
|
63
103
|
private lastValidatorRefresh = 0;
|
|
64
104
|
private readonly log: Logger = createLogger('epoch-cache');
|
|
65
105
|
|
|
106
|
+
protected enableProposerPipelining: boolean;
|
|
107
|
+
|
|
66
108
|
constructor(
|
|
67
109
|
private rollup: RollupContract,
|
|
68
110
|
private readonly l1constants: L1RollupConstants & {
|
|
@@ -70,10 +112,12 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
70
112
|
lagInEpochsForRandao: number;
|
|
71
113
|
},
|
|
72
114
|
private readonly dateProvider: DateProvider = new DateProvider(),
|
|
73
|
-
protected readonly config = { cacheSize: 12, validatorRefreshIntervalSeconds: 60 },
|
|
115
|
+
protected readonly config = { cacheSize: 12, validatorRefreshIntervalSeconds: 60, enableProposerPipelining: false },
|
|
74
116
|
) {
|
|
117
|
+
this.enableProposerPipelining = this.config.enableProposerPipelining;
|
|
75
118
|
this.log.debug(`Initialized EpochCache`, {
|
|
76
119
|
l1constants,
|
|
120
|
+
enableProposerPipelining: this.enableProposerPipelining,
|
|
77
121
|
});
|
|
78
122
|
}
|
|
79
123
|
|
|
@@ -92,7 +136,7 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
92
136
|
const chain = createEthereumChain(config.l1RpcUrls, config.l1ChainId);
|
|
93
137
|
const publicClient = createPublicClient({
|
|
94
138
|
chain: chain.chainInfo,
|
|
95
|
-
transport:
|
|
139
|
+
transport: makeL1HttpTransport(config.l1RpcUrls, { timeout: config.l1HttpTimeoutMS }),
|
|
96
140
|
pollingInterval: config.viemPollingIntervalMS,
|
|
97
141
|
});
|
|
98
142
|
rollup = new RollupContract(publicClient, rollupOrAddress.toString());
|
|
@@ -106,6 +150,8 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
106
150
|
epochDuration,
|
|
107
151
|
lagInEpochsForValidatorSet,
|
|
108
152
|
lagInEpochsForRandao,
|
|
153
|
+
targetCommitteeSize,
|
|
154
|
+
rollupManaLimit,
|
|
109
155
|
] = await Promise.all([
|
|
110
156
|
rollup.getL1StartBlock(),
|
|
111
157
|
rollup.getL1GenesisTime(),
|
|
@@ -114,6 +160,8 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
114
160
|
rollup.getEpochDuration(),
|
|
115
161
|
rollup.getLagInEpochsForValidatorSet(),
|
|
116
162
|
rollup.getLagInEpochsForRandao(),
|
|
163
|
+
rollup.getTargetCommitteeSize(),
|
|
164
|
+
rollup.getManaLimit(),
|
|
117
165
|
] as const);
|
|
118
166
|
|
|
119
167
|
const l1RollupConstants = {
|
|
@@ -125,43 +173,81 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
125
173
|
ethereumSlotDuration: config.ethereumSlotDuration,
|
|
126
174
|
lagInEpochsForValidatorSet: Number(lagInEpochsForValidatorSet),
|
|
127
175
|
lagInEpochsForRandao: Number(lagInEpochsForRandao),
|
|
176
|
+
targetCommitteeSize: Number(targetCommitteeSize),
|
|
177
|
+
rollupManaLimit: Number(rollupManaLimit),
|
|
128
178
|
};
|
|
129
179
|
|
|
130
|
-
return new EpochCache(rollup, l1RollupConstants, deps.dateProvider
|
|
180
|
+
return new EpochCache(rollup, l1RollupConstants, deps.dateProvider, {
|
|
181
|
+
cacheSize: 12,
|
|
182
|
+
validatorRefreshIntervalSeconds: 60,
|
|
183
|
+
enableProposerPipelining: config.enableProposerPipelining,
|
|
184
|
+
});
|
|
131
185
|
}
|
|
132
186
|
|
|
133
187
|
public getL1Constants(): L1RollupConstants {
|
|
134
188
|
return this.l1constants;
|
|
135
189
|
}
|
|
136
190
|
|
|
191
|
+
public isProposerPipeliningEnabled(): boolean {
|
|
192
|
+
return this.enableProposerPipelining;
|
|
193
|
+
}
|
|
194
|
+
|
|
195
|
+
public pipeliningOffset(): number {
|
|
196
|
+
return this.enableProposerPipelining ? PROPOSER_PIPELINING_SLOT_OFFSET : 0;
|
|
197
|
+
}
|
|
198
|
+
|
|
199
|
+
public getSlotNow(): SlotNumber {
|
|
200
|
+
return this.getEpochAndSlotNow().slot;
|
|
201
|
+
}
|
|
202
|
+
|
|
203
|
+
public getTargetSlot(): SlotNumber {
|
|
204
|
+
const slotNow = this.getSlotNow();
|
|
205
|
+
const offset = this.isProposerPipeliningEnabled() ? PROPOSER_PIPELINING_SLOT_OFFSET : 0;
|
|
206
|
+
return SlotNumber(slotNow + offset);
|
|
207
|
+
}
|
|
208
|
+
|
|
209
|
+
public getEpochNow(): EpochNumber {
|
|
210
|
+
return this.getEpochAndSlotNow().epoch;
|
|
211
|
+
}
|
|
212
|
+
|
|
213
|
+
public getTargetEpoch(): EpochNumber {
|
|
214
|
+
return getEpochAtSlot(this.getTargetSlot(), this.l1constants);
|
|
215
|
+
}
|
|
216
|
+
|
|
137
217
|
public getEpochAndSlotNow(): EpochAndSlot & { nowMs: bigint } {
|
|
138
218
|
const nowMs = BigInt(this.dateProvider.now());
|
|
139
219
|
const nowSeconds = nowMs / 1000n;
|
|
140
220
|
return { ...this.getEpochAndSlotAtTimestamp(nowSeconds), nowMs };
|
|
141
221
|
}
|
|
142
222
|
|
|
143
|
-
|
|
144
|
-
return
|
|
223
|
+
private getEpochAndSlotAtSlot(slot: SlotNumber): EpochAndSlot {
|
|
224
|
+
return this.getEpochAndSlotAtTimestamp(getTimestampForSlot(slot, this.l1constants));
|
|
145
225
|
}
|
|
146
226
|
|
|
147
|
-
|
|
148
|
-
const
|
|
149
|
-
const
|
|
150
|
-
return {
|
|
227
|
+
public getEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint } {
|
|
228
|
+
const nowSeconds = this.dateProvider.nowInSeconds();
|
|
229
|
+
const nextSlotTs = getNextL1SlotTimestamp(nowSeconds, this.l1constants);
|
|
230
|
+
return { ...this.getEpochAndSlotAtTimestamp(nextSlotTs), nowSeconds: BigInt(nowSeconds) };
|
|
151
231
|
}
|
|
152
232
|
|
|
153
|
-
public
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
|
|
233
|
+
public getTargetEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint } {
|
|
234
|
+
if (!this.isProposerPipeliningEnabled()) {
|
|
235
|
+
return this.getEpochAndSlotInNextL1Slot();
|
|
236
|
+
}
|
|
237
|
+
|
|
238
|
+
const result = this.getEpochAndSlotInNextL1Slot();
|
|
239
|
+
const offset = PROPOSER_PIPELINING_SLOT_OFFSET;
|
|
240
|
+
const targetSlot = SlotNumber(result.slot + offset);
|
|
241
|
+
return { ...result, slot: targetSlot, epoch: getEpochAtSlot(targetSlot, this.l1constants) };
|
|
157
242
|
}
|
|
158
243
|
|
|
159
244
|
private getEpochAndSlotAtTimestamp(ts: bigint): EpochAndSlot {
|
|
160
245
|
const slot = getSlotAtTimestamp(ts, this.l1constants);
|
|
246
|
+
const epoch = getEpochNumberAtTimestamp(ts, this.l1constants);
|
|
161
247
|
return {
|
|
162
|
-
epoch: getEpochNumberAtTimestamp(ts, this.l1constants),
|
|
163
|
-
ts: getTimestampForSlot(slot, this.l1constants),
|
|
164
248
|
slot,
|
|
249
|
+
epoch,
|
|
250
|
+
ts: getTimestampForSlot(slot, this.l1constants),
|
|
165
251
|
};
|
|
166
252
|
}
|
|
167
253
|
|
|
@@ -170,17 +256,8 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
170
256
|
return this.getCommittee(startSlot);
|
|
171
257
|
}
|
|
172
258
|
|
|
173
|
-
/**
|
|
174
|
-
* Returns whether the escape hatch is open for the given epoch.
|
|
175
|
-
*
|
|
176
|
-
* Uses the already-cached EpochCommitteeInfo when available. If not cached, it will fetch
|
|
177
|
-
* the epoch committee info (which includes the escape hatch flag) and return it.
|
|
178
|
-
*/
|
|
259
|
+
/** Returns whether the escape hatch is open for the given epoch. */
|
|
179
260
|
public async isEscapeHatchOpen(epoch: EpochNumber): Promise<boolean> {
|
|
180
|
-
const cached = this.cache.get(epoch);
|
|
181
|
-
if (cached) {
|
|
182
|
-
return cached.isEscapeHatchOpen;
|
|
183
|
-
}
|
|
184
261
|
const info = await this.getCommitteeForEpoch(epoch);
|
|
185
262
|
return info.isEscapeHatchOpen;
|
|
186
263
|
}
|
|
@@ -194,7 +271,7 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
194
271
|
public async isEscapeHatchOpenAtSlot(slot: SlotTag = 'now'): Promise<boolean> {
|
|
195
272
|
const epoch =
|
|
196
273
|
slot === 'now'
|
|
197
|
-
? this.
|
|
274
|
+
? this.getEpochNow()
|
|
198
275
|
: slot === 'next'
|
|
199
276
|
? this.getEpochAndSlotInNextL1Slot().epoch
|
|
200
277
|
: getEpochAtSlot(slot, this.l1constants);
|
|
@@ -203,33 +280,52 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
203
280
|
}
|
|
204
281
|
|
|
205
282
|
/**
|
|
206
|
-
* Get the current validator set
|
|
207
|
-
*
|
|
208
|
-
*
|
|
283
|
+
* Get the current validator set.
|
|
284
|
+
*
|
|
285
|
+
* Returns cached data if the entry is finalized or still fresh (queried less than one
|
|
286
|
+
* Ethereum slot ago). Stale non-finalized entries are re-queried, and concurrent callers
|
|
287
|
+
* coalesce on the same in-flight promise so the L1 query happens only once.
|
|
209
288
|
*/
|
|
210
289
|
public async getCommittee(slot: SlotTag = 'now'): Promise<EpochCommitteeInfo> {
|
|
211
290
|
const { epoch, ts } = this.getEpochAndTimestamp(slot);
|
|
212
291
|
|
|
213
|
-
|
|
214
|
-
|
|
292
|
+
const cached = this.cache.get(epoch);
|
|
293
|
+
|
|
294
|
+
// In-flight promise: another caller is already fetching this epoch — just await it.
|
|
295
|
+
if (cached instanceof Promise) {
|
|
296
|
+
return (await cached).data;
|
|
215
297
|
}
|
|
216
298
|
|
|
217
|
-
|
|
218
|
-
|
|
219
|
-
|
|
220
|
-
return epochData;
|
|
299
|
+
// Resolved entry: return it if finalized or still fresh.
|
|
300
|
+
if (cached && (cached.finalized || !this.isStale(cached))) {
|
|
301
|
+
return cached.data;
|
|
221
302
|
}
|
|
222
|
-
this.cache.set(epoch, epochData);
|
|
223
303
|
|
|
224
|
-
|
|
225
|
-
|
|
226
|
-
|
|
227
|
-
|
|
304
|
+
// Stale non-finalized entry: do a lightweight refresh first (check block hash + finalized ts).
|
|
305
|
+
// Only fall back to a full re-fetch if the L1 block was reorged.
|
|
306
|
+
if (cached) {
|
|
307
|
+
const promise = this.refreshStaleEntry(cached, epoch, ts);
|
|
308
|
+
this.cache.set(epoch, promise);
|
|
309
|
+
try {
|
|
310
|
+
return (await promise).data;
|
|
311
|
+
} catch (err) {
|
|
312
|
+
this.cache.set(epoch, cached);
|
|
313
|
+
throw err;
|
|
314
|
+
}
|
|
315
|
+
}
|
|
228
316
|
|
|
229
|
-
|
|
317
|
+
// No entry at all: full fetch.
|
|
318
|
+
const promise = this.fetchAndCache(epoch, ts);
|
|
319
|
+
this.cache.set(epoch, promise);
|
|
320
|
+
try {
|
|
321
|
+
return (await promise).data;
|
|
322
|
+
} catch (err) {
|
|
323
|
+
this.cache.delete(epoch);
|
|
324
|
+
throw err;
|
|
325
|
+
}
|
|
230
326
|
}
|
|
231
327
|
|
|
232
|
-
private getEpochAndTimestamp(slot: SlotTag = 'now') {
|
|
328
|
+
private getEpochAndTimestamp(slot: SlotTag = 'now'): { epoch: EpochNumber; ts: bigint } {
|
|
233
329
|
if (slot === 'now') {
|
|
234
330
|
return this.getEpochAndSlotNow();
|
|
235
331
|
} else if (slot === 'next') {
|
|
@@ -239,22 +335,140 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
239
335
|
}
|
|
240
336
|
}
|
|
241
337
|
|
|
242
|
-
|
|
243
|
-
|
|
244
|
-
|
|
338
|
+
/** Evicts oldest cache entries (resolved or in-flight) beyond cacheSize. */
|
|
339
|
+
private purgeCache(): void {
|
|
340
|
+
if (this.cache.size <= this.config.cacheSize) {
|
|
341
|
+
return;
|
|
342
|
+
}
|
|
343
|
+
const toPurge = Array.from(this.cache.keys())
|
|
344
|
+
.sort((a, b) => Number(b - a))
|
|
345
|
+
.slice(this.config.cacheSize);
|
|
346
|
+
toPurge.forEach(key => this.cache.delete(key));
|
|
347
|
+
}
|
|
348
|
+
|
|
349
|
+
/** Returns true if a non-finalized cache entry is older than one Ethereum slot. */
|
|
350
|
+
private isStale(entry: CachedEpochEntry): boolean {
|
|
351
|
+
const nowSeconds = BigInt(this.dateProvider.nowInSeconds());
|
|
352
|
+
return nowSeconds - entry.lastRefreshL1Timestamp >= BigInt(this.l1constants.ethereumSlotDuration);
|
|
353
|
+
}
|
|
354
|
+
|
|
355
|
+
/** Whether a cached epoch entry has been marked as finalized. Returns undefined if not cached or still in-flight. */
|
|
356
|
+
public isFinalized(epoch: EpochNumber): boolean | undefined {
|
|
357
|
+
const entry = this.cache.get(epoch);
|
|
358
|
+
if (!entry || entry instanceof Promise) {
|
|
359
|
+
return undefined;
|
|
360
|
+
}
|
|
361
|
+
return entry.finalized;
|
|
362
|
+
}
|
|
363
|
+
|
|
364
|
+
/** Returns the latest L1 timestamp stored in the cached entry. Undefined if not cached or in-flight. */
|
|
365
|
+
public getCachedLastRefreshL1Timestamp(epoch: EpochNumber): bigint | undefined {
|
|
366
|
+
const entry = this.cache.get(epoch);
|
|
367
|
+
if (!entry || entry instanceof Promise) {
|
|
368
|
+
return undefined;
|
|
369
|
+
}
|
|
370
|
+
return entry.lastRefreshL1Timestamp;
|
|
371
|
+
}
|
|
372
|
+
|
|
373
|
+
/** Computes the sampling timestamp for an epoch's committee data. */
|
|
374
|
+
private getSamplingTimestamp(epoch: EpochNumber): bigint {
|
|
375
|
+
const { lagInEpochsForRandao, epochDuration, slotDuration } = this.l1constants;
|
|
376
|
+
const epochStartTs = getStartTimestampForEpoch(epoch, this.l1constants);
|
|
377
|
+
return epochStartTs - BigInt(lagInEpochsForRandao) * BigInt(epochDuration) * BigInt(slotDuration);
|
|
378
|
+
}
|
|
379
|
+
|
|
380
|
+
/**
|
|
381
|
+
* Lightweight refresh for a stale non-finalized entry. Queries only the block hash at
|
|
382
|
+
* the original block number and the finalized block timestamp — avoids the expensive
|
|
383
|
+
* getCommitteeAt and getSampleSeedAt calls on the rollup contract.
|
|
384
|
+
*
|
|
385
|
+
* If the block hash still matches (no L1 reorg), we keep the existing data and just
|
|
386
|
+
* update the provenance timestamp. If the finalized block has caught up, we promote the
|
|
387
|
+
* entry to finalized. If there was a reorg (hash mismatch), we fall back to a full fetch.
|
|
388
|
+
*/
|
|
389
|
+
private async refreshStaleEntry(stale: CachedEpochEntry, epoch: EpochNumber, ts: bigint): Promise<CachedEpochEntry> {
|
|
390
|
+
const [blockAtOriginal, l1FinalizedBlock, latestBlock] = await Promise.all([
|
|
391
|
+
this.rollup.client.getBlock({ blockNumber: stale.lastQueryL1BlockNumber, includeTransactions: false }),
|
|
392
|
+
getFinalizedL1Block(this.rollup.client),
|
|
393
|
+
this.rollup.client.getBlock({ includeTransactions: false }),
|
|
394
|
+
]);
|
|
395
|
+
|
|
396
|
+
if (blockAtOriginal.hash === stale.lastQueryL1BlockHash) {
|
|
397
|
+
// No reorg: the data is still valid. Check if we can now mark it as finalized.
|
|
398
|
+
const samplingTs = this.getSamplingTimestamp(epoch);
|
|
399
|
+
const finalized =
|
|
400
|
+
!!(stale.data.committee && stale.data.committee.length > 0) &&
|
|
401
|
+
l1FinalizedBlock !== undefined &&
|
|
402
|
+
samplingTs <= l1FinalizedBlock.timestamp;
|
|
403
|
+
|
|
404
|
+
const refreshed: CachedEpochEntry = {
|
|
405
|
+
...stale,
|
|
406
|
+
lastRefreshL1Timestamp: latestBlock.timestamp,
|
|
407
|
+
finalized,
|
|
408
|
+
};
|
|
409
|
+
this.cache.set(epoch, refreshed);
|
|
410
|
+
return refreshed;
|
|
411
|
+
}
|
|
412
|
+
|
|
413
|
+
// Reorg detected: block hash mismatch. Do a full re-fetch.
|
|
414
|
+
// Pass the already-fetched block timestamps to avoid redundant queries.
|
|
415
|
+
this.log.warn(`L1 reorg detected for epoch ${epoch}: block ${stale.lastQueryL1BlockNumber} hash changed`, {
|
|
416
|
+
epoch,
|
|
417
|
+
expectedHash: stale.lastQueryL1BlockHash,
|
|
418
|
+
actualHash: blockAtOriginal.hash,
|
|
419
|
+
});
|
|
420
|
+
return this.fetchAndCache(epoch, ts, { latestBlock, finalizedBlock: l1FinalizedBlock });
|
|
421
|
+
}
|
|
422
|
+
|
|
423
|
+
/**
|
|
424
|
+
* Fetches committee data from L1, determines finalization status, and stores in the cache.
|
|
425
|
+
*
|
|
426
|
+
* Uses `lagInEpochsForRandao` (the binding constraint, always <= lagInEpochsForValidatorSet)
|
|
427
|
+
* and computes the sampling timestamp from the epoch start to match the L1 contract's logic.
|
|
428
|
+
*
|
|
429
|
+
* When called from refreshStaleEntry after a reorg, the latest and finalized blocks are
|
|
430
|
+
* passed in to avoid redundant L1 queries.
|
|
431
|
+
*/
|
|
432
|
+
private async fetchAndCache(
|
|
433
|
+
epoch: EpochNumber,
|
|
434
|
+
ts: bigint,
|
|
435
|
+
prefetched?: { latestBlock: L1BlockInfo; finalizedBlock: { timestamp: bigint } | undefined },
|
|
436
|
+
): Promise<CachedEpochEntry> {
|
|
437
|
+
const [committee, seedBuffer, latestBlock, finalizedBlock, isEscapeHatchOpen] = await Promise.all([
|
|
245
438
|
this.rollup.getCommitteeAt(ts),
|
|
246
439
|
this.rollup.getSampleSeedAt(ts),
|
|
247
|
-
this.rollup.client.getBlock({ includeTransactions: false })
|
|
440
|
+
prefetched?.latestBlock ?? this.rollup.client.getBlock({ includeTransactions: false }),
|
|
441
|
+
prefetched !== undefined ? prefetched.finalizedBlock : getFinalizedL1Block(this.rollup.client),
|
|
248
442
|
this.rollup.isEscapeHatchOpen(epoch),
|
|
249
443
|
]);
|
|
250
|
-
|
|
251
|
-
const
|
|
252
|
-
|
|
444
|
+
|
|
445
|
+
const samplingTs = this.getSamplingTimestamp(epoch);
|
|
446
|
+
|
|
447
|
+
if (samplingTs > latestBlock.timestamp) {
|
|
253
448
|
throw new Error(
|
|
254
|
-
`Cannot query committee for future epoch ${epoch}
|
|
449
|
+
`Cannot query committee for future epoch ${epoch}: ` +
|
|
450
|
+
`sampling timestamp ${samplingTs} is beyond latest L1 block at ${latestBlock.timestamp}. ` +
|
|
451
|
+
`Check your Ethereum node is synced.`,
|
|
255
452
|
);
|
|
256
453
|
}
|
|
257
|
-
|
|
454
|
+
|
|
455
|
+
// Empty committees are never marked finalized so they always get re-queried after TTL.
|
|
456
|
+
// If L1 has no finalized block yet (devnet startup), entries stay unfinalized.
|
|
457
|
+
const hasCommittee = !!(committee && committee.length > 0);
|
|
458
|
+
const finalized = hasCommittee && finalizedBlock !== undefined && samplingTs <= finalizedBlock.timestamp;
|
|
459
|
+
const data: EpochCommitteeInfo = { committee, seed: seedBuffer.toBigInt(), epoch, isEscapeHatchOpen };
|
|
460
|
+
const entry: CachedEpochEntry = {
|
|
461
|
+
data,
|
|
462
|
+
lastQueryL1BlockNumber: latestBlock.number!,
|
|
463
|
+
lastQueryL1BlockHash: latestBlock.hash!,
|
|
464
|
+
lastRefreshL1Timestamp: latestBlock.timestamp,
|
|
465
|
+
finalized,
|
|
466
|
+
};
|
|
467
|
+
|
|
468
|
+
this.cache.set(epoch, entry);
|
|
469
|
+
this.purgeCache();
|
|
470
|
+
|
|
471
|
+
return entry;
|
|
258
472
|
}
|
|
259
473
|
|
|
260
474
|
/**
|
|
@@ -279,17 +493,31 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
279
493
|
return BigInt(keccak256(this.getProposerIndexEncoding(epoch, slot, seed))) % size;
|
|
280
494
|
}
|
|
281
495
|
|
|
282
|
-
/** Returns the current and next L2 slot
|
|
496
|
+
/** Returns the current and next L2 slot in next eth L1 Slot. */
|
|
283
497
|
public getCurrentAndNextSlot(): { currentSlot: SlotNumber; nextSlot: SlotNumber } {
|
|
284
|
-
const
|
|
498
|
+
const currentSlot = this.getSlotNow();
|
|
285
499
|
const next = this.getEpochAndSlotInNextL1Slot();
|
|
286
500
|
|
|
287
501
|
return {
|
|
288
|
-
currentSlot
|
|
502
|
+
currentSlot,
|
|
289
503
|
nextSlot: next.slot,
|
|
290
504
|
};
|
|
291
505
|
}
|
|
292
506
|
|
|
507
|
+
/** Returns the target and next L2 slot in the next L1 slot. */
|
|
508
|
+
public getTargetAndNextSlot(): { targetSlot: SlotNumber; nextSlot: SlotNumber } {
|
|
509
|
+
const nowSeconds = BigInt(this.dateProvider.nowInSeconds());
|
|
510
|
+
const offset = this.isProposerPipeliningEnabled() ? PROPOSER_PIPELINING_SLOT_OFFSET : 0;
|
|
511
|
+
|
|
512
|
+
const currentSlot = getSlotAtTimestamp(nowSeconds, this.l1constants);
|
|
513
|
+
const targetSlot = SlotNumber(currentSlot + offset);
|
|
514
|
+
|
|
515
|
+
const nextL2SlotOnL1 = getSlotAtNextL1Block(nowSeconds, this.l1constants);
|
|
516
|
+
const nextSlot = SlotNumber(nextL2SlotOnL1 + offset);
|
|
517
|
+
|
|
518
|
+
return { targetSlot, nextSlot };
|
|
519
|
+
}
|
|
520
|
+
|
|
293
521
|
/**
|
|
294
522
|
* Get the proposer attester address in the given L2 slot
|
|
295
523
|
* @returns The proposer attester address. If the committee does not exist, we throw a NoCommitteeError.
|
|
@@ -368,10 +596,11 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
368
596
|
async getRegisteredValidators(): Promise<EthAddress[]> {
|
|
369
597
|
const validatorRefreshIntervalMs = this.config.validatorRefreshIntervalSeconds * 1000;
|
|
370
598
|
const validatorRefreshTime = this.lastValidatorRefresh + validatorRefreshIntervalMs;
|
|
371
|
-
|
|
372
|
-
|
|
599
|
+
const now = this.dateProvider.now();
|
|
600
|
+
if (validatorRefreshTime < now) {
|
|
601
|
+
const currentSet = await this.rollup.getAttesters(BigInt(Math.floor(now / 1000)));
|
|
373
602
|
this.allValidators = new Set(currentSet.map(v => v.toString()));
|
|
374
|
-
this.lastValidatorRefresh =
|
|
603
|
+
this.lastValidatorRefresh = now;
|
|
375
604
|
}
|
|
376
605
|
return Array.from(this.allValidators.keys()).map(v => EthAddress.fromString(v));
|
|
377
606
|
}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export * from './test_epoch_cache.js';
|