@aztec/prover-client 0.0.0-test.0

package/dest/orchestrator/orchestrator_metrics.d.ts

@@ -0,0 +1,8 @@
+import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
+export declare class ProvingOrchestratorMetrics {
+    readonly tracer: Tracer;
+    private baseRollupInputsDuration;
+    constructor(client: TelemetryClient, name?: string);
+    recordBaseRollupInputs(durationMs: number): void;
+}
+//# sourceMappingURL=orchestrator_metrics.d.ts.map

package/dest/orchestrator/orchestrator_metrics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator_metrics.d.ts","sourceRoot":"","sources":["../../src/orchestrator/orchestrator_metrics.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,KAAK,eAAe,EAAE,KAAK,MAAM,EAAa,MAAM,yBAAyB,CAAC;AAEhH,qBAAa,0BAA0B;IACrC,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,OAAO,CAAC,wBAAwB,CAAY;gBAEhC,MAAM,EAAE,eAAe,EAAE,IAAI,SAAwB;IAWjE,sBAAsB,CAAC,UAAU,EAAE,MAAM;CAG1C"}

package/dest/orchestrator/orchestrator_metrics.js

@@ -0,0 +1,17 @@
+import { Metrics, ValueType } from '@aztec/telemetry-client';
+export class ProvingOrchestratorMetrics {
+    tracer;
+    baseRollupInputsDuration;
+    constructor(client, name = 'ProvingOrchestrator'){
+        this.tracer = client.getTracer(name);
+        const meter = client.getMeter(name);
+        this.baseRollupInputsDuration = meter.createHistogram(Metrics.PROVING_ORCHESTRATOR_BASE_ROLLUP_INPUTS_DURATION, {
+            unit: 'ms',
+            description: 'Duration to build base rollup inputs',
+            valueType: ValueType.INT
+        });
+    }
+    recordBaseRollupInputs(durationMs) {
+        this.baseRollupInputsDuration.record(Math.ceil(durationMs));
+    }
+}

package/dest/orchestrator/tx-proving-state.d.ts

