@aztec/prover-client 0.75.0 → 0.76.0

package/src/orchestrator/tx-proving-state.ts

@@ -52,16 +52,16 @@ export class TxProvingState {
     return this.processedTx.avmProvingRequest!.inputs;
   }
 
-  public async getBaseRollupTypeAndInputs() {
+  public getBaseRollupTypeAndInputs() {
     if (this.requireAvmProof) {
       return {
         rollupType: 'public-base-rollup' satisfies CircuitName,
-        inputs: await this.#getPublicBaseInputs(),
+        inputs: this.#getPublicBaseInputs(),
       };
     } else {
       return {
         rollupType: 'private-base-rollup' satisfies CircuitName,
-        inputs: await this.#getPrivateBaseInputs(),
+        inputs: this.#getPrivateBaseInputs(),
       };
     }
   }
@@ -74,12 +74,12 @@ export class TxProvingState {
     this.avm = avmProofAndVk;
   }
 
-  async #getPrivateBaseInputs() {
+  #getPrivateBaseInputs() {
     if (!this.tube) {
       throw new Error('Tx not ready for proving base rollup.');
     }
 
-    const vkData = await this.#getTubeVkData();
+    const vkData = this.#getTubeVkData();
     const tubeData = new PrivateTubeData(
       this.processedTx.data.toPrivateToRollupKernelCircuitPublicInputs(),
       this.tube.proof,
@@ -92,7 +92,7 @@ export class TxProvingState {
     return new PrivateBaseRollupInputs(tubeData, this.baseRollupHints);
   }
 
-  async #getPublicBaseInputs() {
+  #getPublicBaseInputs() {
     if (!this.processedTx.avmProvingRequest) {
       throw new Error('Should create private base rollup for a tx not requiring avm proof.');
     }
@@ -106,13 +106,13 @@ export class TxProvingState {
     const tubeData = new PublicTubeData(
       this.processedTx.data.toPrivateToPublicKernelCircuitPublicInputs(),
       this.tube.proof,
-      await this.#getTubeVkData(),
+      this.#getTubeVkData(),
     );
 
     const avmProofData = new AvmProofData(
       this.processedTx.avmProvingRequest.inputs.publicInputs,
       this.avm.proof,
-      await this.#getAvmVkData(),
+      this.#getAvmVkData(),
     );
 
     if (!(this.baseRollupHints instanceof PublicBaseRollupHints)) {
@@ -122,21 +122,21 @@ export class TxProvingState {
     return new PublicBaseRollupInputs(tubeData, avmProofData, this.baseRollupHints);
   }
 
-  async #getTubeVkData() {
+  #getTubeVkData() {
     let vkIndex = TUBE_VK_INDEX;
     try {
-      vkIndex = await getVKIndex(this.tube!.verificationKey);
+      vkIndex = getVKIndex(this.tube!.verificationKey);
     } catch (_ignored) {
       // TODO(#7410) The VK for the tube won't be in the tree for now, so we manually set it to the tube vk index
     }
-    const vkPath = await getVKSiblingPath(vkIndex);
+    const vkPath = getVKSiblingPath(vkIndex);
 
     return new VkWitnessData(this.tube!.verificationKey, vkIndex, vkPath);
   }
 
-  async #getAvmVkData() {
+  #getAvmVkData() {
     const vkIndex = AVM_VK_INDEX;
-    const vkPath = await getVKSiblingPath(vkIndex);
+    const vkPath = getVKSiblingPath(vkIndex);
     return new VkWitnessData(this.avm!.verificationKey, AVM_VK_INDEX, vkPath);
   }
 }

package/src/proving_broker/proving_agent.ts

@@ -94,20 +94,37 @@ export class ProvingAgent implements Traceable {
       return;
     }
 
+    if (this.idleTimer) {
+      this.instrumentation.recordIdleTime(this.idleTimer);
+    }
+    this.idleTimer = undefined;
+
+    const { job, time } = maybeJob;
+    await this.startJob(job, time);
+  }
+
+  private async startJob(job: ProvingJob, startedAt: number): Promise<void> {
     let abortedProofJobId: string | undefined;
     let abortedProofName: string | undefined;
+
     if (this.currentJobController?.getStatus() === ProvingJobControllerStatus.PROVING) {
       abortedProofJobId = this.currentJobController.getJobId();
       abortedProofName = this.currentJobController.getProofTypeName();
       this.currentJobController?.abort();
     }
 
-    const { job, time } = maybeJob;
     let inputs: ProvingJobInputs;
     try {
       inputs = await this.proofStore.getProofInput(job.inputsUri);
     } catch (err) {
-      await this.broker.reportProvingJobError(job.id, 'Failed to load proof inputs', true);
+      const maybeJob = await this.broker.reportProvingJobError(job.id, 'Failed to load proof inputs', true, {
+        allowList: this.proofAllowList,
+      });
+
+      if (maybeJob) {
+        return this.startJob(maybeJob.job, maybeJob.time);
+      }
+
       return;
     }
 
@@ -115,7 +132,7 @@ export class ProvingAgent implements Traceable {
       job.id,
       inputs,
       job.epochNumber,
-      time,
+      startedAt,
       this.circuitProver,
       this.handleJobResult,
     );
@@ -134,11 +151,6 @@ export class ProvingAgent implements Traceable {
       );
     }
 
