@aztec/prover-node 0.0.1-commit.3469e52 → 0.0.1-commit.350e0a4d

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.
Files changed (75) hide show
  1. package/README.md +518 -0
  2. package/dest/actions/download-epoch-proving-job.js +1 -1
  3. package/dest/actions/rerun-epoch-proving-job.d.ts +6 -4
  4. package/dest/actions/rerun-epoch-proving-job.d.ts.map +1 -1
  5. package/dest/actions/rerun-epoch-proving-job.js +187 -27
  6. package/dest/actions/upload-epoch-proof-failure.d.ts +2 -2
  7. package/dest/actions/upload-epoch-proof-failure.d.ts.map +1 -1
  8. package/dest/bin/run-failed-epoch.js +6 -5
  9. package/dest/checkpoint-store.d.ts +87 -0
  10. package/dest/checkpoint-store.d.ts.map +1 -0
  11. package/dest/checkpoint-store.js +186 -0
  12. package/dest/config.d.ts +7 -8
  13. package/dest/config.d.ts.map +1 -1
  14. package/dest/config.js +24 -20
  15. package/dest/factory.d.ts +19 -13
  16. package/dest/factory.d.ts.map +1 -1
  17. package/dest/factory.js +41 -69
  18. package/dest/index.d.ts +2 -1
  19. package/dest/index.d.ts.map +1 -1
  20. package/dest/index.js +1 -0
  21. package/dest/job/checkpoint-prover.d.ts +134 -0
  22. package/dest/job/checkpoint-prover.d.ts.map +1 -0
  23. package/dest/job/checkpoint-prover.js +353 -0
  24. package/dest/job/epoch-session.d.ts +146 -0
  25. package/dest/job/epoch-session.d.ts.map +1 -0
  26. package/dest/job/{epoch-proving-job.js → epoch-session.js} +277 -295
  27. package/dest/job/top-tree-job.d.ts +82 -0
  28. package/dest/job/top-tree-job.d.ts.map +1 -0
  29. package/dest/job/top-tree-job.js +152 -0
  30. package/dest/metrics.d.ts +40 -3
  31. package/dest/metrics.d.ts.map +1 -1
  32. package/dest/metrics.js +112 -7
  33. package/dest/monitors/epoch-monitor.d.ts +1 -1
  34. package/dest/monitors/epoch-monitor.d.ts.map +1 -1
  35. package/dest/monitors/epoch-monitor.js +11 -9
  36. package/dest/proof-publishing-service.d.ts +161 -0
  37. package/dest/proof-publishing-service.d.ts.map +1 -0
  38. package/dest/proof-publishing-service.js +335 -0
  39. package/dest/prover-node-publisher.d.ts +28 -17
  40. package/dest/prover-node-publisher.d.ts.map +1 -1
  41. package/dest/prover-node-publisher.js +205 -65
  42. package/dest/prover-node.d.ts +118 -70
  43. package/dest/prover-node.d.ts.map +1 -1
  44. package/dest/prover-node.js +489 -226
  45. package/dest/prover-publisher-factory.d.ts +9 -5
  46. package/dest/prover-publisher-factory.d.ts.map +1 -1
  47. package/dest/prover-publisher-factory.js +8 -5
  48. package/dest/session-manager.d.ts +158 -0
  49. package/dest/session-manager.d.ts.map +1 -0
  50. package/dest/session-manager.js +452 -0
  51. package/dest/test/index.d.ts +7 -6
  52. package/dest/test/index.d.ts.map +1 -1
  53. package/package.json +23 -22
  54. package/src/actions/download-epoch-proving-job.ts +1 -1
  55. package/src/actions/rerun-epoch-proving-job.ts +117 -29
  56. package/src/actions/upload-epoch-proof-failure.ts +1 -1
  57. package/src/bin/run-failed-epoch.ts +5 -3
  58. package/src/checkpoint-store.ts +218 -0
  59. package/src/config.ts +35 -32
  60. package/src/factory.ts +69 -112
  61. package/src/index.ts +1 -0
  62. package/src/job/checkpoint-prover.ts +468 -0
  63. package/src/job/epoch-session.ts +436 -0
  64. package/src/job/top-tree-job.ts +227 -0
  65. package/src/metrics.ts +129 -12
  66. package/src/monitors/epoch-monitor.ts +5 -6
  67. package/src/proof-publishing-service.ts +427 -0
  68. package/src/prover-node-publisher.ts +241 -81
  69. package/src/prover-node.ts +563 -254
  70. package/src/prover-publisher-factory.ts +19 -10
  71. package/src/session-manager.ts +552 -0
  72. package/src/test/index.ts +6 -6
  73. package/dest/job/epoch-proving-job.d.ts +0 -62
  74. package/dest/job/epoch-proving-job.d.ts.map +0 -1
  75. package/src/job/epoch-proving-job.ts +0 -427