@@ -0,0 +1,34 @@
+import { type AVM_PROOF_LENGTH_IN_FIELDS, type TUBE_PROOF_LENGTH } from '@aztec/constants';
+import type { AvmCircuitInputs } from '@aztec/stdlib/avm';
+import type { ProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
+import { type BaseRollupHints, PrivateBaseRollupInputs, PublicBaseRollupInputs, TubeInputs } from '@aztec/stdlib/rollup';
+import type { AppendOnlyTreeSnapshot, MerkleTreeId } from '@aztec/stdlib/trees';
+import type { ProcessedTx } from '@aztec/stdlib/tx';
+/**
+ * Helper class to manage the proving cycle of a transaction
+ * This includes the public VMs and the public kernels
+ * Also stores the inputs to the base rollup for this transaction and the tree snapshots
+ */
+export declare class TxProvingState {
+    #private;
+    readonly processedTx: ProcessedTx;
+    private readonly baseRollupHints;
+    readonly treeSnapshots: Map<MerkleTreeId, AppendOnlyTreeSnapshot>;
+    private tube?;
+    private avm?;
+    constructor(processedTx: ProcessedTx, baseRollupHints: BaseRollupHints, treeSnapshots: Map<MerkleTreeId, AppendOnlyTreeSnapshot>);
+    get requireAvmProof(): boolean;
+    ready(): boolean;
+    getTubeInputs(): TubeInputs;
+    getAvmInputs(): AvmCircuitInputs;
+    getBaseRollupTypeAndInputs(): {
+        rollupType: string;
+        inputs: PublicBaseRollupInputs;
+    } | {
+        rollupType: string;
+        inputs: PrivateBaseRollupInputs;
+    };
+    setTubeProof(tubeProofAndVk: ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>): void;
+    setAvmProof(avmProofAndVk: ProofAndVerificationKey<typeof AVM_PROOF_LENGTH_IN_FIELDS>): void;
+}
+//# sourceMappingURL=tx-proving-state.d.ts.map

package/dest/orchestrator/tx-proving-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tx-proving-state.d.ts","sourceRoot":"","sources":["../../src/orchestrator/tx-proving-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,0BAA0B,EAAgB,KAAK,iBAAiB,EAAiB,MAAM,kBAAkB,CAAC;AAExH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,EAEL,KAAK,eAAe,EAEpB,uBAAuB,EAGvB,sBAAsB,EAEtB,UAAU,EACX,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAChF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAGpD;;;;GAIG;AACH,qBAAa,cAAc;;aAKP,WAAW,EAAE,WAAW;IACxC,OAAO,CAAC,QAAQ,CAAC,eAAe;aAChB,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,sBAAsB,CAAC;IAN1E,OAAO,CAAC,IAAI,CAAC,CAAoD;IACjE,OAAO,CAAC,GAAG,CAAC,CAA6D;gBAGvD,WAAW,EAAE,WAAW,EACvB,eAAe,EAAE,eAAe,EACjC,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,sBAAsB,CAAC;IAG1E,IAAI,eAAe,YAElB;IAEM,KAAK;IAIL,aAAa;IAIb,YAAY,IAAI,gBAAgB;IAIhC,0BAA0B;;;;;;;IAc1B,YAAY,CAAC,cAAc,EAAE,uBAAuB,CAAC,OAAO,iBAAiB,CAAC;IAI9E,WAAW,CAAC,aAAa,EAAE,uBAAuB,CAAC,OAAO,0BAA0B,CAAC;CAqE7F"}

package/dest/orchestrator/tx-proving-state.js

@@ -0,0 +1,94 @@
+import { AVM_VK_INDEX, TUBE_VK_INDEX } from '@aztec/constants';
+import { getVKIndex, getVKSiblingPath } from '@aztec/noir-protocol-circuits-types/vk-tree';
+import { AvmProofData, PrivateBaseRollupHints, PrivateBaseRollupInputs, PrivateTubeData, PublicBaseRollupHints, PublicBaseRollupInputs, PublicTubeData, TubeInputs } from '@aztec/stdlib/rollup';
+import { VkWitnessData } from '@aztec/stdlib/vks';
+/**
+ * Helper class to manage the proving cycle of a transaction
+ * This includes the public VMs and the public kernels
+ * Also stores the inputs to the base rollup for this transaction and the tree snapshots
+ */ export class TxProvingState {
+    processedTx;
+    baseRollupHints;
+    treeSnapshots;
+    tube;
+    avm;
+    constructor(processedTx, baseRollupHints, treeSnapshots){
+        this.processedTx = processedTx;
+        this.baseRollupHints = baseRollupHints;
+        this.treeSnapshots = treeSnapshots;
+    }
+    get requireAvmProof() {
+        return !!this.processedTx.avmProvingRequest;
+    }
+    ready() {
+        return !!this.tube && (!this.requireAvmProof || !!this.avm);
+    }
+    getTubeInputs() {
+        return new TubeInputs(this.processedTx.clientIvcProof);
+    }
+    getAvmInputs() {
+        return this.processedTx.avmProvingRequest.inputs;
+    }
+    getBaseRollupTypeAndInputs() {
+        if (this.requireAvmProof) {
+            return {
+                rollupType: 'public-base-rollup',
+                inputs: this.#getPublicBaseInputs()
+            };
+        } else {
+            return {
+                rollupType: 'private-base-rollup',
+                inputs: this.#getPrivateBaseInputs()
+            };
+        }
+    }
+    setTubeProof(tubeProofAndVk) {
+        this.tube = tubeProofAndVk;
+    }
+    setAvmProof(avmProofAndVk) {
+        this.avm = avmProofAndVk;
+    }
+    #getPrivateBaseInputs() {
+        if (!this.tube) {
+            throw new Error('Tx not ready for proving base rollup.');
+        }
+        const vkData = this.#getTubeVkData();
+        const tubeData = new PrivateTubeData(this.processedTx.data.toPrivateToRollupKernelCircuitPublicInputs(), this.tube.proof, vkData);
+        if (!(this.baseRollupHints instanceof PrivateBaseRollupHints)) {
+            throw new Error('Mismatched base rollup hints, expected private base rollup hints');
+        }
+        return new PrivateBaseRollupInputs(tubeData, this.baseRollupHints);
+    }
+    #getPublicBaseInputs() {
+        if (!this.processedTx.avmProvingRequest) {
+            throw new Error('Should create private base rollup for a tx not requiring avm proof.');
+        }
+        if (!this.tube) {
+            throw new Error('Tx not ready for proving base rollup: tube proof undefined');
+        }
+        if (!this.avm) {
+            throw new Error('Tx not ready for proving base rollup: avm proof undefined');
+        }
+        const tubeData = new PublicTubeData(this.processedTx.data.toPrivateToPublicKernelCircuitPublicInputs(), this.tube.proof, this.#getTubeVkData());
+        const avmProofData = new AvmProofData(this.processedTx.avmProvingRequest.inputs.publicInputs, this.avm.proof, this.#getAvmVkData());
+        if (!(this.baseRollupHints instanceof PublicBaseRollupHints)) {
+            throw new Error('Mismatched base rollup hints, expected public base rollup hints');
+        }
+        return new PublicBaseRollupInputs(tubeData, avmProofData, this.baseRollupHints);
+    }
+    #getTubeVkData() {
+        let vkIndex = TUBE_VK_INDEX;
+        try {
+            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 = getVKSiblingPath(vkIndex);
+        return new VkWitnessData(this.tube.verificationKey, vkIndex, vkPath);
+    }
+    #getAvmVkData() {
+        const vkIndex = AVM_VK_INDEX;
+        const vkPath = getVKSiblingPath(vkIndex);
+        return new VkWitnessData(this.avm.verificationKey, AVM_VK_INDEX, vkPath);
+    }
+}

