@aztec/stdlib 0.77.0-testnet-ignition.17

package/dest/interfaces/private_kernel_prover.d.ts

@@ -0,0 +1,81 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import type { WitnessMap } from '@noir-lang/acvm_js';
+import type { PrivateKernelCircuitPublicInputs, PrivateKernelInitCircuitPrivateInputs, PrivateKernelInnerCircuitPrivateInputs, PrivateKernelResetCircuitPrivateInputs, PrivateKernelSimulateOutput, PrivateKernelTailCircuitPrivateInputs, PrivateKernelTailCircuitPublicInputs } from '../kernel/index.js';
+import type { ClientIvcProof } from '../proofs/client_ivc_proof.js';
+/**
+ * PrivateKernelProver provides functionality to simulate and validate circuits, and retrieve
+ * siloed commitments necessary for maintaining transaction privacy and security on the network.
+ */
+export interface PrivateKernelProver {
+    /**
+     * Creates a proof output for a given signed transaction request and private call data for the first iteration.
+     *
+     * @param privateKernelInputsInit - The private data structure for the initial iteration.
+     * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
+     */
+    generateInitOutput(privateKernelInputsInit: PrivateKernelInitCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
+    /**
+     * Executes the first kernel iteration without generating a proof.
+     *
+     * @param privateKernelInputsInit - The private data structure for the initial iteration.
+     * @returns A Promise resolving to a ProofOutput object containing public inputs and an empty kernel proof.
+     */
+    simulateInit(privateKernelInputsInit: PrivateKernelInitCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
+    /**
+     * Creates a proof output for a given previous kernel data and private call data for an inner iteration.
+     *
+     * @param privateKernelInputsInner - The private input data structure for the inner iteration.
+     * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
+     */
+    generateInnerOutput(privateKernelInputsInner: PrivateKernelInnerCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
+    /**
+     * Executes an inner kernel iteration without generating a proof.
+     *
+     * @param privateKernelInputsInit - The private data structure for the initial iteration.
+     * @returns A Promise resolving to a ProofOutput object containing public inputs and an empty kernel proof.
+     */
+    simulateInner(privateKernelInputsInner: PrivateKernelInnerCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
+    /**
+     * Creates a proof output by resetting the arrays using the reset circuit.
+     *
+     * @param privateKernelInputsTail - The private input data structure for the reset circuit.
+     * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
+     */
+    generateResetOutput(privateKernelInputsReset: PrivateKernelResetCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
+    /**
+     * Executes the reset circuit without generating a proof
+     *
+     * @param privateKernelInputsTail - The private input data structure for the reset circuit.
+     * @returns A Promise resolving to a ProofOutput object containing public inputs an empty kernel proof.
+     */
+    simulateReset(privateKernelInputsReset: PrivateKernelResetCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
+    /**
+     * Creates a proof output based on the last inner kernel iteration kernel data for the final ordering iteration.
+     *
+     * @param privateKernelInputsTail - The private input data structure for the final ordering iteration.
+     * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
+     */
+    generateTailOutput(privateKernelInputsTail: PrivateKernelTailCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
+    /**
+     * Executes the final ordering iteration circuit.
+     *
+     * @param privateKernelInputsTail - The private input data structure for the final ordering iteration.
+     * @returns A Promise resolving to a ProofOutput object containing public inputs an empty kernel proof.
+     */
+    simulateTail(privateKernelInputsTail: PrivateKernelTailCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
+    /**
+     * Based of a program stack, create a folding proof.
+     * @param acirs The program bytecode.
+     * @param witnessStack The witnessses for each program bytecode.
+     */
+    createClientIvcProof(acirs: Buffer[], witnessStack: WitnessMap[]): Promise<ClientIvcProof>;
+    /**
+     * Compute the gate count for a given circuit.
+     * @param bytecode - The circuit bytecode in gzipped bincode format
+     * @param circuitName - The name of the circuit
+     * @returns A Promise resolving to the gate count
+     */
+    computeGateCountForCircuit(bytecode: Buffer, circuitName: string): Promise<number>;
+}
+//# sourceMappingURL=private_kernel_prover.d.ts.map

package/dest/interfaces/private_kernel_prover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private_kernel_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/private_kernel_prover.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,KAAK,EACV,gCAAgC,EAChC,qCAAqC,EACrC,sCAAsC,EACtC,sCAAsC,EACtC,2BAA2B,EAC3B,qCAAqC,EACrC,oCAAoC,EACrC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAEpE;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;;OAKG;IACH,kBAAkB,CAChB,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,YAAY,CACV,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,mBAAmB,CACjB,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,aAAa,CACX,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,mBAAmB,CACjB,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,aAAa,CACX,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,kBAAkB,CAChB,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAE9E;;;;;OAKG;IACH,YAAY,CACV,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAE9E;;;;OAIG;IACH,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAE3F;;;;;OAKG;IACH,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACpF"}

package/dest/interfaces/private_kernel_prover.js

@@ -0,0 +1,4 @@
+/**
+ * PrivateKernelProver provides functionality to simulate and validate circuits, and retrieve
+ * siloed commitments necessary for maintaining transaction privacy and security on the network.
+ */ export { };

package/dest/interfaces/processed-tx-handler.d.ts

@@ -0,0 +1,10 @@
+import type { ProcessedTx } from '../tx/processed_tx.js';
+/** Receives processed txs as part of block simulation or proving. */
+export interface ProcessedTxHandler {
+    /**
+     * Handles processed txs.
+     * @param txs - The transactions to be handled.
+     */
+    addTxs(txs: ProcessedTx[]): Promise<void>;
+}
+//# sourceMappingURL=processed-tx-handler.d.ts.map

package/dest/interfaces/processed-tx-handler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"processed-tx-handler.d.ts","sourceRoot":"","sources":["../../src/interfaces/processed-tx-handler.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD,qEAAqE;AACrE,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC3C"}

package/dest/interfaces/processed-tx-handler.js

@@ -0,0 +1 @@
+/** Receives processed txs as part of block simulation or proving. */ export { };

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

@@ -0,0 +1,11 @@
+import type { ApiSchemaFor } from '../schemas/index.js';
+export interface ProverAgentApi {
+    setMaxConcurrency(maxConcurrency: number): Promise<void>;
+    isRunning(): Promise<boolean>;
+    getCurrentJobs(): Promise<{
+        id: string;
+        type: string;
+    }[]>;
+}
+export declare const ProverAgentApiSchema: ApiSchemaFor<ProverAgentApi>;
+//# sourceMappingURL=prover-agent.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prover-agent.d.ts","sourceRoot":"","sources":["../../src/interfaces/prover-agent.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,WAAW,cAAc;IAC7B,iBAAiB,CAAC,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEzD,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAE9B,cAAc,IAAI,OAAO,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,CAAC;CAC3D;AAED,eAAO,MAAM,oBAAoB,EAAE,YAAY,CAAC,cAAc,CAO7D,CAAC"}

package/dest/interfaces/prover-agent.js

@@ -0,0 +1,9 @@
+import { z } from 'zod';
+export const ProverAgentApiSchema = {
+    setMaxConcurrency: z.function().args(z.number().min(1).int()).returns(z.void()),
+    isRunning: z.function().args().returns(z.boolean()),
+    getCurrentJobs: z.function().args().returns(z.array(z.object({
+        id: z.string(),
+        type: z.string()
+    })))
+};

package/dest/interfaces/prover-broker.d.ts

@@ -0,0 +1,68 @@
+import type { ProvingRequestType } from '../proofs/proving_request_type.js';
+import type { ProofUri, ProvingJob, ProvingJobId, ProvingJobStatus } from './proving-job.js';
+/**
+ * An interface for the proving orchestrator. The producer uses this to enqueue jobs for agents
+ */
+export interface ProvingJobProducer {
+    /**
+     * Enqueues a proving job
+     * @param job - The job to enqueue
+     */
+    enqueueProvingJob(job: ProvingJob): Promise<ProvingJobStatus>;
+    /**
+     * Cancels a proving job.
+     * @param id - The ID of the job to cancel
+     */
+    cancelProvingJob(id: ProvingJobId): Promise<void>;
+    /**
+     * Returns the current status fof the proving job
+     * @param id - The ID of the job to get the status of
+     */
+    getProvingJobStatus(id: ProvingJobId): Promise<ProvingJobStatus>;
+    /**
+     * Returns the ids of jobs that have been completed since the last call
+     * Also returns the set of provided job ids that are completed
+     * @param ids - The set of job ids to check for completion
+     */
+    getCompletedJobs(ids: ProvingJobId[]): Promise<ProvingJobId[]>;
+}
+export type ProvingJobFilter = {
+    allowList: ProvingRequestType[];
+};
+export type GetProvingJobResponse = {
+    job: ProvingJob;
+    time: number;
+};
+/**
+ * An interface for proving agents to request jobs and report results
+ */
+export interface ProvingJobConsumer {
+    /**
+     * Gets a proving job to work on
+     * @param filter - Optional filter for the type of job to get
+     */
+    getProvingJob(filter?: ProvingJobFilter): Promise<GetProvingJobResponse | undefined>;
+    /**
+     * Marks a proving job as successful
+     * @param id - The ID of the job to report success for
+     * @param result - The result of the job
+     */
+    reportProvingJobSuccess(id: ProvingJobId, result: ProofUri, filter?: ProvingJobFilter): Promise<GetProvingJobResponse | undefined>;
+    /**
+     * Marks a proving job as errored
+     * @param id - The ID of the job to report an error for
+     * @param err - The error that occurred while processing the job
+     * @param retry - Whether to retry the job
+     */
+    reportProvingJobError(id: ProvingJobId, err: string, retry?: boolean, filter?: ProvingJobFilter): Promise<GetProvingJobResponse | undefined>;
+    /**
+     * Sends a heartbeat to the broker to indicate that the agent is still working on the given proving job
+     * @param id - The ID of the job to report progress for
+     * @param startedAt - The unix epoch when the job was started
+     * @param filter - Optional filter for the type of job to get
+     */
+    reportProvingJobProgress(id: ProvingJobId, startedAt: number, filter?: ProvingJobFilter): Promise<GetProvingJobResponse | undefined>;
+}
+export interface ProvingJobBroker extends ProvingJobProducer, ProvingJobConsumer {
+}
+//# sourceMappingURL=prover-broker.d.ts.map

package/dest/interfaces/prover-broker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover-broker.d.ts","sourceRoot":"","sources":["../../src/interfaces/prover-broker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE7F;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,iBAAiB,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAE9D;;;OAGG;IACH,gBAAgB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAElD;;;OAGG;IACH,mBAAmB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAEjE;;;;OAIG;IACH,gBAAgB,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;CAChE;AAED,MAAM,MAAM,gBAAgB,GAAG;IAC7B,SAAS,EAAE,kBAAkB,EAAE,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,GAAG,EAAE,UAAU,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,aAAa,CAAC,MAAM,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CAAC;IAErF;;;;OAIG;IACH,uBAAuB,CACrB,EAAE,EAAE,YAAY,EAChB,MAAM,EAAE,QAAQ,EAChB,MAAM,CAAC,EAAE,gBAAgB,GACxB,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CAAC;IAE9C;;;;;OAKG;IACH,qBAAqB,CACnB,EAAE,EAAE,YAAY,EAChB,GAAG,EAAE,MAAM,EACX,KAAK,CAAC,EAAE,OAAO,EACf,MAAM,CAAC,EAAE,gBAAgB,GACxB,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CAAC;IAE9C;;;;;OAKG;IACH,wBAAwB,CACtB,EAAE,EAAE,YAAY,EAChB,SAAS,EAAE,MAAM,EACjB,MAAM,CAAC,EAAE,gBAAgB,GACxB,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CAAC;CAC/C;AAED,MAAM,WAAW,gBAAiB,SAAQ,kBAAkB,EAAE,kBAAkB;CAAG"}

package/dest/interfaces/prover-broker.js

@@ -0,0 +1 @@
+export { };

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

@@ -0,0 +1,76 @@
+import { type ConfigMappingsType } from '@aztec/foundation/config';
+import { Fr } from '@aztec/foundation/fields';
+import { z } from 'zod';
+import { type ZodFor } from '../schemas/index.js';
+import type { TxHash } from '../tx/tx_hash.js';
+import type { EpochProver } from './epoch-prover.js';
+import type { ProvingJobConsumer } from './prover-broker.js';
+export type ActualProverConfig = {
+    /** Whether to construct real proofs */
+    realProofs: boolean;
+    /** The type of artificial delay to introduce */
+    proverTestDelayType: 'fixed' | 'realistic';
+    /** If using fixed delay, the time each operation takes. */
+    proverTestDelayMs: number;
+    /** If using realistic delays, what percentage of realistic times to apply. */
+    proverTestDelayFactor: number;
+};
+/**
+ * The prover configuration.
+ */
+export type ProverConfig = ActualProverConfig & {
+    /** The URL to the Aztec node to take proving jobs from */
+    nodeUrl?: string;
+    /** Identifier of the prover */
+    proverId: Fr;
+    /** Number of proving agents to start within the prover. */
+    proverAgentCount: number;
+    /** Store for failed proof inputs. */
+    failedProofStore?: string;
+};
+export declare const ProverConfigSchema: z.ZodObject<{
+    nodeUrl: z.ZodOptional<z.ZodString>;
+    realProofs: z.ZodBoolean;
+    proverId: ZodFor<Fr>;
+    proverTestDelayType: z.ZodEnum<["fixed", "realistic"]>;
+    proverTestDelayMs: z.ZodNumber;
+    proverTestDelayFactor: z.ZodNumber;
+    proverAgentCount: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    proverId: Fr;
+    realProofs: boolean;
+    proverTestDelayType: "fixed" | "realistic";
+    proverTestDelayMs: number;
+    proverTestDelayFactor: number;
+    proverAgentCount: number;
+    nodeUrl?: string | undefined;
+}, {
+    realProofs: boolean;
+    proverTestDelayType: "fixed" | "realistic";
+    proverTestDelayMs: number;
+    proverTestDelayFactor: number;
+    proverAgentCount: number;
+    proverId?: any;
+    nodeUrl?: string | undefined;
+}>;
+export declare const proverConfigMappings: ConfigMappingsType<ProverConfig>;
+/**
+ * The interface to the prover client.
+ * Provides the ability to generate proofs and build rollups.
+ */
+export interface EpochProverManager {
+    createEpochProver(): EpochProver;
+    start(): Promise<void>;
+    stop(): Promise<void>;
+    getProvingJobSource(): ProvingJobConsumer;
+    getProverId(): Fr;
+    updateProverConfig(config: Partial<ProverConfig>): Promise<void>;
+}
+export declare class BlockProofError extends Error {
+    #private;
+    readonly txHashes: TxHash[];
+    name: string;
+    constructor(message: string, txHashes: TxHash[]);
+    static isBlockProofError(err: any): err is BlockProofError;
+}
+//# sourceMappingURL=prover-client.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prover-client.d.ts","sourceRoot":"","sources":["../../src/interfaces/prover-client.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,kBAAkB,EAA2C,MAAM,0BAA0B,CAAC;AAC5G,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,MAAM,MAAM,kBAAkB,GAAG;IAC/B,uCAAuC;IACvC,UAAU,EAAE,OAAO,CAAC;IACpB,gDAAgD;IAChD,mBAAmB,EAAE,OAAO,GAAG,WAAW,CAAC;IAC3C,2DAA2D;IAC3D,iBAAiB,EAAE,MAAM,CAAC;IAC1B,8EAA8E;IAC9E,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,kBAAkB,GAAG;IAC9C,0DAA0D;IAC1D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+BAA+B;IAC/B,QAAQ,EAAE,EAAE,CAAC;IACb,2DAA2D;IAC3D,gBAAgB,EAAE,MAAM,CAAC;IACzB,qCAAqC;IACrC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;EAQE,CAAC;AAElC,eAAO,MAAM,oBAAoB,EAAE,kBAAkB,CAAC,YAAY,CAwCjE,CAAC;AAMF;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,iBAAiB,IAAI,WAAW,CAAC;IAEjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtB,mBAAmB,IAAI,kBAAkB,CAAC;IAE1C,WAAW,IAAI,EAAE,CAAC;IAElB,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAClE;AAED,qBAAa,eAAgB,SAAQ,KAAK;;aAIK,QAAQ,EAAE,MAAM,EAAE;IAFtD,IAAI,SAAyB;gBAE1B,OAAO,EAAE,MAAM,EAAkB,QAAQ,EAAE,MAAM,EAAE;IAI/D,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,IAAI,eAAe;CAG3D"}

package/dest/interfaces/prover-client.js

@@ -0,0 +1,70 @@
+import { booleanConfigHelper, numberConfigHelper } from '@aztec/foundation/config';
+import { Fr } from '@aztec/foundation/fields';
+import { z } from 'zod';
+import { schemas } from '../schemas/index.js';
+export const ProverConfigSchema = z.object({
+    nodeUrl: z.string().optional(),
+    realProofs: z.boolean(),
+    proverId: schemas.Fr,
+    proverTestDelayType: z.enum([
+        'fixed',
+        'realistic'
+    ]),
+    proverTestDelayMs: z.number(),
+    proverTestDelayFactor: z.number(),
+    proverAgentCount: z.number()
+});
+export const proverConfigMappings = {
+    nodeUrl: {
+        env: 'AZTEC_NODE_URL',
+        description: 'The URL to the Aztec node to take proving jobs from'
+    },
+    realProofs: {
+        env: 'PROVER_REAL_PROOFS',
+        description: 'Whether to construct real proofs',
+        ...booleanConfigHelper()
+    },
+    proverId: {
+        env: 'PROVER_ID',
+        parseEnv: (val)=>parseProverId(val),
+        description: 'Identifier of the prover',
+        defaultValue: Fr.ZERO
+    },
+    proverTestDelayType: {
+        env: 'PROVER_TEST_DELAY_TYPE',
+        description: 'The type of artificial delay to introduce'
+    },
+    proverTestDelayMs: {
+        env: 'PROVER_TEST_DELAY_MS',
+        description: 'Artificial delay to introduce to all operations to the test prover.',
+        ...numberConfigHelper(0)
+    },
+    proverTestDelayFactor: {
+        env: 'PROVER_TEST_DELAY_FACTOR',
+        description: 'If using realistic delays, what percentage of realistic times to apply.',
+        ...numberConfigHelper(1)
+    },
+    proverAgentCount: {
+        env: 'PROVER_AGENT_COUNT',
+        description: 'The number of prover agents to start',
+        ...numberConfigHelper(1)
+    },
+    failedProofStore: {
+        env: 'PROVER_FAILED_PROOF_STORE',
+        description: 'Store for failed proof inputs. Google cloud storage is only supported at the moment. Set this value as gs://bucket-name/path/to/store.'
+    }
+};
+function parseProverId(str) {
+    return Fr.fromHexString(str.startsWith('0x') ? str : Buffer.from(str, 'utf8').toString('hex'));
+}
+export class BlockProofError extends Error {
+    txHashes;
+    static #name = 'BlockProofError';
+    name;
+    constructor(message, txHashes){
+        super(message), this.txHashes = txHashes, this.name = BlockProofError.#name;
+    }
+    static isBlockProofError(err) {
+        return err && typeof err === 'object' && err.name === BlockProofError.#name;
+    }
+}

package/dest/interfaces/prover-coordination.d.ts

@@ -0,0 +1,20 @@
+import type { ApiSchemaFor } from '../schemas/index.js';
+import { Tx } from '../tx/tx.js';
+import { TxHash } from '../tx/tx_hash.js';
+/** Provides basic operations for ProverNodes to interact with other nodes in the network. */
+export interface ProverCoordination {
+    /**
+     * Returns a transaction given its hash if available.
+     * @param txHash - The hash of the transaction, used as an ID.
+     * @returns The transaction, if found, 'undefined' otherwise.
+     */
+    getTxByHash(txHash: TxHash): Promise<Tx | undefined>;
+    /**
+     * Returns a set of transactions given their hashes if available.
+     * @param txHashes - The hashes of the transactions, used as an ID.
+     * @returns The transactions, if found, 'undefined' otherwise.
+     */
+    getTxsByHash(txHashes: TxHash[]): Promise<Tx[]>;
+}
+export declare const ProverCoordinationApiSchema: ApiSchemaFor<ProverCoordination>;
+//# sourceMappingURL=prover-coordination.d.ts.map

package/dest/interfaces/prover-coordination.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover-coordination.d.ts","sourceRoot":"","sources":["../../src/interfaces/prover-coordination.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE1C,6FAA6F;AAC7F,MAAM,WAAW,kBAAkB;IACjC;;;;OAIG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC;IAErD;;;;OAIG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;CACjD;AAED,eAAO,MAAM,2BAA2B,EAAE,YAAY,CAAC,kBAAkB,CAGxE,CAAC"}

package/dest/interfaces/prover-coordination.js

@@ -0,0 +1,7 @@
+import { z } from 'zod';
+import { Tx } from '../tx/tx.js';
+import { TxHash } from '../tx/tx_hash.js';
+export const ProverCoordinationApiSchema = {
+    getTxByHash: z.function().args(TxHash.schema).returns(Tx.schema.optional()),
+    getTxsByHash: z.function().args(z.array(TxHash.schema)).returns(z.array(Tx.schema))
+};

package/dest/interfaces/prover-node.d.ts

@@ -0,0 +1,19 @@
+import { type ApiSchemaFor } from '../schemas/index.js';
+declare const EpochProvingJobState: readonly ["initialized", "processing", "awaiting-prover", "publishing-proof", "completed", "failed", "stopped", "timed-out"];
+export type EpochProvingJobState = (typeof EpochProvingJobState)[number];
+export declare const EpochProvingJobTerminalState: EpochProvingJobState[];
+export type EpochProvingJobTerminalState = (typeof EpochProvingJobTerminalState)[number];
+/** JSON RPC public interface to a prover node. */
+export interface ProverNodeApi {
+    getJobs(): Promise<{
+        uuid: string;
+        status: EpochProvingJobState;
+        epochNumber: number;
+    }[]>;
+    startProof(epochNumber: number): Promise<void>;
+    prove(epochNumber: number): Promise<void>;
+}
+/** Schemas for prover node API functions. */
+export declare const ProverNodeApiSchema: ApiSchemaFor<ProverNodeApi>;
+export {};
+//# sourceMappingURL=prover-node.d.ts.map

package/dest/interfaces/prover-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover-node.d.ts","sourceRoot":"","sources":["../../src/interfaces/prover-node.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,YAAY,EAAW,MAAM,qBAAqB,CAAC;AAEjE,QAAA,MAAM,oBAAoB,8HAShB,CAAC;AAEX,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE,eAAO,MAAM,4BAA4B,EAAE,oBAAoB,EAKrD,CAAC;AAEX,MAAM,MAAM,4BAA4B,GAAG,CAAC,OAAO,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzF,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC5B,OAAO,IAAI,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,oBAAoB,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,CAAC;IAE1F,UAAU,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE/C,KAAK,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC3C;AAED,6CAA6C;AAC7C,eAAO,MAAM,mBAAmB,EAAE,YAAY,CAAC,aAAa,CAS3D,CAAC"}

package/dest/interfaces/prover-node.js

@@ -0,0 +1,27 @@
+import { z } from 'zod';
+import { schemas } from '../schemas/index.js';
+const EpochProvingJobState = [
+    'initialized',
+    'processing',
+    'awaiting-prover',
+    'publishing-proof',
+    'completed',
+    'failed',
+    'stopped',
+    'timed-out'
+];
+export const EpochProvingJobTerminalState = [
+    'completed',
+    'failed',
+    'stopped',
+    'timed-out'
+];
+/** Schemas for prover node API functions. */ export const ProverNodeApiSchema = {
+    getJobs: z.function().args().returns(z.array(z.object({
+        uuid: z.string(),
+        status: z.enum(EpochProvingJobState),
+        epochNumber: z.number()
+    }))),
+    startProof: z.function().args(schemas.Integer).returns(z.void()),
+    prove: z.function().args(schemas.Integer).returns(z.void())
+};

package/dest/interfaces/proving-job-source.d.ts

@@ -0,0 +1,29 @@
+import type { ApiSchemaFor } from '../schemas/index.js';
+import { ProvingJob, ProvingJobResult } from './proving-job.js';
+export interface ProvingJobSource {
+    /**
+     * Gets the next proving job. `heartbeat` must be called periodically to keep the job alive.
+     * @returns The proving job, or undefined if there are no jobs available.
+     */
+    getProvingJob(): Promise<ProvingJob | undefined>;
+    /**
+     * Keeps the job alive. If this isn't called regularly then the job will be
+     * considered abandoned and re-queued for another consumer to pick up
+     * @param jobId The ID of the job to heartbeat.
+     */
+    heartbeat(jobId: string): Promise<void>;
+    /**
+     * Resolves a proving job.
+     * @param jobId - The ID of the job to resolve.
+     * @param result - The result of the proving job.
+     */
+    resolveProvingJob(jobId: string, result: ProvingJobResult): Promise<void>;
+    /**
+     * Rejects a proving job.
+     * @param jobId - The ID of the job to reject.
+     * @param reason - The reason for rejecting the job.
+     */
+    rejectProvingJob(jobId: string, reason: string): Promise<void>;
+}
+export declare const ProvingJobSourceSchema: ApiSchemaFor<ProvingJobSource>;
+//# sourceMappingURL=proving-job-source.d.ts.map

package/dest/interfaces/proving-job-source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proving-job-source.d.ts","sourceRoot":"","sources":["../../src/interfaces/proving-job-source.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAgB,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE9E,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,aAAa,IAAI,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC;IAEjD;;;;OAIG;IACH,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAExC;;;;OAIG;IACH,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1E;;;;OAIG;IACH,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAChE;AAED,eAAO,MAAM,sBAAsB,EAAE,YAAY,CAAC,gBAAgB,CAKjE,CAAC"}

package/dest/interfaces/proving-job-source.js

@@ -0,0 +1,8 @@
+import { z } from 'zod';
+import { ProvingJob, ProvingJobId, ProvingJobResult } from './proving-job.js';
+export const ProvingJobSourceSchema = {
+    getProvingJob: z.function().args().returns(ProvingJob.optional()),
+    heartbeat: z.function().args(ProvingJobId).returns(z.void()),
+    resolveProvingJob: z.function().args(ProvingJobId, ProvingJobResult).returns(z.void()),
+    rejectProvingJob: z.function().args(ProvingJobId, z.string()).returns(z.void())
+};