-    if (this.idleTimer) {
-      this.instrumentation.recordIdleTime(this.idleTimer);
-    }
-    this.idleTimer = undefined;
-
     this.currentJobController.start();
   }
 
@@ -148,15 +160,22 @@ export class ProvingAgent implements Traceable {
     err: Error | undefined,
     result: ProvingJobResultsMap[T] | undefined,
   ) => {
-    this.idleTimer = new Timer();
+    let maybeJob: { job: ProvingJob; time: number } | undefined;
     if (err) {
       const retry = err.name === ProvingError.NAME ? (err as ProvingError).retry : false;
       this.log.error(`Job id=${jobId} type=${ProvingRequestType[type]} failed err=${err.message} retry=${retry}`, err);
-      return this.broker.reportProvingJobError(jobId, err.message, retry);
+      maybeJob = await this.broker.reportProvingJobError(jobId, err.message, retry, { allowList: this.proofAllowList });
     } else if (result) {
       const outputUri = await this.proofStore.saveProofOutput(jobId, type, result);
       this.log.info(`Job id=${jobId} type=${ProvingRequestType[type]} completed outputUri=${truncate(outputUri)}`);
-      return this.broker.reportProvingJobSuccess(jobId, outputUri);
+      maybeJob = await this.broker.reportProvingJobSuccess(jobId, outputUri, { allowList: this.proofAllowList });
+    }
+
+    if (maybeJob) {
+      const { job, time } = maybeJob;
+      await this.startJob(job, time);
+    } else {
+      this.idleTimer = new Timer();
     }
   };
 }

package/src/proving_broker/proving_broker.ts