package/dest/prover-client/factory.d.ts

@@ -0,0 +1,6 @@
+import type { ForkMerkleTreeOperations, ProvingJobBroker } from '@aztec/stdlib/interfaces/server';
+import { type TelemetryClient } from '@aztec/telemetry-client';
+import type { ProverClientConfig } from '../config.js';
+import { ProverClient } from './prover-client.js';
+export declare function createProverClient(config: ProverClientConfig, worldState: ForkMerkleTreeOperations, broker: ProvingJobBroker, telemetry?: TelemetryClient): Promise<ProverClient>;
+//# sourceMappingURL=factory.d.ts.map

package/dest/prover-client/factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/prover-client/factory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAClG,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAEnF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,wBAAwB,EACpC,MAAM,EAAE,gBAAgB,EACxB,SAAS,GAAE,eAAsC,yBAGlD"}

package/dest/prover-client/factory.js

@@ -0,0 +1,5 @@
+import { getTelemetryClient } from '@aztec/telemetry-client';
+import { ProverClient } from './prover-client.js';
+export function createProverClient(config, worldState, broker, telemetry = getTelemetryClient()) {
+    return ProverClient.new(config, worldState, broker, telemetry);
+}

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

@@ -0,0 +1,3 @@
+export * from './factory.js';
+export * from './prover-client.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/prover-client/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC"}

package/dest/prover-client/index.js

@@ -0,0 +1,2 @@
+export * from './factory.js';
+export * from './prover-client.js';

package/dest/prover-client/prover-client.d.ts

@@ -0,0 +1,42 @@
+import { type ACVMConfig, type BBConfig } from '@aztec/bb-prover';
+import { Fr } from '@aztec/foundation/fields';
+import type { ActualProverConfig, EpochProver, EpochProverManager, ForkMerkleTreeOperations, ProvingJobBroker, ProvingJobConsumer, ServerCircuitProver } from '@aztec/stdlib/interfaces/server';
+import { type TelemetryClient } from '@aztec/telemetry-client';
+import type { ProverClientConfig } from '../config.js';
+/** Manages proving of epochs by orchestrating the proving of individual blocks relying on a pool of prover agents. */
+export declare class ProverClient implements EpochProverManager {
+    private config;
+    private worldState;
+    private orchestratorClient;
+    private agentClient?;
+    private telemetry;
+    private log;
+    private running;
+    private agents;
+    private proofStore;
+    private failedProofStore;
+    private constructor();
+    createEpochProver(): EpochProver;
+    getProverId(): Fr;
+    updateProverConfig(config: Partial<ProverClientConfig>): Promise<void>;
+    /**
+     * Starts the prover instance
+     */
+    start(): Promise<void>;
+    /**
+     * Stops the prover instance
+     */
+    stop(): Promise<void>;
+    /**
+     * Creates a new prover client and starts it
+     * @param config - The prover configuration.
+     * @param worldState - An instance of the world state
+     * @returns An instance of the prover, constructed and started.
+     */
+    static new(config: ProverClientConfig, worldState: ForkMerkleTreeOperations, broker: ProvingJobBroker, telemetry?: TelemetryClient): Promise<ProverClient>;
+    getProvingJobSource(): ProvingJobConsumer;
+    private createAndStartAgents;
+    private stopAgents;
+}
+export declare function buildServerCircuitProver(config: ActualProverConfig & ACVMConfig & BBConfig, telemetry: TelemetryClient): Promise<ServerCircuitProver>;
+//# sourceMappingURL=prover-client.d.ts.map