@@ -0,0 +1,452 @@
1
+ import { BlockNumber } from '@aztec/foundation/branded-types';
2
+ import { createLogger } from '@aztec/foundation/log';
3
+ import { SerialQueue } from '@aztec/foundation/queue';
4
+ import { RunningPromise } from '@aztec/foundation/running-promise';
5
+ import { getEpochAtSlot, getProofSubmissionDeadlineTimestamp, getSlotRangeForEpoch } from '@aztec/stdlib/epoch-helpers';
6
+ import { CheckpointProver } from './job/checkpoint-prover.js';
7
+ import { EpochSession, specKey } from './job/epoch-session.js';
8
+ /**
9
+ * Owns the lifecycle of every `EpochSession`. Each L2BlockStream event and periodic tick
10
+ * arrives via a dedicated entry point (`onCheckpointAdded`, `onPrune`, `onTick`, etc.) which
11
+ * schedules a `reconcile(trigger)` on a serial queue. Reconcile walks both session
12
+ * maps, cancels any session whose canonical content has shifted, re-creates it with
13
+ * the same spec but new content, and opens fresh full sessions for any epoch implicated
14
+ * by the trigger.
15
+ */ export class SessionManager {
16
+ deps;
17
+ log;
18
+ fullSessions;
19
+ partialSessions;
20
+ /**
21
+ * Serialises every reconcile call. The trigger sources (L2BlockStream events, the
22
+ * periodic tick, JSON-RPC `startProof`) run independently, so without this queue two
23
+ * reconciles could interleave on the `await session.cancel(...)` step and orphan a
24
+ * freshly-constructed session.
25
+ */ reconcileQueue;
26
+ /** Cached L1 constants, populated on first read. */ cachedL1Constants;
27
+ /**
28
+ * Highest epoch for which the periodic tick has successfully created a full session.
29
+ * Monotonic high-water mark: once the tick observes a session for epoch X, it stops
30
+ * trying to open one — even if that session subsequently fails (only a new checkpoint
31
+ * event reopens it). Crucially, the mark only advances when a session actually exists
32
+ * post-open, so transient blockers (atMaxSessionLimit, archiver still indexing) leave
33
+ * the mark in place and the next tick retries.
34
+ */ lastTickEpoch;
35
+ /** Test-only hooks applied to every session this manager constructs. */ sessionHooks;
36
+ /** Periodic tick that nudges reconcile to pick up newly-complete epochs. Started by `start()`. */ epochTicker;
37
+ constructor(deps){
38
+ this.deps = deps;
39
+ this.fullSessions = new Map();
40
+ this.partialSessions = new Map();
41
+ this.reconcileQueue = new SerialQueue();
42
+ this.log = createLogger('prover-node:session-manager', deps.bindings);
43
+ this.reconcileQueue.start();
44
+ }
45
+ /**
46
+ * Starts the periodic tick. Separated from the constructor so tests can drive `onTick()`
47
+ * manually without the background ticker interleaving. Idempotent.
48
+ */ start() {
49
+ if (this.epochTicker) {
50
+ return;
51
+ }
52
+ this.epochTicker = new RunningPromise(()=>this.onTick(), this.log, this.deps.config.tickIntervalMs);
53
+ this.epochTicker.start();
54
+ }
55
+ /**
56
+ * Installs hooks applied to every session constructed from now on. Used by the e2e
57
+ * harness to interpose around top-tree proving (gate it, override it, observe it)
58
+ * without monkey-patching the orchestrator factory.
59
+ */ setSessionHooks(hooks) {
60
+ this.sessionHooks = hooks;
61
+ }
62
+ // ---------------- read-only views ----------------
63
+ /** Every live (non-terminal) session. */ allSessions() {
64
+ return [
65
+ ...this.fullSessions.values(),
66
+ ...this.partialSessions.values()
67
+ ];
68
+ }
69
+ /** Returns the full session for `epoch`, if any. */ getFullSession(epoch) {
70
+ return this.fullSessions.get(epoch);
71
+ }
72
+ /** Returns the partial session for `spec`, if any. */ getPartialSession(spec) {
73
+ return this.partialSessions.get(specKey(spec));
74
+ }
75
+ /** Observability summary used by the prover-node API. */ getJobs() {
76
+ return this.allSessions().map((s)=>({
77
+ uuid: s.getId(),
78
+ status: s.getState(),
79
+ epochNumber: s.getEpochNumber()
80
+ }));
81
+ }
82
+ // ---------------- event entry points ----------------
83
+ /** Called by ProverNode after a chain-checkpointed event has been added to the store. */ onCheckpointAdded(epoch) {
84
+ return this.scheduleReconcile({
85
+ kind: 'checkpoint',
86
+ epoch
87
+ });
88
+ }
89
+ /** Called by ProverNode after a chain-pruned event has flipped store provers to pruned. */ onPrune(affectedEpochs) {
90
+ return this.scheduleReconcile({
91
+ kind: 'prune',
92
+ affectedEpochs
93
+ });
94
+ }
95
+ /**
96
+ * Called periodically by ProverNode's ticker. Picks up epochs that have become complete
97
+ * by time without a fresh checkpoint event (e.g. the epoch's last slots are empty), and
98
+ * advances to the next epoch once the previous one is proven on L1.
99
+ */ onTick() {
100
+ return this.scheduleReconcile({
101
+ kind: 'tick'
102
+ });
103
+ }
104
+ // ---------------- public API ----------------
105
+ /**
106
+ * Schedules a proof attempt for the supplied epoch and returns the job id without waiting for
107
+ * the proof to complete — proving can far outlast an HTTP request, so callers poll `getJobs()`
108
+ * for the outcome. Every session — full or partial — begins at the epoch's first slot; the
109
+ * partial's spec stops at the last canonical slot, while the full's stops at the epoch's last
110
+ * slot. Dedupes against any existing session covering the same range, returning its id.
111
+ */ async startProof(epoch) {
112
+ const canonical = await this.deps.checkpointStore.listCanonicalForEpoch(epoch);
113
+ if (canonical.length === 0) {
114
+ throw new EmptyEpochError(epoch);
115
+ }
116
+ // Don't re-prove an epoch the L1 proven chain already encompasses — it was already proven
117
+ // (possibly by another prover node), so a fresh proof would be wasted work.
118
+ if (await this.isProvenChainEncompassing(canonical)) {
119
+ throw new EpochAlreadyProvenError(epoch);
120
+ }
121
+ const l1Constants = await this.getL1Constants();
122
+ const [fromSlot] = getSlotRangeForEpoch(epoch, l1Constants);
123
+ const toSlot = canonical[canonical.length - 1].slotNumber;
124
+ const spec = {
125
+ kind: 'partial',
126
+ epochNumber: epoch,
127
+ fromSlot,
128
+ toSlot
129
+ };
130
+ // Reuse a session already covering this exact range rather than scheduling a duplicate.
131
+ const existingFull = this.getFullSession(epoch);
132
+ if (existingFull && !existingFull.isTerminal() && existingFull.getSpec().fromSlot === fromSlot && existingFull.getSpec().toSlot === toSlot) {
133
+ return existingFull.getId();
134
+ }
135
+ const existingPartial = this.getPartialSession(spec);
136
+ if (existingPartial && !existingPartial.isTerminal()) {
137
+ return existingPartial.getId();
138
+ }
139
+ await this.scheduleReconcile({
140
+ kind: 'start-proof',
141
+ spec
142
+ });
143
+ const created = this.getPartialSession(spec);
144
+ if (!created) {
145
+ throw new Error(`Failed to schedule partial proof for epoch ${epoch}`);
146
+ }
147
+ return created.getId();
148
+ }
149
+ /** Stops the tick, drains the reconcile queue, and cancels every live session. */ async stop() {
150
+ await this.epochTicker?.stop();
151
+ await this.reconcileQueue.cancel();
152
+ const sessions = this.allSessions();
153
+ await Promise.allSettled(sessions.map((s)=>s.cancel('prover-node stopping')));
154
+ }
155
+ // ---------------- reconcile ----------------
156
+ scheduleReconcile(trigger) {
157
+ return this.reconcileQueue.put(()=>this.reconcile(trigger));
158
+ }
159
+ async reconcile(trigger) {
160
+ this.log.debug(`Reconciling`, {
161
+ trigger
162
+ });
163
+ this.recreateInvalidSessions();
164
+ const implicatedEpochs = await this.epochsForTrigger(trigger);
165
+ for (const epoch of implicatedEpochs){
166
+ await this.openFullSessionIfReady(epoch);
167
+ }
168
+ // Advance the tick high-water mark only once a session actually exists for the epoch.
169
+ // `openFullSessionIfReady` can early-return without creating one (atMaxSessionLimit,
170
+ // archiver still indexing, etc.); in those cases we want the next tick to try again
171
+ // rather than skip the epoch forever.
172
+ if (trigger.kind === 'tick' && implicatedEpochs.length === 1) {
173
+ const epoch = implicatedEpochs[0];
174
+ if (this.fullSessions.has(epoch)) {
175
+ this.lastTickEpoch = epoch;
176
+ }
177
+ }
178
+ if (trigger.kind === 'start-proof') {
179
+ this.openPartialSession(trigger.spec);
180
+ }
181
+ }
182
+ recreateInvalidSessions() {
183
+ for (const [key, session] of Array.from(this.fullSessions.entries())){
184
+ if (session.isTerminal()) {
185
+ this.fullSessions.delete(key);
186
+ continue;
187
+ }
188
+ const canonical = this.canonicalCheckpointsForSpec(session.getSpec());
189
+ if (!this.checkpointsMatch(session.getCheckpoints(), canonical)) {
190
+ this.fireAndForgetCancel(session, 'canonical content changed');
191
+ this.fullSessions.delete(key);
192
+ if (canonical.length > 0) {
193
+ const newSession = this.constructSession(session.getSpec(), canonical);
194
+ this.fullSessions.set(key, newSession);
195
+ void this.runSession(newSession);
196
+ }
197
+ }
198
+ }
199
+ for (const [key, session] of Array.from(this.partialSessions.entries())){
200
+ if (session.isTerminal()) {
201
+ this.partialSessions.delete(key);
202
+ continue;
203
+ }
204
+ const canonical = this.canonicalCheckpointsForSpec(session.getSpec());
205
+ if (!this.checkpointsMatch(session.getCheckpoints(), canonical)) {
206
+ this.fireAndForgetCancel(session, 'canonical content changed');
207
+ this.partialSessions.delete(key);
208
+ if (canonical.length > 0) {
209
+ const newSession = this.constructSession(session.getSpec(), canonical);
210
+ this.partialSessions.set(key, newSession);
211
+ void this.runSession(newSession);
212
+ }
213
+ }
214
+ }
215
+ }
216
+ async openFullSessionIfReady(epoch) {
217
+ if (this.fullSessions.has(epoch)) {
218
+ return;
219
+ }
220
+ if (this.atMaxSessionLimit()) {
221
+ this.log.debug(`Skipping full-session open for epoch ${epoch}: max pending jobs reached`);
222
+ return;
223
+ }
224
+ if (!await this.deps.l2BlockSource.isEpochComplete(epoch)) {
225
+ return;
226
+ }
227
+ const l1Constants = await this.getL1Constants();
228
+ const archiverCps = await this.deps.l2BlockSource.getCheckpoints({
229
+ epoch
230
+ });
231
+ if (archiverCps.length === 0) {
232
+ return;
233
+ }
234
+ const [fromSlot, toSlot] = getSlotRangeForEpoch(epoch, l1Constants);
235
+ const canonical = this.deps.checkpointStore.listCanonicalInSlotRange(fromSlot, toSlot);
236
+ if (!this.archiverFullyCovered(archiverCps, canonical)) {
237
+ this.log.debug(`Skipping full-session open for epoch ${epoch}: archiver checkpoints not all in store`, {
238
+ archiverCount: archiverCps.length,
239
+ storeCount: canonical.length
240
+ });
241
+ return;
242
+ }
243
+ const spec = {
244
+ kind: 'full',
245
+ epochNumber: epoch,
246
+ fromSlot,
247
+ toSlot
248
+ };
249
+ const session = this.constructSession(spec, canonical);
250
+ this.fullSessions.set(epoch, session);
251
+ void this.runSession(session);
252
+ }
253
+ openPartialSession(spec) {
254
+ const canonical = this.deps.checkpointStore.listCanonicalInSlotRange(spec.fromSlot, spec.toSlot);
255
+ if (canonical.length === 0) {
256
+ return;
257
+ }
258
+ // Reuse a live partial session for this epoch whose checkpoint set already matches the
259
+ // canonical content — e.g. a repeated `startProof` with no new checkpoints mined since the
260
+ // last one. Reconstructing would re-prove identical content and burn a pending-job slot.
261
+ const existing = Array.from(this.partialSessions.values()).find((s)=>s.getSpec().epochNumber === spec.epochNumber && !s.isTerminal() && this.checkpointsMatch(s.getCheckpoints(), canonical));
262
+ if (existing) {
263
+ return;
264
+ }
265
+ if (this.atMaxSessionLimit()) {
266
+ throw new Error(`Maximum pending proving jobs ${this.deps.config.maxPendingJobs} reached.`);
267
+ }
268
+ const session = this.constructSession(spec, canonical);
269
+ this.partialSessions.set(specKey(spec), session);
270
+ void this.runSession(session);
271
+ }
272
+ // ---------------- session construction ----------------
273
+ constructSession(spec, checkpoints) {
274
+ return this.doConstructSession(spec, checkpoints, this.buildSessionDeps(spec.epochNumber), this.sessionHooks);
275
+ }
276
+ /** Extracted for test override. */ doConstructSession(spec, checkpoints, sessionDeps, hooks) {
277
+ return new EpochSession(spec, checkpoints, {
278
+ ...sessionDeps,
279
+ hooks
280
+ });
281
+ }
282
+ buildSessionDeps(epochNumber) {
283
+ const config = {
284
+ finalizationDelayMs: this.deps.config.finalizationDelayMs
285
+ };
286
+ return {
287
+ proverFactory: this.deps.proverFactory,
288
+ proverId: this.deps.proverId,
289
+ publishingService: this.deps.publishingService,
290
+ metrics: this.deps.metrics,
291
+ dateProvider: this.deps.dateProvider,
292
+ deadline: this.computeDeadline(epochNumber),
293
+ config,
294
+ bindings: this.deps.bindings
295
+ };
296
+ }
297
+ computeDeadline(epochNumber) {
298
+ if (!this.cachedL1Constants) {
299
+ return undefined;
300
+ }
301
+ const ts = getProofSubmissionDeadlineTimestamp(epochNumber, this.cachedL1Constants);
302
+ return new Date(Number(ts) * 1000);
303
+ }
304
+ async runSession(session) {
305
+ // A reconcile may have cancelled this session before it starts (content-change
306
+ // recreation). Don't proceed — start() would build a TopTreeJob that should never run.
307
+ if (session.isTerminal()) {
308
+ this.log.debug(`Skipping start for ${session.getId()}: already terminal (${session.getState()})`);
309
+ return;
310
+ }
311
+ const state = await session.start();
312
+ this.log.info(`Session ${session.getId()} exited with state ${state}`);
313
+ if (state === 'failed' && this.deps.onSessionFailed) {
314
+ try {
315
+ await this.deps.onSessionFailed(session);
316
+ } catch (err) {
317
+ this.log.error(`Error in onSessionFailed callback for ${session.getSpec().epochNumber}`, err);
318
+ }
319
+ }
320
+ }
321
+ /**
322
+ * Builds the EpochProvingJobData snapshot for failure upload. Includes every checkpoint
323
+ * referenced by the session, regardless of whether sub-tree proving completed —
324
+ * partial state is still useful for post-mortem analysis.
325
+ */ static buildSessionProvingData(session) {
326
+ const checkpoints = session.getCheckpoints();
327
+ const txs = new Map();
328
+ const l1ToL2Messages = {};
329
+ for (const c of checkpoints){
330
+ for (const [hash, tx] of c.txs){
331
+ txs.set(hash, tx);
332
+ }
333
+ l1ToL2Messages[c.checkpoint.number] = c.l1ToL2Messages;
334
+ }
335
+ return {
336
+ epochNumber: session.getSpec().epochNumber,
337
+ checkpoints: checkpoints.map((c)=>c.checkpoint),
338
+ txs,
339
+ l1ToL2Messages,
340
+ previousBlockHeader: checkpoints[0].previousBlockHeader,
341
+ attestations: []
342
+ };
343
+ }
344
+ // ---------------- reconcile helpers ----------------
345
+ atMaxSessionLimit() {
346
+ const { maxPendingJobs: max } = this.deps.config;
347
+ if (!max || max <= 0) {
348
+ return false;
349
+ }
350
+ const live = this.allSessions().filter((s)=>!s.isTerminal()).length;
351
+ return live >= max;
352
+ }
353
+ async epochsForTrigger(trigger) {
354
+ switch(trigger.kind){
355
+ case 'checkpoint':
356
+ return [
357
+ trigger.epoch
358
+ ];
359
+ case 'prune':
360
+ return trigger.affectedEpochs;
361
+ case 'tick':
362
+ {
363
+ const epoch = await this.nextUnprovenEpoch();
364
+ if (epoch === undefined || this.lastTickEpoch !== undefined && epoch <= this.lastTickEpoch) {
365
+ return [];
366
+ }
367
+ return [
368
+ epoch
369
+ ];
370
+ }
371
+ case 'start-proof':
372
+ return [];
373
+ }
374
+ }
375
+ /**
376
+ * The next epoch to prove: the epoch containing the first block after the proven tip.
377
+ * Returns undefined when that block has not been mined yet (e.g. nothing new to prove).
378
+ * Subsequent ticks advance only once the chain's proven height moves forward, so epochs
379
+ * are proven in order rather than all at once.
380
+ */ async nextUnprovenEpoch() {
381
+ const lastProven = await this.deps.l2BlockSource.getBlockNumber({
382
+ tag: 'proven'
383
+ }) ?? BlockNumber.ZERO;
384
+ const firstToProve = BlockNumber(lastProven + 1);
385
+ const header = (await this.deps.l2BlockSource.getBlockData({
386
+ number: firstToProve
387
+ }))?.header;
388
+ if (!header) {
389
+ return undefined;
390
+ }
391
+ return getEpochAtSlot(header.getSlot(), await this.getL1Constants());
392
+ }
393
+ canonicalCheckpointsForSpec(spec) {
394
+ return this.deps.checkpointStore.listCanonicalInSlotRange(spec.fromSlot, spec.toSlot);
395
+ }
396
+ fireAndForgetCancel(session, reason) {
397
+ void session.cancel(reason).catch((err)=>this.log.warn(`Error cancelling session ${session.getId()}`, err));
398
+ }
399
+ checkpointsMatch(a, b) {
400
+ if (a.length !== b.length) {
401
+ return false;
402
+ }
403
+ for(let i = 0; i < a.length; i++){
404
+ if (a[i].id !== b[i].id || a[i].isCancelled()) {
405
+ return false;
406
+ }
407
+ }
408
+ return true;
409
+ }
410
+ archiverFullyCovered(archiverCps, storeCps) {
411
+ if (storeCps.length < archiverCps.length) {
412
+ return false;
413
+ }
414
+ // Compare by content-addressed id (number, slot, archive root) rather than checkpoint number:
415
+ // a reorg can keep the number while changing the checkpoint's post-state archive root.
416
+ const storeIds = new Set(storeCps.map((p)=>p.id));
417
+ return archiverCps.every((cp)=>storeIds.has(CheckpointProver.idFor(cp.checkpoint)));
418
+ }
419
+ /**
420
+ * Returns true if the L1 proven tip already covers every canonical checkpoint in the set — i.e.
421
+ * the epoch has already been fully proven, so there is no point starting a new proof for it.
422
+ * Conservatively returns false when nothing is proven yet.
423
+ */ async isProvenChainEncompassing(canonical) {
424
+ const provenBlock = await this.deps.l2BlockSource.getBlockNumber({
425
+ tag: 'proven'
426
+ });
427
+ if (!provenBlock || provenBlock <= 0) {
428
+ return false;
429
+ }
430
+ const lastCheckpoint = canonical[canonical.length - 1].checkpoint;
431
+ const lastBlock = lastCheckpoint.blocks[lastCheckpoint.blocks.length - 1].number;
432
+ return provenBlock >= lastBlock;
433
+ }
434
+ async getL1Constants() {
435
+ if (!this.cachedL1Constants) {
436
+ this.cachedL1Constants = await this.deps.l2BlockSource.getL1Constants();
437
+ }
438
+ return this.cachedL1Constants;
439
+ }
440
+ }
441
+ class EmptyEpochError extends Error {
442
+ constructor(epochNumber){
443
+ super(`No blocks found for epoch ${epochNumber}`);
444
+ this.name = 'EmptyEpochError';
445
+ }
446
+ }
447
+ class EpochAlreadyProvenError extends Error {
448
+ constructor(epochNumber){
449
+ super(`Epoch ${epochNumber} is already proven on L1`);
450
+ this.name = 'EpochAlreadyProvenError';
451
+ }
452
+ }
@@ -1,12 +1,13 @@
1
+ import type { EpochProverFactory } from '@aztec/prover-client';
1
2
  import type { EpochProverManager } from '@aztec/stdlib/interfaces/server';