@@ -1,4 +1,5 @@
 import {
+  type GetProvingJobResponse,
   type ProofUri,
   type ProvingJob,
   type ProvingJobConsumer,
@@ -205,16 +206,25 @@ export class ProvingBroker implements ProvingJobProducer, ProvingJobConsumer, Tr
     return this.requestQueue.put(() => this.#getCompletedJobs(ids));
   }
 
-  public getProvingJob(filter?: ProvingJobFilter): Promise<{ job: ProvingJob; time: number } | undefined> {
+  public getProvingJob(filter?: ProvingJobFilter): Promise<GetProvingJobResponse | undefined> {
     return this.requestQueue.put(() => this.#getProvingJob(filter));
   }
 
-  public reportProvingJobSuccess(id: ProvingJobId, value: ProofUri): Promise<void> {
-    return this.requestQueue.put(() => this.#reportProvingJobSuccess(id, value));
+  public reportProvingJobSuccess(
+    id: ProvingJobId,
+    value: ProofUri,
+    filter?: ProvingJobFilter,
+  ): Promise<GetProvingJobResponse | undefined> {
+    return this.requestQueue.put(() => this.#reportProvingJobSuccess(id, value, filter));
   }
 
-  public reportProvingJobError(id: ProvingJobId, err: string, retry = false): Promise<void> {
-    return this.requestQueue.put(() => this.#reportProvingJobError(id, err, retry));
+  public reportProvingJobError(
+    id: ProvingJobId,
+    err: string,
+    retry = false,
+    filter?: ProvingJobFilter,
+  ): Promise<GetProvingJobResponse | undefined> {
+    return this.requestQueue.put(() => this.#reportProvingJobError(id, err, retry, filter));
   }
 
   public reportProvingJobProgress(
@@ -305,9 +315,7 @@ export class ProvingBroker implements ProvingJobProducer, ProvingJobConsumer, Tr
   }
 
   // eslint-disable-next-line require-await
-  async #getProvingJob(
-    filter: ProvingJobFilter = { allowList: [] },
-  ): Promise<{ job: ProvingJob; time: number } | undefined> {
+  #getProvingJob(filter: ProvingJobFilter = { allowList: [] }): { job: ProvingJob; time: number } | undefined {
     const allowedProofs: ProvingRequestType[] =
       Array.isArray(filter.allowList) && filter.allowList.length > 0
         ? [...filter.allowList]
@@ -343,7 +351,12 @@ export class ProvingBroker implements ProvingJobProducer, ProvingJobConsumer, Tr
     return undefined;
   }
 
-  async #reportProvingJobError(id: ProvingJobId, err: string, retry = false): Promise<void> {
+  async #reportProvingJobError(
+    id: ProvingJobId,
+    err: string,
+    retry = false,
+    filter?: ProvingJobFilter,
+  ): Promise<GetProvingJobResponse | undefined> {
     const info = this.inProgress.get(id);
     const item = this.jobsCache.get(id);
     const retries = this.retries.get(id) ?? 0;
@@ -365,7 +378,7 @@ export class ProvingBroker implements ProvingJobProducer, ProvingJobConsumer, Tr
       this.logger.warn(`Proving job id=${id} is already settled, ignoring err=${err}`, {
         provingJobId: id,
       });
-      return;
+      return this.#getProvingJob(filter);
     }
 
     if (retry && retries + 1 < this.maxRetries && !this.isJobStale(item)) {
@@ -375,10 +388,16 @@ export class ProvingBroker implements ProvingJobProducer, ProvingJobConsumer, Tr
           provingJobId: id,
         },
       );
+
+      // assign another job to this agent
+      // do this first, before we put the failed job back in the queue
+      const maybeAnotherJob = this.#getProvingJob(filter);
+
       this.retries.set(id, retries + 1);
       this.enqueueJobInternal(item);
       this.instrumentation.incRetriedJobs(item.type);
-      return;
+
+      return maybeAnotherJob;
     }
 
     this.logger.info(
@@ -412,22 +431,24 @@ export class ProvingBroker implements ProvingJobProducer, ProvingJobConsumer, Tr
 
       throw saveErr;
     }
+
+    return this.#getProvingJob(filter);
   }
 
   #reportProvingJobProgress(
     id: ProvingJobId,
     startedAt: number,
     filter?: ProvingJobFilter,
-  ): Promise<{ job: ProvingJob; time: number } | undefined> {
+  ): { job: ProvingJob; time: number } | undefined {
     const job = this.jobsCache.get(id);
     if (!job) {
       this.logger.warn(`Proving job id=${id} does not exist`, { provingJobId: id });
-      return filter ? this.#getProvingJob(filter) : Promise.resolve(undefined);
+      return this.#getProvingJob(filter);
     }
 
     if (this.resultsCache.has(id)) {
       this.logger.warn(`Proving job id=${id} has already been completed`, { provingJobId: id });
-      return filter ? this.#getProvingJob(filter) : Promise.resolve(undefined);
+      return this.#getProvingJob(filter);
     }
 
     const metadata = this.inProgress.get(id);
@@ -445,7 +466,7 @@ export class ProvingBroker implements ProvingJobProducer, ProvingJobConsumer, Tr
         startedAt,
         lastUpdatedAt: this.msTimeSource(),
       });
-      return Promise.resolve(undefined);
+      return undefined;
     } else if (startedAt <= metadata.startedAt) {
       if (startedAt < metadata.startedAt) {
         this.logger.info(
@@ -457,21 +478,24 @@ export class ProvingBroker implements ProvingJobProducer, ProvingJobConsumer, Tr
       }
       metadata.startedAt = startedAt;
       metadata.lastUpdatedAt = now;
-      return Promise.resolve(undefined);
-    } else if (filter) {
-      this.logger.warn(
-        `Proving job id=${id} type=${
-          ProvingRequestType[job.type]
-        } already being worked on by another agent. Sending new one`,
-        { provingJobId: id },
-      );
-      return this.#getProvingJob(filter);
-    } else {
-      return Promise.resolve(undefined);
+      return undefined;
     }
+
+    this.logger.warn(
+      `Proving job id=${id} type=${
+        ProvingRequestType[job.type]
+      } already being worked on by another agent. Sending new one`,
+      { provingJobId: id },
+    );
+
+    return this.#getProvingJob(filter);
   }
 
-  async #reportProvingJobSuccess(id: ProvingJobId, value: ProofUri): Promise<void> {
+  async #reportProvingJobSuccess(
+    id: ProvingJobId,
+    value: ProofUri,
+    filter?: ProvingJobFilter,
+  ): Promise<GetProvingJobResponse | undefined> {
     const info = this.inProgress.get(id);
     const item = this.jobsCache.get(id);
     const retries = this.retries.get(id) ?? 0;
@@ -521,6 +545,8 @@ export class ProvingBroker implements ProvingJobProducer, ProvingJobConsumer, Tr
 
       throw saveErr;
     }