package/dest/prover-client/prover-client.d.ts.map

@@ -0,0 +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,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,KAAK,EACV,kBAAkB,EAClB,WAAW,EACX,kBAAkB,EAClB,wBAAwB,EACxB,gBAAgB,EAChB,kBAAkB,EAElB,mBAAmB,EACpB,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;IAYA,iBAAiB,IAAI,WAAW;IAMhC,WAAW,IAAI,EAAE;IAIlB,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAc5E;;OAEG;IACU,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IASnC;;OAEG;IACU,IAAI;IAQjB;;;;;OAKG;WACiB,GAAG,CACrB,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,wBAAwB,EACpC,MAAM,EAAE,gBAAgB,EACxB,SAAS,GAAE,eAAsC;IAO5C,mBAAmB,IAAI,kBAAkB;YAQlC,oBAAoB;YA2BpB,UAAU;CAGzB;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,kBAAkB,GAAG,UAAU,GAAG,QAAQ,EAClD,SAAS,EAAE,eAAe,GACzB,OAAO,CAAC,mBAAmB,CAAC,CAU9B"}

package/dest/prover-client/prover-client.js

@@ -0,0 +1,110 @@
+import { BBNativeRollupProver, TestCircuitProver } from '@aztec/bb-prover';
+import { times } from '@aztec/foundation/collection';
+import { Fr } from '@aztec/foundation/fields';
+import { createLogger } from '@aztec/foundation/log';
+import { NativeACVMSimulator } from '@aztec/simulator/server';
+import { getTelemetryClient } from '@aztec/telemetry-client';
+import { ProvingOrchestrator } from '../orchestrator/orchestrator.js';
+import { BrokerCircuitProverFacade } from '../proving_broker/broker_prover_facade.js';
+import { InlineProofStore, createProofStore } from '../proving_broker/proof_store/index.js';
+import { ProvingAgent } from '../proving_broker/proving_agent.js';
+import { ServerEpochProver } from './server-epoch-prover.js';
+/** Manages proving of epochs by orchestrating the proving of individual blocks relying on a pool of prover agents. */ export class ProverClient {
+    config;
+    worldState;
+    orchestratorClient;
+    agentClient;
+    telemetry;
+    log;
+    running;
+    agents;
+    proofStore;
+    failedProofStore;
+    constructor(config, worldState, orchestratorClient, agentClient, telemetry = getTelemetryClient(), log = createLogger('prover-client:tx-prover')){
+        this.config = config;
+        this.worldState = worldState;
+        this.orchestratorClient = orchestratorClient;
+        this.agentClient = agentClient;
+        this.telemetry = telemetry;
+        this.log = log;
+        this.running = false;
+        this.agents = [];
+        this.proofStore = new InlineProofStore();
+        this.failedProofStore = this.config.failedProofStore ? createProofStore(this.config.failedProofStore) : undefined;
+    }
+    createEpochProver() {
+        const facade = new BrokerCircuitProverFacade(this.orchestratorClient, this.proofStore, this.failedProofStore);
+        const orchestrator = new ProvingOrchestrator(this.worldState, facade, this.config.proverId, this.telemetry);
+        return new ServerEpochProver(facade, orchestrator);
+    }
+    getProverId() {
+        return this.config.proverId ?? Fr.ZERO;
+    }
+    async updateProverConfig(config) {
+        const newConfig = {
+            ...this.config,
+            ...config
+        };
+        if (newConfig.realProofs !== this.config.realProofs || newConfig.proverAgentCount !== this.config.proverAgentCount) {
+            await this.stopAgents();
+            await this.createAndStartAgents();
+        }
+        this.config = newConfig;
+    }
+    /**
+   * Starts the prover instance
+   */ async start() {
+        if (this.running) {
+            return Promise.resolve();
+        }
+        this.running = true;
+        await this.createAndStartAgents();
+    }
+    /**
+   * Stops the prover instance
+   */ async stop() {
+        if (!this.running) {
+            return;
+        }
+        this.running = false;
+        await this.stopAgents();
+    }
+    /**
+   * Creates a new prover client and starts it
+   * @param config - The prover configuration.
+   * @param worldState - An instance of the world state
+   * @returns An instance of the prover, constructed and started.
+   */ static async new(config, worldState, broker, telemetry = getTelemetryClient()) {
+        const prover = new ProverClient(config, worldState, broker, broker, telemetry);
+        await prover.start();
+        return prover;
+    }
+    getProvingJobSource() {
+        if (!this.agentClient) {
+            throw new Error('Agent client not provided');
+        }
+        return this.agentClient;
+    }
+    async createAndStartAgents() {
+        if (this.agents.length > 0) {
+            throw new Error('Agents already started');
+        }
+        if (!this.agentClient) {
+            throw new Error('Agent client not provided');
+        }
+        const proofStore = new InlineProofStore();
+        const prover = await buildServerCircuitProver(this.config, this.telemetry);
+        this.agents = times(this.config.proverAgentCount, ()=>new ProvingAgent(this.agentClient, proofStore, prover, [], this.config.proverAgentPollIntervalMs, this.telemetry));
+        await Promise.all(this.agents.map((agent)=>agent.start()));
+    }
+    async stopAgents() {
+        await Promise.all(this.agents.map((agent)=>agent.stop()));
+    }
+}
+export function buildServerCircuitProver(config, telemetry) {
+    if (config.realProofs) {
+        return BBNativeRollupProver.new(config, telemetry);
+    }
+    const simulationProvider = config.acvmBinaryPath ? new NativeACVMSimulator(config.acvmWorkingDirectory, config.acvmBinaryPath) : undefined;
+    return Promise.resolve(new TestCircuitProver(simulationProvider, config, telemetry));
+}