2
- import type { EpochProvingJob } from '../job/epoch-proving-job.js';
3
- import type { ProverNodePublisher } from '../prover-node-publisher.js';
3
+ import type { ProofPublishingService } from '../proof-publishing-service.js';
4
4
  import { ProverNode } from '../prover-node.js';
5
+ import type { SessionManager } from '../session-manager.js';
5
6
  declare abstract class TestProverNodeClass extends ProverNode {
6
- prover: EpochProverManager;
7
- publisher: ProverNodePublisher;
8
- abstract tryUploadEpochFailure(job: EpochProvingJob): Promise<string | undefined>;
7
+ prover: EpochProverManager & EpochProverFactory;
8
+ publishingService: ProofPublishingService;
9
+ sessionManager: SessionManager;
9
10
  }
10
11
  export type TestProverNode = TestProverNodeClass;
11
12
  export {};
12
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90ZXN0L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFMUUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDbkUsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUN2RSxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFL0MsdUJBQWUsbUJBQW9CLFNBQVEsVUFBVTtJQUNwQyxNQUFNLEVBQUUsa0JBQWtCLENBQUM7SUFDM0IsU0FBUyxFQUFFLG1CQUFtQixDQUFDO0lBRTlDLFNBQXlCLHFCQUFxQixDQUFDLEdBQUcsRUFBRSxlQUFlLEdBQUcsT0FBTyxDQUFDLE1BQU0sR0FBRyxTQUFTLENBQUMsQ0FBQztDQUNuRztBQUVELE1BQU0sTUFBTSxjQUFjLEdBQUcsbUJBQW1CLENBQUMifQ==
13
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90ZXN0L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDL0QsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUUxRSxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQzdFLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUMvQyxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUU1RCx1QkFBZSxtQkFBb0IsU0FBUSxVQUFVO0lBQ3BDLE1BQU0sRUFBRSxrQkFBa0IsR0FBRyxrQkFBa0IsQ0FBQztJQUNoRCxpQkFBaUIsRUFBRSxzQkFBc0IsQ0FBQztJQUMxQyxjQUFjLEVBQUUsY0FBYyxDQUFDO0NBQy9DO0FBRUQsTUFBTSxNQUFNLGNBQWMsR0FBRyxtQkFBbUIsQ0FBQyJ9
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/test/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,uBAAe,mBAAoB,SAAQ,UAAU;IACpC,MAAM,EAAE,kBAAkB,CAAC;IAC3B,SAAS,EAAE,mBAAmB,CAAC;IAE9C,SAAyB,qBAAqB,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;CACnG;AAED,MAAM,MAAM,cAAc,GAAG,mBAAmB,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/test/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D,uBAAe,mBAAoB,SAAQ,UAAU;IACpC,MAAM,EAAE,kBAAkB,GAAG,kBAAkB,CAAC;IAChD,iBAAiB,EAAE,sBAAsB,CAAC;IAC1C,cAAc,EAAE,cAAc,CAAC;CAC/C;AAED,MAAM,MAAM,cAAc,GAAG,mBAAmB,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/prover-node",
3
- "version": "0.0.1-commit.3469e52",
3
+ "version": "0.0.1-commit.350e0a4d",
4
4
  "type": "module",
