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

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 +12 -0
  8. package/dest/actions/rerun-epoch-proving-job.d.ts.map +1 -0
  9. package/dest/actions/rerun-epoch-proving-job.js +42 -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 +15 -11
  17. package/dest/config.d.ts.map +1 -1
  18. package/dest/config.js +83 -15
  19. package/dest/factory.d.ts +14 -12
  20. package/dest/factory.d.ts.map +1 -1
  21. package/dest/factory.js +106 -37
  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 +26 -18
  29. package/dest/job/epoch-proving-job.d.ts.map +1 -1
  30. package/dest/job/epoch-proving-job.js +579 -96
  31. package/dest/metrics.d.ts +30 -5
  32. package/dest/metrics.d.ts.map +1 -1
  33. package/dest/metrics.js +103 -73
  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 +18 -13
  37. package/dest/monitors/index.d.ts +1 -1
  38. package/dest/prover-node-publisher.d.ts +14 -15
  39. package/dest/prover-node-publisher.d.ts.map +1 -1
  40. package/dest/prover-node-publisher.js +86 -81
  41. package/dest/prover-node.d.ts +49 -44
  42. package/dest/prover-node.d.ts.map +1 -1
  43. package/dest/prover-node.js +581 -129
  44. package/dest/prover-publisher-factory.d.ts +23 -0
  45. package/dest/prover-publisher-factory.d.ts.map +1 -0
  46. package/dest/prover-publisher-factory.js +26 -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 +39 -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 +62 -0
  54. package/src/actions/upload-epoch-proof-failure.ts +88 -0
  55. package/src/bin/run-failed-epoch.ts +77 -0
  56. package/src/config.ts +111 -25
  57. package/src/factory.ts +177 -46
  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 +257 -82
  61. package/src/metrics.ts +116 -73
  62. package/src/monitors/epoch-monitor.ts +20 -15
  63. package/src/prover-node-publisher.ts +133 -115
  64. package/src/prover-node.ts +223 -142
  65. package/src/prover-publisher-factory.ts +39 -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,31 +1,32 @@
