@aztec/epoch-cache 0.0.1-commit.d3ec352c → 0.0.1-commit.d58ff9d0
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 +4 -3
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +2 -1
- package/dest/epoch_cache.d.ts +91 -27
- package/dest/epoch_cache.d.ts.map +1 -1
- package/dest/epoch_cache.js +237 -73
- 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 +88 -0
- package/dest/test/test_epoch_cache.d.ts.map +1 -0
- package/dest/test/test_epoch_cache.js +191 -0
- package/package.json +8 -9
- package/src/config.ts +3 -7
- package/src/epoch_cache.ts +306 -77
- package/src/test/index.ts +1 -0
- package/src/test/test_epoch_cache.ts +235 -0
package/src/epoch_cache.ts
CHANGED
|
@@ -1,4 +1,7 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { createEthereumChain } from '@aztec/ethereum/chain';
|
|
2
|
+
import { makeL1HttpTransport } from '@aztec/ethereum/client';
|
|
3
|
+
import { NoCommitteeError, RollupContract } from '@aztec/ethereum/contracts';
|
|
4
|
+
import { getFinalizedL1Block } from '@aztec/ethereum/queries';
|
|
2
5
|
import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
|
|
3
6
|
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
4
7
|
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
@@ -7,19 +10,25 @@ import {
|
|
|
7
10
|
type L1RollupConstants,
|
|
8
11
|
getEpochAtSlot,
|
|
9
12
|
getEpochNumberAtTimestamp,
|
|
13
|
+
getNextL1SlotTimestamp,
|
|
14
|
+
getSlotAtNextL1Block,
|
|
10
15
|
getSlotAtTimestamp,
|
|
11
16
|
getSlotRangeForEpoch,
|
|
17
|
+
getStartTimestampForEpoch,
|
|
12
18
|
getTimestampForSlot,
|
|
13
|
-
getTimestampRangeForEpoch,
|
|
14
19
|
} from '@aztec/stdlib/epoch-helpers';
|
|
15
20
|
|
|
16
|
-
import { createPublicClient, encodeAbiParameters,
|
|
21
|
+
import { createPublicClient, encodeAbiParameters, keccak256 } from 'viem';
|
|
17
22
|
|
|
18
23
|
import { type EpochCacheConfig, getEpochCacheConfigEnvVars } from './config.js';
|
|
19
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. */
|
|
20
29
|
export type EpochAndSlot = {
|
|
21
|
-
epoch: EpochNumber;
|
|
22
30
|
slot: SlotNumber;
|
|
31
|
+
epoch: EpochNumber;
|
|
23
32
|
ts: bigint;
|
|
24
33
|
};
|
|
25
34
|
|
|
@@ -27,25 +36,49 @@ export type EpochCommitteeInfo = {
|
|
|
27
36
|
committee: EthAddress[] | undefined;
|
|
28
37
|
seed: bigint;
|
|
29
38
|
epoch: EpochNumber;
|
|
39
|
+
/** True if the epoch is within an open escape hatch window. */
|
|
40
|
+
isEscapeHatchOpen: boolean;
|
|
30
41
|
};
|
|
31
42
|
|
|
32
43
|
export type SlotTag = 'now' | 'next' | SlotNumber;
|
|
33
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
|
+
|
|
34
61
|
export interface EpochCacheInterface {
|
|
35
62
|
getCommittee(slot: SlotTag | undefined): Promise<EpochCommitteeInfo>;
|
|
36
|
-
|
|
37
|
-
|
|
63
|
+
getSlotNow(): SlotNumber;
|
|
64
|
+
getTargetSlot(): SlotNumber;
|
|
65
|
+
getEpochNow(): EpochNumber;
|
|
66
|
+
getTargetEpoch(): EpochNumber;
|
|
67
|
+
getEpochAndSlotNow(): EpochAndSlot & { nowMs: bigint };
|
|
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>;
|
|
38
73
|
getProposerIndexEncoding(epoch: EpochNumber, slot: SlotNumber, seed: bigint): `0x${string}`;
|
|
39
74
|
computeProposerIndex(slot: SlotNumber, epoch: EpochNumber, seed: bigint, size: bigint): bigint;
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
currentSlot: SlotNumber;
|
|
44
|
-
nextSlot: SlotNumber;
|
|
45
|
-
}>;
|
|
75
|
+
getCurrentAndNextSlot(): { currentSlot: SlotNumber; nextSlot: SlotNumber };
|
|
76
|
+
getTargetAndNextSlot(): { targetSlot: SlotNumber; nextSlot: SlotNumber };
|
|
77
|
+
getProposerAttesterAddressInSlot(slot: SlotNumber): Promise<EthAddress | undefined>;
|
|
46
78
|
getRegisteredValidators(): Promise<EthAddress[]>;
|
|
47
79
|
isInCommittee(slot: SlotTag, validator: EthAddress): Promise<boolean>;
|
|
48
80
|
filterInCommittee(slot: SlotTag, validators: EthAddress[]): Promise<EthAddress[]>;
|
|
81
|
+
getL1Constants(): L1RollupConstants;
|
|
49
82
|
}
|
|
50
83
|
|
|
51
84
|
/**
|
|
@@ -58,8 +91,11 @@ export interface EpochCacheInterface {
|
|
|
58
91
|
* Note: This class is very dependent on the system clock being in sync.
|
|
59
92
|
*/
|
|
60
93
|
export class EpochCache implements EpochCacheInterface {
|
|
61
|
-
|
|
62
|
-
|
|
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();
|
|
63
99
|
private allValidators: Set<string> = new Set();
|
|
64
100
|
private lastValidatorRefresh = 0;
|
|
65
101
|
private readonly log: Logger = createLogger('epoch-cache');
|
|
@@ -93,7 +129,7 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
93
129
|
const chain = createEthereumChain(config.l1RpcUrls, config.l1ChainId);
|
|
94
130
|
const publicClient = createPublicClient({
|
|
95
131
|
chain: chain.chainInfo,
|
|
96
|
-
transport:
|
|
132
|
+
transport: makeL1HttpTransport(config.l1RpcUrls, { timeout: config.l1HttpTimeoutMS }),
|
|
97
133
|
pollingInterval: config.viemPollingIntervalMS,
|
|
98
134
|
});
|
|
99
135
|
rollup = new RollupContract(publicClient, rollupOrAddress.toString());
|
|
@@ -107,6 +143,8 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
107
143
|
epochDuration,
|
|
108
144
|
lagInEpochsForValidatorSet,
|
|
109
145
|
lagInEpochsForRandao,
|
|
146
|
+
targetCommitteeSize,
|
|
147
|
+
rollupManaLimit,
|
|
110
148
|
] = await Promise.all([
|
|
111
149
|
rollup.getL1StartBlock(),
|
|
112
150
|
rollup.getL1GenesisTime(),
|
|
@@ -115,6 +153,8 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
115
153
|
rollup.getEpochDuration(),
|
|
116
154
|
rollup.getLagInEpochsForValidatorSet(),
|
|
117
155
|
rollup.getLagInEpochsForRandao(),
|
|
156
|
+
rollup.getTargetCommitteeSize(),
|
|
157
|
+
rollup.getManaLimit(),
|
|
118
158
|
] as const);
|
|
119
159
|
|
|
120
160
|
const l1RollupConstants = {
|
|
@@ -126,42 +166,68 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
126
166
|
ethereumSlotDuration: config.ethereumSlotDuration,
|
|
127
167
|
lagInEpochsForValidatorSet: Number(lagInEpochsForValidatorSet),
|
|
128
168
|
lagInEpochsForRandao: Number(lagInEpochsForRandao),
|
|
169
|
+
targetCommitteeSize: Number(targetCommitteeSize),
|
|
170
|
+
rollupManaLimit: Number(rollupManaLimit),
|
|
129
171
|
};
|
|
130
172
|
|
|
131
|
-
return new EpochCache(rollup, l1RollupConstants, deps.dateProvider
|
|
173
|
+
return new EpochCache(rollup, l1RollupConstants, deps.dateProvider, {
|
|
174
|
+
cacheSize: 12,
|
|
175
|
+
validatorRefreshIntervalSeconds: 60,
|
|
176
|
+
});
|
|
132
177
|
}
|
|
133
178
|
|
|
134
179
|
public getL1Constants(): L1RollupConstants {
|
|
135
180
|
return this.l1constants;
|
|
136
181
|
}
|
|
137
182
|
|
|
138
|
-
public
|
|
139
|
-
|
|
140
|
-
|
|
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);
|
|
141
191
|
}
|
|
142
192
|
|
|
143
|
-
public
|
|
144
|
-
return
|
|
193
|
+
public getEpochNow(): EpochNumber {
|
|
194
|
+
return this.getEpochAndSlotNow().epoch;
|
|
195
|
+
}
|
|
196
|
+
|
|
197
|
+
public getTargetEpoch(): EpochNumber {
|
|
198
|
+
return getEpochAtSlot(this.getTargetSlot(), this.l1constants);
|
|
199
|
+
}
|
|
200
|
+
|
|
201
|
+
public getEpochAndSlotNow(): EpochAndSlot & { nowMs: bigint } {
|
|
202
|
+
const nowMs = BigInt(this.dateProvider.now());
|
|
203
|
+
const nowSeconds = nowMs / 1000n;
|
|
204
|
+
return { ...this.getEpochAndSlotAtTimestamp(nowSeconds), nowMs };
|
|
145
205
|
}
|
|
146
206
|
|
|
147
207
|
private getEpochAndSlotAtSlot(slot: SlotNumber): EpochAndSlot {
|
|
148
|
-
|
|
149
|
-
|
|
150
|
-
|
|
208
|
+
return this.getEpochAndSlotAtTimestamp(getTimestampForSlot(slot, this.l1constants));
|
|
209
|
+
}
|
|
210
|
+
|
|
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) };
|
|
151
215
|
}
|
|
152
216
|
|
|
153
|
-
public
|
|
154
|
-
const
|
|
155
|
-
const
|
|
156
|
-
|
|
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) };
|
|
157
222
|
}
|
|
158
223
|
|
|
159
224
|
private getEpochAndSlotAtTimestamp(ts: bigint): EpochAndSlot {
|
|
160
225
|
const slot = getSlotAtTimestamp(ts, this.l1constants);
|
|
226
|
+
const epoch = getEpochNumberAtTimestamp(ts, this.l1constants);
|
|
161
227
|
return {
|
|
162
|
-
epoch: getEpochNumberAtTimestamp(ts, this.l1constants),
|
|
163
|
-
ts: getTimestampForSlot(slot, this.l1constants),
|
|
164
228
|
slot,
|
|
229
|
+
epoch,
|
|
230
|
+
ts: getTimestampForSlot(slot, this.l1constants),
|
|
165
231
|
};
|
|
166
232
|
}
|
|
167
233
|
|
|
@@ -170,34 +236,76 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
170
236
|
return this.getCommittee(startSlot);
|
|
171
237
|
}
|
|
172
238
|
|
|
239
|
+
/** Returns whether the escape hatch is open for the given epoch. */
|
|
240
|
+
public async isEscapeHatchOpen(epoch: EpochNumber): Promise<boolean> {
|
|
241
|
+
const info = await this.getCommitteeForEpoch(epoch);
|
|
242
|
+
return info.isEscapeHatchOpen;
|
|
243
|
+
}
|
|
244
|
+
|
|
173
245
|
/**
|
|
174
|
-
*
|
|
175
|
-
*
|
|
176
|
-
*
|
|
246
|
+
* Returns whether the escape hatch is open for the epoch containing the given slot.
|
|
247
|
+
*
|
|
248
|
+
* This is a lightweight helper intended for callers that already have a slot number and only
|
|
249
|
+
* need the escape hatch flag (without pulling full committee info).
|
|
250
|
+
*/
|
|
251
|
+
public async isEscapeHatchOpenAtSlot(slot: SlotTag = 'now'): Promise<boolean> {
|
|
252
|
+
const epoch =
|
|
253
|
+
slot === 'now'
|
|
254
|
+
? this.getEpochNow()
|
|
255
|
+
: slot === 'next'
|
|
256
|
+
? this.getEpochAndSlotInNextL1Slot().epoch
|
|
257
|
+
: getEpochAtSlot(slot, this.l1constants);
|
|
258
|
+
|
|
259
|
+
return await this.isEscapeHatchOpen(epoch);
|
|
260
|
+
}
|
|
261
|
+
|
|
262
|
+
/**
|
|
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.
|
|
177
268
|
*/
|
|
178
269
|
public async getCommittee(slot: SlotTag = 'now'): Promise<EpochCommitteeInfo> {
|
|
179
270
|
const { epoch, ts } = this.getEpochAndTimestamp(slot);
|
|
180
271
|
|
|
181
|
-
|
|
182
|
-
|
|
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;
|
|
183
277
|
}
|
|
184
278
|
|
|
185
|
-
|
|
186
|
-
|
|
187
|
-
|
|
188
|
-
return epochData;
|
|
279
|
+
// Resolved entry: return it if finalized or still fresh.
|
|
280
|
+
if (cached && (cached.finalized || !this.isStale(cached))) {
|
|
281
|
+
return cached.data;
|
|
189
282
|
}
|
|
190
|
-
this.cache.set(epoch, epochData);
|
|
191
283
|
|
|
192
|
-
|
|
193
|
-
|
|
194
|
-
|
|
195
|
-
|
|
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
|
+
}
|
|
196
296
|
|
|
197
|
-
|
|
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
|
+
}
|
|
198
306
|
}
|
|
199
307
|
|
|
200
|
-
private getEpochAndTimestamp(slot: SlotTag = 'now') {
|
|
308
|
+
private getEpochAndTimestamp(slot: SlotTag = 'now'): { epoch: EpochNumber; ts: bigint } {
|
|
201
309
|
if (slot === 'now') {
|
|
202
310
|
return this.getEpochAndSlotNow();
|
|
203
311
|
} else if (slot === 'next') {
|
|
@@ -207,22 +315,140 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
207
315
|
}
|
|
208
316
|
}
|
|
209
317
|
|
|
210
|
-
|
|
211
|
-
|
|
212
|
-
|
|
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([
|
|
213
418
|
this.rollup.getCommitteeAt(ts),
|
|
214
419
|
this.rollup.getSampleSeedAt(ts),
|
|
215
|
-
this.rollup.client.getBlock({ includeTransactions: false })
|
|
420
|
+
prefetched?.latestBlock ?? this.rollup.client.getBlock({ includeTransactions: false }),
|
|
421
|
+
prefetched !== undefined ? prefetched.finalizedBlock : getFinalizedL1Block(this.rollup.client),
|
|
422
|
+
this.rollup.isEscapeHatchOpen(epoch),
|
|
216
423
|
]);
|
|
217
|
-
|
|
218
|
-
const
|
|
219
|
-
|
|
424
|
+
|
|
425
|
+
const samplingTs = this.getSamplingTimestamp(epoch);
|
|
426
|
+
|
|
427
|
+
if (samplingTs > latestBlock.timestamp) {
|
|
220
428
|
throw new Error(
|
|
221
|
-
`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.`,
|
|
222
432
|
);
|
|
223
433
|
}
|
|
224
|
-
|
|
225
|
-
|
|
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;
|
|
226
452
|
}
|
|
227
453
|
|
|
228
454
|
/**
|
|
@@ -247,29 +473,31 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
247
473
|
return BigInt(keccak256(this.getProposerIndexEncoding(epoch, slot, seed))) % size;
|
|
248
474
|
}
|
|
249
475
|
|
|
250
|
-
/**
|
|
251
|
-
|
|
252
|
-
|
|
253
|
-
* We return the next proposer's attester address as the node will check if it is the proposer at the next ethereum block,
|
|
254
|
-
* which can be the next slot. If this is the case, then it will send proposals early.
|
|
255
|
-
*/
|
|
256
|
-
public async getProposerAttesterAddressInCurrentOrNextSlot(): Promise<{
|
|
257
|
-
currentSlot: SlotNumber;
|
|
258
|
-
nextSlot: SlotNumber;
|
|
259
|
-
currentProposer: EthAddress | undefined;
|
|
260
|
-
nextProposer: EthAddress | undefined;
|
|
261
|
-
}> {
|
|
262
|
-
const current = this.getEpochAndSlotNow();
|
|
476
|
+
/** Returns the current and next L2 slot in next eth L1 Slot. */
|
|
477
|
+
public getCurrentAndNextSlot(): { currentSlot: SlotNumber; nextSlot: SlotNumber } {
|
|
478
|
+
const currentSlot = this.getSlotNow();
|
|
263
479
|
const next = this.getEpochAndSlotInNextL1Slot();
|
|
264
480
|
|
|
265
481
|
return {
|
|
266
|
-
|
|
267
|
-
nextProposer: await this.getProposerAttesterAddressAt(next),
|
|
268
|
-
currentSlot: current.slot,
|
|
482
|
+
currentSlot,
|
|
269
483
|
nextSlot: next.slot,
|
|
270
484
|
};
|
|
271
485
|
}
|
|
272
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
|
+
|
|
273
501
|
/**
|
|
274
502
|
* Get the proposer attester address in the given L2 slot
|
|
275
503
|
* @returns The proposer attester address. If the committee does not exist, we throw a NoCommitteeError.
|
|
@@ -348,11 +576,12 @@ export class EpochCache implements EpochCacheInterface {
|
|
|
348
576
|
async getRegisteredValidators(): Promise<EthAddress[]> {
|
|
349
577
|
const validatorRefreshIntervalMs = this.config.validatorRefreshIntervalSeconds * 1000;
|
|
350
578
|
const validatorRefreshTime = this.lastValidatorRefresh + validatorRefreshIntervalMs;
|
|
351
|
-
|
|
352
|
-
|
|
353
|
-
|
|
354
|
-
this.
|
|
579
|
+
const now = this.dateProvider.now();
|
|
580
|
+
if (validatorRefreshTime < now) {
|
|
581
|
+
const currentSet = await this.rollup.getAttesters(BigInt(Math.floor(now / 1000)));
|
|
582
|
+
this.allValidators = new Set(currentSet.map(v => v.toString()));
|
|
583
|
+
this.lastValidatorRefresh = now;
|
|
355
584
|
}
|
|
356
|
-
return Array.from(this.allValidators.keys().map(v => EthAddress.fromString(v))
|
|
585
|
+
return Array.from(this.allValidators.keys()).map(v => EthAddress.fromString(v));
|
|
357
586
|
}
|
|
358
587
|
}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export * from './test_epoch_cache.js';
|