5
5
  "exports": {
6
6
  ".": "./dest/index.js",
@@ -56,27 +56,28 @@
56
56
  ]
57
57
  },
58
58
  "dependencies": {
59
- "@aztec/archiver": "0.0.1-commit.3469e52",
60
- "@aztec/bb-prover": "0.0.1-commit.3469e52",
61
- "@aztec/blob-client": "0.0.1-commit.3469e52",
62
- "@aztec/blob-lib": "0.0.1-commit.3469e52",
63
- "@aztec/constants": "0.0.1-commit.3469e52",
64
- "@aztec/epoch-cache": "0.0.1-commit.3469e52",
65
- "@aztec/ethereum": "0.0.1-commit.3469e52",
66
- "@aztec/foundation": "0.0.1-commit.3469e52",
67
- "@aztec/kv-store": "0.0.1-commit.3469e52",
68
- "@aztec/l1-artifacts": "0.0.1-commit.3469e52",
69
- "@aztec/node-keystore": "0.0.1-commit.3469e52",
70
- "@aztec/node-lib": "0.0.1-commit.3469e52",
71
- "@aztec/noir-protocol-circuits-types": "0.0.1-commit.3469e52",
72
- "@aztec/p2p": "0.0.1-commit.3469e52",
73
- "@aztec/protocol-contracts": "0.0.1-commit.3469e52",
74
- "@aztec/prover-client": "0.0.1-commit.3469e52",
75
- "@aztec/sequencer-client": "0.0.1-commit.3469e52",
76
- "@aztec/simulator": "0.0.1-commit.3469e52",
77
- "@aztec/stdlib": "0.0.1-commit.3469e52",
78
- "@aztec/telemetry-client": "0.0.1-commit.3469e52",
79
- "@aztec/world-state": "0.0.1-commit.3469e52",
59
+ "@aztec/archiver": "0.0.1-commit.350e0a4d",
60
+ "@aztec/bb-prover": "0.0.1-commit.350e0a4d",
61
+ "@aztec/blob-client": "0.0.1-commit.350e0a4d",
62
+ "@aztec/blob-lib": "0.0.1-commit.350e0a4d",
63
+ "@aztec/constants": "0.0.1-commit.350e0a4d",
64
+ "@aztec/epoch-cache": "0.0.1-commit.350e0a4d",
65
+ "@aztec/ethereum": "0.0.1-commit.350e0a4d",
66
+ "@aztec/foundation": "0.0.1-commit.350e0a4d",
67
+ "@aztec/kv-store": "0.0.1-commit.350e0a4d",
68
+ "@aztec/l1-artifacts": "0.0.1-commit.350e0a4d",
69
+ "@aztec/native": "0.0.1-commit.350e0a4d",
70
+ "@aztec/node-keystore": "0.0.1-commit.350e0a4d",
71
+ "@aztec/node-lib": "0.0.1-commit.350e0a4d",
72
+ "@aztec/noir-protocol-circuits-types": "0.0.1-commit.350e0a4d",
73
+ "@aztec/p2p": "0.0.1-commit.350e0a4d",
74
+ "@aztec/protocol-contracts": "0.0.1-commit.350e0a4d",
75
+ "@aztec/prover-client": "0.0.1-commit.350e0a4d",
76
+ "@aztec/sequencer-client": "0.0.1-commit.350e0a4d",
77
+ "@aztec/simulator": "0.0.1-commit.350e0a4d",
78
+ "@aztec/stdlib": "0.0.1-commit.350e0a4d",
79
+ "@aztec/telemetry-client": "0.0.1-commit.350e0a4d",
80
+ "@aztec/world-state": "0.0.1-commit.350e0a4d",
80
81
  "source-map-support": "^0.5.21",
81
82
  "tslib": "^2.4.0",
82
83
  "viem": "npm:@aztec/viem@2.38.2"
@@ -30,7 +30,7 @@ export async function downloadEpochProvingJob(
30
30
 
31
31
  const dataUrls = makeSnapshotPaths(location);
32
32
  log.info(`Downloading state snapshot from ${location} to local data directory`, { metadata, dataUrls });
33
- await snapshotSync({ dataUrls }, log, { ...config, ...metadata, snapshotsUrl: location });
33
+ await snapshotSync({ dataUrls }, log, { ...config, ...metadata, fileStore });
34
34
 
35
35
  const dataPath = urlJoin(location, 'data.bin');
36
36
  const localPath = config.jobDataDownloadPath;