@aztec/prover-client 0.75.0-commit.c03ba01a2a4122e43e90d5133ba017e54b90e9d2 → 0.76.0

package/dest/orchestrator/orchestrator.d.ts

@@ -0,0 +1,108 @@
+import { L2Block, type ProcessedTx, type ServerCircuitProver, type Tx } from '@aztec/circuit-types';
+import { type EpochProver, type ForkMerkleTreeOperations } from '@aztec/circuit-types/interfaces';
+import { type AppendOnlyTreeSnapshot, type BlockHeader, Fr, type GlobalVariables } from '@aztec/circuits.js';
+import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
+/**
+ * Implements an event driven proving scheduler to build the recursive proof tree. The idea being:
+ * 1. Transactions are provided to the scheduler post simulation.
+ * 2. Tree insertions are performed as required to generate transaction specific proofs
+ * 3. Those transaction specific proofs are generated in the necessary order accounting for dependencies
+ * 4. Once a transaction is proven, it will be incorporated into a merge proof
+ * 5. Merge proofs are produced at each level of the tree until the root proof is produced
+ *
+ * The proving implementation is determined by the provided prover. This could be for example a local prover or a remote prover pool.
+ */
+/**
+ * The orchestrator, managing the flow of recursive proving operations required to build the rollup proof tree.
+ */
+export declare class ProvingOrchestrator implements EpochProver {
+    private dbProvider;
+    private prover;
+    private readonly proverId;
+    private provingState;
+    private pendingProvingJobs;
+    private provingPromise;
+    private metrics;
+    private dbs;
+    constructor(dbProvider: ForkMerkleTreeOperations, prover: ServerCircuitProver, proverId?: Fr, telemetryClient?: TelemetryClient);
+    get tracer(): Tracer;
+    getProverId(): Fr;
+    stop(): Promise<void>;
+    startNewEpoch(epochNumber: number, firstBlockNumber: number, totalNumBlocks: number): void;
+    /**
+     * Starts off a new block
+     * @param globalVariables - The global variables for the block
+     * @param l1ToL2Messages - The l1 to l2 messages for the block
+     * @returns A proving ticket, containing a promise notifying of proving completion
+     */
+    startNewBlock(globalVariables: GlobalVariables, l1ToL2Messages: Fr[], previousBlockHeader: BlockHeader): Promise<void>;
+    /**
+     * The interface to add simulated transactions to the scheduler. This can only be called once per block.
+     * @param txs - The transactions to be proven
+     */
+    addTxs(txs: ProcessedTx[]): Promise<void>;
+    /**
+     * Kickstarts tube circuits for the specified txs. These will be used during epoch proving.
+     * Note that if the tube circuits are not started this way, they will be started nontheless after processing.
+     */
+    startTubeCircuits(txs: Tx[]): Promise<void>;
+    /**
+     * Marks the block as completed.
+     * Computes the block header and updates the archive tree.
+     */
+    setBlockCompleted(blockNumber: number, expectedHeader?: BlockHeader): Promise<L2Block>;
+    /** Returns the block as built for a given index. */
+    getBlock(index: number): L2Block;
+    private buildBlock;
+    protected verifyBuiltBlockAgainstSyncedState(l2Block: L2Block, newArchive: AppendOnlyTreeSnapshot): Promise<void>;
+    /**
+     * Cancel any further proving
+     */
+    cancel(): void;
+    /**
+     * Returns the proof for the current epoch.
+     */
+    finaliseEpoch(): Promise<{
+        proof: import("@aztec/circuits.js").Proof;
+        publicInputs: import("@aztec/circuits.js/rollup").RootRollupPublicInputs;
+    }>;
+    /**
+     * Starts the proving process for the given transaction and adds it to our state
+     * @param tx - The transaction whose proving we wish to commence
+     * @param provingState - The proving state being worked on
+     */
+    private prepareTransaction;
+    /**
+     * Enqueue a job to be scheduled
+     * @param provingState - The proving state object being operated on
+     * @param jobType - The type of job to be queued
+     * @param job - The actual job, returns a promise notifying of the job's completion
+     */
+    private deferredProving;
+    private prepareBaseParityInputs;
+    private prepareBaseRollupInputs;
+    private enqueueBaseRollup;
+    private getOrEnqueueTube;
+    private doEnqueueTube;
+    private enqueueMergeRollup;
+    private enqueueBlockRootRollup;
+    private enqueueBaseParityCircuit;
+    private checkAndEnqueueRootParityCircuit;
+    private enqueueRootParityCircuit;
+    private enqueueBlockMergeRollup;
+    private enqueueEpochPadding;
+    private enqueueRootRollup;
+    private checkAndEnqueueNextMergeRollup;
+    private checkAndEnqueueBlockRootRollup;
+    private checkAndEnqueueNextBlockMergeRollup;
+    private checkAndEnqueueRootRollup;
+    /**
+     * Executes the VM circuit for a public function, will enqueue the corresponding kernel if the
+     * previous kernel is ready
+     * @param provingState - The proving state being operated on
+     * @param txIndex - The index of the transaction being proven
+     */
+    private enqueueVM;
+    private checkAndEnqueueNextTxCircuit;
+}
+//# sourceMappingURL=orchestrator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../src/orchestrator/orchestrator.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EAEP,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACxB,KAAK,EAAE,EAER,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,wBAAwB,EAG9B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAGL,KAAK,sBAAsB,EAE3B,KAAK,WAAW,EAChB,EAAE,EACF,KAAK,eAAe,EAQrB,MAAM,oBAAoB,CAAC;AAiB5B,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,MAAM,EAIZ,MAAM,yBAAyB,CAAC;AAoBjC;;;;;;;;;GASG;AAEH;;GAEG;AACH,qBAAa,mBAAoB,YAAW,WAAW;IASnD,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAV3B,OAAO,CAAC,YAAY,CAA4C;IAChE,OAAO,CAAC,kBAAkB,CAAyB;IAEnD,OAAO,CAAC,cAAc,CAAiD;IACvE,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,GAAG,CAAqD;gBAGtD,UAAU,EAAE,wBAAwB,EACpC,MAAM,EAAE,mBAAmB,EAClB,QAAQ,GAAE,EAAY,EACvC,eAAe,GAAE,eAAsC;IAKzD,IAAI,MAAM,IAAI,MAAM,CAEnB;IAEM,WAAW,IAAI,EAAE;IAIjB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAKrB,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM;IAW1F;;;;;OAKG;IAIU,aAAa,CAAC,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,mBAAmB,EAAE,WAAW;IAyCnH;;;OAGG;IAIU,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAiDtD;;;OAGG;IAEU,iBAAiB,CAAC,GAAG,EAAE,EAAE,EAAE;IAcxC;;;OAGG;IAIU,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;IAyBnG,oDAAoD;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;YAQzB,UAAU;cAqCR,kCAAkC,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,sBAAsB;IAWvG;;OAEG;IACI,MAAM;IAQb;;OAEG;IACU,aAAa;;;;IAoB1B;;;;OAIG;YACW,kBAAkB;IAShC;;;;;OAKG;IACH,OAAO,CAAC,eAAe;YAwDT,uBAAuB;YA+BvB,uBAAuB;IAmCrC,OAAO,CAAC,iBAAiB;IA+CzB,OAAO,CAAC,gBAAgB;IA0BxB,OAAO,CAAC,aAAa;IA6BrB,OAAO,CAAC,kBAAkB;YA2BZ,sBAAsB;IA2DpC,OAAO,CAAC,wBAAwB;IAwBhC,OAAO,CAAC,gCAAgC;IAUxC,OAAO,CAAC,wBAAwB;IA4BhC,OAAO,CAAC,uBAAuB;YA0BjB,mBAAmB;IA8BjC,OAAO,CAAC,iBAAiB;YA6BX,8BAA8B;YAa9B,8BAA8B;IAyB5C,OAAO,CAAC,mCAAmC;IAa3C,OAAO,CAAC,yBAAyB;IASjC;;;;;OAKG;IACH,OAAO,CAAC,SAAS;IA8CjB,OAAO,CAAC,4BAA4B;CAWrC"}