package/dest/prover-client/server-epoch-prover.d.ts

@@ -0,0 +1,28 @@
+import type { Fr } from '@aztec/foundation/fields';
+import type { L2Block } from '@aztec/stdlib/block';
+import type { EpochProver } from '@aztec/stdlib/interfaces/server';
+import type { Proof } from '@aztec/stdlib/proofs';
+import type { RootRollupPublicInputs } from '@aztec/stdlib/rollup';
+import type { BlockHeader, GlobalVariables, ProcessedTx, Tx } from '@aztec/stdlib/tx';
+import type { ProvingOrchestrator } from '../orchestrator/orchestrator.js';
+import type { BrokerCircuitProverFacade } from '../proving_broker/broker_prover_facade.js';
+/** Encapsulates the proving orchestrator and the broker facade */
+export declare class ServerEpochProver implements EpochProver {
+    private facade;
+    private orchestrator;
+    constructor(facade: BrokerCircuitProverFacade, orchestrator: ProvingOrchestrator);
+    startNewEpoch(epochNumber: number, firstBlockNumber: number, totalNumBlocks: number): void;
+    startTubeCircuits(txs: Tx[]): Promise<void>;
+    setBlockCompleted(blockNumber: number, expectedBlockHeader?: BlockHeader): Promise<L2Block>;
+    finaliseEpoch(): Promise<{
+        publicInputs: RootRollupPublicInputs;
+        proof: Proof;
+    }>;
+    cancel(): void;
+    getProverId(): Fr;
+    getBlock(index: number): L2Block;
+    stop(): Promise<void>;
+    startNewBlock(globalVariables: GlobalVariables, l1ToL2Messages: Fr[], previousBlockHeader: BlockHeader): Promise<void>;
+    addTxs(txs: ProcessedTx[]): Promise<void>;
+}
+//# sourceMappingURL=server-epoch-prover.d.ts.map