1
- import { AGGREGATION_OBJECT_LENGTH, AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
1
+ import { getEthBlobEvaluationInputs } from '@aztec/blob-lib';
2
+ import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
2
3
  import { makeTuple } from '@aztec/foundation/array';
3
- import { areArraysEqual, times } from '@aztec/foundation/collection';
4
+ import { CheckpointNumber } from '@aztec/foundation/branded-types';
5
+ import { areArraysEqual } from '@aztec/foundation/collection';
4
6
  import { EthAddress } from '@aztec/foundation/eth-address';
5
- import { Fr } from '@aztec/foundation/fields';
6
7
  import { createLogger } from '@aztec/foundation/log';
7
- import { serializeToBuffer } from '@aztec/foundation/serialize';
8
- import { InterruptibleSleep } from '@aztec/foundation/sleep';
9
8
  import { Timer } from '@aztec/foundation/timer';
10
9
  import { RollupAbi } from '@aztec/l1-artifacts';
10
+ import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
11
11
  import { getTelemetryClient } from '@aztec/telemetry-client';
12
+ import { inspect } from 'util';
12
13
  import { encodeFunctionData } from 'viem';
13
- import { ProverNodeMetrics } from './metrics.js';
14
+ import { ProverNodePublisherMetrics } from './metrics.js';
14
15
  export class ProverNodePublisher {
15
- interruptibleSleep = new InterruptibleSleep();
16
- sleepTimeMs;
17
16
  interrupted = false;
18
17
  metrics;
19
18
  log = createLogger('prover-node:l1-tx-publisher');
20
19
  rollupContract;
21
20
  l1TxUtils;
22
21
  constructor(config, deps){
23
- this.sleepTimeMs = config?.l1PublishRetryIntervalMS ?? 60_000;
24
22
  const telemetry = deps.telemetry ?? getTelemetryClient();
25
- this.metrics = new ProverNodeMetrics(telemetry, 'ProverNode');
23
+ this.metrics = new ProverNodePublisherMetrics(telemetry, 'ProverNode');
26
24
  this.rollupContract = deps.rollupContract;
27
25
  this.l1TxUtils = deps.l1TxUtils;
28
26
  }
27
+ getRollupContract() {
28
+ return this.rollupContract;
29
+ }
29
30
  /**
30
31
  * Calling `interrupt` will cause any in progress call to `publishRollup` to return `false` asap.
31
32
  * Be warned, the call may return false even if the tx subsequently gets successfully mined.
@@ -33,20 +34,21 @@ export class ProverNodePublisher {
33
34
  * A call to `restart` is required before you can continue publishing.
34
35
  */ interrupt() {
35
36
  this.interrupted = true;
36
- this.interruptibleSleep.interrupt();
37
+ this.l1TxUtils.interrupt();
37
38
  }
38
39
  /** Restarts the publisher after calling `interrupt`. */ restart() {
39
40
  this.interrupted = false;
41
+ this.l1TxUtils.restart();
40
42
  }
41
43
  getSenderAddress() {
42
- return EthAddress.fromString(this.l1TxUtils.getSenderAddress());
44
+ return this.l1TxUtils.getSenderAddress();
43
45
  }
44
46
  async submitEpochProof(args) {
45
- const { epochNumber, fromBlock, toBlock } = args;
47
+ const { epochNumber, fromCheckpoint, toCheckpoint } = args;
46
48
  const ctx = {
47
49
  epochNumber,
48
- fromBlock,
49
- toBlock
50
+ fromCheckpoint,
51
+ toCheckpoint
50
52
  };
51
53
  if (!this.interrupted) {
52
54
  const timer = new Timer();
@@ -54,15 +56,16 @@ export class ProverNodePublisher {
54
56
  await this.validateEpochProofSubmission(args);
55
57
  const txReceipt = await this.sendSubmitEpochProofTx(args);
56
58
  if (!txReceipt) {
59
+ this.log.error(`Failed to mine submitEpochProof tx`, undefined, ctx);
57
60
  return false;
58
61
  }
59
62
  try {
60
- this.metrics.recordSenderBalance(await this.l1TxUtils.getSenderBalance(), this.l1TxUtils.getSenderAddress());
63
+ this.metrics.recordSenderBalance(await this.l1TxUtils.getSenderBalance(), this.l1TxUtils.getSenderAddress().toString());
61
64
  } catch (err) {
62
65
  this.log.warn(`Failed to record the ETH balance of the prover node: ${err}`);
63
66
  }
64
67
  // Tx was mined successfully
65
- if (txReceipt.status) {
68
+ if (txReceipt.status === 'success') {
66
69
  const tx = await this.l1TxUtils.getTransactionStats(txReceipt.transactionHash);
67
70
  const stats = {
68
71
  gasPrice: txReceipt.effectiveGasPrice,
@@ -83,66 +86,57 @@ export class ProverNodePublisher {
83
86
  return true;
84
87
  }
85
88
  this.metrics.recordFailedTx();
86
- this.log.error(`Rollup.submitEpochProof tx status failed: ${txReceipt.transactionHash}`, ctx);
87
- await this.sleepOrInterrupted();
89
+ this.log.error(`Rollup submitEpochProof tx reverted ${txReceipt.transactionHash}`, undefined, ctx);
88
90
  }
89
- this.log.verbose('L2 block data syncing interrupted while processing blocks.', ctx);
91
+ this.log.verbose('Checkpoint data syncing interrupted', ctx);
90
92
  return false;
91
93
  }
92
94
  async validateEpochProofSubmission(args) {
93
- const { fromBlock, toBlock, publicInputs, proof } = args;
94
- // Check that the block numbers match the expected epoch to be proven
95
- const { pendingBlockNumber: pending, provenBlockNumber: proven } = await this.rollupContract.getTips();
96
- if (proven !== BigInt(fromBlock) - 1n) {
97
- throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as proven block is ${proven}`);
98
- }
99
- if (toBlock > pending) {
100
- throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as pending block is ${pending}`);
95
+ const { fromCheckpoint, toCheckpoint, publicInputs, batchedBlobInputs } = args;
96
+ // Check that the checkpoint numbers match the expected epoch to be proven
97
+ const { pending, proven } = await this.rollupContract.getTips();
98
+ // Don't publish if proven is beyond our toCheckpoint, pointless to do so
99
+ if (proven > toCheckpoint) {
100
+ throw new Error(`Cannot submit epoch proof for ${fromCheckpoint}-${toCheckpoint} as proven checkpoint is ${proven}`);
101
101
  }
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}`);
102
+ // toCheckpoint can't be greater than pending
103
+ if (toCheckpoint > pending) {
104
+ throw new Error(`Cannot submit epoch proof for ${fromCheckpoint}-${toCheckpoint} as pending checkpoint is ${pending}`);
106
105
  }
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}`);
106
+ // Check the archive for the immediate checkpoint before the epoch
107
+ const checkpointLog = await this.rollupContract.getCheckpoint(CheckpointNumber(fromCheckpoint - 1));
108
+ if (!publicInputs.previousArchiveRoot.equals(checkpointLog.archive)) {
109
+ throw new Error(`Previous archive root mismatch: ${publicInputs.previousArchiveRoot.toString()} !== ${checkpointLog.archive.toString()}`);
110
110
  }
111
- // Check the block hash and archive for the last block in the epoch
112
- 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
+ // Check the archive for the last checkpoint in the epoch
112
+ const endCheckpointLog = await this.rollupContract.getCheckpoint(toCheckpoint);
113
+ if (!publicInputs.endArchiveRoot.equals(endCheckpointLog.archive)) {
114
+ throw new Error(`End archive root mismatch: ${publicInputs.endArchiveRoot.toString()} !== ${endCheckpointLog.archive.toString()}`);
115
115
  }
116
- if (publicInputs.endBlockHash.toString() !== endBlockLog.blockHash) {
117
- throw new Error(`End block hash mismatch: ${publicInputs.endBlockHash.toString()} !== ${endBlockLog.blockHash}`);
116
+ // Check the batched blob inputs from the root rollup against the batched blob computed in ts
117
+ const finalBlobAccumulator = batchedBlobInputs.toFinalBlobAccumulator();
118
+ if (!publicInputs.blobPublicInputs.equals(finalBlobAccumulator)) {
119
+ throw new Error(`Batched blob mismatch: ${inspect(publicInputs.blobPublicInputs)} !== ${inspect(finalBlobAccumulator)}`);
118
120
  }
119
121
  // 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();
122
+ const rollupPublicInputs = await this.rollupContract.getEpochProofPublicInputs(this.getEpochProofPublicInputsArgs(args));
122
123
  const argsPublicInputs = [
123
- ...publicInputs.toFields(),
124
- ...aggregationObject
124
+ ...publicInputs.toFields()
125
125
  ];
126
- if (!areArraysEqual(rollupPublicInputs.map(Fr.fromHexString), argsPublicInputs, (a, b)=>a.equals(b))) {
126
+ if (!areArraysEqual(rollupPublicInputs, argsPublicInputs, (a, b)=>a.equals(b))) {
127
127
  const fmt = (inputs)=>inputs.map((x)=>x.toString()).join(', ');
128
128
  throw new Error(`Root rollup public inputs mismatch:\nRollup: ${fmt(rollupPublicInputs)}\nComputed:${fmt(argsPublicInputs)}`);
129
129
  }
130
130
  }
131
131
  async sendSubmitEpochProofTx(args) {
132
- const proofHex = `0x${args.proof.withoutPublicInputs().toString('hex')}`;
133
- const argsArray = this.getSubmitEpochProofArgs(args);
134
132
  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
- }
133
+ this.getSubmitEpochProofArgs(args)
144
134
  ];
145
- this.log.info(`SubmitEpochProof proofSize=${args.proof.withoutPublicInputs().length} bytes`);
135
+ this.log.info(`Submitting epoch proof to L1 rollup contract`, {
136
+ proofSize: args.proof.withoutPublicInputs().length,
137
+ fromCheckpoint: args.fromCheckpoint,
138
+ toCheckpoint: args.toCheckpoint
139
+ });
146
140
  const data = encodeFunctionData({
147
141
  abi: RollupAbi,
148
142
  functionName: 'submitEpochRootProof',
@@ -153,40 +147,51 @@ export class ProverNodePublisher {
153
147
  to: this.rollupContract.address,
154
148
  data
155
149
  });
150
+ if (receipt.status !== 'success') {
151
+ const errorMsg = await this.l1TxUtils.tryGetErrorFromRevertedTx(data, {
152
+ args: [
153
+ ...txArgs
154
+ ],
155
+ functionName: 'submitEpochRootProof',
156
+ abi: RollupAbi,
157
+ address: this.rollupContract.address
158
+ }, /*blobInputs*/ undefined, /*stateOverride*/ []);
159
+ this.log.error(`Rollup submit epoch proof tx reverted with ${errorMsg ?? 'unknown error'}`);
160
+ return undefined;
161
+ }
156
162
  return receipt;
157
163
  } catch (err) {
158
164
  this.log.error(`Rollup submit epoch proof failed`, err);
159
- const errorMsg = await this.l1TxUtils.tryGetErrorFromRevertedTx(data, {
160
- args: [
161
- ...txArgs
162
- ],
163
- functionName: 'submitEpochRootProof',
164
- abi: RollupAbi,
165
- address: this.rollupContract.address
166
- }, /*blobInputs*/ undefined, /*stateOverride*/ []);
167
- this.log.error(`Rollup submit epoch proof tx reverted. ${errorMsg}`);
168
165
  return undefined;
169
166
  }
170
167
  }
171
- getSubmitEpochProofArgs(args) {
168
+ getEpochProofPublicInputsArgs(args) {
169
+ // Returns arguments for EpochProofLib.sol -> getEpochProofPublicInputs()
172
170
  return [
173
- BigInt(args.fromBlock),
174
- BigInt(args.toBlock),
171
+ BigInt(args.fromCheckpoint),
172
+ BigInt(args.toCheckpoint),
175
173
  {
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(),
174
+ previousArchive: args.publicInputs.previousArchiveRoot.toString(),
175
+ endArchive: args.publicInputs.endArchiveRoot.toString(),
181
176
  outHash: args.publicInputs.outHash.toString(),
182
- proverId: EthAddress.fromField(args.publicInputs.proverId).toString()
183
- },
177
+ proverId: EthAddress.fromField(args.publicInputs.constants.proverId).toString()
178
+ } /*_args*/ ,
184
179
  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')}`
180
+ getEthBlobEvaluationInputs(args.batchedBlobInputs)
187
181
  ];
188
182
  }
189
- async sleepOrInterrupted() {
190
- await this.interruptibleSleep.sleep(this.sleepTimeMs);
183
+ getSubmitEpochProofArgs(args) {
184
+ // Returns arguments for EpochProofLib.sol -> submitEpochRootProof()
185
+ const proofHex = `0x${args.proof.withoutPublicInputs().toString('hex')}`;
186
+ const argsArray = this.getEpochProofPublicInputsArgs(args);
187
+ return {
188
+ start: argsArray[0],
189
+ end: argsArray[1],
190
+ args: argsArray[2],
191
+ fees: argsArray[3],
192
+ attestations: new CommitteeAttestationsAndSigners(args.attestations.map((a)=>CommitteeAttestation.fromViem(a))).getPackedAttestations(),
193
+ blobInputs: argsArray[4],
194
+ proof: proofHex
195
+ };
191
196
  }
192
197
  }
@@ -1,75 +1,76 @@
1
- import type { Maybe } from '@aztec/foundation/types';
2
- import type { P2P } from '@aztec/p2p';
1
+ import type { RollupContract } from '@aztec/ethereum/contracts';
2
+ import { EpochNumber } from '@aztec/foundation/branded-types';
3
+ import type { DataStoreConfig } from '@aztec/kv-store/config';
4
+ import type { P2PClient } from '@aztec/p2p';
3
5
  import { PublicProcessorFactory } from '@aztec/simulator/server';
4
- import type { L2Block, L2BlockSource } from '@aztec/stdlib/block';
6
+ import type { L2BlockSource } from '@aztec/stdlib/block';
7
+ import type { ChainConfig } from '@aztec/stdlib/config';
5
8
  import type { ContractDataSource } from '@aztec/stdlib/contract';
6
- import { type EpochProverManager, type ProverCoordination, type ProverNodeApi, type Service, type WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
9
+ import { type EpochProverManager, type ProverNodeApi, type Service, type WorldStateSyncStatus, type WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
7
10
  import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
8
11
  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';
12
+ import { L1Metrics, type TelemetryClient, type Traceable, type Tracer } from '@aztec/telemetry-client';
13
+ import type { SpecificProverNodeConfig } from './config.js';
14
+ import type { EpochProvingJobData } from './job/epoch-proving-job-data.js';
11
15
  import { EpochProvingJob, type EpochProvingJobState } from './job/epoch-proving-job.js';
12
16
  import type { EpochMonitor, EpochMonitorHandler } from './monitors/epoch-monitor.js';
13
17
  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
- };
18
+ import type { ProverPublisherFactory } from './prover-publisher-factory.js';
19
+ type ProverNodeOptions = SpecificProverNodeConfig & Partial<DataStoreOptions>;
20
+ type DataStoreOptions = Pick<DataStoreConfig, 'dataDirectory'> & Pick<ChainConfig, 'l1ChainId' | 'rollupVersion'>;
22
21
  /**
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
22
+ * An Aztec Prover Node is a standalone process that monitors the unfinalized chain on L1 for unproven epochs,
23
+ * fetches their txs from the p2p network or external nodes, re-executes their public functions, creates a rollup
26
24
  * proof for the epoch, and submits it to L1.
27
25
  */
28
26
  export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, Traceable {
29
27
  protected readonly prover: EpochProverManager;
30
- protected readonly publisher: ProverNodePublisher;
31
- protected readonly l2BlockSource: L2BlockSource & Maybe<Service>;
28
+ protected readonly publisherFactory: ProverPublisherFactory;
29
+ protected readonly l2BlockSource: L2BlockSource & Partial<Service>;
32
30
  protected readonly l1ToL2MessageSource: L1ToL2MessageSource;
33
31
  protected readonly contractDataSource: ContractDataSource;
34
32
  protected readonly worldState: WorldStateSynchronizer;
35
- protected readonly coordination: ProverCoordination & Maybe<Service>;
33
+ protected readonly p2pClient: Pick<P2PClient<P2PClientType.Prover>, 'getTxProvider'> & Partial<Service>;
36
34
  protected readonly epochsMonitor: EpochMonitor;
35
+ protected readonly rollupContract: RollupContract;
36
+ protected readonly l1Metrics: L1Metrics;
37
37
  protected readonly telemetryClient: TelemetryClient;
38
38
  private log;
39
39
  private dateProvider;
40
- private latestEpochWeAreProving;
41
40
  private jobs;
42
- private cachedEpochData;
43
- private options;
44
- private metrics;
45
- private txFetcher;
46
- private lastBlockNumber;
41
+ private config;
42
+ private jobMetrics;
43
+ private rewardsMetrics;
47
44
  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;
45
+ protected publisher: ProverNodePublisher | undefined;
46
+ 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);
47
+ getProverId(): import("@aztec/foundation/eth-address").EthAddress;
48
+ getP2P(): Pick<P2PClient<P2PClientType.Prover>, "getTxProvider"> & Partial<Service>;
51
49
  /**
52
50
  * Handles an epoch being completed by starting a proof for it if there are no active jobs for it.
53
51
  * @param epochNumber - The epoch number that was just completed.
52
+ * @returns false if there is an error, true otherwise
54
53
  */
55
- handleEpochReadyToProve(epochNumber: bigint): Promise<void>;
54
+ handleEpochReadyToProve(epochNumber: EpochNumber): Promise<boolean>;
56
55
  /**
57
- * Starts the prover node so it periodically checks for unproven epochs in the unfinalised chain from L1 and
56
+ * Starts the prover node so it periodically checks for unproven epochs in the unfinalized chain from L1 and
58
57
  * starts proving jobs for them.
59
58
  */
60
- start(): void;
59
+ start(): Promise<void>;
61
60
  /**
62
61
  * Stops the prover node and all its dependencies.
63
62
  */
64
63
  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>;
64
+ /** Returns world state status. */
65
+ getWorldStateSyncStatus(): Promise<WorldStateSyncStatus>;
66
+ /** Returns archiver status. */
67
+ getL2Tips(): Promise<import("@aztec/stdlib/block").L2Tips>;
69
68
  /**
70
69
  * Starts a proving process and returns immediately.
71
70
  */
72
- startProof(epochNumber: number | bigint): Promise<void>;
71
+ startProof(epochNumber: EpochNumber): Promise<void>;
72
+ private runJob;
73
+ protected tryUploadEpochFailure(job: EpochProvingJob): Promise<string | undefined>;
73
74
  /**
74
75
  * Returns the prover instance.
75
76
  */
@@ -80,23 +81,27 @@ export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, T
80
81
  getJobs(): Promise<{
81
82
  uuid: string;
82
83
  status: EpochProvingJobState;
83
- epochNumber: number;
84
+ epochNumber: EpochNumber;
84
85
  }[]>;
85
- protected getActiveJobsForEpoch(epochBigInt: bigint): Promise<{
86
+ protected getActiveJobsForEpoch(epochNumber: EpochNumber): Promise<{
86
87
  uuid: string;
87
88
  status: EpochProvingJobState;
88
89
  }[]>;
89
90
  private checkMaximumPendingJobs;
90
91
  private createProvingJob;
91
92
  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
93
  private gatherEpochData;
95
- private gatherBlocks;
94
+ private gatherCheckpoints;
96
95
  private gatherTxs;
96
+ private gatherMessages;
97
+ private gatherPreviousBlockHeader;
97
98
  /** Extracted for testing purposes. */
98
- protected doCreateEpochProvingJob(epochNumber: bigint, deadline: Date | undefined, blocks: L2Block[], txs: Tx[], publicProcessorFactory: PublicProcessorFactory, cleanUp: () => Promise<void>): EpochProvingJob;
99
+ protected doCreateEpochProvingJob(data: EpochProvingJobData, deadline: Date | undefined, publicProcessorFactory: PublicProcessorFactory, publisher: ProverNodePublisher, opts?: {
100
+ skipEpochCheck?: boolean;
101
+ }): EpochProvingJob;
99
102
  /** Extracted for testing purposes. */
100
103
  protected triggerMonitors(): Promise<void>;
104
+ private validateConfig;
101
105
  }
102
- //# sourceMappingURL=prover-node.d.ts.map
106
+ export {};
107
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLW5vZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9wcm92ZXItbm9kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNoRSxPQUFPLEVBQWlDLFdBQVcsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBTTdGLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQzlELE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLFlBQVksQ0FBQztBQUM1QyxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUV6RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN4RCxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRWpFLE9BQU8sRUFDTCxLQUFLLGtCQUFrQixFQUV2QixLQUFLLGFBQWEsRUFDbEIsS0FBSyxPQUFPLEVBQ1osS0FBSyxvQkFBb0IsRUFDekIsS0FBSyxzQkFBc0IsRUFFNUIsTUFBTSxpQ0FBaUMsQ0FBQztBQUN6QyxPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ25FLE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRXZELE9BQU8sRUFFTCxTQUFTLEVBQ1QsS0FBSyxlQUFlLEVBQ3BCLEtBQUssU0FBUyxFQUNkLEtBQUssTUFBTSxFQUdaLE1BQU0seUJBQXlCLENBQUM7QUFHakMsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFDNUQsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUMzRSxPQUFPLEVBQUUsZUFBZSxFQUFFLEtBQUssb0JBQW9CLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUV4RixPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUNyRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ3RFLE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFFNUUsS0FBSyxpQkFBaUIsR0FBRyx3QkFBd0IsR0FBRyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsQ0FBQztBQUM5RSxLQUFLLGdCQUFnQixHQUFHLElBQUksQ0FBQyxlQUFlLEVBQUUsZUFBZSxDQUFDLEdBQUcsSUFBSSxDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsZUFBZSxDQUFDLENBQUM7QUFFbEg7Ozs7R0FJRztBQUNILHFCQUFhLFVBQVcsWUFBVyxtQkFBbUIsRUFBRSxhQUFhLEVBQUUsU0FBUztJQWM1RSxTQUFTLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxrQkFBa0I7SUFDN0MsU0FBUyxDQUFDLFFBQVEsQ0FBQyxnQkFBZ0IsRUFBRSxzQkFBc0I7SUFDM0QsU0FBUyxDQUFDLFFBQVEsQ0FBQyxhQUFhLEVBQUUsYUFBYSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUM7SUFDbEUsU0FBUyxDQUFDLFFBQVEsQ0FBQyxtQkFBbUIsRUFBRSxtQkFBbUI7SUFDM0QsU0FBUyxDQUFDLFFBQVEsQ0FBQyxrQkFBa0IsRUFBRSxrQkFBa0I7SUFDekQsU0FBUyxDQUFDLFFBQVEsQ0FBQyxVQUFVLEVBQUUsc0JBQXNCO0lBQ3JELFNBQVMsQ0FBQyxRQUFRLENBQUMsU0FBUyxFQUFFLElBQUksQ0FBQyxTQUFTLENBQUMsYUFBYSxDQUFDLE1BQU0sQ0FBQyxFQUFFLGVBQWUsQ0FBQyxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUM7SUFDdkcsU0FBUyxDQUFDLFFBQVEsQ0FBQyxhQUFhLEVBQUUsWUFBWTtJQUM5QyxTQUFTLENBQUMsUUFBUSxDQUFDLGNBQWMsRUFBRSxjQUFjO0lBQ2pELFNBQVMsQ0FBQyxRQUFRLENBQUMsU0FBUyxFQUFFLFNBQVM7SUFFdkMsU0FBUyxDQUFDLFFBQVEsQ0FBQyxlQUFlLEVBQUUsZUFBZTtJQXhCckQsT0FBTyxDQUFDLEdBQUcsQ0FBK0I7SUFDMUMsT0FBTyxDQUFDLFlBQVksQ0FBc0I7SUFFMUMsT0FBTyxDQUFDLElBQUksQ0FBMkM7SUFDdkQsT0FBTyxDQUFDLE1BQU0sQ0FBb0I7SUFDbEMsT0FBTyxDQUFDLFVBQVUsQ0FBdUI7SUFDekMsT0FBTyxDQUFDLGNBQWMsQ0FBMkI7SUFFakQsU0FBZ0IsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUUvQixTQUFTLENBQUMsU0FBUyxFQUFFLG1CQUFtQixHQUFHLFNBQVMsQ0FBQztJQUVyRCxZQUNxQixNQUFNLEVBQUUsa0JBQWtCLEVBQzFCLGdCQUFnQixFQUFFLHNCQUFzQixFQUN4QyxhQUFhLEVBQUUsYUFBYSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsRUFDL0MsbUJBQW1CLEVBQUUsbUJBQW1CLEVBQ3hDLGtCQUFrQixFQUFFLGtCQUFrQixFQUN0QyxVQUFVLEVBQUUsc0JBQXNCLEVBQ2xDLFNBQVMsRUFBRSxJQUFJLENBQUMsU0FBUyxDQUFDLGFBQWEsQ0FBQyxNQUFNLENBQUMsRUFBRSxlQUFlLENBQUMsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLEVBQ3BGLGFBQWEsRUFBRSxZQUFZLEVBQzNCLGNBQWMsRUFBRSxjQUFjLEVBQzlCLFNBQVMsRUFBRSxTQUFTLEVBQ3ZDLE1BQU0sR0FBRSxPQUFPLENBQUMsaUJBQWlCLENBQU0sRUFDcEIsZUFBZSxHQUFFLGVBQXNDLEVBdUIzRTtJQUVNLFdBQVcsdURBRWpCO0lBRU0sTUFBTSw4RUFFWjtJQUVEOzs7O09BSUc7SUFDRyx1QkFBdUIsQ0FBQyxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FzQnhFO0lBRUQ7OztPQUdHO0lBQ0csS0FBSyxrQkFPVjtJQUVEOztPQUVHO0lBQ0csSUFBSSxrQkFjVDtJQUVELGtDQUFrQztJQUNyQix1QkFBdUIsSUFBSSxPQUFPLENBQUMsb0JBQW9CLENBQUMsQ0FHcEU7SUFFRCwrQkFBK0I7SUFDeEIsU0FBUyxrREFFZjtJQUVEOztPQUVHO0lBQ1UsVUFBVSxDQUFDLFdBQVcsRUFBRSxXQUFXLGlCQUcvQztZQUVhLE1BQU07SUF5QnBCLFVBQWdCLHFCQUFxQixDQUFDLEdBQUcsRUFBRSxlQUFlLCtCQVl6RDtJQUVEOztPQUVHO0lBQ0ksU0FBUyx1QkFFZjtJQUVEOztPQUVHO0lBQ0ksT0FBTyxJQUFJLE9BQU8sQ0FBQztRQUFFLElBQUksRUFBRSxNQUFNLENBQUM7UUFBQyxNQUFNLEVBQUUsb0JBQW9CLENBQUM7UUFBQyxXQUFXLEVBQUUsV0FBVyxDQUFBO0tBQUUsRUFBRSxDQUFDLENBUXBHO0lBRUQsVUFBZ0IscUJBQXFCLENBQ25DLFdBQVcsRUFBRSxXQUFXLEdBQ3ZCLE9BQU8sQ0FBQztRQUFFLElBQUksRUFBRSxNQUFNLENBQUM7UUFBQyxNQUFNLEVBQUUsb0JBQW9CLENBQUE7S0FBRSxFQUFFLENBQUMsQ0FHM0Q7SUFFRCxPQUFPLENBQUMsdUJBQXVCO1lBUWpCLGdCQUFnQjtJQWtDOUIsT0FBTyxDQUFDLGNBQWM7WUFLUixlQUFlO1lBYWYsaUJBQWlCO1lBUWpCLFNBQVM7WUFnQlQsY0FBYztZQVdkLHlCQUF5QjtJQWF2QyxzQ0FBc0M7SUFDdEMsU0FBUyxDQUFDLHVCQUF1QixDQUMvQixJQUFJLEVBQUUsbUJBQW1CLEVBQ3pCLFFBQVEsRUFBRSxJQUFJLEdBQUcsU0FBUyxFQUMxQixzQkFBc0IsRUFBRSxzQkFBc0IsRUFDOUMsU0FBUyxFQUFFLG1CQUFtQixFQUM5QixJQUFJLEdBQUU7UUFBRSxjQUFjLENBQUMsRUFBRSxPQUFPLENBQUE7S0FBTyxtQkFjeEM7SUFFRCxzQ0FBc0M7SUFDdEMsVUFBZ0IsZUFBZSxrQkFFOUI7SUFFRCxPQUFPLENBQUMsY0FBYztDQWN2QiJ9
@@ -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,2BAA2B,CAAC;AAChE,OAAO,EAAiC,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAM7F,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,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,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;IAErD,YACqB,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,EAuB3E;IAEM,WAAW,uDAEjB;IAEM,MAAM,8EAEZ;IAED;;;;OAIG;IACG,uBAAuB,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAsBxE;IAED;;;OAGG;IACG,KAAK,kBAOV;IAED;;OAEG;IACG,IAAI,kBAcT;IAED,kCAAkC;IACrB,uBAAuB,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAGpE;IAED,+BAA+B;IACxB,SAAS,kDAEf;IAED;;OAEG;IACU,UAAU,CAAC,WAAW,EAAE,WAAW,iBAG/C;YAEa,MAAM;IAyBpB,UAAgB,qBAAqB,CAAC,GAAG,EAAE,eAAe,+BAYzD;IAED;;OAEG;IACI,SAAS,uBAEf;IAED;;OAEG;IACI,OAAO,IAAI,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,oBAAoB,CAAC;QAAC,WAAW,EAAE,WAAW,CAAA;KAAE,EAAE,CAAC,CAQpG;IAED,UAAgB,qBAAqB,CACnC,WAAW,EAAE,WAAW,GACvB,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,oBAAoB,CAAA;KAAE,EAAE,CAAC,CAG3D;IAED,OAAO,CAAC,uBAAuB;YAQjB,gBAAgB;IAkC9B,OAAO,CAAC,cAAc;YAKR,eAAe;YAaf,iBAAiB;YAQjB,SAAS;YAgBT,cAAc;YAWd,yBAAyB;IAavC,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,mBAcxC;IAED,sCAAsC;IACtC,UAAgB,eAAe,kBAE9B;IAED,OAAO,CAAC,cAAc;CAcvB"}