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

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 (81) 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 +11 -0
  8. package/dest/actions/rerun-epoch-proving-job.d.ts.map +1 -0
  9. package/dest/actions/rerun-epoch-proving-job.js +40 -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 +67 -0
  16. package/dest/config.d.ts +12 -9
  17. package/dest/config.d.ts.map +1 -1
  18. package/dest/config.js +81 -14
  19. package/dest/factory.d.ts +12 -8
  20. package/dest/factory.d.ts.map +1 -1
  21. package/dest/factory.js +95 -31
  22. package/dest/index.d.ts +1 -1
  23. package/dest/index.d.ts.map +1 -1
  24. package/dest/index.js +1 -1
  25. package/dest/job/epoch-proving-job-data.d.ts +16 -0
  26. package/dest/job/epoch-proving-job-data.d.ts.map +1 -0
  27. package/dest/job/epoch-proving-job-data.js +52 -0
  28. package/dest/job/epoch-proving-job.d.ts +30 -15
  29. package/dest/job/epoch-proving-job.d.ts.map +1 -1
  30. package/dest/job/epoch-proving-job.js +149 -50
  31. package/dest/metrics.d.ts +28 -4
  32. package/dest/metrics.d.ts.map +1 -1
  33. package/dest/metrics.js +141 -35
  34. package/dest/monitors/epoch-monitor.d.ts +3 -1
  35. package/dest/monitors/epoch-monitor.d.ts.map +1 -1
  36. package/dest/monitors/epoch-monitor.js +15 -2
  37. package/dest/prover-node-publisher.d.ts +7 -10
  38. package/dest/prover-node-publisher.d.ts.map +1 -1
  39. package/dest/prover-node-publisher.js +59 -60
  40. package/dest/prover-node.d.ts +43 -39
  41. package/dest/prover-node.d.ts.map +1 -1
  42. package/dest/prover-node.js +171 -100
  43. package/dest/prover-publisher-factory.d.ts +21 -0
  44. package/dest/prover-publisher-factory.d.ts.map +1 -0
  45. package/dest/prover-publisher-factory.js +26 -0
  46. package/dest/test/index.d.ts +4 -2
  47. package/dest/test/index.d.ts.map +1 -1
  48. package/dest/test/index.js +1 -3
  49. package/package.json +36 -31
  50. package/src/actions/download-epoch-proving-job.ts +44 -0
  51. package/src/actions/index.ts +2 -0
  52. package/src/actions/rerun-epoch-proving-job.ts +61 -0
  53. package/src/actions/upload-epoch-proof-failure.ts +88 -0
  54. package/src/bin/run-failed-epoch.ts +77 -0
  55. package/src/config.ts +108 -24
  56. package/src/factory.ts +161 -43
  57. package/src/index.ts +1 -1
  58. package/src/job/epoch-proving-job-data.ts +76 -0
  59. package/src/job/epoch-proving-job.ts +215 -50
  60. package/src/metrics.ts +135 -37
  61. package/src/monitors/epoch-monitor.ts +16 -5
  62. package/src/prover-node-publisher.ts +93 -86
  63. package/src/prover-node.ts +203 -126
  64. package/src/prover-publisher-factory.ts +37 -0
  65. package/src/test/index.ts +7 -4
  66. package/dest/http.d.ts +0 -8
  67. package/dest/http.d.ts.map +0 -1
  68. package/dest/http.js +0 -9
  69. package/dest/prover-coordination/config.d.ts +0 -7
  70. package/dest/prover-coordination/config.d.ts.map +0 -1
  71. package/dest/prover-coordination/config.js +0 -11
  72. package/dest/prover-coordination/factory.d.ts +0 -22
  73. package/dest/prover-coordination/factory.d.ts.map +0 -1
  74. package/dest/prover-coordination/factory.js +0 -42
  75. package/dest/prover-coordination/index.d.ts +0 -3
  76. package/dest/prover-coordination/index.d.ts.map +0 -1
  77. package/dest/prover-coordination/index.js +0 -2
  78. package/src/http.ts +0 -13
  79. package/src/prover-coordination/config.ts +0 -17
  80. package/src/prover-coordination/factory.ts +0 -72
  81. package/src/prover-coordination/index.ts +0 -2
