@aztec/prover-client 0.0.1-commit.6d3c34e → 0.0.1-commit.9372f48

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 (62) hide show
  1. package/dest/light/lightweight_checkpoint_builder.d.ts +11 -7
  2. package/dest/light/lightweight_checkpoint_builder.d.ts.map +1 -1
  3. package/dest/light/lightweight_checkpoint_builder.js +28 -11
  4. package/dest/mocks/fixtures.d.ts +1 -1
  5. package/dest/mocks/fixtures.d.ts.map +1 -1
  6. package/dest/mocks/fixtures.js +2 -1
  7. package/dest/mocks/test_context.d.ts +3 -2
  8. package/dest/mocks/test_context.d.ts.map +1 -1
  9. package/dest/mocks/test_context.js +6 -1
  10. package/dest/orchestrator/block-building-helpers.d.ts +1 -1
  11. package/dest/orchestrator/block-building-helpers.js +1 -1
  12. package/dest/orchestrator/checkpoint-proving-state.d.ts +15 -2
  13. package/dest/orchestrator/checkpoint-proving-state.d.ts.map +1 -1
  14. package/dest/orchestrator/checkpoint-proving-state.js +34 -1
  15. package/dest/orchestrator/epoch-proving-state.d.ts +5 -4
  16. package/dest/orchestrator/epoch-proving-state.d.ts.map +1 -1
  17. package/dest/orchestrator/epoch-proving-state.js +35 -1
  18. package/dest/orchestrator/orchestrator.d.ts +18 -3
  19. package/dest/orchestrator/orchestrator.d.ts.map +1 -1
  20. package/dest/orchestrator/orchestrator.js +120 -78
  21. package/dest/prover-client/prover-client.d.ts +1 -1
  22. package/dest/prover-client/prover-client.d.ts.map +1 -1
  23. package/dest/prover-client/prover-client.js +7 -4
  24. package/dest/proving_broker/broker_prover_facade.d.ts +4 -3
  25. package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
  26. package/dest/proving_broker/broker_prover_facade.js +3 -3
  27. package/dest/proving_broker/config.d.ts +5 -1
  28. package/dest/proving_broker/config.d.ts.map +1 -1
  29. package/dest/proving_broker/config.js +7 -1
  30. package/dest/proving_broker/proving_agent.d.ts +4 -3
  31. package/dest/proving_broker/proving_agent.d.ts.map +1 -1
  32. package/dest/proving_broker/proving_agent.js +4 -4
  33. package/dest/proving_broker/proving_broker_instrumentation.d.ts +1 -1
  34. package/dest/proving_broker/proving_broker_instrumentation.d.ts.map +1 -1
  35. package/dest/proving_broker/proving_broker_instrumentation.js +11 -7
  36. package/dest/proving_broker/proving_job_controller.d.ts +4 -3
  37. package/dest/proving_broker/proving_job_controller.d.ts.map +1 -1
  38. package/dest/proving_broker/proving_job_controller.js +6 -3
  39. package/dest/test/mock_proof_store.d.ts +3 -3
  40. package/dest/test/mock_proof_store.d.ts.map +1 -1
  41. package/package.json +16 -17
  42. package/src/light/lightweight_checkpoint_builder.ts +52 -12
  43. package/src/mocks/fixtures.ts +2 -1
  44. package/src/mocks/test_context.ts +5 -0
  45. package/src/orchestrator/block-building-helpers.ts +1 -1
  46. package/src/orchestrator/checkpoint-proving-state.ts +47 -1
  47. package/src/orchestrator/epoch-proving-state.ts +56 -8
  48. package/src/orchestrator/orchestrator.ts +124 -83
  49. package/src/prover-client/prover-client.ts +23 -6
  50. package/src/proving_broker/broker_prover_facade.ts +6 -3
  51. package/src/proving_broker/config.ts +9 -0
  52. package/src/proving_broker/proving_agent.ts +5 -2
  53. package/src/proving_broker/proving_broker_instrumentation.ts +10 -6
  54. package/src/proving_broker/proving_job_controller.ts +9 -3
  55. package/dest/block-factory/index.d.ts +0 -2
  56. package/dest/block-factory/index.d.ts.map +0 -1
  57. package/dest/block-factory/index.js +0 -1
  58. package/dest/block-factory/light.d.ts +0 -38
  59. package/dest/block-factory/light.d.ts.map +0 -1
  60. package/dest/block-factory/light.js +0 -106
  61. package/src/block-factory/index.ts +0 -1
  62. package/src/block-factory/light.ts +0 -136
