@aztec/prover-node 0.0.0-test.1 → 0.0.1-commit.017a351

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 (82) hide show
  1. package/dest/actions/download-epoch-proving-job.d.ts +18 -0
  2. package/dest/actions/download-epoch-proving-job.d.ts.map +1 -0
  3. package/dest/actions/download-epoch-proving-job.js +37 -0
  4. package/dest/actions/index.d.ts +3 -0
  5. package/dest/actions/index.d.ts.map +1 -0
  6. package/dest/actions/index.js +2 -0
  7. package/dest/actions/rerun-epoch-proving-job.d.ts +13 -0
  8. package/dest/actions/rerun-epoch-proving-job.d.ts.map +1 -0
  9. package/dest/actions/rerun-epoch-proving-job.js +120 -0
  10. package/dest/actions/upload-epoch-proof-failure.d.ts +15 -0
  11. package/dest/actions/upload-epoch-proof-failure.d.ts.map +1 -0
  12. package/dest/actions/upload-epoch-proof-failure.js +78 -0
  13. package/dest/bin/run-failed-epoch.d.ts +2 -0
  14. package/dest/bin/run-failed-epoch.d.ts.map +1 -0
  15. package/dest/bin/run-failed-epoch.js +68 -0
  16. package/dest/config.d.ts +17 -16
  17. package/dest/config.d.ts.map +1 -1
  18. package/dest/config.js +93 -28
  19. package/dest/factory.d.ts +26 -18
  20. package/dest/factory.d.ts.map +1 -1
  21. package/dest/factory.js +92 -43
  22. package/dest/index.d.ts +3 -2
  23. package/dest/index.d.ts.map +1 -1
  24. package/dest/index.js +2 -1
  25. package/dest/job/epoch-proving-job-data.d.ts +18 -0
  26. package/dest/job/epoch-proving-job-data.d.ts.map +1 -0
  27. package/dest/job/epoch-proving-job-data.js +59 -0
  28. package/dest/job/epoch-proving-job.d.ts +31 -18
  29. package/dest/job/epoch-proving-job.d.ts.map +1 -1
  30. package/dest/job/epoch-proving-job.js +756 -99
  31. package/dest/metrics.d.ts +50 -5
  32. package/dest/metrics.d.ts.map +1 -1
  33. package/dest/metrics.js +157 -72
  34. package/dest/monitors/epoch-monitor.d.ts +5 -2
  35. package/dest/monitors/epoch-monitor.d.ts.map +1 -1
  36. package/dest/monitors/epoch-monitor.js +24 -17
  37. package/dest/monitors/index.d.ts +1 -1
  38. package/dest/prover-node-publisher.d.ts +38 -19
  39. package/dest/prover-node-publisher.d.ts.map +1 -1
  40. package/dest/prover-node-publisher.js +288 -87
  41. package/dest/prover-node.d.ts +64 -49
  42. package/dest/prover-node.d.ts.map +1 -1
  43. package/dest/prover-node.js +650 -148
  44. package/dest/prover-publisher-factory.d.ts +25 -0
  45. package/dest/prover-publisher-factory.d.ts.map +1 -0
  46. package/dest/prover-publisher-factory.js +28 -0
  47. package/dest/test/index.d.ts +5 -3
  48. package/dest/test/index.d.ts.map +1 -1
  49. package/dest/test/index.js +1 -3
  50. package/package.json +40 -33
  51. package/src/actions/download-epoch-proving-job.ts +44 -0
  52. package/src/actions/index.ts +2 -0
  53. package/src/actions/rerun-epoch-proving-job.ts +74 -0
  54. package/src/actions/upload-epoch-proof-failure.ts +88 -0
  55. package/src/bin/run-failed-epoch.ts +79 -0
  56. package/src/config.ts +123 -45
  57. package/src/factory.ts +163 -67
  58. package/src/index.ts +2 -1
  59. package/src/job/epoch-proving-job-data.ts +82 -0
  60. package/src/job/epoch-proving-job.ts +364 -88
  61. package/src/metrics.ts +188 -70
  62. package/src/monitors/epoch-monitor.ts +23 -19
  63. package/src/prover-node-publisher.ts +368 -125
  64. package/src/prover-node.ts +292 -166
  65. package/src/prover-publisher-factory.ts +45 -0
  66. package/src/test/index.ts +7 -4
  67. package/dest/http.d.ts +0 -8
  68. package/dest/http.d.ts.map +0 -1
  69. package/dest/http.js +0 -9
  70. package/dest/prover-coordination/config.d.ts +0 -7
  71. package/dest/prover-coordination/config.d.ts.map +0 -1
  72. package/dest/prover-coordination/config.js +0 -11
  73. package/dest/prover-coordination/factory.d.ts +0 -22
  74. package/dest/prover-coordination/factory.d.ts.map +0 -1
  75. package/dest/prover-coordination/factory.js +0 -42
  76. package/dest/prover-coordination/index.d.ts +0 -3
  77. package/dest/prover-coordination/index.d.ts.map +0 -1
  78. package/dest/prover-coordination/index.js +0 -2
  79. package/src/http.ts +0 -13
  80. package/src/prover-coordination/config.ts +0 -17
  81. package/src/prover-coordination/factory.ts +0 -72
  82. package/src/prover-coordination/index.ts +0 -2