@@ -2,7 +2,7 @@ import type { L2BlockSource } from '@aztec/stdlib/block';
2
2
  import { type L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
3
3
  import { type TelemetryClient, type Traceable, type Tracer } from '@aztec/telemetry-client';
4
4
  export interface EpochMonitorHandler {
5
- handleEpochReadyToProve(epochNumber: bigint): Promise<void>;
5
+ handleEpochReadyToProve(epochNumber: bigint): Promise<boolean>;
6
6
  }
7
7
  /**
8
8
  * Fires an event when a new epoch ready to prove is detected.
@@ -26,9 +26,11 @@ export declare class EpochMonitor implements Traceable {
26
26
  private latestEpochNumber;
27
27
  constructor(l2BlockSource: L2BlockSource, l1Constants: Pick<L1RollupConstants, 'epochDuration'>, options: {
28
28
  pollingIntervalMs: number;
29
+ provingDelayMs?: number;
29
30
  }, telemetry?: TelemetryClient);
30
31
  static create(l2BlockSource: L2BlockSource, options: {
31
32
  pollingIntervalMs: number;
33
+ provingDelayMs?: number;
32
34
  }, telemetry?: TelemetryClient): Promise<EpochMonitor>;
33
35
  start(handler: EpochMonitorHandler): void;
34
36
  /** Exposed for testing */
@@ -1 +1 @@
1
- {"version":3,"file":"epoch-monitor.d.ts","sourceRoot":"","sources":["../../src/monitors/epoch-monitor.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,KAAK,iBAAiB,EAAkB,MAAM,6BAA6B,CAAC;AACrF,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,SAAS,EACd,KAAK,MAAM,EAGZ,MAAM,yBAAyB,CAAC;AAEjC,MAAM,WAAW,mBAAmB;IAClC,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC7D;AAED;;;;;;;;;;GAUG;AACH,qBAAa,YAAa,YAAW,SAAS;IAS1C,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,OAAO;IAVjB,OAAO,CAAC,cAAc,CAAiB;IACvC,OAAO,CAAC,GAAG,CAA6C;IACxD,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,OAAO,CAAC,OAAO,CAAkC;IACjD,OAAO,CAAC,iBAAiB,CAAqB;gBAG3B,aAAa,EAAE,aAAa,EAC5B,WAAW,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAC9D,OAAO,EAAE;QAAE,iBAAiB,EAAE,MAAM,CAAA;KAAE,EAC9C,SAAS,GAAE,eAAsC;WAM/B,MAAM,CACxB,aAAa,EAAE,aAAa,EAC5B,OAAO,EAAE;QAAE,iBAAiB,EAAE,MAAM,CAAA;KAAE,EACtC,SAAS,GAAE,eAAsC,GAChD,OAAO,CAAC,YAAY,CAAC;IAKjB,KAAK,CAAC,OAAO,EAAE,mBAAmB;IAMzC,0BAA0B;IACnB,UAAU,CAAC,OAAO,EAAE,mBAAmB;IAIjC,IAAI;IAMJ,IAAI;YAsBH,qBAAqB;CAYpC"}
1
+ {"version":3,"file":"epoch-monitor.d.ts","sourceRoot":"","sources":["../../src/monitors/epoch-monitor.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,KAAK,iBAAiB,EAAkB,MAAM,6BAA6B,CAAC;AACrF,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,SAAS,EACd,KAAK,MAAM,EAGZ,MAAM,yBAAyB,CAAC;AAEjC,MAAM,WAAW,mBAAmB;IAClC,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CAChE;AAED;;;;;;;;;;GAUG;AACH,qBAAa,YAAa,YAAW,SAAS;IAS1C,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,OAAO;IAVjB,OAAO,CAAC,cAAc,CAAiB;IACvC,OAAO,CAAC,GAAG,CAA6C;IACxD,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,OAAO,CAAC,OAAO,CAAkC;IACjD,OAAO,CAAC,iBAAiB,CAAqB;gBAG3B,aAAa,EAAE,aAAa,EAC5B,WAAW,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAC9D,OAAO,EAAE;QAAE,iBAAiB,EAAE,MAAM,CAAC;QAAC,cAAc,CAAC,EAAE,MAAM,CAAA;KAAE,EACvE,SAAS,GAAE,eAAsC;WAS/B,MAAM,CACxB,aAAa,EAAE,aAAa,EAC5B,OAAO,EAAE;QAAE,iBAAiB,EAAE,MAAM,CAAC;QAAC,cAAc,CAAC,EAAE,MAAM,CAAA;KAAE,EAC/D,SAAS,GAAE,eAAsC,GAChD,OAAO,CAAC,YAAY,CAAC;IAKjB,KAAK,CAAC,OAAO,EAAE,mBAAmB;IAMzC,0BAA0B;IACnB,UAAU,CAAC,OAAO,EAAE,mBAAmB;IAIjC,IAAI;IAMJ,IAAI;YA6BH,qBAAqB;CAYpC"}
@@ -6,6 +6,7 @@ function _ts_decorate(decorators, target, key, desc) {
6
6
  }
7
7
  import { createLogger } from '@aztec/foundation/log';
8
8
  import { RunningPromise } from '@aztec/foundation/running-promise';
9
+ import { sleep } from '@aztec/foundation/sleep';
9
10
  import { getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
10
11
  import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
11
12
  /**
@@ -34,6 +35,9 @@ import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
34
35
  this.log = createLogger('prover-node:epoch-monitor');
35
36
  this.tracer = telemetry.getTracer('EpochMonitor');
36
37
  this.runningPromise = new RunningPromise(this.work.bind(this), this.log, this.options.pollingIntervalMs);
38
+ if (this.options.provingDelayMs) {
39
+ this.log.warn(`Prover node epoch monitor running with delay of ${this.options.provingDelayMs}ms`);
40
+ }
37
41
  }
38
42
  static async create(l2BlockSource, options, telemetry = getTelemetryClient()) {
39
43
  const l1Constants = await l2BlockSource.getL1Constants();
@@ -53,6 +57,10 @@ import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
53
57
  }
54
58
  async work() {
55
59
  const { epochToProve, blockNumber, slotNumber } = await this.getEpochNumberToProve();
60
+ this.log.debug(`Epoch to prove: ${epochToProve}`, {
61
+ blockNumber,
62
+ slotNumber
63
+ });
56
64
  if (epochToProve === undefined) {
57
65
  this.log.trace(`Next block to prove ${blockNumber} not yet mined`, {
58
66
  blockNumber
@@ -76,9 +84,14 @@ import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
76
84
  });
77
85
  return;
78
86
  }
87
+ if (this.options.provingDelayMs) {
88
+ this.log.debug(`Waiting ${this.options.provingDelayMs}ms before proving epoch ${epochToProve}`);
89
+ await sleep(this.options.provingDelayMs);
90
+ }
79
91
  this.log.debug(`Epoch ${epochToProve} is ready to be proven`);
80
- await this.handler?.handleEpochReadyToProve(epochToProve);
81
- this.latestEpochNumber = epochToProve;
92
+ if (await this.handler?.handleEpochReadyToProve(epochToProve)) {
93
+ this.latestEpochNumber = epochToProve;
94
+ }
82
95
  }
83
96
  async getEpochNumberToProve() {
84
97
  const lastBlockProven = await this.l2BlockSource.getProvenBlockNumber();
@@ -1,22 +1,18 @@
1
+ import type { BatchedBlob } from '@aztec/blob-lib';
1
2
  import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
2
- import type { L1TxUtils, RollupContract } from '@aztec/ethereum';
3
+ import type { L1TxUtils, RollupContract, ViemCommitteeAttestation } from '@aztec/ethereum';
3
4
  import { EthAddress } from '@aztec/foundation/eth-address';
4
5
  import { Fr } from '@aztec/foundation/fields';
5
- import { type Tuple } from '@aztec/foundation/serialize';
6
+ import type { Tuple } from '@aztec/foundation/serialize';
6
7
  import type { PublisherConfig, TxSenderConfig } from '@aztec/sequencer-client';
7
8
  import type { Proof } from '@aztec/stdlib/proofs';
8
9
  import type { FeeRecipient, RootRollupPublicInputs } from '@aztec/stdlib/rollup';
9
10
  import { type TelemetryClient } from '@aztec/telemetry-client';
10
- /**
11
- * Stats for a sent transaction.
12
- */
13
11
  /** Arguments to the submitEpochProof method of the rollup contract */
14
12
  export type L1SubmitEpochProofArgs = {
15
13
  epochSize: number;
16
14
  previousArchive: Fr;
17
15
  endArchive: Fr;
18
- previousBlockHash: Fr;
19
- endBlockHash: Fr;
20
16
  endTimestamp: Fr;
21
17
  outHash: Fr;
22
18
  proverId: Fr;
@@ -24,8 +20,6 @@ export type L1SubmitEpochProofArgs = {
24
20
  proof: Proof;
25
21
  };
26
22
  export declare class ProverNodePublisher {
27
- private interruptibleSleep;
28
- private sleepTimeMs;
29
23
  private interrupted;
30
24
  private metrics;
31
25
  protected log: import("@aztec/foundation/log").Logger;
@@ -36,6 +30,7 @@ export declare class ProverNodePublisher {
36
30
  l1TxUtils: L1TxUtils;
37
31
  telemetry?: TelemetryClient;
38
32
  });
33
+ getRollupContract(): RollupContract;
39
34
  /**
40
35
  * Calling `interrupt` will cause any in progress call to `publishRollup` to return `false` asap.
41
36
  * Be warned, the call may return false even if the tx subsequently gets successfully mined.
@@ -52,10 +47,12 @@ export declare class ProverNodePublisher {
52
47
  toBlock: number;
53
48
  publicInputs: RootRollupPublicInputs;
54
49
  proof: Proof;
50
+ batchedBlobInputs: BatchedBlob;
51
+ attestations: ViemCommitteeAttestation[];
55
52
  }): Promise<boolean>;
56
53
  private validateEpochProofSubmission;
57
54
  private sendSubmitEpochProofTx;
55
+ private getEpochProofPublicInputsArgs;
58
56
  private getSubmitEpochProofArgs;
59
- protected sleepOrInterrupted(): Promise<void>;
60
57
  }
61
58
  //# sourceMappingURL=prover-node-publisher.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"prover-node-publisher.d.ts","sourceRoot":"","sources":["../src/prover-node-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACvF,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAGjE,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAI5E,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAEjF,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAMnF;;GAEG;AACH,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,EAAE,CAAC;IACpB,UAAU,EAAE,EAAE,CAAC;IACf,iBAAiB,EAAE,EAAE,CAAC;IACtB,YAAY,EAAE,EAAE,CAAC;IACjB,YAAY,EAAE,EAAE,CAAC;IACjB,OAAO,EAAE,EAAE,CAAC;IACZ,QAAQ,EAAE,EAAE,CAAC;IACb,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,CAAC;IAC3D,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,kBAAkB,CAA4B;IACtD,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,OAAO,CAAoB;IAEnC,SAAS,CAAC,GAAG,yCAA+C;IAE5D,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC;IAEzC,SAAgB,SAAS,EAAE,SAAS,CAAC;gBAGnC,MAAM,EAAE,cAAc,GAAG,eAAe,EACxC,IAAI,EAAE;QACJ,cAAc,EAAE,cAAc,CAAC;QAC/B,SAAS,EAAE,SAAS,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC7B;IAYH;;;;;OAKG;IACI,SAAS;IAKhB,wDAAwD;IACjD,OAAO;IAIP,gBAAgB;IAIV,gBAAgB,CAAC,IAAI,EAAE;QAClC,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;KACd,GAAG,OAAO,CAAC,OAAO,CAAC;YAgDN,4BAA4B;YAyD5B,sBAAsB;IAoDpC,OAAO,CAAC,uBAAuB;cA+Bf,kBAAkB;CAGnC"}
1
+ {"version":3,"file":"prover-node-publisher.d.ts","sourceRoot":"","sources":["../src/prover-node-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAG3F,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAGzD,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAEjF,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAOnF,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,EAAE,CAAC;IACpB,UAAU,EAAE,EAAE,CAAC;IACf,YAAY,EAAE,EAAE,CAAC;IACjB,OAAO,EAAE,EAAE,CAAC;IACZ,QAAQ,EAAE,EAAE,CAAC;IACb,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,CAAC;IAC3D,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,OAAO,CAA6B;IAE5C,SAAS,CAAC,GAAG,yCAA+C;IAE5D,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC;IAEzC,SAAgB,SAAS,EAAE,SAAS,CAAC;gBAGnC,MAAM,EAAE,cAAc,GAAG,eAAe,EACxC,IAAI,EAAE;QACJ,cAAc,EAAE,cAAc,CAAC;QAC/B,SAAS,EAAE,SAAS,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC7B;IAUI,iBAAiB;IAIxB;;;;;OAKG;IACI,SAAS;IAKhB,wDAAwD;IACjD,OAAO;IAKP,gBAAgB;IAIV,gBAAgB,CAAC,IAAI,EAAE;QAClC,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;QAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;KAC1C,GAAG,OAAO,CAAC,OAAO,CAAC;YAkDN,4BAA4B;YA2D5B,sBAAsB;IAyCpC,OAAO,CAAC,6BAA6B;IAyBrC,OAAO,CAAC,uBAAuB;CAuBhC"}
@@ -1,31 +1,31 @@
1
- import { AGGREGATION_OBJECT_LENGTH, AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
1
+ import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
2
2
  import { makeTuple } from '@aztec/foundation/array';
3
- import { areArraysEqual, times } from '@aztec/foundation/collection';
3
+ import { areArraysEqual } from '@aztec/foundation/collection';
4
4
  import { EthAddress } from '@aztec/foundation/eth-address';
5
5
  import { Fr } from '@aztec/foundation/fields';
6
6
  import { createLogger } from '@aztec/foundation/log';
7
- import { serializeToBuffer } from '@aztec/foundation/serialize';
8
- import { InterruptibleSleep } from '@aztec/foundation/sleep';
9
7
  import { Timer } from '@aztec/foundation/timer';
10
8
  import { RollupAbi } from '@aztec/l1-artifacts';
9
+ import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
11
10
  import { getTelemetryClient } from '@aztec/telemetry-client';
11
+ import { inspect } from 'util';
12
12
  import { encodeFunctionData } from 'viem';
13
- import { ProverNodeMetrics } from './metrics.js';
13
+ import { ProverNodePublisherMetrics } from './metrics.js';
14
14
  export class ProverNodePublisher {
15
- interruptibleSleep = new InterruptibleSleep();
16
- sleepTimeMs;
17
15
  interrupted = false;
18
16
  metrics;
19
17
  log = createLogger('prover-node:l1-tx-publisher');
20
18
  rollupContract;
21
19
  l1TxUtils;
22
20
  constructor(config, deps){
23
- this.sleepTimeMs = config?.l1PublishRetryIntervalMS ?? 60_000;
24
21
  const telemetry = deps.telemetry ?? getTelemetryClient();
25
- this.metrics = new ProverNodeMetrics(telemetry, 'ProverNode');
22
+ this.metrics = new ProverNodePublisherMetrics(telemetry, 'ProverNode');
26
23
  this.rollupContract = deps.rollupContract;
27
24
  this.l1TxUtils = deps.l1TxUtils;
28
25
  }
26
+ getRollupContract() {
27
+ return this.rollupContract;
28
+ }
29
29
  /**
30
30
  * Calling `interrupt` will cause any in progress call to `publishRollup` to return `false` asap.
31
31
  * Be warned, the call may return false even if the tx subsequently gets successfully mined.
@@ -33,13 +33,14 @@ export class ProverNodePublisher {
33
33
  * A call to `restart` is required before you can continue publishing.
34
34
  */ interrupt() {
35
35
  this.interrupted = true;
36
- this.interruptibleSleep.interrupt();
36
+ this.l1TxUtils.interrupt();
37
37
  }
38
38
  /** Restarts the publisher after calling `interrupt`. */ restart() {
39
39
  this.interrupted = false;
40
+ this.l1TxUtils.restart();
40
41
  }
41
42
  getSenderAddress() {
42
- return EthAddress.fromString(this.l1TxUtils.getSenderAddress());
43
+ return this.l1TxUtils.getSenderAddress();
43
44
  }
44
45
  async submitEpochProof(args) {
45
46
  const { epochNumber, fromBlock, toBlock } = args;
@@ -57,12 +58,12 @@ export class ProverNodePublisher {
57
58
  return false;
58
59
  }
59
60
  try {
60
- this.metrics.recordSenderBalance(await this.l1TxUtils.getSenderBalance(), this.l1TxUtils.getSenderAddress());
61
+ this.metrics.recordSenderBalance(await this.l1TxUtils.getSenderBalance(), this.l1TxUtils.getSenderAddress().toString());
61
62
  } catch (err) {
62
63
  this.log.warn(`Failed to record the ETH balance of the prover node: ${err}`);
63
64
  }
64
65
  // Tx was mined successfully
65
- if (txReceipt.status) {
66
+ if (txReceipt.status === 'success') {
66
67
  const tx = await this.l1TxUtils.getTransactionStats(txReceipt.transactionHash);
67
68
  const stats = {
68
69
  gasPrice: txReceipt.effectiveGasPrice,
@@ -83,45 +84,42 @@ export class ProverNodePublisher {
83
84
  return true;
84
85
  }
85
86
  this.metrics.recordFailedTx();
86
- this.log.error(`Rollup.submitEpochProof tx status failed: ${txReceipt.transactionHash}`, ctx);
87
- await this.sleepOrInterrupted();
87
+ this.log.error(`Rollup.submitEpochProof tx status failed ${txReceipt.transactionHash}`, undefined, ctx);
88
88
  }
89
- this.log.verbose('L2 block data syncing interrupted while processing blocks.', ctx);
89
+ this.log.verbose('L2 block data syncing interrupted', ctx);
90
90
  return false;
91
91
  }
92
92
  async validateEpochProofSubmission(args) {
93
- const { fromBlock, toBlock, publicInputs, proof } = args;
93
+ const { fromBlock, toBlock, publicInputs, batchedBlobInputs } = args;
94
94
  // Check that the block numbers match the expected epoch to be proven
95
95
  const { pendingBlockNumber: pending, provenBlockNumber: proven } = await this.rollupContract.getTips();
96
- if (proven !== BigInt(fromBlock) - 1n) {
96
+ // Don't publish if proven is beyond our toBlock, pointless to do so
97
+ if (proven > BigInt(toBlock)) {
97
98
  throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as proven block is ${proven}`);
98
99
  }
100
+ // toBlock can't be greater than pending
99
101
  if (toBlock > pending) {
100
102
  throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as pending block is ${pending}`);
101
103
  }
102
- // Check the block hash and archive for the immediate block before the epoch
103
- const blockLog = await this.rollupContract.getBlock(proven);
104
- if (publicInputs.previousArchive.root.toString() !== blockLog.archive) {
105
- throw new Error(`Previous archive root mismatch: ${publicInputs.previousArchive.root.toString()} !== ${blockLog.archive}`);
106
- }
107
- // TODO: Remove zero check once we inject the proper zero blockhash
108
- if (blockLog.blockHash !== Fr.ZERO.toString() && publicInputs.previousBlockHash.toString() !== blockLog.blockHash) {
109
- throw new Error(`Previous block hash mismatch: ${publicInputs.previousBlockHash.toString()} !== ${blockLog.blockHash}`);
104
+ // Check the archive for the immediate block before the epoch
105
+ const blockLog = await this.rollupContract.getBlock(BigInt(fromBlock - 1));
106
+ if (publicInputs.previousArchiveRoot.toString() !== blockLog.archive) {
107
+ throw new Error(`Previous archive root mismatch: ${publicInputs.previousArchiveRoot.toString()} !== ${blockLog.archive}`);
110
108
  }
111
- // Check the block hash and archive for the last block in the epoch
109
+ // Check the archive for the last block in the epoch
112
110
  const endBlockLog = await this.rollupContract.getBlock(BigInt(toBlock));
113
- if (publicInputs.endArchive.root.toString() !== endBlockLog.archive) {
114
- throw new Error(`End archive root mismatch: ${publicInputs.endArchive.root.toString()} !== ${endBlockLog.archive}`);
111
+ if (publicInputs.endArchiveRoot.toString() !== endBlockLog.archive) {
112
+ throw new Error(`End archive root mismatch: ${publicInputs.endArchiveRoot.toString()} !== ${endBlockLog.archive}`);
115
113
  }
116
- if (publicInputs.endBlockHash.toString() !== endBlockLog.blockHash) {
117
- throw new Error(`End block hash mismatch: ${publicInputs.endBlockHash.toString()} !== ${endBlockLog.blockHash}`);
114
+ // Check the batched blob inputs from the root rollup against the batched blob computed in ts
115
+ const finalBlobAccumulator = batchedBlobInputs.toFinalBlobAccumulator();
116
+ if (!publicInputs.blobPublicInputs.equals(finalBlobAccumulator)) {
117
+ throw new Error(`Batched blob mismatch: ${inspect(publicInputs.blobPublicInputs)} !== ${inspect(finalBlobAccumulator)}`);
118
118
  }
119
119
  // Compare the public inputs computed by the contract with the ones injected
120
- const rollupPublicInputs = await this.rollupContract.getEpochProofPublicInputs(this.getSubmitEpochProofArgs(args));
121
- const aggregationObject = proof.isEmpty() ? times(AGGREGATION_OBJECT_LENGTH, Fr.zero) : proof.extractAggregationObject();
120
+ const rollupPublicInputs = await this.rollupContract.getEpochProofPublicInputs(this.getEpochProofPublicInputsArgs(args));
122
121
  const argsPublicInputs = [
123
- ...publicInputs.toFields(),
124
- ...aggregationObject
122
+ ...publicInputs.toFields()
125
123
  ];
126
124
  if (!areArraysEqual(rollupPublicInputs.map(Fr.fromHexString), argsPublicInputs, (a, b)=>a.equals(b))) {
127
125
  const fmt = (inputs)=>inputs.map((x)=>x.toString()).join(', ');
@@ -129,20 +127,14 @@ export class ProverNodePublisher {
129
127
  }
130
128
  }
131
129
  async sendSubmitEpochProofTx(args) {
132
- const proofHex = `0x${args.proof.withoutPublicInputs().toString('hex')}`;
133
- const argsArray = this.getSubmitEpochProofArgs(args);
134
130
  const txArgs = [
135
- {
136
- start: argsArray[0],
137
- end: argsArray[1],
138
- args: argsArray[2],
139
- fees: argsArray[3],
140
- blobPublicInputs: argsArray[4],
141
- aggregationObject: argsArray[5],
142
- proof: proofHex
143
- }
131
+ this.getSubmitEpochProofArgs(args)
144
132
  ];
145
- this.log.info(`SubmitEpochProof proofSize=${args.proof.withoutPublicInputs().length} bytes`);
133
+ this.log.info(`Submitting epoch proof to L1 rollup contract`, {
134
+ proofSize: args.proof.withoutPublicInputs().length,
135
+ fromBlock: args.fromBlock,
136
+ toBlock: args.toBlock
137
+ });
146
138
  const data = encodeFunctionData({
147
139
  abi: RollupAbi,
148
140
  functionName: 'submitEpochRootProof',
@@ -168,25 +160,32 @@ export class ProverNodePublisher {
168
160
  return undefined;
169
161
  }
170
162
  }
171
- getSubmitEpochProofArgs(args) {
163
+ getEpochProofPublicInputsArgs(args) {
164
+ // Returns arguments for EpochProofLib.sol -> getEpochProofPublicInputs()
172
165
  return [
173
166
  BigInt(args.fromBlock),
174
167
  BigInt(args.toBlock),
175
168
  {
176
- previousArchive: args.publicInputs.previousArchive.root.toString(),
177
- endArchive: args.publicInputs.endArchive.root.toString(),
178
- previousBlockHash: args.publicInputs.previousBlockHash.toString(),
179
- endBlockHash: args.publicInputs.endBlockHash.toString(),
180
- endTimestamp: args.publicInputs.endTimestamp.toBigInt(),
181
- outHash: args.publicInputs.outHash.toString(),
182
- proverId: EthAddress.fromField(args.publicInputs.proverId).toString()
183
- },
169
+ previousArchive: args.publicInputs.previousArchiveRoot.toString(),
170
+ endArchive: args.publicInputs.endArchiveRoot.toString(),
171
+ proverId: EthAddress.fromField(args.publicInputs.constants.proverId).toString()
172
+ } /*_args*/ ,
184
173
  makeTuple(AZTEC_MAX_EPOCH_DURATION * 2, (i)=>i % 2 === 0 ? args.publicInputs.fees[i / 2].recipient.toField().toString() : args.publicInputs.fees[(i - 1) / 2].value.toString()),
185
- `0x${args.publicInputs.blobPublicInputs.filter((_, i)=>i < args.toBlock - args.fromBlock + 1).map((b)=>b.toString()).join(``)}`,
186
- `0x${serializeToBuffer(args.proof.extractAggregationObject()).toString('hex')}`
174
+ args.batchedBlobInputs.getEthBlobEvaluationInputs()
187
175
  ];
188
176
  }
189
- async sleepOrInterrupted() {
190
- await this.interruptibleSleep.sleep(this.sleepTimeMs);
177
+ getSubmitEpochProofArgs(args) {
178
+ // Returns arguments for EpochProofLib.sol -> submitEpochRootProof()
179
+ const proofHex = `0x${args.proof.withoutPublicInputs().toString('hex')}`;
180
+ const argsArray = this.getEpochProofPublicInputsArgs(args);
181
+ return {
182
+ start: argsArray[0],
183
+ end: argsArray[1],
184
+ args: argsArray[2],
185
+ fees: argsArray[3],
186
+ attestations: new CommitteeAttestationsAndSigners(args.attestations.map((a)=>CommitteeAttestation.fromViem(a))).getPackedAttestations(),
187
+ blobInputs: argsArray[4],
188
+ proof: proofHex
189
+ };
191
190
  }
192
191
  }
@@ -1,75 +1,75 @@
1
- import type { Maybe } from '@aztec/foundation/types';
2
- import type { P2P } from '@aztec/p2p';
1
+ import type { RollupContract } from '@aztec/ethereum';
2
+ import type { DataStoreConfig } from '@aztec/kv-store/config';
3
+ import type { P2PClient } from '@aztec/p2p';
3
4
  import { PublicProcessorFactory } from '@aztec/simulator/server';
4
- import type { L2Block, L2BlockSource } from '@aztec/stdlib/block';
5
+ import type { L2BlockSource } from '@aztec/stdlib/block';
6
+ import type { ChainConfig } from '@aztec/stdlib/config';
5
7
  import type { ContractDataSource } from '@aztec/stdlib/contract';
6
- import { type EpochProverManager, type ProverCoordination, type ProverNodeApi, type Service, type WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
8
+ import { type EpochProverManager, type ProverNodeApi, type Service, type WorldStateSyncStatus, type WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
7
9
  import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
8
10
  import type { P2PClientType } from '@aztec/stdlib/p2p';
9
- import type { Tx } from '@aztec/stdlib/tx';
10
- import { type TelemetryClient, type Traceable, type Tracer } from '@aztec/telemetry-client';
11
+ import { L1Metrics, type TelemetryClient, type Traceable, type Tracer } from '@aztec/telemetry-client';
12
+ import type { SpecificProverNodeConfig } from './config.js';
13
+ import type { EpochProvingJobData } from './job/epoch-proving-job-data.js';
11
14
  import { EpochProvingJob, type EpochProvingJobState } from './job/epoch-proving-job.js';
12
15
  import type { EpochMonitor, EpochMonitorHandler } from './monitors/epoch-monitor.js';
13
16
  import type { ProverNodePublisher } from './prover-node-publisher.js';
14
- export type ProverNodeOptions = {
15
- pollingIntervalMs: number;
16
- maxPendingJobs: number;
17
- maxParallelBlocksPerEpoch: number;
18
- txGatheringTimeoutMs: number;
19
- txGatheringIntervalMs: number;
20
- txGatheringMaxParallelRequests: number;
21
- };
17
+ import type { ProverPublisherFactory } from './prover-publisher-factory.js';
18
+ type ProverNodeOptions = SpecificProverNodeConfig & Partial<DataStoreOptions>;
19
+ type DataStoreOptions = Pick<DataStoreConfig, 'dataDirectory'> & Pick<ChainConfig, 'l1ChainId' | 'rollupVersion'>;
22
20
  /**
23
- * An Aztec Prover Node is a standalone process that monitors the unfinalised chain on L1 for unproven blocks,
24
- * submits bids for proving them, and monitors if they are accepted. If so, the prover node fetches the txs
25
- * from a tx source in the p2p network or an external node, re-executes their public functions, creates a rollup
21
+ * An Aztec Prover Node is a standalone process that monitors the unfinalized chain on L1 for unproven epochs,
22
+ * fetches their txs from the p2p network or external nodes, re-executes their public functions, creates a rollup
26
23
  * proof for the epoch, and submits it to L1.
27
24
  */
28
25
  export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, Traceable {
29
26
  protected readonly prover: EpochProverManager;
30
- protected readonly publisher: ProverNodePublisher;
31
- protected readonly l2BlockSource: L2BlockSource & Maybe<Service>;
27
+ protected readonly publisherFactory: ProverPublisherFactory;
28
+ protected readonly l2BlockSource: L2BlockSource & Partial<Service>;
32
29
  protected readonly l1ToL2MessageSource: L1ToL2MessageSource;
33
30
  protected readonly contractDataSource: ContractDataSource;
34
31
  protected readonly worldState: WorldStateSynchronizer;
35
- protected readonly coordination: ProverCoordination & Maybe<Service>;
32
+ protected readonly p2pClient: Pick<P2PClient<P2PClientType.Prover>, 'getTxProvider'> & Partial<Service>;
36
33
  protected readonly epochsMonitor: EpochMonitor;
34
+ protected readonly rollupContract: RollupContract;
35
+ protected readonly l1Metrics: L1Metrics;
37
36
  protected readonly telemetryClient: TelemetryClient;
38
37
  private log;
39
38
  private dateProvider;
40
- private latestEpochWeAreProving;
41
39
  private jobs;
42
- private cachedEpochData;
43
- private options;
44
- private metrics;
45
- private txFetcher;
46
- private lastBlockNumber;
40
+ private config;
41
+ private jobMetrics;
42
+ private rewardsMetrics;
47
43
  readonly tracer: Tracer;
48
- constructor(prover: EpochProverManager, publisher: ProverNodePublisher, l2BlockSource: L2BlockSource & Maybe<Service>, l1ToL2MessageSource: L1ToL2MessageSource, contractDataSource: ContractDataSource, worldState: WorldStateSynchronizer, coordination: ProverCoordination & Maybe<Service>, epochsMonitor: EpochMonitor, options?: Partial<ProverNodeOptions>, telemetryClient?: TelemetryClient);
49
- getProverId(): import("@aztec/aztec.js").Fr;
50
- getP2P(): P2P<P2PClientType.Prover> | undefined;
44
+ protected publisher: ProverNodePublisher | undefined;
45
+ constructor(prover: EpochProverManager, publisherFactory: ProverPublisherFactory, l2BlockSource: L2BlockSource & Partial<Service>, l1ToL2MessageSource: L1ToL2MessageSource, contractDataSource: ContractDataSource, worldState: WorldStateSynchronizer, p2pClient: Pick<P2PClient<P2PClientType.Prover>, 'getTxProvider'> & Partial<Service>, epochsMonitor: EpochMonitor, rollupContract: RollupContract, l1Metrics: L1Metrics, config?: Partial<ProverNodeOptions>, telemetryClient?: TelemetryClient);
46
+ getProverId(): import("@aztec/stdlib/block").EthAddress;
47
+ getP2P(): Pick<P2PClient<P2PClientType.Prover>, "getTxProvider"> & Partial<Service>;
51
48
  /**
52
49
  * Handles an epoch being completed by starting a proof for it if there are no active jobs for it.
53
50
  * @param epochNumber - The epoch number that was just completed.
51
+ * @returns false if there is an error, true otherwise
54
52
  */
55
- handleEpochReadyToProve(epochNumber: bigint): Promise<void>;
53
+ handleEpochReadyToProve(epochNumber: bigint): Promise<boolean>;
56
54
  /**
57
- * Starts the prover node so it periodically checks for unproven epochs in the unfinalised chain from L1 and
55
+ * Starts the prover node so it periodically checks for unproven epochs in the unfinalized chain from L1 and
58
56
  * starts proving jobs for them.
59
57
  */
60
- start(): void;
58
+ start(): Promise<void>;
61
59
  /**
62
60
  * Stops the prover node and all its dependencies.
63
61
  */
64
62
  stop(): Promise<void>;
65
- /**
66
- * Creates a proof for a block range. Returns once the proof has been submitted to L1.
67
- */
68
- prove(epochNumber: number | bigint): Promise<void>;
63
+ /** Returns world state status. */
64
+ getWorldStateSyncStatus(): Promise<WorldStateSyncStatus>;
65
+ /** Returns archiver status. */
66
+ getL2Tips(): Promise<import("@aztec/stdlib/block").L2Tips>;
69
67
  /**
70
68
  * Starts a proving process and returns immediately.
71
69
  */
72
70
  startProof(epochNumber: number | bigint): Promise<void>;
71
+ private runJob;
72
+ protected tryUploadEpochFailure(job: EpochProvingJob): Promise<string | undefined>;
73
73
  /**
74
74
  * Returns the prover instance.
75
75
  */
@@ -89,14 +89,18 @@ export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, T
89
89
  private checkMaximumPendingJobs;
90
90
  private createProvingJob;
91
91
  private getL1Constants;
92
- /** Monitors for new blocks and requests their txs from the p2p layer to ensure they are available for proving. */
93
- private checkForTxs;
94
92
  private gatherEpochData;
95
93
  private gatherBlocks;
96
94
  private gatherTxs;
95
+ private gatherMessages;
96
+ private gatherPreviousBlockHeader;
97
97
  /** Extracted for testing purposes. */
98
- protected doCreateEpochProvingJob(epochNumber: bigint, deadline: Date | undefined, blocks: L2Block[], txs: Tx[], publicProcessorFactory: PublicProcessorFactory, cleanUp: () => Promise<void>): EpochProvingJob;
98
+ protected doCreateEpochProvingJob(data: EpochProvingJobData, deadline: Date | undefined, publicProcessorFactory: PublicProcessorFactory, publisher: ProverNodePublisher, opts?: {
99
+ skipEpochCheck?: boolean;
100
+ }): EpochProvingJob;
99
101
  /** Extracted for testing purposes. */
100
102
  protected triggerMonitors(): Promise<void>;
103
+ private validateConfig;
101
104
  }
105
+ export {};
102
106
  //# sourceMappingURL=prover-node.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"prover-node.d.ts","sourceRoot":"","sources":["../src/prover-node.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,OAAO,EACL,KAAK,kBAAkB,EAEvB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,OAAO,EACZ,KAAK,sBAAsB,EAE5B,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAE,EAAE,EAAU,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,SAAS,EACd,KAAK,MAAM,EAGZ,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,eAAe,EAAE,KAAK,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAExF,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEtE,MAAM,MAAM,iBAAiB,GAAG;IAC9B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,yBAAyB,EAAE,MAAM,CAAC;IAClC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,8BAA8B,EAAE,MAAM,CAAC;CACxC,CAAC;AAEF;;;;;GAKG;AACH,qBAAa,UAAW,YAAW,mBAAmB,EAAE,aAAa,EAAE,SAAS;IAgB5E,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB;IAC7C,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,mBAAmB;IACjD,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC;IAChE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB;IAC3D,SAAS,CAAC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB;IACzD,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE,sBAAsB;IACrD,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC;IACpE,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,YAAY;IAE9C,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,eAAe;IAxBrD,OAAO,CAAC,GAAG,CAA+B;IAC1C,OAAO,CAAC,YAAY,CAAsB;IAE1C,OAAO,CAAC,uBAAuB,CAAqB;IACpD,OAAO,CAAC,IAAI,CAA2C;IACvD,OAAO,CAAC,eAAe,CAAgF;IACvG,OAAO,CAAC,OAAO,CAAoB;IACnC,OAAO,CAAC,OAAO,CAAoB;IAEnC,OAAO,CAAC,SAAS,CAAiB;IAClC,OAAO,CAAC,eAAe,CAAqB;IAE5C,SAAgB,MAAM,EAAE,MAAM,CAAC;gBAGV,MAAM,EAAE,kBAAkB,EAC1B,SAAS,EAAE,mBAAmB,EAC9B,aAAa,EAAE,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,EAC7C,mBAAmB,EAAE,mBAAmB,EACxC,kBAAkB,EAAE,kBAAkB,EACtC,UAAU,EAAE,sBAAsB,EAClC,YAAY,EAAE,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC,EACjD,aAAa,EAAE,YAAY,EAC9C,OAAO,GAAE,OAAO,CAAC,iBAAiB,CAAM,EACrB,eAAe,GAAE,eAAsC;IAiBrE,WAAW;IAIX,MAAM;IAQb;;;OAGG;IACG,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAmBjE;;;OAGG;IACH,KAAK;IAML;;OAEG;IACG,IAAI;IAcV;;OAEG;IACU,KAAK,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;IAK/C;;OAEG;IACU,UAAU,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;IAKpD;;OAEG;IACI,SAAS;IAIhB;;OAEG;IACI,OAAO,IAAI,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,oBAAoB,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;cAUhF,qBAAqB,CACnC,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,oBAAoB,CAAA;KAAE,EAAE,CAAC;IAM5D,OAAO,CAAC,uBAAuB;YAMjB,gBAAgB;IAqC9B,OAAO,CAAC,cAAc;IAItB,kHAAkH;YAEpG,WAAW;YAeX,eAAe;YAQf,YAAY;YAQZ,SAAS;IAiBvB,sCAAsC;IACtC,SAAS,CAAC,uBAAuB,CAC/B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,IAAI,GAAG,SAAS,EAC1B,MAAM,EAAE,OAAO,EAAE,EACjB,GAAG,EAAE,EAAE,EAAE,EACT,sBAAsB,EAAE,sBAAsB,EAC9C,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC;IAmB9B,sCAAsC;cACtB,eAAe;CAGhC"}
1
+ {"version":3,"file":"prover-node.d.ts","sourceRoot":"","sources":["../src/prover-node.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAMtD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAW,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,OAAO,EACL,KAAK,kBAAkB,EAEvB,KAAK,aAAa,EAClB,KAAK,OAAO,EACZ,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAE5B,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAEL,SAAS,EACT,KAAK,eAAe,EACpB,KAAK,SAAS,EACd,KAAK,MAAM,EAGZ,MAAM,yBAAyB,CAAC;AAGjC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,KAAK,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAExF,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAE5E,KAAK,iBAAiB,GAAG,wBAAwB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;AAC9E,KAAK,gBAAgB,GAAG,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,WAAW,GAAG,eAAe,CAAC,CAAC;AAElH;;;;GAIG;AACH,qBAAa,UAAW,YAAW,mBAAmB,EAAE,aAAa,EAAE,SAAS;IAc5E,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB;IAC7C,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB;IAC3D,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC;IAClE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB;IAC3D,SAAS,CAAC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB;IACzD,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE,sBAAsB;IACrD,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IACvG,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,YAAY;IAC9C,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,cAAc;IACjD,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS;IAEvC,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,eAAe;IAxBrD,OAAO,CAAC,GAAG,CAA+B;IAC1C,OAAO,CAAC,YAAY,CAAsB;IAE1C,OAAO,CAAC,IAAI,CAA2C;IACvD,OAAO,CAAC,MAAM,CAAoB;IAClC,OAAO,CAAC,UAAU,CAAuB;IACzC,OAAO,CAAC,cAAc,CAA2B;IAEjD,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,SAAS,CAAC,SAAS,EAAE,mBAAmB,GAAG,SAAS,CAAC;gBAGhC,MAAM,EAAE,kBAAkB,EAC1B,gBAAgB,EAAE,sBAAsB,EACxC,aAAa,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,EAC/C,mBAAmB,EAAE,mBAAmB,EACxC,kBAAkB,EAAE,kBAAkB,EACtC,UAAU,EAAE,sBAAsB,EAClC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,EACpF,aAAa,EAAE,YAAY,EAC3B,cAAc,EAAE,cAAc,EAC9B,SAAS,EAAE,SAAS,EACvC,MAAM,GAAE,OAAO,CAAC,iBAAiB,CAAM,EACpB,eAAe,GAAE,eAAsC;IAyBrE,WAAW;IAIX,MAAM;IAIb;;;;OAIG;IACG,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAwBpE;;;OAGG;IACG,KAAK;IASX;;OAEG;IACG,IAAI;IAgBV,kCAAkC;IACrB,uBAAuB,IAAI,OAAO,CAAC,oBAAoB,CAAC;IAKrE,+BAA+B;IACxB,SAAS;IAIhB;;OAEG;IACU,UAAU,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;YAKtC,MAAM;cAyBJ,qBAAqB,CAAC,GAAG,EAAE,eAAe;IAc1D;;OAEG;IACI,SAAS;IAIhB;;OAEG;IACI,OAAO,IAAI,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,oBAAoB,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;cAUhF,qBAAqB,CACnC,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,oBAAoB,CAAA;KAAE,EAAE,CAAC;IAM5D,OAAO,CAAC,uBAAuB;YAQjB,gBAAgB;IAgC9B,OAAO,CAAC,cAAc;YAKR,eAAe;YAYf,YAAY;YAQZ,SAAS;YAeT,cAAc;YAWd,yBAAyB;IAcvC,sCAAsC;IACtC,SAAS,CAAC,uBAAuB,CAC/B,IAAI,EAAE,mBAAmB,EACzB,QAAQ,EAAE,IAAI,GAAG,SAAS,EAC1B,sBAAsB,EAAE,sBAAsB,EAC9C,SAAS,EAAE,mBAAmB,EAC9B,IAAI,GAAE;QAAE,cAAc,CAAC,EAAE,OAAO,CAAA;KAAO;IAgBzC,sCAAsC;cACtB,eAAe;IAI/B,OAAO,CAAC,cAAc;CAcvB"}