@aztec/epoch-cache 5.0.0-private.20260318 → 5.0.0-rc.1
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 +210 -0
- package/dest/config.d.ts +2 -2
- package/dest/config.d.ts.map +1 -1
- package/dest/epoch_cache.d.ts +70 -17
- package/dest/epoch_cache.d.ts.map +1 -1
- package/dest/epoch_cache.js +202 -63
- package/dest/test/test_epoch_cache.d.ts +15 -3
- package/dest/test/test_epoch_cache.d.ts.map +1 -1
- package/dest/test/test_epoch_cache.js +51 -12
- package/package.json +6 -6
- package/src/config.ts +1 -1
- package/src/epoch_cache.ts +261 -60
- package/src/test/test_epoch_cache.ts +78 -14
package/src/epoch_cache.ts
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import { createEthereumChain } from '@aztec/ethereum/chain';
|
|
2
2
|
import { makeL1HttpTransport } from '@aztec/ethereum/client';
|
|
3
3
|
import { NoCommitteeError, RollupContract } from '@aztec/ethereum/contracts';
|
|
4
|
+
import { getFinalizedL1Block } from '@aztec/ethereum/queries';
|
|
4
5
|
import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
|
|
5
6
|
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
6
7
|
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
@@ -9,19 +10,25 @@ import {
|
|
|
9
10
|
type L1RollupConstants,
|
|
10
11
|
getEpochAtSlot,
|
|
11
12
|
getEpochNumberAtTimestamp,
|
|
13
|
+
getNextL1SlotTimestamp,
|
|
14
|
+
getSlotAtNextL1Block,
|
|
12
15
|
getSlotAtTimestamp,
|
|
13
16
|
getSlotRangeForEpoch,
|
|
17
|
+
getStartTimestampForEpoch,
|
|
14
18
|
getTimestampForSlot,
|
|
15
|
-
getTimestampRangeForEpoch,
|
|
16
19
|
} from '@aztec/stdlib/epoch-helpers';
|
|
17
20
|
|
|
18
21
|
import { createPublicClient, encodeAbiParameters, keccak256 } from 'viem';
|
|
19
22
|
|
|
20
23
|
import { type EpochCacheConfig, getEpochCacheConfigEnvVars } from './config.js';
|
|
21
24
|
|
|
25
|
+
/** The proposer pipelines by building one slot ahead. */
|
|
26
|
+
export const PROPOSER_PIPELINING_SLOT_OFFSET = 1;
|
|
27
|
+
|
|
28
|
+
/** Flat return type for compound epoch/slot getters. */
|
|
22
29
|
export type EpochAndSlot = {
|
|
23
|
-
epoch: EpochNumber;
|
|
24
30
|
slot: SlotNumber;
|
|
31
|
+
epoch: EpochNumber;
|
|
25
32
|
ts: bigint;
|
|
26
33
|
};
|
|
27
34
|
|
|
@@ -35,13 +42,38 @@ export type EpochCommitteeInfo = {
|
|
|
35
42
|
|
|
36
43
|
export type SlotTag = 'now' | 'next' | SlotNumber;
|
|
37
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
|
+
|
|
38
61
|
export interface EpochCacheInterface {
|
|
39
62
|
getCommittee(slot: SlotTag | undefined): Promise<EpochCommitteeInfo>;
|
|
63
|
+
getSlotNow(): SlotNumber;
|
|
64
|
+
getTargetSlot(): SlotNumber;
|
|
65
|
+
getEpochNow(): EpochNumber;
|
|
66
|
+
getTargetEpoch(): EpochNumber;
|
|
40
67
|
getEpochAndSlotNow(): EpochAndSlot & { nowMs: bigint };
|
|
41
|
-
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
|
+
isEscapeHatchOpen(epoch: EpochNumber): Promise<boolean>;
|
|
72
|
+
isEscapeHatchOpenAtSlot(slot: SlotTag): Promise<boolean>;
|
|
42
73
|
getProposerIndexEncoding(epoch: EpochNumber, slot: SlotNumber, seed: bigint): `0x${string}`;
|
|
43
74
|
computeProposerIndex(slot: SlotNumber, epoch: EpochNumber, seed: bigint, size: bigint): bigint;
|
|
44
75
|
getCurrentAndNextSlot(): { currentSlot: SlotNumber; nextSlot: SlotNumber };
|
|
76
|
+
getTargetAndNextSlot(): { targetSlot: SlotNumber; nextSlot: SlotNumber };
|
|
45
77
|
getProposerAttesterAddressInSlot(slot: SlotNumber): Promise<EthAddress | undefined>;
|
|
46
78
|
getRegisteredValidators(): Promise<EthAddress[]>;
|
|
47
79
|
isInCommittee(slot: SlotTag, validator: EthAddress): Promise<boolean>;
|
|
@@ -59,8 +91,11 @@ export interface EpochCacheInterface {
|
|
|
59
91
|
* Note: This class is very dependent on the system clock being in sync.
|
|
60
92
|
*/
|
|
61
93
|
export class EpochCache implements EpochCacheInterface {
|
|
62
|
-
|
|
63
|
-
|
|
94
|
+
/**
|
|
95
|
+
* Single map holding both resolved entries and in-flight promises.
|
|
96
|
+
* A `Promise` value means a fetch is in progress; concurrent callers await it.
|
|
97
|
+
*/
|
|
98
|
+
protected cache: Map<EpochNumber, CachedEpochEntry | Promise<CachedEpochEntry>> = new Map();
|
|
64
99
|
private allValidators: Set<string> = new Set();
|
|
65
100
|
private lastValidatorRefresh = 0;
|
|
66
101
|
private readonly log: Logger = createLogger('epoch-cache');
|
|
@@ -135,41 +170,64 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
135
170
|
rollupManaLimit: Number(rollupManaLimit),
|
|
136
171
|
};
|
|
137
172
|
|
|
138
|
-
return new EpochCache(rollup, l1RollupConstants, deps.dateProvider
|
|
173
|
+
return new EpochCache(rollup, l1RollupConstants, deps.dateProvider, {
|
|
174
|
+
cacheSize: 12,
|
|
175
|
+
validatorRefreshIntervalSeconds: 60,
|
|
176
|
+
});
|
|
139
177
|
}
|
|
140
178
|
|
|
141
179
|
public getL1Constants(): L1RollupConstants {
|
|
142
180
|
return this.l1constants;
|
|
143
181
|
}
|
|
144
182
|
|
|
183
|
+
public getSlotNow(): SlotNumber {
|
|
184
|
+
return this.getEpochAndSlotNow().slot;
|
|
185
|
+
}
|
|
186
|
+
|
|
187
|
+
public getTargetSlot(): SlotNumber {
|
|
188
|
+
const slotNow = this.getSlotNow();
|
|
189
|
+
const offset = PROPOSER_PIPELINING_SLOT_OFFSET;
|
|
190
|
+
return SlotNumber(slotNow + offset);
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
public getEpochNow(): EpochNumber {
|
|
194
|
+
return this.getEpochAndSlotNow().epoch;
|
|
195
|
+
}
|
|
196
|
+
|
|
197
|
+
public getTargetEpoch(): EpochNumber {
|
|
198
|
+
return getEpochAtSlot(this.getTargetSlot(), this.l1constants);
|
|
199
|
+
}
|
|
200
|
+
|
|
145
201
|
public getEpochAndSlotNow(): EpochAndSlot & { nowMs: bigint } {
|
|
146
202
|
const nowMs = BigInt(this.dateProvider.now());
|
|
147
203
|
const nowSeconds = nowMs / 1000n;
|
|
148
204
|
return { ...this.getEpochAndSlotAtTimestamp(nowSeconds), nowMs };
|
|
149
205
|
}
|
|
150
206
|
|
|
151
|
-
|
|
152
|
-
return
|
|
207
|
+
private getEpochAndSlotAtSlot(slot: SlotNumber): EpochAndSlot {
|
|
208
|
+
return this.getEpochAndSlotAtTimestamp(getTimestampForSlot(slot, this.l1constants));
|
|
153
209
|
}
|
|
154
210
|
|
|
155
|
-
|
|
156
|
-
const
|
|
157
|
-
const
|
|
158
|
-
return {
|
|
211
|
+
public getEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint } {
|
|
212
|
+
const nowSeconds = this.dateProvider.nowInSeconds();
|
|
213
|
+
const nextSlotTs = getNextL1SlotTimestamp(nowSeconds, this.l1constants);
|
|
214
|
+
return { ...this.getEpochAndSlotAtTimestamp(nextSlotTs), nowSeconds: BigInt(nowSeconds) };
|
|
159
215
|
}
|
|
160
216
|
|
|
161
|
-
public
|
|
162
|
-
const
|
|
163
|
-
const
|
|
164
|
-
|
|
217
|
+
public getTargetEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint } {
|
|
218
|
+
const result = this.getEpochAndSlotInNextL1Slot();
|
|
219
|
+
const offset = PROPOSER_PIPELINING_SLOT_OFFSET;
|
|
220
|
+
const targetSlot = SlotNumber(result.slot + offset);
|
|
221
|
+
return { ...result, slot: targetSlot, epoch: getEpochAtSlot(targetSlot, this.l1constants) };
|
|
165
222
|
}
|
|
166
223
|
|
|
167
224
|
private getEpochAndSlotAtTimestamp(ts: bigint): EpochAndSlot {
|
|
168
225
|
const slot = getSlotAtTimestamp(ts, this.l1constants);
|
|
226
|
+
const epoch = getEpochNumberAtTimestamp(ts, this.l1constants);
|
|
169
227
|
return {
|
|
170
|
-
epoch: getEpochNumberAtTimestamp(ts, this.l1constants),
|
|
171
|
-
ts: getTimestampForSlot(slot, this.l1constants),
|
|
172
228
|
slot,
|
|
229
|
+
epoch,
|
|
230
|
+
ts: getTimestampForSlot(slot, this.l1constants),
|
|
173
231
|
};
|
|
174
232
|
}
|
|
175
233
|
|
|
@@ -178,17 +236,8 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
178
236
|
return this.getCommittee(startSlot);
|
|
179
237
|
}
|
|
180
238
|
|
|
181
|
-
/**
|
|
182
|
-
* Returns whether the escape hatch is open for the given epoch.
|
|
183
|
-
*
|
|
184
|
-
* Uses the already-cached EpochCommitteeInfo when available. If not cached, it will fetch
|
|
185
|
-
* the epoch committee info (which includes the escape hatch flag) and return it.
|
|
186
|
-
*/
|
|
239
|
+
/** Returns whether the escape hatch is open for the given epoch. */
|
|
187
240
|
public async isEscapeHatchOpen(epoch: EpochNumber): Promise<boolean> {
|
|
188
|
-
const cached = this.cache.get(epoch);
|
|
189
|
-
if (cached) {
|
|
190
|
-
return cached.isEscapeHatchOpen;
|
|
191
|
-
}
|
|
192
241
|
const info = await this.getCommitteeForEpoch(epoch);
|
|
193
242
|
return info.isEscapeHatchOpen;
|
|
194
243
|
}
|
|
@@ -202,7 +251,7 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
202
251
|
public async isEscapeHatchOpenAtSlot(slot: SlotTag = 'now'): Promise<boolean> {
|
|
203
252
|
const epoch =
|
|
204
253
|
slot === 'now'
|
|
205
|
-
? this.
|
|
254
|
+
? this.getEpochNow()
|
|
206
255
|
: slot === 'next'
|
|
207
256
|
? this.getEpochAndSlotInNextL1Slot().epoch
|
|
208
257
|
: getEpochAtSlot(slot, this.l1constants);
|
|
@@ -211,33 +260,52 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
211
260
|
}
|
|
212
261
|
|
|
213
262
|
/**
|
|
214
|
-
* Get the current validator set
|
|
215
|
-
*
|
|
216
|
-
*
|
|
263
|
+
* Get the current validator set.
|
|
264
|
+
*
|
|
265
|
+
* Returns cached data if the entry is finalized or still fresh (queried less than one
|
|
266
|
+
* Ethereum slot ago). Stale non-finalized entries are re-queried, and concurrent callers
|
|
267
|
+
* coalesce on the same in-flight promise so the L1 query happens only once.
|
|
217
268
|
*/
|
|
218
269
|
public async getCommittee(slot: SlotTag = 'now'): Promise<EpochCommitteeInfo> {
|
|
219
270
|
const { epoch, ts } = this.getEpochAndTimestamp(slot);
|
|
220
271
|
|
|
221
|
-
|
|
222
|
-
|
|
272
|
+
const cached = this.cache.get(epoch);
|
|
273
|
+
|
|
274
|
+
// In-flight promise: another caller is already fetching this epoch — just await it.
|
|
275
|
+
if (cached instanceof Promise) {
|
|
276
|
+
return (await cached).data;
|
|
223
277
|
}
|
|
224
278
|
|
|
225
|
-
|
|
226
|
-
|
|
227
|
-
|
|
228
|
-
return epochData;
|
|
279
|
+
// Resolved entry: return it if finalized or still fresh.
|
|
280
|
+
if (cached && (cached.finalized || !this.isStale(cached))) {
|
|
281
|
+
return cached.data;
|
|
229
282
|
}
|
|
230
|
-
this.cache.set(epoch, epochData);
|
|
231
283
|
|
|
232
|
-
|
|
233
|
-
|
|
234
|
-
|
|
235
|
-
|
|
284
|
+
// Stale non-finalized entry: do a lightweight refresh first (check block hash + finalized ts).
|
|
285
|
+
// Only fall back to a full re-fetch if the L1 block was reorged.
|
|
286
|
+
if (cached) {
|
|
287
|
+
const promise = this.refreshStaleEntry(cached, epoch, ts);
|
|
288
|
+
this.cache.set(epoch, promise);
|
|
289
|
+
try {
|
|
290
|
+
return (await promise).data;
|
|
291
|
+
} catch (err) {
|
|
292
|
+
this.cache.set(epoch, cached);
|
|
293
|
+
throw err;
|
|
294
|
+
}
|
|
295
|
+
}
|
|
236
296
|
|
|
237
|
-
|
|
297
|
+
// No entry at all: full fetch.
|
|
298
|
+
const promise = this.fetchAndCache(epoch, ts);
|
|
299
|
+
this.cache.set(epoch, promise);
|
|
300
|
+
try {
|
|
301
|
+
return (await promise).data;
|
|
302
|
+
} catch (err) {
|
|
303
|
+
this.cache.delete(epoch);
|
|
304
|
+
throw err;
|
|
305
|
+
}
|
|
238
306
|
}
|
|
239
307
|
|
|
240
|
-
private getEpochAndTimestamp(slot: SlotTag = 'now') {
|
|
308
|
+
private getEpochAndTimestamp(slot: SlotTag = 'now'): { epoch: EpochNumber; ts: bigint } {
|
|
241
309
|
if (slot === 'now') {
|
|
242
310
|
return this.getEpochAndSlotNow();
|
|
243
311
|
} else if (slot === 'next') {
|
|
@@ -247,22 +315,140 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
247
315
|
}
|
|
248
316
|
}
|
|
249
317
|
|
|
250
|
-
|
|
251
|
-
|
|
252
|
-
|
|
318
|
+
/** Evicts oldest cache entries (resolved or in-flight) beyond cacheSize. */
|
|
319
|
+
private purgeCache(): void {
|
|
320
|
+
if (this.cache.size <= this.config.cacheSize) {
|
|
321
|
+
return;
|
|
322
|
+
}
|
|
323
|
+
const toPurge = Array.from(this.cache.keys())
|
|
324
|
+
.sort((a, b) => Number(b - a))
|
|
325
|
+
.slice(this.config.cacheSize);
|
|
326
|
+
toPurge.forEach(key => this.cache.delete(key));
|
|
327
|
+
}
|
|
328
|
+
|
|
329
|
+
/** Returns true if a non-finalized cache entry is older than one Ethereum slot. */
|
|
330
|
+
private isStale(entry: CachedEpochEntry): boolean {
|
|
331
|
+
const nowSeconds = BigInt(this.dateProvider.nowInSeconds());
|
|
332
|
+
return nowSeconds - entry.lastRefreshL1Timestamp >= BigInt(this.l1constants.ethereumSlotDuration);
|
|
333
|
+
}
|
|
334
|
+
|
|
335
|
+
/** Whether a cached epoch entry has been marked as finalized. Returns undefined if not cached or still in-flight. */
|
|
336
|
+
public isFinalized(epoch: EpochNumber): boolean | undefined {
|
|
337
|
+
const entry = this.cache.get(epoch);
|
|
338
|
+
if (!entry || entry instanceof Promise) {
|
|
339
|
+
return undefined;
|
|
340
|
+
}
|
|
341
|
+
return entry.finalized;
|
|
342
|
+
}
|
|
343
|
+
|
|
344
|
+
/** Returns the latest L1 timestamp stored in the cached entry. Undefined if not cached or in-flight. */
|
|
345
|
+
public getCachedLastRefreshL1Timestamp(epoch: EpochNumber): bigint | undefined {
|
|
346
|
+
const entry = this.cache.get(epoch);
|
|
347
|
+
if (!entry || entry instanceof Promise) {
|
|
348
|
+
return undefined;
|
|
349
|
+
}
|
|
350
|
+
return entry.lastRefreshL1Timestamp;
|
|
351
|
+
}
|
|
352
|
+
|
|
353
|
+
/** Computes the sampling timestamp for an epoch's committee data. */
|
|
354
|
+
private getSamplingTimestamp(epoch: EpochNumber): bigint {
|
|
355
|
+
const { lagInEpochsForRandao, epochDuration, slotDuration } = this.l1constants;
|
|
356
|
+
const epochStartTs = getStartTimestampForEpoch(epoch, this.l1constants);
|
|
357
|
+
return epochStartTs - BigInt(lagInEpochsForRandao) * BigInt(epochDuration) * BigInt(slotDuration);
|
|
358
|
+
}
|
|
359
|
+
|
|
360
|
+
/**
|
|
361
|
+
* Lightweight refresh for a stale non-finalized entry. Queries only the block hash at
|
|
362
|
+
* the original block number and the finalized block timestamp — avoids the expensive
|
|
363
|
+
* getCommitteeAt and getSampleSeedAt calls on the rollup contract.
|
|
364
|
+
*
|
|
365
|
+
* If the block hash still matches (no L1 reorg), we keep the existing data and just
|
|
366
|
+
* update the provenance timestamp. If the finalized block has caught up, we promote the
|
|
367
|
+
* entry to finalized. If there was a reorg (hash mismatch), we fall back to a full fetch.
|
|
368
|
+
*/
|
|
369
|
+
private async refreshStaleEntry(stale: CachedEpochEntry, epoch: EpochNumber, ts: bigint): Promise<CachedEpochEntry> {
|
|
370
|
+
const [blockAtOriginal, l1FinalizedBlock, latestBlock] = await Promise.all([
|
|
371
|
+
this.rollup.client.getBlock({ blockNumber: stale.lastQueryL1BlockNumber, includeTransactions: false }),
|
|
372
|
+
getFinalizedL1Block(this.rollup.client),
|
|
373
|
+
this.rollup.client.getBlock({ includeTransactions: false }),
|
|
374
|
+
]);
|
|
375
|
+
|
|
376
|
+
if (blockAtOriginal.hash === stale.lastQueryL1BlockHash) {
|
|
377
|
+
// No reorg: the data is still valid. Check if we can now mark it as finalized.
|
|
378
|
+
const samplingTs = this.getSamplingTimestamp(epoch);
|
|
379
|
+
const finalized =
|
|
380
|
+
!!(stale.data.committee && stale.data.committee.length > 0) &&
|
|
381
|
+
l1FinalizedBlock !== undefined &&
|
|
382
|
+
samplingTs <= l1FinalizedBlock.timestamp;
|
|
383
|
+
|
|
384
|
+
const refreshed: CachedEpochEntry = {
|
|
385
|
+
...stale,
|
|
386
|
+
lastRefreshL1Timestamp: latestBlock.timestamp,
|
|
387
|
+
finalized,
|
|
388
|
+
};
|
|
389
|
+
this.cache.set(epoch, refreshed);
|
|
390
|
+
return refreshed;
|
|
391
|
+
}
|
|
392
|
+
|
|
393
|
+
// Reorg detected: block hash mismatch. Do a full re-fetch.
|
|
394
|
+
// Pass the already-fetched block timestamps to avoid redundant queries.
|
|
395
|
+
this.log.warn(`L1 reorg detected for epoch ${epoch}: block ${stale.lastQueryL1BlockNumber} hash changed`, {
|
|
396
|
+
epoch,
|
|
397
|
+
expectedHash: stale.lastQueryL1BlockHash,
|
|
398
|
+
actualHash: blockAtOriginal.hash,
|
|
399
|
+
});
|
|
400
|
+
return this.fetchAndCache(epoch, ts, { latestBlock, finalizedBlock: l1FinalizedBlock });
|
|
401
|
+
}
|
|
402
|
+
|
|
403
|
+
/**
|
|
404
|
+
* Fetches committee data from L1, determines finalization status, and stores in the cache.
|
|
405
|
+
*
|
|
406
|
+
* Uses `lagInEpochsForRandao` (the binding constraint, always <= lagInEpochsForValidatorSet)
|
|
407
|
+
* and computes the sampling timestamp from the epoch start to match the L1 contract's logic.
|
|
408
|
+
*
|
|
409
|
+
* When called from refreshStaleEntry after a reorg, the latest and finalized blocks are
|
|
410
|
+
* passed in to avoid redundant L1 queries.
|
|
411
|
+
*/
|
|
412
|
+
private async fetchAndCache(
|
|
413
|
+
epoch: EpochNumber,
|
|
414
|
+
ts: bigint,
|
|
415
|
+
prefetched?: { latestBlock: L1BlockInfo; finalizedBlock: { timestamp: bigint } | undefined },
|
|
416
|
+
): Promise<CachedEpochEntry> {
|
|
417
|
+
const [committee, seedBuffer, latestBlock, finalizedBlock, isEscapeHatchOpen] = await Promise.all([
|
|
253
418
|
this.rollup.getCommitteeAt(ts),
|
|
254
419
|
this.rollup.getSampleSeedAt(ts),
|
|
255
|
-
this.rollup.client.getBlock({ includeTransactions: false })
|
|
420
|
+
prefetched?.latestBlock ?? this.rollup.client.getBlock({ includeTransactions: false }),
|
|
421
|
+
prefetched !== undefined ? prefetched.finalizedBlock : getFinalizedL1Block(this.rollup.client),
|
|
256
422
|
this.rollup.isEscapeHatchOpen(epoch),
|
|
257
423
|
]);
|
|
258
|
-
|
|
259
|
-
const
|
|
260
|
-
|
|
424
|
+
|
|
425
|
+
const samplingTs = this.getSamplingTimestamp(epoch);
|
|
426
|
+
|
|
427
|
+
if (samplingTs > latestBlock.timestamp) {
|
|
261
428
|
throw new Error(
|
|
262
|
-
`Cannot query committee for future epoch ${epoch}
|
|
429
|
+
`Cannot query committee for future epoch ${epoch}: ` +
|
|
430
|
+
`sampling timestamp ${samplingTs} is beyond latest L1 block at ${latestBlock.timestamp}. ` +
|
|
431
|
+
`Check your Ethereum node is synced.`,
|
|
263
432
|
);
|
|
264
433
|
}
|
|
265
|
-
|
|
434
|
+
|
|
435
|
+
// Empty committees are never marked finalized so they always get re-queried after TTL.
|
|
436
|
+
// If L1 has no finalized block yet (devnet startup), entries stay unfinalized.
|
|
437
|
+
const hasCommittee = !!(committee && committee.length > 0);
|
|
438
|
+
const finalized = hasCommittee && finalizedBlock !== undefined && samplingTs <= finalizedBlock.timestamp;
|
|
439
|
+
const data: EpochCommitteeInfo = { committee, seed: seedBuffer.toBigInt(), epoch, isEscapeHatchOpen };
|
|
440
|
+
const entry: CachedEpochEntry = {
|
|
441
|
+
data,
|
|
442
|
+
lastQueryL1BlockNumber: latestBlock.number!,
|
|
443
|
+
lastQueryL1BlockHash: latestBlock.hash!,
|
|
444
|
+
lastRefreshL1Timestamp: latestBlock.timestamp,
|
|
445
|
+
finalized,
|
|
446
|
+
};
|
|
447
|
+
|
|
448
|
+
this.cache.set(epoch, entry);
|
|
449
|
+
this.purgeCache();
|
|
450
|
+
|
|
451
|
+
return entry;
|
|
266
452
|
}
|
|
267
453
|
|
|
268
454
|
/**
|
|
@@ -287,17 +473,31 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
287
473
|
return BigInt(keccak256(this.getProposerIndexEncoding(epoch, slot, seed))) % size;
|
|
288
474
|
}
|
|
289
475
|
|
|
290
|
-
/** Returns the current and next L2 slot
|
|
476
|
+
/** Returns the current and next L2 slot in next eth L1 Slot. */
|
|
291
477
|
public getCurrentAndNextSlot(): { currentSlot: SlotNumber; nextSlot: SlotNumber } {
|
|
292
|
-
const
|
|
478
|
+
const currentSlot = this.getSlotNow();
|
|
293
479
|
const next = this.getEpochAndSlotInNextL1Slot();
|
|
294
480
|
|
|
295
481
|
return {
|
|
296
|
-
currentSlot
|
|
482
|
+
currentSlot,
|
|
297
483
|
nextSlot: next.slot,
|
|
298
484
|
};
|
|
299
485
|
}
|
|
300
486
|
|
|
487
|
+
/** Returns the target and next L2 slot in the next L1 slot. */
|
|
488
|
+
public getTargetAndNextSlot(): { targetSlot: SlotNumber; nextSlot: SlotNumber } {
|
|
489
|
+
const nowSeconds = BigInt(this.dateProvider.nowInSeconds());
|
|
490
|
+
const offset = PROPOSER_PIPELINING_SLOT_OFFSET;
|
|
491
|
+
|
|
492
|
+
const currentSlot = getSlotAtTimestamp(nowSeconds, this.l1constants);
|
|
493
|
+
const targetSlot = SlotNumber(currentSlot + offset);
|
|
494
|
+
|
|
495
|
+
const nextL2SlotOnL1 = getSlotAtNextL1Block(nowSeconds, this.l1constants);
|
|
496
|
+
const nextSlot = SlotNumber(nextL2SlotOnL1 + offset);
|
|
497
|
+
|
|
498
|
+
return { targetSlot, nextSlot };
|
|
499
|
+
}
|
|
500
|
+
|
|
301
501
|
/**
|
|
302
502
|
* Get the proposer attester address in the given L2 slot
|
|
303
503
|
* @returns The proposer attester address. If the committee does not exist, we throw a NoCommitteeError.
|
|
@@ -376,10 +576,11 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
376
576
|
async getRegisteredValidators(): Promise<EthAddress[]> {
|
|
377
577
|
const validatorRefreshIntervalMs = this.config.validatorRefreshIntervalSeconds * 1000;
|
|
378
578
|
const validatorRefreshTime = this.lastValidatorRefresh + validatorRefreshIntervalMs;
|
|
379
|
-
|
|
380
|
-
|
|
579
|
+
const now = this.dateProvider.now();
|
|
580
|
+
if (validatorRefreshTime < now) {
|
|
581
|
+
const currentSet = await this.rollup.getAttesters(BigInt(Math.floor(now / 1000)));
|
|
381
582
|
this.allValidators = new Set(currentSet.map(v => v.toString()));
|
|
382
|
-
this.lastValidatorRefresh =
|
|
583
|
+
this.lastValidatorRefresh = now;
|
|
383
584
|
}
|
|
384
585
|
return Array.from(this.allValidators.keys()).map(v => EthAddress.fromString(v));
|
|
385
586
|
}
|
|
@@ -1,9 +1,20 @@
|
|
|
1
1
|
import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
|
|
2
2
|
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
3
3
|
import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
|
|
4
|
-
import {
|
|
5
|
-
|
|
6
|
-
|
|
4
|
+
import {
|
|
5
|
+
getEpochAtSlot,
|
|
6
|
+
getSlotAtTimestamp,
|
|
7
|
+
getTimestampForSlot,
|
|
8
|
+
getTimestampRangeForEpoch,
|
|
9
|
+
} from '@aztec/stdlib/epoch-helpers';
|
|
10
|
+
|
|
11
|
+
import {
|
|
12
|
+
type EpochAndSlot,
|
|
13
|
+
type EpochCacheInterface,
|
|
14
|
+
type EpochCommitteeInfo,
|
|
15
|
+
PROPOSER_PIPELINING_SLOT_OFFSET,
|
|
16
|
+
type SlotTag,
|
|
17
|
+
} from '../epoch_cache.js';
|
|
7
18
|
|
|
8
19
|
/** Default L1 constants for testing. */
|
|
9
20
|
const DEFAULT_L1_CONSTANTS: L1RollupConstants = {
|
|
@@ -114,19 +125,55 @@ export class TestEpochCache implements EpochCacheInterface {
|
|
|
114
125
|
});
|
|
115
126
|
}
|
|
116
127
|
|
|
128
|
+
getSlotNow(): SlotNumber {
|
|
129
|
+
return this.currentSlot;
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
getTargetSlot(): SlotNumber {
|
|
133
|
+
return SlotNumber(this.currentSlot + PROPOSER_PIPELINING_SLOT_OFFSET);
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
getEpochNow(): EpochNumber {
|
|
137
|
+
return getEpochAtSlot(this.currentSlot, this.l1Constants);
|
|
138
|
+
}
|
|
139
|
+
|
|
140
|
+
getTargetEpoch(): EpochNumber {
|
|
141
|
+
return getEpochAtSlot(this.getTargetSlot(), this.l1Constants);
|
|
142
|
+
}
|
|
143
|
+
|
|
117
144
|
getEpochAndSlotNow(): EpochAndSlot & { nowMs: bigint } {
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
145
|
+
// Model "now" as the start of the current slot (mirroring the real EpochCache, which derives nowMs
|
|
146
|
+
// from the wall clock). Using the slot start rather than the epoch start keeps nowMs consistent with
|
|
147
|
+
// currentSlot, which the pipelining receive-window check (clock_tolerance) relies on.
|
|
148
|
+
const epochNow = getEpochAtSlot(this.currentSlot, this.l1Constants);
|
|
149
|
+
const ts = getTimestampForSlot(this.currentSlot, this.l1Constants);
|
|
150
|
+
return {
|
|
151
|
+
epoch: epochNow,
|
|
152
|
+
slot: this.currentSlot,
|
|
153
|
+
ts,
|
|
154
|
+
nowMs: ts * 1000n,
|
|
155
|
+
};
|
|
121
156
|
}
|
|
122
157
|
|
|
123
|
-
getEpochAndSlotInNextL1Slot(): EpochAndSlot & {
|
|
124
|
-
const
|
|
125
|
-
const nextSlotTs =
|
|
158
|
+
getEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint } {
|
|
159
|
+
const nowTs = getTimestampRangeForEpoch(getEpochAtSlot(this.currentSlot, this.l1Constants), this.l1Constants)[0];
|
|
160
|
+
const nextSlotTs = nowTs + BigInt(this.l1Constants.ethereumSlotDuration);
|
|
126
161
|
const nextSlot = getSlotAtTimestamp(nextSlotTs, this.l1Constants);
|
|
127
|
-
const
|
|
128
|
-
const ts = getTimestampRangeForEpoch(
|
|
129
|
-
return {
|
|
162
|
+
const epochNow = getEpochAtSlot(nextSlot, this.l1Constants);
|
|
163
|
+
const ts = getTimestampRangeForEpoch(epochNow, this.l1Constants)[0];
|
|
164
|
+
return {
|
|
165
|
+
epoch: epochNow,
|
|
166
|
+
slot: nextSlot,
|
|
167
|
+
ts,
|
|
168
|
+
nowSeconds: nowTs,
|
|
169
|
+
};
|
|
170
|
+
}
|
|
171
|
+
|
|
172
|
+
getTargetEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint } {
|
|
173
|
+
const result = this.getEpochAndSlotInNextL1Slot();
|
|
174
|
+
const offset = PROPOSER_PIPELINING_SLOT_OFFSET;
|
|
175
|
+
const targetSlot = SlotNumber(result.slot + offset);
|
|
176
|
+
return { ...result, slot: targetSlot, epoch: getEpochAtSlot(targetSlot, this.l1Constants) };
|
|
130
177
|
}
|
|
131
178
|
|
|
132
179
|
getProposerIndexEncoding(epoch: EpochNumber, slot: SlotNumber, seed: bigint): `0x${string}` {
|
|
@@ -142,9 +189,22 @@ export class TestEpochCache implements EpochCacheInterface {
|
|
|
142
189
|
}
|
|
143
190
|
|
|
144
191
|
getCurrentAndNextSlot(): { currentSlot: SlotNumber; nextSlot: SlotNumber } {
|
|
192
|
+
const currentSlot = this.getSlotNow();
|
|
193
|
+
const next = this.getEpochAndSlotInNextL1Slot();
|
|
194
|
+
|
|
195
|
+
return {
|
|
196
|
+
currentSlot,
|
|
197
|
+
nextSlot: next.slot,
|
|
198
|
+
};
|
|
199
|
+
}
|
|
200
|
+
|
|
201
|
+
getTargetAndNextSlot(): { targetSlot: SlotNumber; nextSlot: SlotNumber } {
|
|
202
|
+
const targetSlot = this.getTargetSlot();
|
|
203
|
+
const next = this.getTargetEpochAndSlotInNextL1Slot();
|
|
204
|
+
|
|
145
205
|
return {
|
|
146
|
-
|
|
147
|
-
nextSlot:
|
|
206
|
+
targetSlot,
|
|
207
|
+
nextSlot: next.slot,
|
|
148
208
|
};
|
|
149
209
|
}
|
|
150
210
|
|
|
@@ -165,6 +225,10 @@ export class TestEpochCache implements EpochCacheInterface {
|
|
|
165
225
|
return Promise.resolve(validators.filter(v => committeeSet.has(v.toString())));
|
|
166
226
|
}
|
|
167
227
|
|
|
228
|
+
isEscapeHatchOpen(_epoch: EpochNumber): Promise<boolean> {
|
|
229
|
+
return Promise.resolve(this.escapeHatchOpen);
|
|
230
|
+
}
|
|
231
|
+
|
|
168
232
|
isEscapeHatchOpenAtSlot(_slot?: SlotTag): Promise<boolean> {
|
|
169
233
|
return Promise.resolve(this.escapeHatchOpen);
|
|
170
234
|
}
|