@@ -1,137 +1,598 @@
1
- function _ts_decorate(decorators, target, key, desc) {
2
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
- else for(var i = decorators.length - 1; i >= 0; i--)if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
- return c > 3 && r && Object.defineProperty(target, key, r), r;
1
+ function applyDecs2203RFactory() {
2
+ function createAddInitializerMethod(initializers, decoratorFinishedRef) {
3
+ return function addInitializer(initializer) {
4
+ assertNotFinished(decoratorFinishedRef, "addInitializer");
5
+ assertCallable(initializer, "An initializer");
6
+ initializers.push(initializer);
7
+ };
8
+ }
9
+ function memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value) {
10
+ var kindStr;
11
+ switch(kind){
12
+ case 1:
13
+ kindStr = "accessor";
14
+ break;
15
+ case 2:
16
+ kindStr = "method";
17
+ break;
18
+ case 3:
19
+ kindStr = "getter";
20
+ break;
21
+ case 4:
22
+ kindStr = "setter";
23
+ break;
24
+ default:
25
+ kindStr = "field";
26
+ }
27
+ var ctx = {
28
+ kind: kindStr,
29
+ name: isPrivate ? "#" + name : name,
30
+ static: isStatic,
31
+ private: isPrivate,
32
+ metadata: metadata
33
+ };
34
+ var decoratorFinishedRef = {
35
+ v: false
36
+ };
37
+ ctx.addInitializer = createAddInitializerMethod(initializers, decoratorFinishedRef);
38
+ var get, set;
39
+ if (kind === 0) {
40
+ if (isPrivate) {
41
+ get = desc.get;
42
+ set = desc.set;
43
+ } else {
44
+ get = function() {
45
+ return this[name];
46
+ };
47
+ set = function(v) {
48
+ this[name] = v;
49
+ };
50
+ }
51
+ } else if (kind === 2) {
52
+ get = function() {
53
+ return desc.value;
54
+ };
55
+ } else {
56
+ if (kind === 1 || kind === 3) {
57
+ get = function() {
58
+ return desc.get.call(this);
59
+ };
60
+ }
61
+ if (kind === 1 || kind === 4) {
62
+ set = function(v) {
63
+ desc.set.call(this, v);
64
+ };
65
+ }
66
+ }
67
+ ctx.access = get && set ? {
68
+ get: get,
69
+ set: set
70
+ } : get ? {
71
+ get: get
72
+ } : {
73
+ set: set
74
+ };
75
+ try {
76
+ return dec(value, ctx);
77
+ } finally{
78
+ decoratorFinishedRef.v = true;
79
+ }
80
+ }
81
+ function assertNotFinished(decoratorFinishedRef, fnName) {
82
+ if (decoratorFinishedRef.v) {
83
+ throw new Error("attempted to call " + fnName + " after decoration was finished");
84
+ }
85
+ }
86
+ function assertCallable(fn, hint) {
87
+ if (typeof fn !== "function") {
88
+ throw new TypeError(hint + " must be a function");
89
+ }
90
+ }
91
+ function assertValidReturnValue(kind, value) {
92
+ var type = typeof value;
93
+ if (kind === 1) {
94
+ if (type !== "object" || value === null) {
95
+ throw new TypeError("accessor decorators must return an object with get, set, or init properties or void 0");
96
+ }
97
+ if (value.get !== undefined) {
98
+ assertCallable(value.get, "accessor.get");
99
+ }
100
+ if (value.set !== undefined) {
101
+ assertCallable(value.set, "accessor.set");
102
+ }
103
+ if (value.init !== undefined) {
104
+ assertCallable(value.init, "accessor.init");
105
+ }
106
+ } else if (type !== "function") {
107
+ var hint;
108
+ if (kind === 0) {
109
+ hint = "field";
110
+ } else if (kind === 10) {
111
+ hint = "class";
112
+ } else {
113
+ hint = "method";
114
+ }
115
+ throw new TypeError(hint + " decorators must return a function or void 0");
116
+ }
117
+ }
118
+ function applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata) {
119
+ var decs = decInfo[0];
120
+ var desc, init, value;
121
+ if (isPrivate) {
122
+ if (kind === 0 || kind === 1) {
123
+ desc = {
124
+ get: decInfo[3],
125
+ set: decInfo[4]
126
+ };
127
+ } else if (kind === 3) {
128
+ desc = {
129
+ get: decInfo[3]
130
+ };
131
+ } else if (kind === 4) {
132
+ desc = {
133
+ set: decInfo[3]
134
+ };
135
+ } else {
136
+ desc = {
137
+ value: decInfo[3]
138
+ };
139
+ }
140
+ } else if (kind !== 0) {
141
+ desc = Object.getOwnPropertyDescriptor(base, name);
142
+ }
143
+ if (kind === 1) {
144
+ value = {
145
+ get: desc.get,
146
+ set: desc.set
147
+ };
148
+ } else if (kind === 2) {
149
+ value = desc.value;
150
+ } else if (kind === 3) {
151
+ value = desc.get;
152
+ } else if (kind === 4) {
153
+ value = desc.set;
154
+ }
155
+ var newValue, get, set;
156
+ if (typeof decs === "function") {
157
+ newValue = memberDec(decs, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
158
+ if (newValue !== void 0) {
159
+ assertValidReturnValue(kind, newValue);
160
+ if (kind === 0) {
161
+ init = newValue;
162
+ } else if (kind === 1) {
163
+ init = newValue.init;
164
+ get = newValue.get || value.get;
165
+ set = newValue.set || value.set;
166
+ value = {
167
+ get: get,
168
+ set: set
169
+ };
170
+ } else {
171
+ value = newValue;
172
+ }
173
+ }
174
+ } else {
175
+ for(var i = decs.length - 1; i >= 0; i--){
176
+ var dec = decs[i];
177
+ newValue = memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
178
+ if (newValue !== void 0) {
179
+ assertValidReturnValue(kind, newValue);
180
+ var newInit;
181
+ if (kind === 0) {
182
+ newInit = newValue;
183
+ } else if (kind === 1) {
184
+ newInit = newValue.init;
185
+ get = newValue.get || value.get;
186
+ set = newValue.set || value.set;
187
+ value = {
188
+ get: get,
189
+ set: set
190
+ };
191
+ } else {
192
+ value = newValue;
193
+ }
194
+ if (newInit !== void 0) {
195
+ if (init === void 0) {
196
+ init = newInit;
197
+ } else if (typeof init === "function") {
198
+ init = [
199
+ init,
200
+ newInit
201
+ ];
202
+ } else {
203
+ init.push(newInit);
204
+ }
205
+ }
206
+ }
207
+ }
208
+ }
209
+ if (kind === 0 || kind === 1) {
210
+ if (init === void 0) {
211
+ init = function(instance, init) {
212
+ return init;
213
+ };
214
+ } else if (typeof init !== "function") {
215
+ var ownInitializers = init;
216
+ init = function(instance, init) {
217
+ var value = init;
218
+ for(var i = 0; i < ownInitializers.length; i++){
219
+ value = ownInitializers[i].call(instance, value);
220
+ }
221
+ return value;
222
+ };
223
+ } else {
224
+ var originalInitializer = init;
225
+ init = function(instance, init) {
226
+ return originalInitializer.call(instance, init);
227
+ };
228
+ }
229
+ ret.push(init);
230
+ }
231
+ if (kind !== 0) {
232
+ if (kind === 1) {
233
+ desc.get = value.get;
234
+ desc.set = value.set;
235
+ } else if (kind === 2) {
236
+ desc.value = value;
237
+ } else if (kind === 3) {
238
+ desc.get = value;
239
+ } else if (kind === 4) {
240
+ desc.set = value;
241
+ }
242
+ if (isPrivate) {
243
+ if (kind === 1) {
244
+ ret.push(function(instance, args) {
245
+ return value.get.call(instance, args);
246
+ });
247
+ ret.push(function(instance, args) {
248
+ return value.set.call(instance, args);
249
+ });
250
+ } else if (kind === 2) {
251
+ ret.push(value);
252
+ } else {
253
+ ret.push(function(instance, args) {
254
+ return value.call(instance, args);
255
+ });
256
+ }
257
+ } else {
258
+ Object.defineProperty(base, name, desc);
259
+ }
260
+ }
261
+ }
262
+ function applyMemberDecs(Class, decInfos, metadata) {
263
+ var ret = [];
264
+ var protoInitializers;
265
+ var staticInitializers;
266
+ var existingProtoNonFields = new Map();
267
+ var existingStaticNonFields = new Map();
268
+ for(var i = 0; i < decInfos.length; i++){
269
+ var decInfo = decInfos[i];
270
+ if (!Array.isArray(decInfo)) continue;
271
+ var kind = decInfo[1];
272
+ var name = decInfo[2];
273
+ var isPrivate = decInfo.length > 3;
274
+ var isStatic = kind >= 5;
275
+ var base;
276
+ var initializers;
277
+ if (isStatic) {
278
+ base = Class;
279
+ kind = kind - 5;
280
+ staticInitializers = staticInitializers || [];
281
+ initializers = staticInitializers;
282
+ } else {
283
+ base = Class.prototype;
284
+ protoInitializers = protoInitializers || [];
285
+ initializers = protoInitializers;
286
+ }
287
+ if (kind !== 0 && !isPrivate) {
288
+ var existingNonFields = isStatic ? existingStaticNonFields : existingProtoNonFields;
289
+ var existingKind = existingNonFields.get(name) || 0;
290
+ if (existingKind === true || existingKind === 3 && kind !== 4 || existingKind === 4 && kind !== 3) {
291
+ throw new Error("Attempted to decorate a public method/accessor that has the same name as a previously decorated public method/accessor. This is not currently supported by the decorators plugin. Property name was: " + name);
292
+ } else if (!existingKind && kind > 2) {
293
+ existingNonFields.set(name, kind);
294
+ } else {
295
+ existingNonFields.set(name, true);
296
+ }
297
+ }
298
+ applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata);
299
+ }
300
+ pushInitializers(ret, protoInitializers);
301
+ pushInitializers(ret, staticInitializers);
302
+ return ret;
303
+ }
304
+ function pushInitializers(ret, initializers) {
305
+ if (initializers) {
306
+ ret.push(function(instance) {
307
+ for(var i = 0; i < initializers.length; i++){
308
+ initializers[i].call(instance);
309
+ }
310
+ return instance;
311
+ });
312
+ }
313
+ }
314
+ function applyClassDecs(targetClass, classDecs, metadata) {
315
+ if (classDecs.length > 0) {
316
+ var initializers = [];
317
+ var newClass = targetClass;
318
+ var name = targetClass.name;
319
+ for(var i = classDecs.length - 1; i >= 0; i--){
320
+ var decoratorFinishedRef = {
321
+ v: false
322
+ };
323
+ try {
324
+ var nextNewClass = classDecs[i](newClass, {
325
+ kind: "class",
326
+ name: name,
327
+ addInitializer: createAddInitializerMethod(initializers, decoratorFinishedRef),
328
+ metadata
329
+ });
330
+ } finally{
331
+ decoratorFinishedRef.v = true;
332
+ }
333
+ if (nextNewClass !== undefined) {
334
+ assertValidReturnValue(10, nextNewClass);
335
+ newClass = nextNewClass;
336
+ }
337
+ }
338
+ return [
339
+ defineMetadata(newClass, metadata),
340
+ function() {
341
+ for(var i = 0; i < initializers.length; i++){
342
+ initializers[i].call(newClass);
343
+ }
344
+ }
345
+ ];
346
+ }
347
+ }
348
+ function defineMetadata(Class, metadata) {
349
+ return Object.defineProperty(Class, Symbol.metadata || Symbol.for("Symbol.metadata"), {
350
+ configurable: true,
351
+ enumerable: true,
352
+ value: metadata
353
+ });
354
+ }
355
+ return function applyDecs2203R(targetClass, memberDecs, classDecs, parentClass) {
356
+ if (parentClass !== void 0) {
357
+ var parentMetadata = parentClass[Symbol.metadata || Symbol.for("Symbol.metadata")];
358
+ }
359
+ var metadata = Object.create(parentMetadata === void 0 ? null : parentMetadata);
360
+ var e = applyMemberDecs(targetClass, memberDecs, metadata);
361
+ if (!classDecs.length) defineMetadata(targetClass, metadata);
362
+ return {
363
+ e: e,
364
+ get c () {
365
+ return applyClassDecs(targetClass, classDecs, metadata);
366
+ }
367
+ };
368
+ };
369
+ }
370
+ function _apply_decs_2203_r(targetClass, memberDecs, classDecs, parentClass) {
371
+ return (_apply_decs_2203_r = applyDecs2203RFactory())(targetClass, memberDecs, classDecs, parentClass);
6
372
  }