@@ -389,7 +389,6 @@ import { buildHeaderFromCircuitOutputs, getLastSiblingPath, getPublicChonkVerifi
389
389
  import { EpochProvingState } from './epoch-proving-state.js';
390
390
  import { ProvingOrchestratorMetrics } from './orchestrator_metrics.js';
391
391
  import { TxProvingState } from './tx-proving-state.js';
392
- const logger = createLogger('prover-client:orchestrator');
393
392
  _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
394
393
  [Attributes.BLOCK_NUMBER]: blockNumber
395
394
  })), _dec1 = trackSpan('ProvingOrchestrator.addTxs', (txs)=>({
@@ -414,6 +413,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
414
413
  dbProvider;
415
414
  prover;
416
415
  proverId;
416
+ cancelJobsOnStop;
417
417
  static{
418
418
  ({ e: [_initProto] } = _apply_decs_2203_r(this, [
419
419
  [
@@ -449,14 +449,17 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
449
449
  metrics;
450
450
  // eslint-disable-next-line aztec-custom/no-non-primitive-in-collections
451
451
  dbs;
452
- constructor(dbProvider, prover, proverId, telemetryClient = getTelemetryClient()){
452
+ logger;
453
+ constructor(dbProvider, prover, proverId, cancelJobsOnStop = false, telemetryClient = getTelemetryClient(), bindings){
453
454
  this.dbProvider = dbProvider;
454
455
  this.prover = prover;
455
456
  this.proverId = proverId;
457
+ this.cancelJobsOnStop = cancelJobsOnStop;
456
458
  this.provingState = (_initProto(this), undefined);
457
459
  this.pendingProvingJobs = [];
458
460
  this.provingPromise = undefined;
459
461
  this.dbs = new Map();
462
+ this.logger = createLogger('prover-client:orchestrator', bindings);
460
463
  this.metrics = new ProvingOrchestratorMetrics(telemetryClient, 'ProvingOrchestrator');
461
464
  }
462
465
  get tracer() {
@@ -465,6 +468,9 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
465
468
  getProverId() {
466
469
  return this.proverId;
467
470
  }
471
+ getNumActiveForks() {
472
+ return this.dbs.size;
473
+ }
468
474
  stop() {
469
475
  this.cancel();
470
476
  return Promise.resolve();
@@ -478,11 +484,18 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
478
484
  status: 'failure',
479
485
  reason
480
486
  }));
481
- logger.info(`Starting epoch ${epochNumber} with ${totalNumCheckpoints} checkpoints.`);
487
+ this.logger.info(`Starting epoch ${epochNumber} with ${totalNumCheckpoints} checkpoints.`);
482
488
  this.provingState = new EpochProvingState(epochNumber, totalNumCheckpoints, finalBlobBatchingChallenges, (provingState)=>this.checkAndEnqueueCheckpointRootRollup(provingState), resolve, reject);
483
489
  this.provingPromise = promise;
484
490
  }
485
- async startNewCheckpoint(checkpointIndex, constants, l1ToL2Messages, totalNumBlocks, headerOfLastBlockInPreviousCheckpoint) {
491
+ /**
492
+ * Starts a new checkpoint.
493
+ * @param checkpointIndex - The index of the checkpoint in the epoch.
494
+ * @param constants - The constants for this checkpoint.
495
+ * @param l1ToL2Messages - The set of L1 to L2 messages to be inserted at the beginning of this checkpoint.
496
+ * @param totalNumBlocks - The total number of blocks expected in the checkpoint (must be at least one).
497
+ * @param headerOfLastBlockInPreviousCheckpoint - The header of the last block in the previous checkpoint.
498
+ */ async startNewCheckpoint(checkpointIndex, constants, l1ToL2Messages, totalNumBlocks, headerOfLastBlockInPreviousCheckpoint) {
486
499
  if (!this.provingState) {
487
500
  throw new Error('Empty epoch proving state. Call startNewEpoch before starting a checkpoint.');
488
501
  }
@@ -493,7 +506,10 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
493
506
  const lastBlockNumber = headerOfLastBlockInPreviousCheckpoint.globalVariables.blockNumber;
494
507
  const db = await this.dbProvider.fork(lastBlockNumber);
495
508
  const firstBlockNumber = BlockNumber(lastBlockNumber + 1);
496
- this.dbs.set(firstBlockNumber, db);
509
+ this.dbs.set(firstBlockNumber, {
510
+ fork: db,
511
+ cleanupPromise: undefined
512
+ });
497
513
  // Get archive sibling path before any block in this checkpoint lands.
498
514
  const lastArchiveSiblingPath = await getLastSiblingPath(MerkleTreeId.ARCHIVE, db);
499
515
  // Insert all the l1 to l2 messages into the db. And get the states before and after the insertion.
@@ -518,14 +534,17 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
518
534
  throw new Error(`Checkpoint not accepting further blocks.`);
519
535
  }
520
536
  const constants = checkpointProvingState.constants;
521
- logger.info(`Starting block ${blockNumber} for slot ${constants.slotNumber}.`);
537
+ this.logger.info(`Starting block ${blockNumber} for slot ${constants.slotNumber}.`);
522
538
  // Fork the db only when it's not already set. The db for the first block is set in `startNewCheckpoint`.
523
539
  if (!this.dbs.has(blockNumber)) {
524
540
  // Fork world state at the end of the immediately previous block
525
541
  const db = await this.dbProvider.fork(BlockNumber(blockNumber - 1));
526
- this.dbs.set(blockNumber, db);
542
+ this.dbs.set(blockNumber, {
543
+ fork: db,
544
+ cleanupPromise: undefined
545
+ });
527
546
  }
528
- const db = this.dbs.get(blockNumber);
547
+ const db = this.dbs.get(blockNumber).fork;
529
548
  // Get archive snapshot and sibling path before any txs in this block lands.
530
549
  const lastArchiveTreeSnapshot = await getTreeSnapshot(MerkleTreeId.ARCHIVE, db);
531
550
  const lastArchiveSiblingPath = await getRootTreeSiblingPath(MerkleTreeId.ARCHIVE, db);
@@ -545,7 +564,8 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
545
564
  const blockEndBlobFields = blockProvingState.getBlockEndBlobFields();
546
565
  await endSpongeBlob.absorb(blockEndBlobFields);
547
566
  blockProvingState.setEndSpongeBlob(endSpongeBlob);
548
- // And also try to accumulate the blobs as far as we can:
567
+ // Try to accumulate the out hashes and blobs as far as we can:
568
+ await this.provingState.accumulateCheckpointOutHashes();
549
569
  await this.provingState.setBlobAccumulators();
550
570
  }
551
571
  }
@@ -559,7 +579,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
559
579
  if (!txs.length) {
560
580
  // To avoid an ugly throw below. If we require an empty block, we can just call setBlockCompleted
561
581
  // on a block with no txs. We cannot do that here because we cannot find the blockNumber without any txs.
562
- logger.warn(`Provided no txs to orchestrator addTxs.`);
582
+ this.logger.warn(`Provided no txs to orchestrator addTxs.`);
563
583
  return;
564
584
  }
565
585
  const blockNumber = BlockNumber(txs[0].globalVariables.blockNumber);
@@ -573,8 +593,8 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
573
593
  if (!provingState.isAcceptingTxs()) {
574
594
  throw new Error(`Block ${blockNumber} has been initialized with transactions.`);
575
595
  }
576
- logger.info(`Adding ${txs.length} transactions to block ${blockNumber}`);
577
- const db = this.dbs.get(blockNumber);
596
+ this.logger.info(`Adding ${txs.length} transactions to block ${blockNumber}`);
597
+ const db = this.dbs.get(blockNumber).fork;
578
598
  const lastArchive = provingState.lastArchiveTreeSnapshot;
579
599
  const newL1ToL2MessageTreeSnapshot = provingState.newL1ToL2MessageTreeSnapshot;
580
600
  const spongeBlobState = provingState.getStartSpongeBlob().clone();
@@ -584,7 +604,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
584
604
  throw new Error(`Invalid proving state when adding a tx`);
585
605
  }
586
606
  validateTx(tx);
587
- logger.debug(`Received transaction: ${tx.hash}`);
607
+ this.logger.debug(`Received transaction: ${tx.hash}`);
588
608
  const startSpongeBlob = spongeBlobState.clone();
589
609
  const [hints, treeSnapshots] = await this.prepareBaseRollupInputs(tx, lastArchive, newL1ToL2MessageTreeSnapshot, startSpongeBlob, db);
590
610
  if (!provingState.verifyState()) {
@@ -595,10 +615,10 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
595
615
  const txIndex = provingState.addNewTx(txProvingState);
596
616
  if (txProvingState.requireAvmProof) {
597
617
  this.getOrEnqueueChonkVerifier(provingState, txIndex);
598
- logger.debug(`Enqueueing public VM for tx ${txIndex}`);
618
+ this.logger.debug(`Enqueueing public VM for tx ${txIndex}`);
599
619
  this.enqueueVM(provingState, txIndex);
600
620
  } else {
601
- logger.debug(`Enqueueing base rollup for private-only tx ${txIndex}`);
621
+ this.logger.debug(`Enqueueing base rollup for private-only tx ${txIndex}`);
602
622
  this.enqueueBaseRollup(provingState, txIndex);
603
623
  }
604
624
  } catch (err) {
@@ -612,7 +632,8 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
612
632
  const blockEndBlobFields = provingState.getBlockEndBlobFields();
613
633
  await spongeBlobState.absorb(blockEndBlobFields);
614
634
  provingState.setEndSpongeBlob(spongeBlobState);
615
- // Txs have been added to the block. Now try to accumulate the blobs as far as we can:
635
+ // Txs have been added to the block. Now try to accumulate the out hashes and blobs as far as we can:
636
+ await this.provingState.accumulateCheckpointOutHashes();
616
637
  await this.provingState.setBlobAccumulators();
617
638
  }
618
639
  /**
@@ -627,7 +648,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
627
648
  const txHash = tx.getTxHash().toString();
628
649
  const privateInputs = getPublicChonkVerifierPrivateInputsFromTx(tx, this.proverId.toField());
629
650
  const tubeProof = promiseWithResolvers();
630
- logger.debug(`Starting chonk verifier circuit for tx ${txHash}`);
651
+ this.logger.debug(`Starting chonk verifier circuit for tx ${txHash}`);
631
652
  this.doEnqueueChonkVerifier(txHash, privateInputs, (proof)=>{
632
653
  tubeProof.resolve(proof);
633
654
  });
@@ -656,16 +677,16 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
656
677
  throw new Error(`Block ${blockNumber} is still accepting txs. Call setBlockCompleted after all txs have been added.`);
657
678
  }
658
679
  // Given we've applied every change from this block, now assemble the block header:
659
- logger.verbose(`Block ${blockNumber} completed. Assembling header.`);
680
+ this.logger.verbose(`Block ${blockNumber} completed. Assembling header.`);
660
681
  const header = await provingState.buildBlockHeader();
661
682
  if (expectedHeader && !header.equals(expectedHeader)) {
662
- logger.error(`Block header mismatch: header=${header} expectedHeader=${expectedHeader}`);
683
+ this.logger.error(`Block header mismatch: header=${header} expectedHeader=${expectedHeader}`);
663
684
  throw new Error('Block header mismatch');
664
685
  }
665
686
  // Get db for this block
666
- const db = this.dbs.get(provingState.blockNumber);
687
+ const db = this.dbs.get(provingState.blockNumber).fork;
667
688
  // Update the archive tree, so we're ready to start processing the next block:
668
- logger.verbose(`Updating archive tree with block ${provingState.blockNumber} header ${(await header.hash()).toString()}`);
689
+ this.logger.verbose(`Updating archive tree with block ${provingState.blockNumber} header ${(await header.hash()).toString()}`);
669
690
  await db.updateArchive(header);
670
691
  await this.verifyBuiltBlockAgainstSyncedState(provingState);
671
692
  return header;
@@ -674,33 +695,33 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
674
695
  async verifyBuiltBlockAgainstSyncedState(provingState) {
675
696
  const builtBlockHeader = provingState.getBuiltBlockHeader();
676
697
  if (!builtBlockHeader) {
677
- logger.debug('Block header not built yet, skipping header check.');
698
+ this.logger.debug('Block header not built yet, skipping header check.');
678
699
  return;
679
700
  }
680
701
  const output = provingState.getBlockRootRollupOutput();
681
702
  if (!output) {
682
- logger.debug('Block root rollup proof not built yet, skipping header check.');
703
+ this.logger.debug('Block root rollup proof not built yet, skipping header check.');
683
704
  return;
684
705
  }
685
706
  const header = await buildHeaderFromCircuitOutputs(output);
686
707
  if (!(await header.hash()).equals(await builtBlockHeader.hash())) {
687
- logger.error(`Block header mismatch.\nCircuit: ${inspect(header)}\nComputed: ${inspect(builtBlockHeader)}`);
708
+ this.logger.error(`Block header mismatch.\nCircuit: ${inspect(header)}\nComputed: ${inspect(builtBlockHeader)}`);
688
709
  provingState.reject(`Block header hash mismatch.`);
689
710
  return;
690
711
  }
691
712
  // Get db for this block
692
713
  const blockNumber = provingState.blockNumber;
693
- const db = this.dbs.get(blockNumber);
714
+ const db = this.dbs.get(blockNumber).fork;
694
715
  const newArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, db);
695
716
  const syncedArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, this.dbProvider.getSnapshot(blockNumber));
696
717
  if (!syncedArchive.equals(newArchive)) {
697
- logger.error(`Archive tree mismatch for block ${blockNumber}: world state synced to ${inspect(syncedArchive)} but built ${inspect(newArchive)}`);
718
+ this.logger.error(`Archive tree mismatch for block ${blockNumber}: world state synced to ${inspect(syncedArchive)} but built ${inspect(newArchive)}`);
698
719
  provingState.reject(`Archive tree mismatch.`);
699
720
  return;
700
721
  }
701
722
  const circuitArchive = output.newArchive;
702
723
  if (!newArchive.equals(circuitArchive)) {
703
- logger.error(`New archive mismatch.\nCircuit: ${output.newArchive}\nComputed: ${newArchive}`);
724
+ this.logger.error(`New archive mismatch.\nCircuit: ${output.newArchive}\nComputed: ${newArchive}`);
704
725
  provingState.reject(`New archive mismatch.`);
705
726
  return;
706
727
  }
@@ -708,14 +729,17 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
708
729
  // is aborted and never reaches this point, it will leak the fork. We need to add a global cleanup,
709
730
  // but have to make sure it only runs once all operations are completed, otherwise some function here
710
731
  // will attempt to access the fork after it was closed.
711
- logger.debug(`Cleaning up world state fork for ${blockNumber}`);
712
- void this.dbs.get(blockNumber)?.close().then(()=>this.dbs.delete(blockNumber)).catch((err)=>logger.error(`Error closing db for block ${blockNumber}`, err));
732
+ void this.cleanupDBFork(blockNumber);
713
733
  }
714
734
  /**
715
- * Cancel any further proving
735
+ * Cancel any further proving.
736
+ * If cancelJobsOnStop is true, aborts all pending jobs with the broker (which marks them as 'Aborted').
737
+ * If cancelJobsOnStop is false (default), jobs remain in the broker queue and can be reused on restart/reorg.
716
738
  */ cancel() {
717
- for (const controller of this.pendingProvingJobs){
718
- controller.abort();
739
+ if (this.cancelJobsOnStop) {
740
+ for (const controller of this.pendingProvingJobs){
741
+ controller.abort();
742
+ }
719
743
  }
720
744
  this.provingState?.cancel();
721
745
  }
@@ -737,6 +761,22 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
737
761
  });
738
762
  return epochProofResult;
739
763
  }
764
+ async cleanupDBFork(blockNumber) {
765
+ this.logger.debug(`Cleaning up world state fork for ${blockNumber}`);
766
+ const fork = this.dbs.get(blockNumber);
767
+ if (!fork) {
768
+ return;
769
+ }
770
+ try {
771
+ if (!fork.cleanupPromise) {
772
+ fork.cleanupPromise = fork.fork.close();
773
+ }
774
+ await fork.cleanupPromise;
775
+ this.dbs.delete(blockNumber);
776
+ } catch (err) {
777
+ this.logger.error(`Error closing db for block ${blockNumber}`, err);
778
+ }
779
+ }
740
780
  /**
741
781
  * Enqueue a job to be scheduled
742
782
  * @param provingState - The proving state object being operated on
@@ -744,7 +784,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
744
784
  * @param job - The actual job, returns a promise notifying of the job's completion
745
785
  */ deferredProving(provingState, request, callback) {
746
786
  if (!provingState.verifyState()) {
747
- logger.debug(`Not enqueuing job, state no longer valid`);
787
+ this.logger.debug(`Not enqueuing job, state no longer valid`);
748
788
  return;
749
789
  }
750
790
  const controller = new AbortController();
@@ -759,7 +799,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
759
799
  }
760
800
  const result = await request(controller.signal);
761
801
  if (!provingState.verifyState()) {
762
- logger.debug(`State no longer valid, discarding result`);
802
+ this.logger.debug(`State no longer valid, discarding result`);
763
803
  return;
764
804
  }
765
805
  // we could have been cancelled whilst waiting for the result
@@ -774,7 +814,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
774
814
  // drop this result
775
815
  return;
776
816
  }
777
- logger.error(`Error thrown when proving job`, err);
817
+ this.logger.error(`Error thrown when proving job`, err);
778
818
  provingState.reject(`${err}`);
779
819
  } finally{
780
820
  const index = this.pendingProvingJobs.indexOf(controller);
@@ -830,17 +870,17 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
830
870
  // Executes the next level of merge if all inputs are available
831
871
  enqueueBaseRollup(provingState, txIndex) {
832
872
  if (!provingState.verifyState()) {
833
- logger.debug('Not running base rollup, state invalid');
873
+ this.logger.debug('Not running base rollup, state invalid');
834
874
  return;
835
875
  }
836
876
  if (!provingState.tryStartProvingBase(txIndex)) {
837
- logger.debug(`Base rollup for tx ${txIndex} already started.`);
877
+ this.logger.debug(`Base rollup for tx ${txIndex} already started.`);
838
878
  return;
839
879
  }
840
880
  const txProvingState = provingState.getTxProvingState(txIndex);
841
881
  const { processedTx } = txProvingState;
842
882
  const { rollupType, inputs } = txProvingState.getBaseRollupTypeAndInputs();
843
- logger.debug(`Enqueuing deferred proving base rollup for ${processedTx.hash.toString()}`);
883
+ this.logger.debug(`Enqueuing deferred proving base rollup for ${processedTx.hash.toString()}`);
844
884
  this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, `ProvingOrchestrator.prover.${inputs instanceof PrivateTxBaseRollupPrivateInputs ? 'getPrivateTxBaseRollupProof' : 'getPublicTxBaseRollupProof'}`, {
845
885
  [Attributes.TX_HASH]: processedTx.hash.toString(),
846
886
  [Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType
@@ -851,7 +891,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
851
891
  return this.prover.getPublicTxBaseRollupProof(inputs, signal, provingState.epochNumber);
852
892
  }
853
893
  }), (result)=>{
854
- logger.debug(`Completed proof for ${rollupType} for tx ${processedTx.hash.toString()}`);
894
+ this.logger.debug(`Completed proof for ${rollupType} for tx ${processedTx.hash.toString()}`);
855
895
  validatePartialState(result.inputs.endTreeSnapshots, txProvingState.treeSnapshots);
856
896
  const leafLocation = provingState.setBaseRollupProof(txIndex, result);
857
897
  if (provingState.totalNumTxs === 1) {
@@ -865,14 +905,14 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
865
905
  // Once completed, will enqueue the the public tx base rollup.
866
906
  getOrEnqueueChonkVerifier(provingState, txIndex) {
867
907
  if (!provingState.verifyState()) {
868
- logger.debug('Not running chonk verifier circuit, state invalid');
908
+ this.logger.debug('Not running chonk verifier circuit, state invalid');
869
909
  return;
870
910
  }
871
911
  const txProvingState = provingState.getTxProvingState(txIndex);
872
912
  const txHash = txProvingState.processedTx.hash.toString();
873
913
  NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH;
874
914
  const handleResult = (result)=>{
875
- logger.debug(`Got chonk verifier proof for tx index: ${txIndex}`, {
915
+ this.logger.debug(`Got chonk verifier proof for tx index: ${txIndex}`, {
876
916
  txHash
877
917
  });
878
918
  txProvingState.setPublicChonkVerifierProof(result);
@@ -880,18 +920,18 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
880
920
  this.checkAndEnqueueBaseRollup(provingState, txIndex);
881
921
  };
882
922
  if (this.provingState?.cachedChonkVerifierProofs.has(txHash)) {
883
- logger.debug(`Chonk verifier proof already enqueued for tx index: ${txIndex}`, {
923
+ this.logger.debug(`Chonk verifier proof already enqueued for tx index: ${txIndex}`, {
884
924
  txHash
885
925
  });
886
926
  void this.provingState.cachedChonkVerifierProofs.get(txHash).then(handleResult);
887
927
  return;
888
928
  }
889
- logger.debug(`Enqueuing chonk verifier circuit for tx index: ${txIndex}`);
929
+ this.logger.debug(`Enqueuing chonk verifier circuit for tx index: ${txIndex}`);
890
930
  this.doEnqueueChonkVerifier(txHash, txProvingState.getPublicChonkVerifierPrivateInputs(), handleResult);
891
931
  }
892
932
  doEnqueueChonkVerifier(txHash, inputs, handler, provingState = this.provingState) {
893
933
  if (!provingState.verifyState()) {
894
- logger.debug('Not running chonk verifier circuit, state invalid');
934
+ this.logger.debug('Not running chonk verifier circuit, state invalid');
895
935
  return;
896
936
  }
897
937
  this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getPublicChonkVerifierProof', {
@@ -903,11 +943,11 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
903
943
  // Enqueues the next level of merge if all inputs are available
904
944
  enqueueMergeRollup(provingState, location) {
905
945
  if (!provingState.verifyState()) {
906
- logger.debug('Not running merge rollup. State no longer valid.');
946
+ this.logger.debug('Not running merge rollup. State no longer valid.');
907
947
  return;
908
948
  }
909
949
  if (!provingState.tryStartProvingMerge(location)) {
910
- logger.debug('Merge rollup already started.');
950
+ this.logger.debug('Merge rollup already started.');
911
951
  return;
912
952
  }
913
953
  const inputs = provingState.getMergeRollupInputs(location);
@@ -921,15 +961,15 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
921
961
  // Executes the block root rollup circuit
922
962
  enqueueBlockRootRollup(provingState) {
923
963
  if (!provingState.verifyState()) {
924
- logger.debug('Not running block root rollup, state no longer valid');
964
+ this.logger.debug('Not running block root rollup, state no longer valid');
925
965
  return;
926
966
  }
927
967
  if (!provingState.tryStartProvingBlockRoot()) {
928
- logger.debug('Block root rollup already started.');
968
+ this.logger.debug('Block root rollup already started.');
929
969
  return;
930
970
  }
931
971
  const { rollupType, inputs } = provingState.getBlockRootRollupTypeAndInputs();
932
- logger.debug(`Enqueuing ${rollupType} for block ${provingState.blockNumber}.`);
972
+ this.logger.debug(`Enqueuing ${rollupType} for block ${provingState.blockNumber}.`);
933
973
  this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getBlockRootRollupProof', {
934
974
  [Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType
935
975
  }, (signal)=>{
@@ -945,27 +985,29 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
945
985
  return this.prover.getBlockRootRollupProof(inputs, signal, provingState.epochNumber);
946
986
  }
947
987
  }), async (result)=>{
948
- // If the proofs were slower than the block header building, then we need to try validating the block header hashes here.
949
- await this.verifyBuiltBlockAgainstSyncedState(provingState);
950
- logger.debug(`Completed ${rollupType} proof for block ${provingState.blockNumber}`);
988
+ this.logger.debug(`Completed ${rollupType} proof for block ${provingState.blockNumber}`);
951
989
  const leafLocation = provingState.setBlockRootRollupProof(result);
952
990
  const checkpointProvingState = provingState.parentCheckpoint;
991
+ // If the proofs were slower than the block header building, then we need to try validating the block header hashes here.
992
+ await this.verifyBuiltBlockAgainstSyncedState(provingState);
953
993
  if (checkpointProvingState.totalNumBlocks === 1) {
954
994
  this.checkAndEnqueueCheckpointRootRollup(checkpointProvingState);
955
995
  } else {
956
996
  this.checkAndEnqueueNextBlockMergeRollup(checkpointProvingState, leafLocation);
957
997
  }
998
+ // We are finished with the block at this point, ensure the fork is cleaned up
999
+ void this.cleanupDBFork(provingState.blockNumber);
958
1000
  });
959
1001
  }
960
1002
  // Executes the base parity circuit and stores the intermediate state for the root parity circuit
961
1003
  // Enqueues the root parity circuit if all inputs are available
962
1004
  enqueueBaseParityCircuit(checkpointProvingState, provingState, baseParityIndex) {
963
1005
  if (!provingState.verifyState()) {
964
- logger.debug('Not running base parity. State no longer valid.');
1006
+ this.logger.debug('Not running base parity. State no longer valid.');
965
1007
  return;
966
1008
  }
967
1009
  if (!provingState.tryStartProvingBaseParity(baseParityIndex)) {
968
- logger.warn(`Base parity ${baseParityIndex} already started.`);
1010
+ this.logger.warn(`Base parity ${baseParityIndex} already started.`);
969
1011
  return;
970
1012
  }
971
1013
  const inputs = checkpointProvingState.getBaseParityInputs(baseParityIndex);
@@ -986,11 +1028,11 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
986
1028
  // Enqueues the root rollup proof if all inputs are available
987
1029
  enqueueRootParityCircuit(provingState) {
988
1030
  if (!provingState.verifyState()) {
989
- logger.debug('Not running root parity. State no longer valid.');
1031
+ this.logger.debug('Not running root parity. State no longer valid.');
990
1032
  return;
991
1033
  }
992
1034
  if (!provingState.tryStartProvingRootParity()) {
993
- logger.debug('Root parity already started.');
1035
+ this.logger.debug('Root parity already started.');
994
1036
  return;
995
1037
  }
996
1038
  const inputs = provingState.getParityRootInputs();
@@ -1005,11 +1047,11 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1005
1047
  // Enqueues the next level of merge if all inputs are available
1006
1048
  enqueueBlockMergeRollup(provingState, location) {
1007
1049
  if (!provingState.verifyState()) {
1008
- logger.debug('Not running block merge rollup. State no longer valid.');
1050
+ this.logger.debug('Not running block merge rollup. State no longer valid.');
1009
1051
  return;
1010
1052
  }
1011
1053
  if (!provingState.tryStartProvingBlockMerge(location)) {
1012
- logger.debug('Block merge rollup already started.');
1054
+ this.logger.debug('Block merge rollup already started.');
1013
1055
  return;
1014
1056
  }
1015
1057
  const inputs = provingState.getBlockMergeRollupInputs(location);
@@ -1022,15 +1064,15 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1022
1064
  }
1023
1065
  enqueueCheckpointRootRollup(provingState) {
1024
1066
  if (!provingState.verifyState()) {
1025
- logger.debug('Not running checkpoint root rollup. State no longer valid.');
1067
+ this.logger.debug('Not running checkpoint root rollup. State no longer valid.');
1026
1068
  return;
1027
1069
  }
1028
1070
  if (!provingState.tryStartProvingCheckpointRoot()) {
1029
- logger.debug('Checkpoint root rollup already started.');
1071
+ this.logger.debug('Checkpoint root rollup already started.');
1030
1072
  return;
1031
1073
  }
1032
1074
  const rollupType = provingState.getCheckpointRootRollupType();
1033
- logger.debug(`Enqueuing ${rollupType} for checkpoint ${provingState.index}.`);
1075
+ this.logger.debug(`Enqueuing ${rollupType} for checkpoint ${provingState.index}.`);
1034
1076
  const inputs = provingState.getCheckpointRootRollupInputs();
1035
1077
  this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getCheckpointRootRollupProof', {
1036
1078
  [Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType
@@ -1044,11 +1086,11 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1044
1086
  const computedEndBlobAccumulatorState = provingState.getEndBlobAccumulator().toBlobAccumulator();
1045
1087
  const circuitEndBlobAccumulatorState = result.inputs.endBlobAccumulator;
1046
1088
  if (!circuitEndBlobAccumulatorState.equals(computedEndBlobAccumulatorState)) {
1047
- logger.error(`Blob accumulator state mismatch.\nCircuit: ${inspect(circuitEndBlobAccumulatorState)}\nComputed: ${inspect(computedEndBlobAccumulatorState)}`);
1089
+ this.logger.error(`Blob accumulator state mismatch.\nCircuit: ${inspect(circuitEndBlobAccumulatorState)}\nComputed: ${inspect(computedEndBlobAccumulatorState)}`);
1048
1090
  provingState.reject(`Blob accumulator state mismatch.`);
1049
1091
  return;
1050
1092
  }
1051
- logger.debug(`Completed ${rollupType} proof for checkpoint ${provingState.index}.`);
1093
+ this.logger.debug(`Completed ${rollupType} proof for checkpoint ${provingState.index}.`);
1052
1094
  const leafLocation = provingState.setCheckpointRootRollupProof(result);
1053
1095
  const epochProvingState = provingState.parentEpoch;
1054
1096
  if (epochProvingState.totalNumCheckpoints === 1) {
@@ -1060,37 +1102,37 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1060
1102
  }
1061
1103
  enqueueCheckpointMergeRollup(provingState, location) {
1062
1104
  if (!provingState.verifyState()) {
1063
- logger.debug('Not running checkpoint merge rollup. State no longer valid.');
1105
+ this.logger.debug('Not running checkpoint merge rollup. State no longer valid.');
1064
1106
  return;
1065
1107
  }
1066
1108
  if (!provingState.tryStartProvingCheckpointMerge(location)) {
1067
- logger.debug('Checkpoint merge rollup already started.');
1109
+ this.logger.debug('Checkpoint merge rollup already started.');
1068
1110
  return;
1069
1111
  }
1070
1112
  const inputs = provingState.getCheckpointMergeRollupInputs(location);
1071
1113
  this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getCheckpointMergeRollupProof', {
1072
1114
  [Attributes.PROTOCOL_CIRCUIT_NAME]: 'rollup-checkpoint-merge'
1073
1115
  }, (signal)=>this.prover.getCheckpointMergeRollupProof(inputs, signal, provingState.epochNumber)), (result)=>{
1074
- logger.debug('Completed proof for checkpoint merge rollup.');
1116
+ this.logger.debug('Completed proof for checkpoint merge rollup.');
1075
1117
  provingState.setCheckpointMergeRollupProof(location, result);
1076
1118
  this.checkAndEnqueueNextCheckpointMergeRollup(provingState, location);
1077
1119
  });
1078
1120
  }
1079
1121
  enqueueEpochPadding(provingState) {
1080
1122
  if (!provingState.verifyState()) {
1081
- logger.debug('Not running epoch padding. State no longer valid.');
1123
+ this.logger.debug('Not running epoch padding. State no longer valid.');
1082
1124
  return;
1083
1125
  }
1084
1126
  if (!provingState.tryStartProvingPaddingCheckpoint()) {
1085
- logger.debug('Padding checkpoint already started.');
1127
+ this.logger.debug('Padding checkpoint already started.');
1086
1128
  return;
1087
1129
  }
1088
- logger.debug('Padding epoch proof with a padding block root proof.');
1130
+ this.logger.debug('Padding epoch proof with a padding block root proof.');
1089
1131
  const inputs = provingState.getPaddingCheckpointInputs();
1090
1132
  this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getCheckpointPaddingRollupProof', {
1091
1133
  [Attributes.PROTOCOL_CIRCUIT_NAME]: 'rollup-checkpoint-padding'
1092
1134
  }, (signal)=>this.prover.getCheckpointPaddingRollupProof(inputs, signal, provingState.epochNumber)), (result)=>{
1093
- logger.debug('Completed proof for padding checkpoint.');
1135
+ this.logger.debug('Completed proof for padding checkpoint.');
1094
1136
  provingState.setCheckpointPaddingProof(result);
1095
1137
  this.checkAndEnqueueRootRollup(provingState);
1096
1138
  });
@@ -1098,15 +1140,15 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1098
1140
  // Executes the root rollup circuit
1099
1141
  enqueueRootRollup(provingState) {
1100
1142
  if (!provingState.verifyState()) {
1101
- logger.debug('Not running root rollup, state no longer valid');
1143
+ this.logger.debug('Not running root rollup, state no longer valid');
1102
1144
  return;
1103
1145
  }
1104
- logger.debug(`Preparing root rollup`);
1146
+ this.logger.debug(`Preparing root rollup`);
1105
1147
  const inputs = provingState.getRootRollupInputs();
1106
1148
  this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getRootRollupProof', {
1107
1149
  [Attributes.PROTOCOL_CIRCUIT_NAME]: 'rollup-root'
1108
1150
  }, (signal)=>this.prover.getRootRollupProof(inputs, signal, provingState.epochNumber)), (result)=>{
1109
- logger.verbose(`Orchestrator completed root rollup for epoch ${provingState.epochNumber}`);
1151
+ this.logger.verbose(`Orchestrator completed root rollup for epoch ${provingState.epochNumber}`);
1110
1152
  provingState.setRootRollupProof(result);
1111
1153
  provingState.resolve({
1112
1154
  status: 'success'
@@ -1126,7 +1168,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1126
1168
  }
1127
1169
  checkAndEnqueueBlockRootRollup(provingState) {
1128
1170
  if (!provingState.isReadyForBlockRootRollup()) {
1129
- logger.debug('Not ready for block root rollup');
1171
+ this.logger.debug('Not ready for block root rollup');
1130
1172
  return;
1131
1173
  }
1132
1174
  this.enqueueBlockRootRollup(provingState);
@@ -1161,7 +1203,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1161
1203
  }
1162
1204
  checkAndEnqueueRootRollup(provingState) {
1163
1205
  if (!provingState.isReadyForRootRollup()) {
1164
- logger.debug('Not ready for root rollup');
1206
+ this.logger.debug('Not ready for root rollup');
1165
1207
  return;
1166
1208
  }
1167
1209
  this.enqueueRootRollup(provingState);
@@ -1173,7 +1215,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1173
1215
  * @param txIndex - The index of the transaction being proven
1174
1216
  */ enqueueVM(provingState, txIndex) {
1175
1217
  if (!provingState.verifyState()) {
1176
- logger.debug(`Not running VM circuit as state is no longer valid`);
1218
+ this.logger.debug(`Not running VM circuit as state is no longer valid`);
1177
1219
  return;
1178
1220
  }
1179
1221
  const txProvingState = provingState.getTxProvingState(txIndex);
@@ -1184,7 +1226,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1184
1226
  return await this.prover.getAvmProof(inputs, signal, provingState.epochNumber);
1185
1227
  });
1186
1228
  this.deferredProving(provingState, doAvmProving, (proof)=>{
1187
- logger.debug(`Proven VM for tx index: ${txIndex}`);
1229
+ this.logger.debug(`Proven VM for tx index: ${txIndex}`);
1188
1230
  txProvingState.setAvmProof(proof);
1189
1231
  this.checkAndEnqueueBaseRollup(provingState, txIndex);
1190
1232
  });
@@ -1195,7 +1237,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
1195
1237
  return;
1196
1238
  }
1197
1239
  // We must have completed all proving (chonk verifier proof and (if required) vm proof are generated), we now move to the base rollup.
1198
- logger.debug(`Public functions completed for tx ${txIndex} enqueueing base rollup`);
1240
+ this.logger.debug(`Public functions completed for tx ${txIndex} enqueueing base rollup`);
1199
1241
  this.enqueueBaseRollup(provingState, txIndex);
1200
1242
  }
1201
1243
  }
@@ -39,4 +39,4 @@ export declare class ProverClient implements EpochProverManager {
39
39
  private stopAgents;
40
40
  }
41
41
  export declare function buildServerCircuitProver(config: ActualProverConfig & ACVMConfig & BBConfig, telemetry: TelemetryClient): Promise<ServerCircuitProver>;
42
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLWNsaWVudC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Byb3Zlci1jbGllbnQvcHJvdmVyLWNsaWVudC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxVQUFVLEVBQUUsS0FBSyxRQUFRLEVBQTJDLE1BQU0sa0JBQWtCLENBQUM7QUFFM0csT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFHaEUsT0FBTyxFQUNMLEtBQUssa0JBQWtCLEVBQ3ZCLEtBQUssV0FBVyxFQUNoQixLQUFLLGtCQUFrQixFQUN2QixLQUFLLHdCQUF3QixFQUM3QixLQUFLLGdCQUFnQixFQUNyQixLQUFLLGtCQUFrQixFQUV2QixLQUFLLHdCQUF3QixFQUM3QixLQUFLLG1CQUFtQixFQUV6QixNQUFNLGlDQUFpQyxDQUFDO0FBQ3pDLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBc0IsTUFBTSx5QkFBeUIsQ0FBQztBQUVuRixPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQU92RCxzSEFBc0g7QUFDdEgscUJBQWEsWUFBYSxZQUFXLGtCQUFrQjtJQVFuRCxPQUFPLENBQUMsTUFBTTtJQUNkLE9BQU8sQ0FBQyxVQUFVO0lBQ2xCLE9BQU8sQ0FBQyxrQkFBa0I7SUFDMUIsT0FBTyxDQUFDLFdBQVcsQ0FBQztJQUNwQixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsR0FBRztJQVpiLE9BQU8sQ0FBQyxPQUFPLENBQVM7SUFDeEIsT0FBTyxDQUFDLE1BQU0sQ0FBc0I7SUFFcEMsT0FBTyxDQUFDLFVBQVUsQ0FBYTtJQUMvQixPQUFPLENBQUMsZ0JBQWdCLENBQXlCO0lBRWpELE9BQU8sZUFVTjtJQUVNLGlCQUFpQixJQUFJLFdBQVcsQ0FJdEM7SUFFTSxXQUFXLElBQUksVUFBVSxDQUUvQjtJQUVLLGtCQUFrQixDQUFDLE1BQU0sRUFBRSxPQUFPLENBQUMsa0JBQWtCLENBQUMsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBWTNFO0lBRUQ7O09BRUc7SUFDVSxLQUFLLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQU9sQztJQUVEOztPQUVHO0lBQ1UsSUFBSSxrQkFPaEI7SUFFRDs7Ozs7T0FLRztJQUNILE9BQW9CLEdBQUcsQ0FDckIsTUFBTSxFQUFFLGtCQUFrQixFQUMxQixVQUFVLEVBQUUsd0JBQXdCLEdBQUcsd0JBQXdCLEVBQy9ELE1BQU0sRUFBRSxnQkFBZ0IsRUFDeEIsU0FBUyxHQUFFLGVBQXNDLHlCQUtsRDtJQUVNLG1CQUFtQixJQUFJLGtCQUFrQixDQU0vQztZQUVhLG9CQUFvQjtZQW1CcEIsVUFBVTtDQUd6QjtBQUVELHdCQUFnQix3QkFBd0IsQ0FDdEMsTUFBTSxFQUFFLGtCQUFrQixHQUFHLFVBQVUsR0FBRyxRQUFRLEVBQ2xELFNBQVMsRUFBRSxlQUFlLEdBQ3pCLE9BQU8sQ0FBQyxtQkFBbUIsQ0FBQyxDQVU5QiJ9
42
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLWNsaWVudC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Byb3Zlci1jbGllbnQvcHJvdmVyLWNsaWVudC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxVQUFVLEVBQUUsS0FBSyxRQUFRLEVBQTJDLE1BQU0sa0JBQWtCLENBQUM7QUFFM0csT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFHaEUsT0FBTyxFQUNMLEtBQUssa0JBQWtCLEVBQ3ZCLEtBQUssV0FBVyxFQUNoQixLQUFLLGtCQUFrQixFQUN2QixLQUFLLHdCQUF3QixFQUM3QixLQUFLLGdCQUFnQixFQUNyQixLQUFLLGtCQUFrQixFQUV2QixLQUFLLHdCQUF3QixFQUM3QixLQUFLLG1CQUFtQixFQUV6QixNQUFNLGlDQUFpQyxDQUFDO0FBQ3pDLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBc0IsTUFBTSx5QkFBeUIsQ0FBQztBQUVuRixPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQU92RCxzSEFBc0g7QUFDdEgscUJBQWEsWUFBYSxZQUFXLGtCQUFrQjtJQVFuRCxPQUFPLENBQUMsTUFBTTtJQUNkLE9BQU8sQ0FBQyxVQUFVO0lBQ2xCLE9BQU8sQ0FBQyxrQkFBa0I7SUFDMUIsT0FBTyxDQUFDLFdBQVcsQ0FBQztJQUNwQixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsR0FBRztJQVpiLE9BQU8sQ0FBQyxPQUFPLENBQVM7SUFDeEIsT0FBTyxDQUFDLE1BQU0sQ0FBc0I7SUFFcEMsT0FBTyxDQUFDLFVBQVUsQ0FBYTtJQUMvQixPQUFPLENBQUMsZ0JBQWdCLENBQXlCO0lBRWpELE9BQU8sZUFVTjtJQUVNLGlCQUFpQixJQUFJLFdBQVcsQ0FrQnRDO0lBRU0sV0FBVyxJQUFJLFVBQVUsQ0FFL0I7SUFFSyxrQkFBa0IsQ0FBQyxNQUFNLEVBQUUsT0FBTyxDQUFDLGtCQUFrQixDQUFDLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQVkzRTtJQUVEOztPQUVHO0lBQ1UsS0FBSyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FPbEM7SUFFRDs7T0FFRztJQUNVLElBQUksa0JBT2hCO0lBRUQ7Ozs7O09BS0c7SUFDSCxPQUFvQixHQUFHLENBQ3JCLE1BQU0sRUFBRSxrQkFBa0IsRUFDMUIsVUFBVSxFQUFFLHdCQUF3QixHQUFHLHdCQUF3QixFQUMvRCxNQUFNLEVBQUUsZ0JBQWdCLEVBQ3hCLFNBQVMsR0FBRSxlQUFzQyx5QkFLbEQ7SUFFTSxtQkFBbUIsSUFBSSxrQkFBa0IsQ0FNL0M7WUFFYSxvQkFBb0I7WUFxQnBCLFVBQVU7Q0FHekI7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQ3RDLE1BQU0sRUFBRSxrQkFBa0IsR0FBRyxVQUFVLEdBQUcsUUFBUSxFQUNsRCxTQUFTLEVBQUUsZUFBZSxHQUN6QixPQUFPLENBQUMsbUJBQW1CLENBQUMsQ0FXOUIifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"prover-client.d.ts","sourceRoot":"","sources":["../../src/prover-client/prover-client.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,QAAQ,EAA2C,MAAM,kBAAkB,CAAC;AAE3G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EAEvB,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAEnF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAOvD,sHAAsH;AACtH,qBAAa,YAAa,YAAW,kBAAkB;IAQnD,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,WAAW,CAAC;IACpB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,GAAG;IAZb,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,MAAM,CAAsB;IAEpC,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,gBAAgB,CAAyB;IAEjD,OAAO,eAUN;IAEM,iBAAiB,IAAI,WAAW,CAItC;IAEM,WAAW,IAAI,UAAU,CAE/B;IAEK,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAY3E;IAED;;OAEG;IACU,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAOlC;IAED;;OAEG;IACU,IAAI,kBAOhB;IAED;;;;;OAKG;IACH,OAAoB,GAAG,CACrB,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,wBAAwB,GAAG,wBAAwB,EAC/D,MAAM,EAAE,gBAAgB,EACxB,SAAS,GAAE,eAAsC,yBAKlD;IAEM,mBAAmB,IAAI,kBAAkB,CAM/C;YAEa,oBAAoB;YAmBpB,UAAU;CAGzB;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,kBAAkB,GAAG,UAAU,GAAG,QAAQ,EAClD,SAAS,EAAE,eAAe,GACzB,OAAO,CAAC,mBAAmB,CAAC,CAU9B"}
1
+ {"version":3,"file":"prover-client.d.ts","sourceRoot":"","sources":["../../src/prover-client/prover-client.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,QAAQ,EAA2C,MAAM,kBAAkB,CAAC;AAE3G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EAEvB,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAEnF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAOvD,sHAAsH;AACtH,qBAAa,YAAa,YAAW,kBAAkB;IAQnD,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,WAAW,CAAC;IACpB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,GAAG;IAZb,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,MAAM,CAAsB;IAEpC,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,gBAAgB,CAAyB;IAEjD,OAAO,eAUN;IAEM,iBAAiB,IAAI,WAAW,CAkBtC;IAEM,WAAW,IAAI,UAAU,CAE/B;IAEK,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAY3E;IAED;;OAEG;IACU,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAOlC;IAED;;OAEG;IACU,IAAI,kBAOhB;IAED;;;;;OAKG;IACH,OAAoB,GAAG,CACrB,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,wBAAwB,GAAG,wBAAwB,EAC/D,MAAM,EAAE,gBAAgB,EACxB,SAAS,GAAE,eAAsC,yBAKlD;IAEM,mBAAmB,IAAI,kBAAkB,CAM/C;YAEa,oBAAoB;YAqBpB,UAAU;CAGzB;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,kBAAkB,GAAG,UAAU,GAAG,QAAQ,EAClD,SAAS,EAAE,eAAe,GACzB,OAAO,CAAC,mBAAmB,CAAC,CAW9B"}