package/dest/prover-client/server-epoch-prover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-epoch-prover.d.ts","sourceRoot":"","sources":["../../src/prover-client/server-epoch-prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAEtF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AAE3F,kEAAkE;AAClE,qBAAa,iBAAkB,YAAW,WAAW;IACvC,OAAO,CAAC,MAAM;IAA6B,OAAO,CAAC,YAAY;gBAAvD,MAAM,EAAE,yBAAyB,EAAU,YAAY,EAAE,mBAAmB;IAEhG,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI;IAI1F,iBAAiB,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAG3C,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,mBAAmB,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;IAG3F,aAAa,IAAI,OAAO,CAAC;QAAE,YAAY,EAAE,sBAAsB,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CAAC;IAGhF,MAAM,IAAI,IAAI;IAGd,WAAW,IAAI,EAAE;IAGjB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;IAG1B,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAI3B,aAAa,CACX,eAAe,EAAE,eAAe,EAChC,cAAc,EAAE,EAAE,EAAE,EACpB,mBAAmB,EAAE,WAAW,GAC/B,OAAO,CAAC,IAAI,CAAC;IAGhB,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;CAG1C"}

package/dest/prover-client/server-epoch-prover.js

@@ -0,0 +1,40 @@
+/** Encapsulates the proving orchestrator and the broker facade */ export class ServerEpochProver {
+    facade;
+    orchestrator;
+    constructor(facade, orchestrator){
+        this.facade = facade;
+        this.orchestrator = orchestrator;
+    }
+    startNewEpoch(epochNumber, firstBlockNumber, totalNumBlocks) {
+        this.orchestrator.startNewEpoch(epochNumber, firstBlockNumber, totalNumBlocks);
+        this.facade.start();
+    }
+    startTubeCircuits(txs) {
+        return this.orchestrator.startTubeCircuits(txs);
+    }
+    setBlockCompleted(blockNumber, expectedBlockHeader) {
+        return this.orchestrator.setBlockCompleted(blockNumber, expectedBlockHeader);
+    }
+    finaliseEpoch() {
+        return this.orchestrator.finaliseEpoch();
+    }
+    cancel() {
+        this.orchestrator.cancel();
+    }
+    getProverId() {
+        return this.orchestrator.getProverId();
+    }
+    getBlock(index) {
+        return this.orchestrator.getBlock(index);
+    }
+    async stop() {
+        await this.facade.stop();
+        await this.orchestrator.stop();
+    }
+    startNewBlock(globalVariables, l1ToL2Messages, previousBlockHeader) {
+        return this.orchestrator.startNewBlock(globalVariables, l1ToL2Messages, previousBlockHeader);
+    }
+    addTxs(txs) {
+        return this.orchestrator.addTxs(txs);
+    }
+}

package/dest/proving_broker/broker_prover_facade.d.ts