7
- import { compact } from '@aztec/foundation/collection';
373
+ var _dec, _dec1, _initProto;
374
+ import { BlockNumber } from '@aztec/foundation/branded-types';
375
+ import { assertRequired, compact, pick, sum } from '@aztec/foundation/collection';
8
376
  import { memoize } from '@aztec/foundation/decorators';
9
377
  import { createLogger } from '@aztec/foundation/log';
10
- import { RunningPromise } from '@aztec/foundation/running-promise';
11
378
  import { DateProvider } from '@aztec/foundation/timer';
12
379
  import { PublicProcessorFactory } from '@aztec/simulator/server';
13
- import { getTimestampRangeForEpoch } from '@aztec/stdlib/epoch-helpers';
14
- import { EpochProvingJobTerminalState, tryStop } from '@aztec/stdlib/interfaces/server';
380
+ import { getProofSubmissionDeadlineTimestamp } from '@aztec/stdlib/epoch-helpers';
381
+ import { tryStop } from '@aztec/stdlib/interfaces/server';
15
382
  import { Attributes, getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
383
+ import { uploadEpochProofFailure } from './actions/upload-epoch-proof-failure.js';
16
384
  import { EpochProvingJob } from './job/epoch-proving-job.js';
17
- import { ProverNodeMetrics } from './metrics.js';
385
+ import { ProverNodeJobMetrics, ProverNodeRewardsMetrics } from './metrics.js';
386
+ _dec = trackSpan('ProverNode.createProvingJob', (epochNumber)=>({
387
+ [Attributes.EPOCH_NUMBER]: epochNumber
388
+ })), _dec1 = trackSpan('ProverNode.gatherEpochData', (epochNumber)=>({
389
+ [Attributes.EPOCH_NUMBER]: epochNumber
390
+ }));
18
391
  /**
19
- * An Aztec Prover Node is a standalone process that monitors the unfinalised chain on L1 for unproven blocks,
20
- * submits bids for proving them, and monitors if they are accepted. If so, the prover node fetches the txs
21
- * from a tx source in the p2p network or an external node, re-executes their public functions, creates a rollup
392
+ * An Aztec Prover Node is a standalone process that monitors the unfinalized chain on L1 for unproven epochs,
393
+ * fetches their txs from the p2p network or external nodes, re-executes their public functions, creates a rollup
22
394
  * proof for the epoch, and submits it to L1.
23
395
  */ export class ProverNode {
24
396
  prover;
25
- publisher;
397
+ publisherFactory;
26
398
  l2BlockSource;
27
399
  l1ToL2MessageSource;
28
400
  contractDataSource;
29
401
  worldState;
30
- coordination;
402
+ p2pClient;
31
403
  epochsMonitor;
404
+ rollupContract;
405
+ l1Metrics;
32
406
  telemetryClient;
33
- log;
407
+ delayer;
34
408
  dateProvider;
35
- latestEpochWeAreProving;
409
+ static{
410
+ ({ e: [_initProto] } = _apply_decs_2203_r(this, [
411
+ [
412
+ _dec,
413
+ 2,
414
+ "createProvingJob"
415
+ ],
416
+ [
417
+ memoize,
418
+ 2,
419
+ "getL1Constants"
420
+ ],
421
+ [
422
+ _dec1,
423
+ 2,
424
+ "gatherEpochData"
425
+ ]
426
+ ], []));
427
+ }
428
+ log;
36
429
  jobs;
37
- cachedEpochData;
38
- options;
39
- metrics;
40
- txFetcher;
41
- lastBlockNumber;
430
+ config;
431
+ jobMetrics;
432
+ rewardsMetrics;
433
+ startingProofEpochs;
42
434
  tracer;
43
- constructor(prover, publisher, l2BlockSource, l1ToL2MessageSource, contractDataSource, worldState, coordination, epochsMonitor, options = {}, telemetryClient = getTelemetryClient()){
435
+ publisher;
436
+ constructor(prover, publisherFactory, l2BlockSource, l1ToL2MessageSource, contractDataSource, worldState, p2pClient, epochsMonitor, rollupContract, l1Metrics, config = {}, telemetryClient = getTelemetryClient(), delayer, dateProvider = new DateProvider()){
44
437
  this.prover = prover;
45
- this.publisher = publisher;
438
+ this.publisherFactory = publisherFactory;
46
439
  this.l2BlockSource = l2BlockSource;
47
440
  this.l1ToL2MessageSource = l1ToL2MessageSource;
48
441
  this.contractDataSource = contractDataSource;
49
442
  this.worldState = worldState;
50
- this.coordination = coordination;
443
+ this.p2pClient = p2pClient;
51
444
  this.epochsMonitor = epochsMonitor;
445
+ this.rollupContract = rollupContract;
446
+ this.l1Metrics = l1Metrics;
52
447
  this.telemetryClient = telemetryClient;
53
- this.log = createLogger('prover-node');
54
- this.dateProvider = new DateProvider();
448
+ this.delayer = delayer;
449
+ this.dateProvider = dateProvider;
450
+ this.log = (_initProto(this), createLogger('prover-node'));
55
451
  this.jobs = new Map();
56
- this.cachedEpochData = undefined;
57
- this.options = {
58
- pollingIntervalMs: 1_000,
59
- maxPendingJobs: 100,
60
- maxParallelBlocksPerEpoch: 32,
61
- txGatheringTimeoutMs: 60_000,
452
+ this.startingProofEpochs = new Set();
453
+ this.config = {
454
+ proverNodePollingIntervalMs: 1_000,
455
+ proverNodeMaxPendingJobs: 100,
456
+ proverNodeMaxParallelBlocksPerEpoch: 0,
62
457
  txGatheringIntervalMs: 1_000,
63
- txGatheringMaxParallelRequests: 100,
64
- ...compact(options)
458
+ txGatheringBatchSize: 10,
459
+ txGatheringMaxParallelRequestsPerNode: 100,
460
+ txGatheringTimeoutMs: 120_000,
461
+ proverNodeFailedEpochStore: undefined,
462
+ proverNodeEpochProvingDelayMs: undefined,
463
+ ...compact(config)
65
464
  };
66
- this.metrics = new ProverNodeMetrics(telemetryClient, 'ProverNode');
465
+ this.validateConfig();
466
+ const meter = telemetryClient.getMeter('ProverNode');
67
467
  this.tracer = telemetryClient.getTracer('ProverNode');
68
- this.txFetcher = new RunningPromise(()=>this.checkForTxs(), this.log, this.options.txGatheringIntervalMs);
468
+ this.jobMetrics = new ProverNodeJobMetrics(meter, telemetryClient.getTracer('EpochProvingJob'));
469
+ this.rewardsMetrics = new ProverNodeRewardsMetrics(meter, this.prover.getProverId(), rollupContract);
69
470
  }
70
471
  getProverId() {
71
472
  return this.prover.getProverId();
72
473
  }
73
474
  getP2P() {
74
- const asP2PClient = this.coordination;
75
- if (typeof asP2PClient.isP2PClient === 'function' && asP2PClient.isP2PClient()) {
76
- return asP2PClient;
77
- }
78
- return undefined;
475
+ return this.p2pClient;
476
+ }
477
+ /** Returns the shared tx delayer for prover L1 txs, if enabled. Test-only. */ getDelayer() {
478
+ return this.delayer;
79
479
  }
80
480
  /**
81
481
  * Handles an epoch being completed by starting a proof for it if there are no active jobs for it.
82
482
  * @param epochNumber - The epoch number that was just completed.
483
+ * @returns false if there is an error, true otherwise
83
484
  */ async handleEpochReadyToProve(epochNumber) {
84
485
  try {
85
- this.log.debug('jobs', JSON.stringify(this.jobs, null, 2));
86
- const activeJobs = await this.getActiveJobsForEpoch(epochNumber);
87
- if (activeJobs.length > 0) {
88
- this.log.info(`Not starting proof for ${epochNumber} since there are active jobs`);
89
- return;
90
- }
91
- // TODO: we probably want to skip starting a proof if we are too far into the current epoch
92
- await this.startProof(epochNumber);
486
+ this.log.debug(`Running jobs as ${epochNumber} is ready to prove`, {
487
+ jobs: Array.from(this.jobs.values()).map((job)=>`${job.getEpochNumber()}:${job.getId()}`)
488
+ });
489
+ return await this.startProofIfNeeded(epochNumber);
93
490
  } catch (err) {
94
491
  if (err instanceof EmptyEpochError) {
95
492
  this.log.info(`Not starting proof for ${epochNumber} since no blocks were found`);
96
493
  } else {
97
494
  this.log.error(`Error handling epoch completed`, err);
98
495
  }
496
+ return false;
99
497
  }
100
498
  }
101
499
  /**
102
- * Starts the prover node so it periodically checks for unproven epochs in the unfinalised chain from L1 and
500
+ * Starts the prover node so it periodically checks for unproven epochs in the unfinalized chain from L1 and
103
501
  * starts proving jobs for them.
104
- */ start() {
105
- this.txFetcher.start();
502
+ */ async start() {
106
503
  this.epochsMonitor.start(this);
107
- this.log.info('Started ProverNode', this.options);
504
+ await this.publisherFactory.start();
505
+ this.publisher = await this.publisherFactory.create();
506
+ await this.rewardsMetrics.start();
507
+ this.l1Metrics.start();
508
+ this.log.info(`Started Prover Node with prover id ${this.prover.getProverId().toString()}`, this.config);
108
509
  }
109
510
  /**
110
511
  * Stops the prover node and all its dependencies.
512
+ * Resources not owned by this node (shared with the parent aztec-node) are skipped.
111
513
  */ async stop() {
112
514
  this.log.info('Stopping ProverNode');
113
- await this.txFetcher.stop();
114
515
  await this.epochsMonitor.stop();
115
- await this.prover.stop();
116
- await tryStop(this.l2BlockSource);
117
- this.publisher.interrupt();
516
+ this.publisher?.interrupt();
118
517
  await Promise.all(Array.from(this.jobs.values()).map((job)=>job.stop()));
119
- await this.worldState.stop();
120
- await tryStop(this.coordination);
518
+ await this.prover.stop();
519
+ await tryStop(this.publisherFactory);
520
+ this.rewardsMetrics.stop();
521
+ this.l1Metrics.stop();
121
522
  await this.telemetryClient.stop();
122
523
  this.log.info('Stopped ProverNode');
123
524
  }
124
- /**
125
- * Creates a proof for a block range. Returns once the proof has been submitted to L1.
126
- */ async prove(epochNumber) {
127
- const job = await this.createProvingJob(BigInt(epochNumber));
128
- return job.run();
525
+ /** Returns world state status. */ async getWorldStateSyncStatus() {
526
+ const { syncSummary } = await this.worldState.status();
527
+ return syncSummary;
528
+ }
529
+ /** Returns archiver status. */ getL2Tips() {
530
+ return this.l2BlockSource.getL2Tips();
129
531
  }
130
532
  /**
131
533
  * Starts a proving process and returns immediately.
132
534
  */ async startProof(epochNumber) {
133
- const job = await this.createProvingJob(BigInt(epochNumber));
134
- void job.run().catch((err)=>this.log.error(`Error proving epoch ${epochNumber}`, err));
535
+ await this.startProofIfNeeded(epochNumber, {
536
+ skipEpochCheck: true
537
+ });
538
+ }
539
+ async startProofIfNeeded(epochNumber, opts = {}) {
540
+ if (this.startingProofEpochs.has(epochNumber)) {
541
+ this.log.warn(`Not starting proof for ${epochNumber} since a proof is already being started for the epoch`, {
542
+ epochNumber
543
+ });
544
+ return false;
545
+ }
546
+ this.startingProofEpochs.add(epochNumber);
547
+ try {
548
+ const activeJobs = await this.activeJobsCoverEpoch(epochNumber);
549
+ if (activeJobs.length > 0) {
550
+ this.log.warn(`Not starting proof for ${epochNumber} since an active job already covers the epoch`, {
551
+ epochNumber,
552
+ activeJobs
553
+ });
554
+ return true;
555
+ }
556
+ await this.startProofInternal(epochNumber, opts);
557
+ return true;
558
+ } finally{
559
+ this.startingProofEpochs.delete(epochNumber);
560
+ }
561
+ }
562
+ async startProofInternal(epochNumber, opts = {}) {
563
+ const job = await this.createProvingJob(epochNumber, opts);
564
+ void this.runJob(job);
565
+ }
566
+ async runJob(job) {
567
+ const epochNumber = job.getEpochNumber();
568
+ const ctx = {
569
+ id: job.getId(),
570
+ epochNumber,
571
+ state: undefined
572
+ };
573
+ try {
574
+ await job.run();
575
+ const state = job.getState();
576
+ ctx.state = state;
577
+ if (state === 'reorg') {
578
+ this.log.warn(`Running new job for epoch ${epochNumber} due to reorg`, ctx);
579
+ await this.createProvingJob(epochNumber);
580
+ } else if (state === 'failed') {
581
+ this.log.error(`Job for ${epochNumber} exited with state ${state}`, ctx);
582
+ await this.tryUploadEpochFailure(job);
583
+ } else {
584
+ this.log.verbose(`Job for ${epochNumber} exited with state ${state}`, ctx);
585
+ }
586
+ } catch (err) {
587
+ this.log.error(`Error proving epoch ${epochNumber}`, err, ctx);
588
+ } finally{
589
+ this.jobs.delete(job.getId());
590
+ }
591
+ }
592
+ async tryUploadEpochFailure(job) {
593
+ if (this.config.proverNodeFailedEpochStore) {
594
+ return await uploadEpochProofFailure(this.config.proverNodeFailedEpochStore, job.getId(), job.getProvingData(), this.l2BlockSource, this.worldState, assertRequired(pick(this.config, 'l1ChainId', 'rollupVersion', 'dataDirectory')), this.log);
595
+ }
135
596
  }
136
597
  /**
137
598
  * Returns the prover instance.
@@ -141,115 +602,156 @@ import { ProverNodeMetrics } from './metrics.js';
141
602
  /**
142
603
  * Returns an array of jobs being processed.
143
604
  */ getJobs() {
144
- return Promise.resolve(Array.from(this.jobs.entries()).map(([uuid, job])=>({
605
+ return Promise.resolve(this.getJobsInternal());
606
+ }
607
+ getJobsInternal() {
608
+ return Array.from(this.jobs.entries()).map(([uuid, job])=>({
145
609
  uuid,
146
610
  status: job.getState(),
147
- epochNumber: Number(job.getEpochNumber())
148
- })));
611
+ epochNumber: job.getEpochNumber()
612
+ }));
149
613
  }
150
- async getActiveJobsForEpoch(epochBigInt) {
151
- const jobs = await this.getJobs();
152
- const epochNumber = Number(epochBigInt);
153
- return jobs.filter((job)=>job.epochNumber === epochNumber && !EpochProvingJobTerminalState.includes(job.status));
614
+ async activeJobsCoverEpoch(epochNumber) {
615
+ const checkpoints = await this.l2BlockSource.getCheckpointsData({
616
+ epoch: epochNumber
617
+ });
618
+ if (checkpoints.length === 0) {
619
+ return [];
620
+ }
621
+ const firstCheckpoint = checkpoints.at(0).checkpointNumber;
622
+ const latestCheckpoint = checkpoints.at(-1).checkpointNumber;
623
+ const jobs = [];
624
+ for (const job of this.jobs.values()){
625
+ if (job.getEpochNumber() !== epochNumber) {
626
+ continue;
627
+ }
628
+ const jobCheckpoints = job.getProvingData().checkpoints;
629
+ const checkpointOverlap = jobCheckpoints.at(0).number <= firstCheckpoint && jobCheckpoints.at(-1).number >= latestCheckpoint;
630
+ if (checkpointOverlap && ![
631
+ 'failed',
632
+ 'stopped',
633
+ 'timed-out'
634
+ ].includes(job.getState())) {
635
+ jobs.push(job.getId());
636
+ }
637
+ }
638
+ return jobs;
154
639
  }
155
640
  checkMaximumPendingJobs() {
156
- const { maxPendingJobs } = this.options;
157
- return maxPendingJobs === 0 || this.jobs.size < maxPendingJobs;
158
- }
159
- async createProvingJob(epochNumber) {
160
- if (!this.checkMaximumPendingJobs()) {
161
- throw new Error(`Maximum pending proving jobs ${this.options.maxPendingJobs} reached. Cannot create new job.`);
641
+ const { proverNodeMaxPendingJobs: maxPendingJobs } = this.config;
642
+ if (maxPendingJobs > 0 && this.jobs.size >= maxPendingJobs) {
643
+ throw new Error(`Maximum pending proving jobs ${maxPendingJobs} reached. Cannot create new job.`);
162
644
  }
163
- // Gather blocks for this epoch
164
- const cachedEpochData = this.cachedEpochData?.epochNumber === epochNumber ? this.cachedEpochData : undefined;
165
- const { blocks, txs } = cachedEpochData ?? await this.gatherEpochData(epochNumber);
166
- const fromBlock = blocks[0].number;
167
- const toBlock = blocks.at(-1).number;
645
+ }
646
+ async createProvingJob(epochNumber, opts = {}) {
647
+ this.checkMaximumPendingJobs();
648
+ this.publisher = await this.publisherFactory.create();
649
+ // Gather all data for this epoch
650
+ const epochData = await this.gatherEpochData(epochNumber);
651
+ const fromCheckpoint = epochData.checkpoints[0].number;
652
+ const toCheckpoint = epochData.checkpoints.at(-1).number;
653
+ const fromBlock = epochData.checkpoints[0].blocks[0].number;
654
+ const lastBlock = epochData.checkpoints.at(-1).blocks.at(-1);
655
+ const toBlock = lastBlock.number;
656
+ this.log.verbose(`Creating proving job for epoch ${epochNumber} for checkpoint range ${fromCheckpoint} to ${toCheckpoint} and block range ${fromBlock} to ${toBlock}`);
168
657
  // Fast forward world state to right before the target block and get a fork
169
- this.log.verbose(`Creating proving job for epoch ${epochNumber} for block range ${fromBlock} to ${toBlock}`);
170
- await this.worldState.syncImmediate(toBlock);
171
- // Create a processor using the forked world state
172
- const publicProcessorFactory = new PublicProcessorFactory(this.contractDataSource, this.dateProvider, this.telemetryClient);
173
- const cleanUp = ()=>{
174
- this.jobs.delete(job.getId());
175
- return Promise.resolve();
176
- };
177
- const [_, endTimestamp] = getTimestampRangeForEpoch(epochNumber + 1n, await this.getL1Constants());
178
- const deadline = new Date(Number(endTimestamp) * 1000);
179
- const job = this.doCreateEpochProvingJob(epochNumber, deadline, blocks, txs, publicProcessorFactory, cleanUp);
658
+ const lastBlockHash = await lastBlock.header.hash();
659
+ await this.worldState.syncImmediate(toBlock, lastBlockHash);
660
+ // Create a processor factory
661
+ const publicProcessorFactory = new PublicProcessorFactory(this.contractDataSource, this.dateProvider, this.telemetryClient, this.log.getBindings());
662
+ // Set deadline for this job to run. It will abort if it takes too long.
663
+ const deadlineTs = getProofSubmissionDeadlineTimestamp(epochNumber, await this.getL1Constants());
664
+ const deadline = new Date(Number(deadlineTs) * 1000);
665
+ const job = this.doCreateEpochProvingJob(epochData, deadline, publicProcessorFactory, this.publisher, opts);
180
666
  this.jobs.set(job.getId(), job);
181
667
  return job;
182
668
  }
183
669
  getL1Constants() {
184
670
  return this.l2BlockSource.getL1Constants();
185
671
  }
186
- /** Monitors for new blocks and requests their txs from the p2p layer to ensure they are available for proving. */ async checkForTxs() {
187
- const blockNumber = await this.l2BlockSource.getBlockNumber();
188
- if (this.lastBlockNumber === undefined || blockNumber > this.lastBlockNumber) {
189
- const block = await this.l2BlockSource.getBlock(blockNumber);
190
- if (!block) {
191
- return;
192
- }
193
- const txHashes = block.body.txEffects.map((tx)=>tx.txHash);
194
- this.log.verbose(`Fetching ${txHashes.length} tx hashes for block number ${blockNumber} from coordination`);
195
- await this.coordination.getTxsByHash(txHashes); // This stores the txs in the tx pool, no need to persist them here
196
- this.lastBlockNumber = blockNumber;
197
- }
198
- }
199
672
  async gatherEpochData(epochNumber) {
200
- // Gather blocks for this epoch and their txs
201
- const blocks = await this.gatherBlocks(epochNumber);
202
- const txs = await this.gatherTxs(epochNumber, blocks);
203
- return {
204
- blocks,
205
- txs
206
- };
207
- }
208
- async gatherBlocks(epochNumber) {
209
- const blocks = await this.l2BlockSource.getBlocksForEpoch(epochNumber);
210
- if (blocks.length === 0) {
673
+ const publishedCheckpoints = await this.l2BlockSource.getCheckpoints({
674
+ epoch: epochNumber
675
+ });
676
+ if (publishedCheckpoints.length === 0) {
211
677
  throw new EmptyEpochError(epochNumber);
212
678
  }
213
- return blocks;
679
+ const checkpoints = publishedCheckpoints.map((p)=>p.checkpoint);
680
+ const attestations = publishedCheckpoints.at(-1)?.attestations ?? [];
681
+ const txArray = await this.gatherTxs(epochNumber, checkpoints);
682
+ const txs = new Map(txArray.map((tx)=>[
683
+ tx.getTxHash().toString(),
684
+ tx
685
+ ]));
686
+ const l1ToL2Messages = await this.gatherMessages(epochNumber, checkpoints);
687
+ const [firstBlock] = checkpoints[0].blocks;
688
+ const previousBlockHeader = await this.gatherPreviousBlockHeader(epochNumber, firstBlock.number - 1);
689
+ return {
690
+ checkpoints,
691
+ txs,
692
+ l1ToL2Messages,
693
+ epochNumber,
694
+ previousBlockHeader,
695
+ attestations
696
+ };
214
697
  }
215
- async gatherTxs(epochNumber, blocks) {
216
- const txsToFind = blocks.flatMap((block)=>block.body.txEffects.map((tx)=>tx.txHash));
217
- const txs = await this.coordination.getTxsByHash(txsToFind);
218
- if (txs.length === txsToFind.length) {
698
+ async gatherTxs(epochNumber, checkpoints) {
699
+ const deadline = new Date(this.dateProvider.now() + this.config.txGatheringTimeoutMs);
700
+ const txProvider = this.p2pClient.getTxProvider();
701
+ const blocks = checkpoints.flatMap((checkpoint)=>checkpoint.blocks);
702
+ const txsByBlock = await Promise.all(blocks.map((block)=>txProvider.getTxsForBlock(block, {
703
+ deadline
704
+ })));
705
+ const txs = txsByBlock.map(({ txs })=>txs).flat();
706
+ const missingTxs = txsByBlock.map(({ missingTxs })=>missingTxs).flat();
707
+ if (missingTxs.length === 0) {
219
708
  this.log.verbose(`Gathered all ${txs.length} txs for epoch ${epochNumber}`, {
220
709
  epochNumber
221
710
  });
222
711
  return txs;
223
712
  }
224
- const txHashesFound = await Promise.all(txs.map((tx)=>tx.getTxHash()));
225
- const missingTxHashes = txsToFind.filter((txHashToFind)=>!txHashesFound.some((txHashFound)=>txHashToFind.equals(txHashFound))).join(', ');
226
- throw new Error(`Txs not found for epoch ${epochNumber}: ${missingTxHashes}`);
713
+ throw new Error(`Txs not found for epoch ${epochNumber}: ${missingTxs.map((hash)=>hash.toString()).join(', ')}`);
714
+ }
715
+ async gatherMessages(epochNumber, checkpoints) {
716
+ const messages = await Promise.all(checkpoints.map((c)=>this.l1ToL2MessageSource.getL1ToL2Messages(c.number)));
717
+ const messageCount = sum(messages.map((m)=>m.length));
718
+ this.log.verbose(`Gathered all ${messageCount} messages for epoch ${epochNumber}`, {
719
+ epochNumber
720
+ });
721
+ const messagesByCheckpoint = {};
722
+ for(let i = 0; i < checkpoints.length; i++){
723
+ messagesByCheckpoint[checkpoints[i].number] = messages[i];
724
+ }
725
+ return messagesByCheckpoint;
227
726
  }
228
- /** Extracted for testing purposes. */ doCreateEpochProvingJob(epochNumber, deadline, blocks, txs, publicProcessorFactory, cleanUp) {
229
- return new EpochProvingJob(this.worldState, epochNumber, blocks, txs, this.prover.createEpochProver(), publicProcessorFactory, this.publisher, this.l2BlockSource, this.l1ToL2MessageSource, this.metrics, deadline, {
230
- parallelBlockLimit: this.options.maxParallelBlocksPerEpoch
231
- }, cleanUp);
727
+ async gatherPreviousBlockHeader(epochNumber, previousBlockNumber) {
728
+ const data = await this.l2BlockSource.getBlockData({
729
+ number: BlockNumber(previousBlockNumber)
730
+ });
731
+ if (!data?.header) {
732
+ throw new Error(`Previous block header ${previousBlockNumber} not found for proving epoch ${epochNumber}`);
733
+ }
734
+ this.log.verbose(`Gathered previous block header ${data.header.getBlockNumber()} for epoch ${epochNumber}`);
735
+ return data.header;
736
+ }
737
+ /** Extracted for testing purposes. */ doCreateEpochProvingJob(data, deadline, publicProcessorFactory, publisher, opts = {}) {
738
+ const { proverNodeMaxParallelBlocksPerEpoch: parallelBlockLimit, proverNodeDisableProofPublish } = this.config;
739
+ return new EpochProvingJob(data, this.worldState, this.prover.createEpochProver(), publicProcessorFactory, publisher, this.l2BlockSource, this.jobMetrics, deadline, {
740
+ parallelBlockLimit,
741
+ skipSubmitProof: proverNodeDisableProofPublish,
742
+ ...opts
743
+ }, this.log.getBindings());
232
744
  }
233
745
  /** Extracted for testing purposes. */ async triggerMonitors() {
234
746
  await this.epochsMonitor.work();
235
747
  }
748
+ validateConfig() {
749
+ if (this.config.proverNodeFailedEpochStore && (!this.config.dataDirectory || !this.config.l1ChainId || this.config.rollupVersion === undefined)) {
750
+ this.log.warn(`Invalid prover-node config (missing dataDirectory, l1ChainId, or rollupVersion)`, pick(this.config, 'proverNodeFailedEpochStore', 'dataDirectory', 'l1ChainId', 'rollupVersion'));
751
+ throw new Error('All of dataDirectory, l1ChainId, and rollupVersion are required if proverNodeFailedEpochStore is set.');
752
+ }
753
+ }
236
754
  }
237
- _ts_decorate([
238
- trackSpan('ProverNode.createProvingJob', (epochNumber)=>({
239
- [Attributes.EPOCH_NUMBER]: Number(epochNumber)
240
- }))
241
- ], ProverNode.prototype, "createProvingJob", null);
242
- _ts_decorate([
243
- memoize
244
- ], ProverNode.prototype, "getL1Constants", null);
245
- _ts_decorate([
246
- trackSpan('ProverNode.checkForTxs')
247
- ], ProverNode.prototype, "checkForTxs", null);
248
- _ts_decorate([
249
- trackSpan('ProverNode.gatherEpochData', (epochNumber)=>({
250
- [Attributes.EPOCH_NUMBER]: Number(epochNumber)
251
- }))
252
- ], ProverNode.prototype, "gatherEpochData", null);
253
755
  class EmptyEpochError extends Error {
254
756
  constructor(epochNumber){
255
757
  super(`No blocks found for epoch ${epochNumber}`);