@aztec/epoch-cache 0.0.1-commit.5daedc8 → 0.0.1-commit.6201a7b05

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.
@@ -1,10 +1,15 @@
1
- import { NoCommitteeError, RollupContract, createEthereumChain } from '@aztec/ethereum';
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';
5
+ import { SlotNumber } from '@aztec/foundation/branded-types';
2
6
  import { EthAddress } from '@aztec/foundation/eth-address';
3
7
  import { createLogger } from '@aztec/foundation/log';
4
8
  import { DateProvider } from '@aztec/foundation/timer';
5
- import { getEpochAtSlot, getEpochNumberAtTimestamp, getSlotAtTimestamp, getSlotRangeForEpoch, getTimestampForSlot, getTimestampRangeForEpoch } from '@aztec/stdlib/epoch-helpers';
6
- import { createPublicClient, encodeAbiParameters, fallback, http, keccak256 } from 'viem';
9
+ import { getEpochAtSlot, getEpochNumberAtTimestamp, getNextL1SlotTimestamp, getSlotAtNextL1Block, getSlotAtTimestamp, getSlotRangeForEpoch, getStartTimestampForEpoch, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
10
+ import { createPublicClient, encodeAbiParameters, keccak256 } from 'viem';
7
11
  import { getEpochCacheConfigEnvVars } from './config.js';
12
+ /** When proposer pipelining is enabled, the proposer builds one slot ahead. */ export const PROPOSER_PIPELINING_SLOT_OFFSET = 1;
8
13
  /**
9
14
  * Epoch cache
10
15
  *
@@ -18,14 +23,19 @@ import { getEpochCacheConfigEnvVars } from './config.js';
18
23
  l1constants;
19
24
  dateProvider;
20
25
  config;
21
- // eslint-disable-next-line aztec-custom/no-non-primitive-in-collections
26
+ /**
27
+ * Single map holding both resolved entries and in-flight promises.
28
+ * A `Promise` value means a fetch is in progress; concurrent callers await it.
29
+ */ // eslint-disable-next-line aztec-custom/no-non-primitive-in-collections
22
30
  cache;
23
31
  allValidators;
24
32
  lastValidatorRefresh;
25
33
  log;
34
+ enableProposerPipelining;
26
35
  constructor(rollup, l1constants, dateProvider = new DateProvider(), config = {
27
36
  cacheSize: 12,
28
- validatorRefreshIntervalSeconds: 60
37
+ validatorRefreshIntervalSeconds: 60,
38
+ enableProposerPipelining: false
29
39
  }){
30
40
  this.rollup = rollup;
31
41
  this.l1constants = l1constants;
@@ -35,8 +45,10 @@ import { getEpochCacheConfigEnvVars } from './config.js';
35
45
  this.allValidators = new Set();
36
46
  this.lastValidatorRefresh = 0;
37
47
  this.log = createLogger('epoch-cache');
48
+ this.enableProposerPipelining = this.config.enableProposerPipelining;
38
49
  this.log.debug(`Initialized EpochCache`, {
39
- l1constants
50
+ l1constants,
51
+ enableProposerPipelining: this.enableProposerPipelining
40
52
  });
41
53
  }
42
54
  static async create(rollupOrAddress, config, deps = {}) {
@@ -49,19 +61,23 @@ import { getEpochCacheConfigEnvVars } from './config.js';
49
61
  const chain = createEthereumChain(config.l1RpcUrls, config.l1ChainId);
50
62
  const publicClient = createPublicClient({
51
63
  chain: chain.chainInfo,
52
- transport: fallback(config.l1RpcUrls.map((url)=>http(url))),
64
+ transport: makeL1HttpTransport(config.l1RpcUrls, {
65
+ timeout: config.l1HttpTimeoutMS
66
+ }),
53
67
  pollingInterval: config.viemPollingIntervalMS
54
68
  });
55
69
  rollup = new RollupContract(publicClient, rollupOrAddress.toString());
56
70
  }
57
- const [l1StartBlock, l1GenesisTime, proofSubmissionEpochs, slotDuration, epochDuration, lagInEpochsForValidatorSet, lagInEpochsForRandao] = await Promise.all([
71
+ const [l1StartBlock, l1GenesisTime, proofSubmissionEpochs, slotDuration, epochDuration, lagInEpochsForValidatorSet, lagInEpochsForRandao, targetCommitteeSize, rollupManaLimit] = await Promise.all([
58
72
  rollup.getL1StartBlock(),
59
73
  rollup.getL1GenesisTime(),
60
74
  rollup.getProofSubmissionEpochs(),
61
75
  rollup.getSlotDuration(),
62
76
  rollup.getEpochDuration(),
63
77
  rollup.getLagInEpochsForValidatorSet(),
64
- rollup.getLagInEpochsForRandao()
78
+ rollup.getLagInEpochsForRandao(),
79
+ rollup.getTargetCommitteeSize(),
80
+ rollup.getManaLimit()
65
81
  ]);
66
82
  const l1RollupConstants = {
67
83
  l1StartBlock,
@@ -71,73 +87,135 @@ import { getEpochCacheConfigEnvVars } from './config.js';
71
87
  epochDuration: Number(epochDuration),
72
88
  ethereumSlotDuration: config.ethereumSlotDuration,
73
89
  lagInEpochsForValidatorSet: Number(lagInEpochsForValidatorSet),
74
- lagInEpochsForRandao: Number(lagInEpochsForRandao)
90
+ lagInEpochsForRandao: Number(lagInEpochsForRandao),
91
+ targetCommitteeSize: Number(targetCommitteeSize),
92
+ rollupManaLimit: Number(rollupManaLimit)
75
93
  };
76
- return new EpochCache(rollup, l1RollupConstants, deps.dateProvider);
94
+ return new EpochCache(rollup, l1RollupConstants, deps.dateProvider, {
95
+ cacheSize: 12,
96
+ validatorRefreshIntervalSeconds: 60,
97
+ enableProposerPipelining: config.enableProposerPipelining
98
+ });
77
99
  }
78
100
  getL1Constants() {
79
101
  return this.l1constants;
80
102
  }
103
+ isProposerPipeliningEnabled() {
104
+ return this.enableProposerPipelining;
105
+ }
106
+ pipeliningOffset() {
107
+ return this.enableProposerPipelining ? PROPOSER_PIPELINING_SLOT_OFFSET : 0;
108
+ }
109
+ getSlotNow() {
110
+ return this.getEpochAndSlotNow().slot;
111
+ }
112
+ getTargetSlot() {
113
+ const slotNow = this.getSlotNow();
114
+ const offset = this.isProposerPipeliningEnabled() ? PROPOSER_PIPELINING_SLOT_OFFSET : 0;
115
+ return SlotNumber(slotNow + offset);
116
+ }
117
+ getEpochNow() {
118
+ return this.getEpochAndSlotNow().epoch;
119
+ }
120
+ getTargetEpoch() {
121
+ return getEpochAtSlot(this.getTargetSlot(), this.l1constants);
122
+ }
81
123
  getEpochAndSlotNow() {
82
- const now = this.nowInSeconds();
124
+ const nowMs = BigInt(this.dateProvider.now());
125
+ const nowSeconds = nowMs / 1000n;
83
126
  return {
84
- ...this.getEpochAndSlotAtTimestamp(now),
85
- now
127
+ ...this.getEpochAndSlotAtTimestamp(nowSeconds),
128
+ nowMs
86
129
  };
87
130
  }
88
- nowInSeconds() {
89
- return BigInt(Math.floor(this.dateProvider.now() / 1000));
90
- }
91
131
  getEpochAndSlotAtSlot(slot) {
92
- const epoch = getEpochAtSlot(slot, this.l1constants);
93
- const ts = getTimestampRangeForEpoch(epoch, this.l1constants)[0];
94
- return {
95
- epoch,
96
- ts,
97
- slot
98
- };
132
+ return this.getEpochAndSlotAtTimestamp(getTimestampForSlot(slot, this.l1constants));
99
133
  }
100
134
  getEpochAndSlotInNextL1Slot() {
101
- const now = this.nowInSeconds();
102
- const nextSlotTs = now + BigInt(this.l1constants.ethereumSlotDuration);
135
+ const nowSeconds = this.dateProvider.nowInSeconds();
136
+ const nextSlotTs = getNextL1SlotTimestamp(nowSeconds, this.l1constants);
103
137
  return {
104
138
  ...this.getEpochAndSlotAtTimestamp(nextSlotTs),
105
- now
139
+ nowSeconds: BigInt(nowSeconds)
140
+ };
141
+ }
142
+ getTargetEpochAndSlotInNextL1Slot() {
143
+ if (!this.isProposerPipeliningEnabled()) {
144
+ return this.getEpochAndSlotInNextL1Slot();
145
+ }
146
+ const result = this.getEpochAndSlotInNextL1Slot();
147
+ const offset = PROPOSER_PIPELINING_SLOT_OFFSET;
148
+ const targetSlot = SlotNumber(result.slot + offset);
149
+ return {
150
+ ...result,
151
+ slot: targetSlot,
152
+ epoch: getEpochAtSlot(targetSlot, this.l1constants)
106
153
  };
107
154
  }
108
155
  getEpochAndSlotAtTimestamp(ts) {
109
156
  const slot = getSlotAtTimestamp(ts, this.l1constants);
157
+ const epoch = getEpochNumberAtTimestamp(ts, this.l1constants);
110
158
  return {
111
- epoch: getEpochNumberAtTimestamp(ts, this.l1constants),
112
- ts: getTimestampForSlot(slot, this.l1constants),
113
- slot
159
+ slot,
160
+ epoch,
161
+ ts: getTimestampForSlot(slot, this.l1constants)
114
162
  };
115
163
  }
116
164
  getCommitteeForEpoch(epoch) {
117
165
  const [startSlot] = getSlotRangeForEpoch(epoch, this.l1constants);
118
166
  return this.getCommittee(startSlot);
119
167
  }
168
+ /** Returns whether the escape hatch is open for the given epoch. */ async isEscapeHatchOpen(epoch) {
169
+ const info = await this.getCommitteeForEpoch(epoch);
170
+ return info.isEscapeHatchOpen;
171
+ }
172
+ /**
173
+ * Returns whether the escape hatch is open for the epoch containing the given slot.
174
+ *
175
+ * This is a lightweight helper intended for callers that already have a slot number and only
176
+ * need the escape hatch flag (without pulling full committee info).
177
+ */ async isEscapeHatchOpenAtSlot(slot = 'now') {
178
+ const epoch = slot === 'now' ? this.getEpochNow() : slot === 'next' ? this.getEpochAndSlotInNextL1Slot().epoch : getEpochAtSlot(slot, this.l1constants);
179
+ return await this.isEscapeHatchOpen(epoch);
180
+ }
120
181
  /**
121
- * Get the current validator set
122
- * @param nextSlot - If true, get the validator set for the next slot.
123
- * @returns The current validator set.
182
+ * Get the current validator set.
183
+ *
184
+ * Returns cached data if the entry is finalized or still fresh (queried less than one
185
+ * Ethereum slot ago). Stale non-finalized entries are re-queried, and concurrent callers
186
+ * coalesce on the same in-flight promise so the L1 query happens only once.
124
187
  */ async getCommittee(slot = 'now') {
125
188
  const { epoch, ts } = this.getEpochAndTimestamp(slot);
126
- if (this.cache.has(epoch)) {
127
- return this.cache.get(epoch);
189
+ const cached = this.cache.get(epoch);
190
+ // In-flight promise: another caller is already fetching this epoch — just await it.
191
+ if (cached instanceof Promise) {
192
+ return (await cached).data;
128
193
  }
129
- const epochData = await this.computeCommittee({
130
- epoch,
131
- ts
132
- });
133
- // If the committee size is 0 or undefined, then do not cache
134
- if (!epochData.committee || epochData.committee.length === 0) {
135
- return epochData;
194
+ // Resolved entry: return it if finalized or still fresh.
195
+ if (cached && (cached.finalized || !this.isStale(cached))) {
196
+ return cached.data;
197
+ }
198
+ // Stale non-finalized entry: do a lightweight refresh first (check block hash + finalized ts).
199
+ // Only fall back to a full re-fetch if the L1 block was reorged.
200
+ if (cached) {
201
+ const promise = this.refreshStaleEntry(cached, epoch, ts);
202
+ this.cache.set(epoch, promise);
203
+ try {
204
+ return (await promise).data;
205
+ } catch (err) {
206
+ this.cache.set(epoch, cached);
207
+ throw err;
208
+ }
209
+ }
210
+ // No entry at all: full fetch.
211
+ const promise = this.fetchAndCache(epoch, ts);
212
+ this.cache.set(epoch, promise);
213
+ try {
214
+ return (await promise).data;
215
+ } catch (err) {
216
+ this.cache.delete(epoch);
217
+ throw err;
136
218
  }
137
- this.cache.set(epoch, epochData);
138
- const toPurge = Array.from(this.cache.keys()).sort((a, b)=>Number(b - a)).slice(this.config.cacheSize);
139
- toPurge.forEach((key)=>this.cache.delete(key));
140
- return epochData;
141
219
  }
142
220
  getEpochAndTimestamp(slot = 'now') {
143
221
  if (slot === 'now') {
@@ -148,26 +226,121 @@ import { getEpochCacheConfigEnvVars } from './config.js';
148
226
  return this.getEpochAndSlotAtSlot(slot);
149
227
  }
150
228
  }
151
- async computeCommittee(when) {
152
- const { ts, epoch } = when;
153
- const [committeeHex, seed, l1Timestamp] = await Promise.all([
229
+ /** Evicts oldest cache entries (resolved or in-flight) beyond cacheSize. */ purgeCache() {
230
+ if (this.cache.size <= this.config.cacheSize) {
231
+ return;
232
+ }
233
+ const toPurge = Array.from(this.cache.keys()).sort((a, b)=>Number(b - a)).slice(this.config.cacheSize);
234
+ toPurge.forEach((key)=>this.cache.delete(key));
235
+ }
236
+ /** Returns true if a non-finalized cache entry is older than one Ethereum slot. */ isStale(entry) {
237
+ const nowSeconds = BigInt(this.dateProvider.nowInSeconds());
238
+ return nowSeconds - entry.lastRefreshL1Timestamp >= BigInt(this.l1constants.ethereumSlotDuration);
239
+ }
240
+ /** Whether a cached epoch entry has been marked as finalized. Returns undefined if not cached or still in-flight. */ isFinalized(epoch) {
241
+ const entry = this.cache.get(epoch);
242
+ if (!entry || entry instanceof Promise) {
243
+ return undefined;
244
+ }
245
+ return entry.finalized;
246
+ }
247
+ /** Returns the latest L1 timestamp stored in the cached entry. Undefined if not cached or in-flight. */ getCachedLastRefreshL1Timestamp(epoch) {
248
+ const entry = this.cache.get(epoch);
249
+ if (!entry || entry instanceof Promise) {
250
+ return undefined;
251
+ }
252
+ return entry.lastRefreshL1Timestamp;
253
+ }
254
+ /** Computes the sampling timestamp for an epoch's committee data. */ getSamplingTimestamp(epoch) {
255
+ const { lagInEpochsForRandao, epochDuration, slotDuration } = this.l1constants;
256
+ const epochStartTs = getStartTimestampForEpoch(epoch, this.l1constants);
257
+ return epochStartTs - BigInt(lagInEpochsForRandao) * BigInt(epochDuration) * BigInt(slotDuration);
258
+ }
259
+ /**
260
+ * Lightweight refresh for a stale non-finalized entry. Queries only the block hash at
261
+ * the original block number and the finalized block timestamp — avoids the expensive
262
+ * getCommitteeAt and getSampleSeedAt calls on the rollup contract.
263
+ *
264
+ * If the block hash still matches (no L1 reorg), we keep the existing data and just
265
+ * update the provenance timestamp. If the finalized block has caught up, we promote the
266
+ * entry to finalized. If there was a reorg (hash mismatch), we fall back to a full fetch.
267
+ */ async refreshStaleEntry(stale, epoch, ts) {
268
+ const [blockAtOriginal, l1FinalizedBlock, latestBlock] = await Promise.all([
269
+ this.rollup.client.getBlock({
270
+ blockNumber: stale.lastQueryL1BlockNumber,
271
+ includeTransactions: false
272
+ }),
273
+ getFinalizedL1Block(this.rollup.client),
274
+ this.rollup.client.getBlock({
275
+ includeTransactions: false
276
+ })
277
+ ]);
278
+ if (blockAtOriginal.hash === stale.lastQueryL1BlockHash) {
279
+ // No reorg: the data is still valid. Check if we can now mark it as finalized.
280
+ const samplingTs = this.getSamplingTimestamp(epoch);
281
+ const finalized = !!(stale.data.committee && stale.data.committee.length > 0) && l1FinalizedBlock !== undefined && samplingTs <= l1FinalizedBlock.timestamp;
282
+ const refreshed = {
283
+ ...stale,
284
+ lastRefreshL1Timestamp: latestBlock.timestamp,
285
+ finalized
286
+ };
287
+ this.cache.set(epoch, refreshed);
288
+ return refreshed;
289
+ }
290
+ // Reorg detected: block hash mismatch. Do a full re-fetch.
291
+ // Pass the already-fetched block timestamps to avoid redundant queries.
292
+ this.log.warn(`L1 reorg detected for epoch ${epoch}: block ${stale.lastQueryL1BlockNumber} hash changed`, {
293
+ epoch,
294
+ expectedHash: stale.lastQueryL1BlockHash,
295
+ actualHash: blockAtOriginal.hash
296
+ });
297
+ return this.fetchAndCache(epoch, ts, {
298
+ latestBlock,
299
+ finalizedBlock: l1FinalizedBlock
300
+ });
301
+ }
302
+ /**
303
+ * Fetches committee data from L1, determines finalization status, and stores in the cache.
304
+ *
305
+ * Uses `lagInEpochsForRandao` (the binding constraint, always <= lagInEpochsForValidatorSet)
306
+ * and computes the sampling timestamp from the epoch start to match the L1 contract's logic.
307
+ *
308
+ * When called from refreshStaleEntry after a reorg, the latest and finalized blocks are
309
+ * passed in to avoid redundant L1 queries.
310
+ */ async fetchAndCache(epoch, ts, prefetched) {
311
+ const [committee, seedBuffer, latestBlock, finalizedBlock, isEscapeHatchOpen] = await Promise.all([
154
312
  this.rollup.getCommitteeAt(ts),
155
313
  this.rollup.getSampleSeedAt(ts),
156
- this.rollup.client.getBlock({
314
+ prefetched?.latestBlock ?? this.rollup.client.getBlock({
157
315
  includeTransactions: false
158
- }).then((b)=>b.timestamp)
316
+ }),
317
+ prefetched !== undefined ? prefetched.finalizedBlock : getFinalizedL1Block(this.rollup.client),
318
+ this.rollup.isEscapeHatchOpen(epoch)
159
319
  ]);
160
- const { lagInEpochsForValidatorSet, epochDuration, slotDuration } = this.l1constants;
161
- const sub = BigInt(lagInEpochsForValidatorSet) * BigInt(epochDuration) * BigInt(slotDuration);
162
- if (ts - sub > l1Timestamp) {
163
- throw new Error(`Cannot query committee for future epoch ${epoch} with timestamp ${ts} (current L1 time is ${l1Timestamp}). Check your Ethereum node is synced.`);
320
+ const samplingTs = this.getSamplingTimestamp(epoch);
321
+ if (samplingTs > latestBlock.timestamp) {
322
+ throw new Error(`Cannot query committee for future epoch ${epoch}: ` + `sampling timestamp ${samplingTs} is beyond latest L1 block at ${latestBlock.timestamp}. ` + `Check your Ethereum node is synced.`);
164
323
  }
165
- const committee = committeeHex?.map((v)=>EthAddress.fromString(v));
166
- return {
324
+ // Empty committees are never marked finalized so they always get re-queried after TTL.
325
+ // If L1 has no finalized block yet (devnet startup), entries stay unfinalized.
326
+ const hasCommittee = !!(committee && committee.length > 0);
327
+ const finalized = hasCommittee && finalizedBlock !== undefined && samplingTs <= finalizedBlock.timestamp;
328
+ const data = {
167
329
  committee,
168
- seed,
169
- epoch
330
+ seed: seedBuffer.toBigInt(),
331
+ epoch,
332
+ isEscapeHatchOpen
170
333
  };
334
+ const entry = {
335
+ data,
336
+ lastQueryL1BlockNumber: latestBlock.number,
337
+ lastQueryL1BlockHash: latestBlock.hash,
338
+ lastRefreshL1Timestamp: latestBlock.timestamp,
339
+ finalized
340
+ };
341
+ this.cache.set(epoch, entry);
342
+ this.purgeCache();
343
+ return entry;
171
344
  }
172
345
  /**
173
346
  * Get the ABI encoding of the proposer index - see ValidatorSelectionLib.sol computeProposerIndex
@@ -198,21 +371,26 @@ import { getEpochCacheConfigEnvVars } from './config.js';
198
371
  }
199
372
  return BigInt(keccak256(this.getProposerIndexEncoding(epoch, slot, seed))) % size;
200
373
  }
201
- /**
202
- * Returns the current and next proposer's attester address
203
- *
204
- * We return the next proposer's attester address as the node will check if it is the proposer at the next ethereum block,
205
- * which can be the next slot. If this is the case, then it will send proposals early.
206
- */ async getProposerAttesterAddressInCurrentOrNextSlot() {
207
- const current = this.getEpochAndSlotNow();
374
+ /** Returns the current and next L2 slot in next eth L1 Slot. */ getCurrentAndNextSlot() {
375
+ const currentSlot = this.getSlotNow();
208
376
  const next = this.getEpochAndSlotInNextL1Slot();
209
377
  return {
210
- currentProposer: await this.getProposerAttesterAddressAt(current),
211
- nextProposer: await this.getProposerAttesterAddressAt(next),
212
- currentSlot: current.slot,
378
+ currentSlot,
213
379
  nextSlot: next.slot
214
380
  };
215
381
  }
382
+ /** Returns the target and next L2 slot in the next L1 slot. */ getTargetAndNextSlot() {
383
+ const nowSeconds = BigInt(this.dateProvider.nowInSeconds());
384
+ const offset = this.isProposerPipeliningEnabled() ? PROPOSER_PIPELINING_SLOT_OFFSET : 0;
385
+ const currentSlot = getSlotAtTimestamp(nowSeconds, this.l1constants);
386
+ const targetSlot = SlotNumber(currentSlot + offset);
387
+ const nextL2SlotOnL1 = getSlotAtNextL1Block(nowSeconds, this.l1constants);
388
+ const nextSlot = SlotNumber(nextL2SlotOnL1 + offset);
389
+ return {
390
+ targetSlot,
391
+ nextSlot
392
+ };
393
+ }
216
394
  /**
217
395
  * Get the proposer attester address in the given L2 slot
218
396
  * @returns The proposer attester address. If the committee does not exist, we throw a NoCommitteeError.
@@ -270,11 +448,12 @@ import { getEpochCacheConfigEnvVars } from './config.js';
270
448
  async getRegisteredValidators() {
271
449
  const validatorRefreshIntervalMs = this.config.validatorRefreshIntervalSeconds * 1000;
272
450
  const validatorRefreshTime = this.lastValidatorRefresh + validatorRefreshIntervalMs;
273
- if (validatorRefreshTime < this.dateProvider.now()) {
274
- const currentSet = await this.rollup.getAttesters();
275
- this.allValidators = new Set(currentSet);
276
- this.lastValidatorRefresh = this.dateProvider.now();
451
+ const now = this.dateProvider.now();
452
+ if (validatorRefreshTime < now) {
453
+ const currentSet = await this.rollup.getAttesters(BigInt(Math.floor(now / 1000)));
454
+ this.allValidators = new Set(currentSet.map((v)=>v.toString()));
455
+ this.lastValidatorRefresh = now;
277
456
  }
278
- return Array.from(this.allValidators.keys().map((v)=>EthAddress.fromString(v)));
457
+ return Array.from(this.allValidators.keys()).map((v)=>EthAddress.fromString(v));
279
458
  }
280
459
  }
@@ -0,0 +1,2 @@
1
+ export * from './test_epoch_cache.js';
2
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90ZXN0L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsdUJBQXVCLENBQUMifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/test/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC"}
@@ -0,0 +1 @@
1
+ export * from './test_epoch_cache.js';
@@ -0,0 +1,92 @@
1
+ import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
2
+ import { EthAddress } from '@aztec/foundation/eth-address';
3
+ import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
4
+ import { type EpochAndSlot, type EpochCacheInterface, type EpochCommitteeInfo, type SlotTag } from '../epoch_cache.js';
5
+ /**
6
+ * A test implementation of EpochCacheInterface that allows manual configuration
7
+ * of committee, proposer, slot, and escape hatch state for use in tests.
8
+ *
9
+ * Unlike the real EpochCache, this class doesn't require any RPC connections
10
+ * or mock setup. Simply use the setter methods to configure the test state.
11
+ */
12
+ export declare class TestEpochCache implements EpochCacheInterface {
13
+ private committee;
14
+ private proposerAddress;
15
+ private currentSlot;
16
+ private escapeHatchOpen;
17
+ private seed;
18
+ private registeredValidators;
19
+ private l1Constants;
20
+ private proposerPipeliningEnabled;
21
+ constructor(l1Constants?: Partial<L1RollupConstants>);
22
+ /**
23
+ * Sets the committee members. Used in validation and attestation flows.
24
+ * @param committee - Array of committee member addresses.
25
+ */
26
+ setCommittee(committee: EthAddress[]): this;
27
+ /**
28
+ * Sets the proposer address returned by getProposerAttesterAddressInSlot.
29
+ * @param proposer - The address of the current proposer.
30
+ */
31
+ setProposer(proposer: EthAddress | undefined): this;
32
+ /**
33
+ * Sets the current slot number.
34
+ * @param slot - The slot number to set.
35
+ */
36
+ setCurrentSlot(slot: SlotNumber): this;
37
+ /**
38
+ * Sets whether the escape hatch is open.
39
+ * @param open - True if escape hatch should be open.
40
+ */
41
+ setEscapeHatchOpen(open: boolean): this;
42
+ /**
43
+ * Sets the randomness seed used for proposer selection.
44
+ * @param seed - The seed value.
45
+ */
46
+ setSeed(seed: bigint): this;
47
+ /**
48
+ * Sets the list of registered validators (all validators, not just committee).
49
+ * @param validators - Array of validator addresses.
50
+ */
51
+ setRegisteredValidators(validators: EthAddress[]): this;
52
+ /**
53
+ * Sets the L1 constants used for epoch/slot calculations.
54
+ * @param constants - Partial constants to override defaults.
55
+ */
56
+ setL1Constants(constants: Partial<L1RollupConstants>): this;
57
+ getL1Constants(): L1RollupConstants;
58
+ setProposerPipeliningEnabled(enabled: boolean): void;
59
+ getCommittee(_slot?: SlotTag): Promise<EpochCommitteeInfo>;
60
+ getSlotNow(): SlotNumber;
61
+ getTargetSlot(): SlotNumber;
62
+ getEpochNow(): EpochNumber;
63
+ getTargetEpoch(): EpochNumber;
64
+ isProposerPipeliningEnabled(): boolean;
65
+ pipeliningOffset(): number;
66
+ getEpochAndSlotNow(): EpochAndSlot & {
67
+ nowMs: bigint;
68
+ };
69
+ getEpochAndSlotInNextL1Slot(): EpochAndSlot & {
70
+ nowSeconds: bigint;
71
+ };
72
+ getTargetEpochAndSlotInNextL1Slot(): EpochAndSlot & {
73
+ nowSeconds: bigint;
74
+ };
75
+ getProposerIndexEncoding(epoch: EpochNumber, slot: SlotNumber, seed: bigint): `0x${string}`;
76
+ computeProposerIndex(slot: SlotNumber, _epoch: EpochNumber, _seed: bigint, size: bigint): bigint;
77
+ getCurrentAndNextSlot(): {
78
+ currentSlot: SlotNumber;
79
+ nextSlot: SlotNumber;
80
+ };
81
+ getTargetAndNextSlot(): {
82
+ targetSlot: SlotNumber;
83
+ nextSlot: SlotNumber;
84
+ };
85
+ getProposerAttesterAddressInSlot(_slot: SlotNumber): Promise<EthAddress | undefined>;
86
+ getRegisteredValidators(): Promise<EthAddress[]>;
87
+ isInCommittee(_slot: SlotTag, validator: EthAddress): Promise<boolean>;
88
+ filterInCommittee(_slot: SlotTag, validators: EthAddress[]): Promise<EthAddress[]>;
89
+ isEscapeHatchOpen(_epoch: EpochNumber): Promise<boolean>;
90
+ isEscapeHatchOpenAtSlot(_slot?: SlotTag): Promise<boolean>;
91
+ }
92
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGVzdF9lcG9jaF9jYWNoZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Rlc3QvdGVzdF9lcG9jaF9jYWNoZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsV0FBVyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzFFLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUMzRCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBR3JFLE9BQU8sRUFDTCxLQUFLLFlBQVksRUFDakIsS0FBSyxtQkFBbUIsRUFDeEIsS0FBSyxrQkFBa0IsRUFFdkIsS0FBSyxPQUFPLEVBQ2IsTUFBTSxtQkFBbUIsQ0FBQztBQWMzQjs7Ozs7O0dBTUc7QUFDSCxxQkFBYSxjQUFlLFlBQVcsbUJBQW1CO0lBQ3hELE9BQU8sQ0FBQyxTQUFTLENBQW9CO0lBQ3JDLE9BQU8sQ0FBQyxlQUFlLENBQXlCO0lBQ2hELE9BQU8sQ0FBQyxXQUFXLENBQTZCO0lBQ2hELE9BQU8sQ0FBQyxlQUFlLENBQWtCO0lBQ3pDLE9BQU8sQ0FBQyxJQUFJLENBQWM7SUFDMUIsT0FBTyxDQUFDLG9CQUFvQixDQUFvQjtJQUNoRCxPQUFPLENBQUMsV0FBVyxDQUFvQjtJQUN2QyxPQUFPLENBQUMseUJBQXlCLENBQVM7SUFFMUMsWUFBWSxXQUFXLEdBQUUsT0FBTyxDQUFDLGlCQUFpQixDQUFNLEVBRXZEO0lBRUQ7OztPQUdHO0lBQ0gsWUFBWSxDQUFDLFNBQVMsRUFBRSxVQUFVLEVBQUUsR0FBRyxJQUFJLENBRzFDO0lBRUQ7OztPQUdHO0lBQ0gsV0FBVyxDQUFDLFFBQVEsRUFBRSxVQUFVLEdBQUcsU0FBUyxHQUFHLElBQUksQ0FHbEQ7SUFFRDs7O09BR0c7SUFDSCxjQUFjLENBQUMsSUFBSSxFQUFFLFVBQVUsR0FBRyxJQUFJLENBR3JDO0lBRUQ7OztPQUdHO0lBQ0gsa0JBQWtCLENBQUMsSUFBSSxFQUFFLE9BQU8sR0FBRyxJQUFJLENBR3RDO0lBRUQ7OztPQUdHO0lBQ0gsT0FBTyxDQUFDLElBQUksRUFBRSxNQUFNLEdBQUcsSUFBSSxDQUcxQjtJQUVEOzs7T0FHRztJQUNILHVCQUF1QixDQUFDLFVBQVUsRUFBRSxVQUFVLEVBQUUsR0FBRyxJQUFJLENBR3REO0lBRUQ7OztPQUdHO0lBQ0gsY0FBYyxDQUFDLFNBQVMsRUFBRSxPQUFPLENBQUMsaUJBQWlCLENBQUMsR0FBRyxJQUFJLENBRzFEO0lBRUQsY0FBYyxJQUFJLGlCQUFpQixDQUVsQztJQUVELDRCQUE0QixDQUFDLE9BQU8sRUFBRSxPQUFPLEdBQUcsSUFBSSxDQUVuRDtJQUVELFlBQVksQ0FBQyxLQUFLLENBQUMsRUFBRSxPQUFPLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBUXpEO0lBRUQsVUFBVSxJQUFJLFVBQVUsQ0FFdkI7SUFFRCxhQUFhLElBQUksVUFBVSxDQUkxQjtJQUVELFdBQVcsSUFBSSxXQUFXLENBRXpCO0lBRUQsY0FBYyxJQUFJLFdBQVcsQ0FFNUI7SUFFRCwyQkFBMkIsSUFBSSxPQUFPLENBRXJDO0lBRUQsZ0JBQWdCLElBQUksTUFBTSxDQUV6QjtJQUVELGtCQUFrQixJQUFJLFlBQVksR0FBRztRQUFFLEtBQUssRUFBRSxNQUFNLENBQUE7S0FBRSxDQVNyRDtJQUVELDJCQUEyQixJQUFJLFlBQVksR0FBRztRQUFFLFVBQVUsRUFBRSxNQUFNLENBQUE7S0FBRSxDQVluRTtJQUVELGlDQUFpQyxJQUFJLFlBQVksR0FBRztRQUFFLFVBQVUsRUFBRSxNQUFNLENBQUE7S0FBRSxDQUt6RTtJQUVELHdCQUF3QixDQUFDLEtBQUssRUFBRSxXQUFXLEVBQUUsSUFBSSxFQUFFLFVBQVUsRUFBRSxJQUFJLEVBQUUsTUFBTSxHQUFHLEtBQUssTUFBTSxFQUFFLENBRzFGO0lBRUQsb0JBQW9CLENBQUMsSUFBSSxFQUFFLFVBQVUsRUFBRSxNQUFNLEVBQUUsV0FBVyxFQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sR0FBRyxNQUFNLENBSy9GO0lBRUQscUJBQXFCLElBQUk7UUFBRSxXQUFXLEVBQUUsVUFBVSxDQUFDO1FBQUMsUUFBUSxFQUFFLFVBQVUsQ0FBQTtLQUFFLENBUXpFO0lBRUQsb0JBQW9CLElBQUk7UUFBRSxVQUFVLEVBQUUsVUFBVSxDQUFDO1FBQUMsUUFBUSxFQUFFLFVBQVUsQ0FBQTtLQUFFLENBUXZFO0lBRUQsZ0NBQWdDLENBQUMsS0FBSyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsVUFBVSxHQUFHLFNBQVMsQ0FBQyxDQUVuRjtJQUVELHVCQUF1QixJQUFJLE9BQU8sQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUUvQztJQUVELGFBQWEsQ0FBQyxLQUFLLEVBQUUsT0FBTyxFQUFFLFNBQVMsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUVyRTtJQUVELGlCQUFpQixDQUFDLEtBQUssRUFBRSxPQUFPLEVBQUUsVUFBVSxFQUFFLFVBQVUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUdqRjtJQUVELGlCQUFpQixDQUFDLE1BQU0sRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUV2RDtJQUVELHVCQUF1QixDQUFDLEtBQUssQ0FBQyxFQUFFLE9BQU8sR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLENBRXpEO0NBQ0YifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"test_epoch_cache.d.ts","sourceRoot":"","sources":["../../src/test/test_epoch_cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAGrE,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EAEvB,KAAK,OAAO,EACb,MAAM,mBAAmB,CAAC;AAc3B;;;;;;GAMG;AACH,qBAAa,cAAe,YAAW,mBAAmB;IACxD,OAAO,CAAC,SAAS,CAAoB;IACrC,OAAO,CAAC,eAAe,CAAyB;IAChD,OAAO,CAAC,WAAW,CAA6B;IAChD,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,IAAI,CAAc;IAC1B,OAAO,CAAC,oBAAoB,CAAoB;IAChD,OAAO,CAAC,WAAW,CAAoB;IACvC,OAAO,CAAC,yBAAyB,CAAS;IAE1C,YAAY,WAAW,GAAE,OAAO,CAAC,iBAAiB,CAAM,EAEvD;IAED;;;OAGG;IACH,YAAY,CAAC,SAAS,EAAE,UAAU,EAAE,GAAG,IAAI,CAG1C;IAED;;;OAGG;IACH,WAAW,CAAC,QAAQ,EAAE,UAAU,GAAG,SAAS,GAAG,IAAI,CAGlD;IAED;;;OAGG;IACH,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAGrC;IAED;;;OAGG;IACH,kBAAkB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAGtC;IAED;;;OAGG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAG1B;IAED;;;OAGG;IACH,uBAAuB,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,IAAI,CAGtD;IAED;;;OAGG;IACH,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,iBAAiB,CAAC,GAAG,IAAI,CAG1D;IAED,cAAc,IAAI,iBAAiB,CAElC;IAED,4BAA4B,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAEnD;IAED,YAAY,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAQzD;IAED,UAAU,IAAI,UAAU,CAEvB;IAED,aAAa,IAAI,UAAU,CAI1B;IAED,WAAW,IAAI,WAAW,CAEzB;IAED,cAAc,IAAI,WAAW,CAE5B;IAED,2BAA2B,IAAI,OAAO,CAErC;IAED,gBAAgB,IAAI,MAAM,CAEzB;IAED,kBAAkB,IAAI,YAAY,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CASrD;IAED,2BAA2B,IAAI,YAAY,GAAG;QAAE,UAAU,EAAE,MAAM,CAAA;KAAE,CAYnE;IAED,iCAAiC,IAAI,YAAY,GAAG;QAAE,UAAU,EAAE,MAAM,CAAA;KAAE,CAKzE;IAED,wBAAwB,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,MAAM,EAAE,CAG1F;IAED,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAK/F;IAED,qBAAqB,IAAI;QAAE,WAAW,EAAE,UAAU,CAAC;QAAC,QAAQ,EAAE,UAAU,CAAA;KAAE,CAQzE;IAED,oBAAoB,IAAI;QAAE,UAAU,EAAE,UAAU,CAAC;QAAC,QAAQ,EAAE,UAAU,CAAA;KAAE,CAQvE;IAED,gCAAgC,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAEnF;IAED,uBAAuB,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC,CAE/C;IAED,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAErE;IAED,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAGjF;IAED,iBAAiB,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAEvD;IAED,uBAAuB,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAEzD;CACF"}