@@ -0,0 +1,46 @@
+import type { AVM_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
+import type { AvmCircuitInputs } from '@aztec/stdlib/avm';
+import { type ProofAndVerificationKey, type ProvingJobProducer, type PublicInputsAndRecursiveProof, type ServerCircuitProver } from '@aztec/stdlib/interfaces/server';
+import type { BaseParityInputs, ParityPublicInputs, RootParityInputs } from '@aztec/stdlib/parity';
+import type { BaseOrMergeRollupPublicInputs, BlockMergeRollupInputs, BlockRootOrBlockMergePublicInputs, BlockRootRollupInputs, EmptyBlockRootRollupInputs, MergeRollupInputs, PrivateBaseRollupInputs, PublicBaseRollupInputs, RootRollupInputs, RootRollupPublicInputs, SingleTxBlockRootRollupInputs, TubeInputs } from '@aztec/stdlib/rollup';
+import { type ProofStore } from './proof_store/index.js';
+export declare class BrokerCircuitProverFacade implements ServerCircuitProver {
+    private broker;
+    private proofStore;
+    private failedProofStore?;
+    private pollIntervalMs;
+    private log;
+    private jobs;
+    private runningPromise?;
+    private timeOfLastSnapshotSync;
+    private jobsToRetrieve;
+    constructor(broker: ProvingJobProducer, proofStore?: ProofStore, failedProofStore?: ProofStore | undefined, pollIntervalMs?: number, log?: import("@aztec/foundation/log").Logger);
+    /**
+     * This is a critical section. This function can not be async since it writes
+     * to the jobs map which acts as a mutex, ensuring a job is only ever created once.
+     *
+     * This could be called in a SerialQueue if it needs to become async.
+     */
+    private getOrCreateProvingJob;
+    private enqueueJob;
+    start(): void;
+    stop(): Promise<void>;
+    private updateCompletedJobs;
+    private retrieveJobsThatShouldBeReady;
+    private backupFailedProofInputs;
+    private monitorForCompletedJobs;
+    getAvmProof(inputs: AvmCircuitInputs, signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof AVM_PROOF_LENGTH_IN_FIELDS>>;
+    getBaseParityProof(inputs: BaseParityInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>>;
+    getBlockMergeRollupProof(input: BlockMergeRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getBlockRootRollupProof(input: BlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getSingleTxBlockRootRollupProof(input: SingleTxBlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getEmptyBlockRootRollupProof(input: EmptyBlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getMergeRollupProof(input: MergeRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getPrivateBaseRollupProof(baseRollupInput: 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>>;
+    getRootParityProof(inputs: RootParityInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>>;
+    getRootRollupProof(input: RootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<RootRollupPublicInputs, typeof RECURSIVE_PROOF_LENGTH>>;
+    getTubeProof(tubeInput: TubeInputs, signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>>;
+    private generateId;
+}
+//# sourceMappingURL=broker_prover_facade.d.ts.map

package/dest/proving_broker/broker_prover_facade.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"broker_prover_facade.d.ts","sourceRoot":"","sources":["../../src/proving_broker/broker_prover_facade.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,0BAA0B,EAC1B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACtB,iBAAiB,EAClB,MAAM,kBAAkB,CAAC;AAK1B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EACL,KAAK,uBAAuB,EAI5B,KAAK,kBAAkB,EAGvB,KAAK,6BAA6B,EAClC,KAAK,mBAAmB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEnG,OAAO,KAAK,EACV,6BAA6B,EAC7B,sBAAsB,EACtB,iCAAiC,EACjC,qBAAqB,EACrB,0BAA0B,EAC1B,iBAAiB,EACjB,uBAAuB,EACvB,sBAAsB,EACtB,gBAAgB,EAChB,sBAAsB,EACtB,6BAA6B,EAC7B,UAAU,EACX,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAiB3E,qBAAa,yBAA0B,YAAW,mBAAmB;IAOjE,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,gBAAgB,CAAC;IACzB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,GAAG;IAVb,OAAO,CAAC,IAAI,CAA4C;IACxD,OAAO,CAAC,cAAc,CAAC,CAAiB;IACxC,OAAO,CAAC,sBAAsB,CAAc;IAC5C,OAAO,CAAC,cAAc,CAAgC;gBAG5C,MAAM,EAAE,kBAAkB,EAC1B,UAAU,GAAE,UAAmC,EAC/C,gBAAgB,CAAC,wBAAY,EAC7B,cAAc,SAAO,EACrB,GAAG,yCAA6D;IAG1E;;;;;OAKG;IACH,OAAO,CAAC,qBAAqB;YAkCf,UAAU;IA4EjB,KAAK;IAWC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;YAcpB,mBAAmB;YA8DnB,6BAA6B;YA2F7B,uBAAuB;YAoBvB,uBAAuB;IAarC,WAAW,CACT,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,0BAA0B,CAAC,CAAC;IAUtE,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;IAU5F,wBAAwB,CACtB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH;IAUD,uBAAuB,CACrB,KAAK,EAAE,qBAAqB,EAC5B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH;IAUD,+BAA+B,CAC7B,KAAK,EAAE,6BAA6B,EACpC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH;IAUD,4BAA4B,CAC1B,KAAK,EAAE,0BAA0B,EACjC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH;IAUD,mBAAmB,CACjB,KAAK,EAAE,iBAAiB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G;IASD,yBAAyB,CACvB,eAAe,EAAE,uBAAuB,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G;IAUD,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;IAUD,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;IAUnG,kBAAkB,CAChB,KAAK,EAAE,gBAAgB,EACvB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,sBAAsB,CAAC,CAAC;IAUhG,YAAY,CACV,SAAS,EAAE,UAAU,EACrB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,iBAAiB,CAAC,CAAC;IAU7D,OAAO,CAAC,UAAU;CAInB"}