+
+    return this.#getProvingJob(filter);
   }
 
   @trackSpan('ProvingBroker.cleanupPass')

package/src/proving_broker/rpc.ts

@@ -1,4 +1,5 @@
 import {
+  type ComponentsVersions,
   type GetProvingJobResponse,
   ProofUri,
   ProvingJob,
@@ -8,6 +9,7 @@ import {
   type ProvingJobProducer,
   ProvingJobStatus,
   ProvingRequestType,
+  getVersioningResponseHandler,
 } from '@aztec/circuit-types';
 import { createSafeJsonRpcClient } from '@aztec/foundation/json-rpc/client';
 import { type SafeJsonRpcServer } from '@aztec/foundation/json-rpc/server';
@@ -34,12 +36,18 @@ export const ProvingJobProducerSchema: ApiSchemaFor<ProvingJobProducer> = {
 
 export const ProvingJobConsumerSchema: ApiSchemaFor<ProvingJobConsumer> = {
   getProvingJob: z.function().args(optional(ProvingJobFilterSchema)).returns(GetProvingJobResponse.optional()),
-  reportProvingJobError: z.function().args(ProvingJobId, z.string(), optional(z.boolean())).returns(z.void()),
+  reportProvingJobError: z
+    .function()
+    .args(ProvingJobId, z.string(), optional(z.boolean()), optional(ProvingJobFilterSchema))
+    .returns(GetProvingJobResponse.optional()),
   reportProvingJobProgress: z
     .function()
     .args(ProvingJobId, z.number(), optional(ProvingJobFilterSchema))
     .returns(GetProvingJobResponse.optional()),
-  reportProvingJobSuccess: z.function().args(ProvingJobId, ProofUri).returns(z.void()),
+  reportProvingJobSuccess: z
+    .function()
+    .args(ProvingJobId, ProofUri, optional(ProvingJobFilterSchema))
+    .returns(GetProvingJobResponse.optional()),
 };
 
 export const ProvingJobBrokerSchema: ApiSchemaFor<ProvingJobBroker> = {
@@ -51,20 +59,38 @@ export function createProvingBrokerServer(broker: ProvingJobBroker): SafeJsonRpc
   return createTracedJsonRpcServer(broker, ProvingJobBrokerSchema);
 }
 
-export function createProvingJobBrokerClient(url: string, fetch = makeTracedFetch([1, 2, 3], false)): ProvingJobBroker {
-  return createSafeJsonRpcClient(url, ProvingJobBrokerSchema, false, 'proverBroker', fetch);
+export function createProvingJobBrokerClient(
+  url: string,
+  versions: Partial<ComponentsVersions>,
+  fetch = makeTracedFetch([1, 2, 3], false),
+): ProvingJobBroker {
+  return createSafeJsonRpcClient(url, ProvingJobBrokerSchema, {
+    namespaceMethods: 'proverBroker',
+    fetch,
+    onResponse: getVersioningResponseHandler(versions),
+  });
 }
 
 export function createProvingJobProducerClient(
   url: string,
+  versions: Partial<ComponentsVersions>,
   fetch = makeTracedFetch([1, 2, 3], false),
 ): ProvingJobProducer {
-  return createSafeJsonRpcClient(url, ProvingJobProducerSchema, false, 'provingJobProducer', fetch);
+  return createSafeJsonRpcClient(url, ProvingJobProducerSchema, {
+    namespaceMethods: 'provingJobProducer',
+    fetch,
+    onResponse: getVersioningResponseHandler(versions),
+  });
 }
 
 export function createProvingJobConsumerClient(
   url: string,
+  versions: Partial<ComponentsVersions>,
   fetch = makeTracedFetch([1, 2, 3], false),
 ): ProvingJobConsumer {
-  return createSafeJsonRpcClient(url, ProvingJobConsumerSchema, false, 'provingJobConsumer', fetch);
+  return createSafeJsonRpcClient(url, ProvingJobConsumerSchema, {
+    namespaceMethods: 'provingJobConsumer',
+    fetch,
+    onResponse: getVersioningResponseHandler(versions),
+  });
 }

package/src/test/mock_prover.ts

@@ -44,14 +44,16 @@ import {
 } from '@aztec/circuits.js/testing';
 import { times } from '@aztec/foundation/collection';
 
+import { BrokerCircuitProverFacade } from '../proving_broker/broker_prover_facade.js';
 import { InlineProofStore, type ProofStore } from '../proving_broker/proof_store/index.js';
 import { ProvingAgent } from '../proving_broker/proving_agent.js';
 import { ProvingBroker } from '../proving_broker/proving_broker.js';
 import { InMemoryBrokerDatabase } from '../proving_broker/proving_broker_database/memory.js';
 
 export class TestBroker implements ProvingJobProducer {
-  private broker = new ProvingBroker(new InMemoryBrokerDatabase());
+  private broker: ProvingBroker;
   private agents: ProvingAgent[];
+  public facade: BrokerCircuitProverFacade;
 
   constructor(
     agentCount: number,
@@ -59,20 +61,24 @@ export class TestBroker implements ProvingJobProducer {
     private proofStore: ProofStore = new InlineProofStore(),
     agentPollInterval = 100,
   ) {
+    this.broker = new ProvingBroker(new InMemoryBrokerDatabase());
     this.agents = times(
       agentCount,
       () => new ProvingAgent(this.broker, proofStore, prover, undefined, agentPollInterval),
     );
+    this.facade = new BrokerCircuitProverFacade(this.broker, proofStore);
   }
 
   public async start() {
     await this.broker.start();
     this.agents.forEach(agent => agent.start());
+    this.facade.start();
   }
 
   public async stop() {
     await Promise.all(this.agents.map(agent => agent.stop()));
     await this.broker.stop();
+    await this.facade.stop();
   }
 
   public getProofStore(): ProofStore {

package/dest/prover-agent/index.d.ts

@@ -1,4 +0,0 @@
-export * from './prover-agent.js';
-export * from './memory-proving-queue.js';
-export * from './rpc.js';
-//# sourceMappingURL=index.d.ts.map

package/dest/prover-agent/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/prover-agent/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,UAAU,CAAC"}

package/dest/prover-agent/index.js

@@ -1,4 +0,0 @@
-export * from './prover-agent.js';
-export * from './memory-proving-queue.js';
-export * from './rpc.js';
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHJvdmVyLWFnZW50L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsbUJBQW1CLENBQUM7QUFDbEMsY0FBYywyQkFBMkIsQ0FBQztBQUMxQyxjQUFjLFVBQVUsQ0FBQyJ9

package/dest/prover-agent/memory-proving-queue.d.ts

@@ -1,82 +0,0 @@
-import { type ProofAndVerificationKey, type ProvingJob, type ProvingJobSource, type ProvingRequestResultFor, ProvingRequestType, type PublicInputsAndRecursiveProof, type ServerCircuitProver } from '@aztec/circuit-types';
-import type { AVM_PROOF_LENGTH_IN_FIELDS, AvmCircuitInputs, BaseParityInputs, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, ParityPublicInputs, RECURSIVE_PROOF_LENGTH, RootParityInputs, TUBE_PROOF_LENGTH } from '@aztec/circuits.js';
-import { type BaseOrMergeRollupPublicInputs, type BlockMergeRollupInputs, type BlockRootOrBlockMergePublicInputs, type BlockRootRollupInputs, type EmptyBlockRootRollupInputs, type MergeRollupInputs, type PrivateBaseRollupInputs, type PublicBaseRollupInputs, type RootRollupInputs, type RootRollupPublicInputs, type SingleTxBlockRootRollupInputs, type TubeInputs } from '@aztec/circuits.js/rollup';
-import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
-import { type ProofStore } from '../proving_broker/proof_store/index.js';
-/**
- * A helper class that sits in between services that need proofs created and agents that can create them.
- * The queue accumulates jobs and provides them to agents prioritized by block number.
- */
-export declare class MemoryProvingQueue implements ServerCircuitProver, ProvingJobSource {
-    /** Timeout the job if an agent doesn't report back in this time */
-    private jobTimeoutMs;
-    private generateId;
-    private timeSource;
-    private proofStore;
-    private log;
-    private queue;
-    private jobsInProgress;
-    private runningPromise;
-    private metrics;
-    readonly tracer: Tracer;
-    constructor(client: TelemetryClient, 
-    /** Timeout the job if an agent doesn't report back in this time */
-    jobTimeoutMs?: number, 
-    /** How often to check for timed out jobs */
-    pollingIntervalMs?: number, generateId?: () => string, timeSource?: () => number, proofStore?: ProofStore);
-    start(): void;
-    stop(): Promise<void>;
-    getProvingJob({ timeoutSec }?: {
-        timeoutSec?: number | undefined;
-    }): Promise<ProvingJob | undefined>;
-    resolveProvingJob<T extends ProvingRequestType>(jobId: string, result: ProvingRequestResultFor<T>): Promise<void>;
-    rejectProvingJob(jobId: string, reason: string): Promise<void>;
-    heartbeat(jobId: string): Promise<void>;
-    isJobRunning(jobId: string): boolean;
-    private poll;
-    private enqueue;
-    getTubeProof(inputs: TubeInputs, signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     */
-    getBaseParityProof(inputs: BaseParityInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     */
-    getRootParityProof(inputs: RootParityInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>>;
-    getPrivateBaseRollupProof(inputs: PrivateBaseRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
-    getPublicBaseRollupProof(inputs: PublicBaseRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     */
-    getMergeRollupProof(inputs: MergeRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     */
-    getBlockRootRollupProof(inputs: BlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
-    getSingleTxBlockRootRollupProof(inputs: SingleTxBlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
-    getEmptyBlockRootRollupProof(inputs: EmptyBlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     */
-    getBlockMergeRollupProof(inputs: BlockMergeRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
-    /**
-     * Creates a proof for the given input.
-     * @param input - Input to the circuit.
-     */
-    getRootRollupProof(inputs: RootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<RootRollupPublicInputs>>;
-    /**
-     * Creates an AVM proof.
-     */
-    getAvmProof(inputs: AvmCircuitInputs, signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof AVM_PROOF_LENGTH_IN_FIELDS>>;
-    /**
-     * Verifies a circuit proof
-     */
-    verifyProof(): Promise<void>;
-}
-//# sourceMappingURL=memory-proving-queue.d.ts.map

package/dest/prover-agent/memory-proving-queue.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"memory-proving-queue.d.ts","sourceRoot":"","sources":["../../src/prover-agent/memory-proving-queue.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,uBAAuB,EAC5B,KAAK,UAAU,EAEf,KAAK,gBAAgB,EACrB,KAAK,uBAAuB,EAC5B,kBAAkB,EAClB,KAAK,6BAA6B,EAClC,KAAK,mBAAmB,EACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EACV,0BAA0B,EAC1B,gBAAgB,EAChB,gBAAgB,EAChB,6BAA6B,EAC7B,yCAAyC,EACzC,kBAAkB,EAClB,sBAAsB,EACtB,gBAAgB,EAChB,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,KAAK,6BAA6B,EAClC,KAAK,sBAAsB,EAC3B,KAAK,iCAAiC,EACtC,KAAK,qBAAqB,EAC1B,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,uBAAuB,EAC5B,KAAK,sBAAsB,EAC3B,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,6BAA6B,EAClC,KAAK,UAAU,EAChB,MAAM,2BAA2B,CAAC;AAMnC,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,MAAM,EAAa,MAAM,yBAAyB,CAAC;AAEvF,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,wCAAwC,CAAC;AAe3F;;;GAGG;AACH,qBAAa,kBAAmB,YAAW,mBAAmB,EAAE,gBAAgB;IAa5E,mEAAmE;IACnE,OAAO,CAAC,YAAY;IAGpB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,UAAU;IAlBpB,OAAO,CAAC,GAAG,CAAmD;IAC9D,OAAO,CAAC,KAAK,CAEX;IACF,OAAO,CAAC,cAAc,CAA8C;IACpE,OAAO,CAAC,cAAc,CAAiB;IACvC,OAAO,CAAC,OAAO,CAAsB;IAErC,SAAgB,MAAM,EAAE,MAAM,CAAC;gBAG7B,MAAM,EAAE,eAAe;IACvB,mEAAmE;IAC3D,YAAY,SAAY;IAChC,4CAA4C;IAC5C,iBAAiB,SAAO,EAChB,UAAU,eAAqB,EAC/B,UAAU,eAAoB,EAC9B,UAAU,GAAE,UAAmC;IAOlD,KAAK;IAUC,IAAI;IAUJ,aAAa,CAAC,EAAE,UAAc,EAAE;;KAAK,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC;IAgCpF,iBAAiB,CAAC,CAAC,SAAS,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAmBjH,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAmCvD,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAavC,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;IAK3C,OAAO,CAAC,IAAI;YAoBE,OAAO;IAyCrB,YAAY,CACV,MAAM,EAAE,UAAU,EAClB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,iBAAiB,CAAC,CAAC;IAI7D;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC;IAI5F;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,6BAA6B,CAAC,CAAC;IAInG,yBAAyB,CACvB,MAAM,EAAE,uBAAuB,EAC/B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G;IAID,wBAAwB,CACtB,MAAM,EAAE,sBAAsB,EAC9B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G;IAID;;;OAGG;IACH,mBAAmB,CACjB,MAAM,EAAE,iBAAiB,EACzB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G;IAID;;;OAGG;IACH,uBAAuB,CACrB,MAAM,EAAE,qBAAqB,EAC7B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH;IAID,+BAA+B,CAC7B,MAAM,EAAE,6BAA6B,EACrC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH;IAID,4BAA4B,CAC1B,MAAM,EAAE,0BAA0B,EAClC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH;IAID;;;OAGG;IACH,wBAAwB,CACtB,MAAM,EAAE,sBAAsB,EAC9B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH;IAID;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,CAAC,CAAC;IAIjE;;OAEG;IACH,WAAW,CACT,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,0BAA0B,CAAC,CAAC;IAItE;;OAEG;IACH,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC;CAG7B"}