@aztec/prover-client 0.76.4 → 0.77.0-testnet-ignition.17

package/dest/orchestrator/orchestrator.js

@@ -1,18 +1,29 @@
-import { __esDecorate, __runInitializers } from "tslib";
-import { L2Block, MerkleTreeId, toNumBlobFields, } from '@aztec/circuit-types';
-import { AVM_PROOF_LENGTH_IN_FIELDS, AVM_VERIFICATION_KEY_LENGTH_IN_FIELDS, BaseParityInputs, Fr, L1_TO_L2_MSG_SUBTREE_HEIGHT, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, NUM_BASE_PARITY_PER_ROOT_PARITY, VerificationKeyData, makeEmptyRecursiveProof, } from '@aztec/circuits.js';
-import { EmptyBlockRootRollupInputs, PrivateBaseRollupInputs, SingleTxBlockRootRollupInputs, TubeInputs, } from '@aztec/circuits.js/rollup';
+function _ts_decorate(decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for(var i = decorators.length - 1; i >= 0; i--)if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+}
+import { AVM_PROOF_LENGTH_IN_FIELDS, AVM_VERIFICATION_KEY_LENGTH_IN_FIELDS, L1_TO_L2_MSG_SUBTREE_HEIGHT, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, NUM_BASE_PARITY_PER_ROOT_PARITY } from '@aztec/constants';
 import { padArrayEnd, times } from '@aztec/foundation/collection';
 import { AbortError } from '@aztec/foundation/error';
+import { Fr } from '@aztec/foundation/fields';
 import { createLogger } from '@aztec/foundation/log';
 import { promiseWithResolvers } from '@aztec/foundation/promise';
 import { assertLength } from '@aztec/foundation/serialize';
 import { pushTestData } from '@aztec/foundation/testing';
 import { elapsed } from '@aztec/foundation/timer';
-import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vks';
-import { Attributes, getTelemetryClient, trackSpan, wrapCallbackInSpan, } from '@aztec/telemetry-client';
+import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vk-tree';
+import { L2Block } from '@aztec/stdlib/block';
+import { BaseParityInputs } from '@aztec/stdlib/parity';
+import { makeEmptyRecursiveProof } from '@aztec/stdlib/proofs';
+import { EmptyBlockRootRollupInputs, PrivateBaseRollupInputs, SingleTxBlockRootRollupInputs, TubeInputs } from '@aztec/stdlib/rollup';
+import { MerkleTreeId } from '@aztec/stdlib/trees';
+import { toNumBlobFields } from '@aztec/stdlib/tx';
+import { VerificationKeyData } from '@aztec/stdlib/vks';
+import { Attributes, getTelemetryClient, trackSpan, wrapCallbackInSpan } from '@aztec/telemetry-client';
 import { inspect } from 'util';
-import { buildBaseRollupHints, buildHeaderAndBodyFromTxs, getRootTreeSiblingPath, getSubtreeSiblingPath, getTreeSnapshot, validatePartialState, validateTx, } from './block-building-helpers.js';
+import { buildBaseRollupHints, buildHeaderAndBodyFromTxs, getRootTreeSiblingPath, getSubtreeSiblingPath, getTreeSnapshot, validatePartialState, validateTx } from './block-building-helpers.js';
 import { EpochProvingState } from './epoch-proving-state.js';
 import { ProvingOrchestratorMetrics } from './orchestrator_metrics.js';
 import { TxProvingState } from './tx-proving-state.js';
@@ -26,663 +37,654 @@ const logger = createLogger('prover-client:orchestrator');
  * 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.
- */
-let ProvingOrchestrator = (() => {
-    var _a;
-    let _instanceExtraInitializers = [];
-    let _startNewBlock_decorators;
-    let _addTxs_decorators;
-    let _startTubeCircuits_decorators;
-    let _setBlockCompleted_decorators;
-    let _prepareBaseRollupInputs_decorators;
-    return _a = class ProvingOrchestrator {
-            constructor(dbProvider, prover, proverId = Fr.ZERO, telemetryClient = getTelemetryClient()) {
-                this.dbProvider = (__runInitializers(this, _instanceExtraInitializers), dbProvider);
-                this.prover = prover;
-                this.proverId = proverId;
-                this.provingState = undefined;
-                this.pendingProvingJobs = [];
-                this.provingPromise = undefined;
-                this.dbs = new Map();
-                this.metrics = new ProvingOrchestratorMetrics(telemetryClient, 'ProvingOrchestrator');
-            }
-            get tracer() {
-                return this.metrics.tracer;
-            }
-            getProverId() {
-                return this.proverId;
-            }
-            stop() {
-                this.cancel();
-                return Promise.resolve();
-            }
-            startNewEpoch(epochNumber, firstBlockNumber, totalNumBlocks) {
-                const { promise: _promise, resolve, reject } = promiseWithResolvers();
-                const promise = _promise.catch((reason) => ({ status: 'failure', reason }));
-                if (totalNumBlocks <= 0 || !Number.isInteger(totalNumBlocks)) {
-                    throw new Error(`Invalid number of blocks for epoch (got ${totalNumBlocks})`);
-                }
-                logger.info(`Starting epoch ${epochNumber} with ${totalNumBlocks} blocks`);
-                this.provingState = new EpochProvingState(epochNumber, firstBlockNumber, totalNumBlocks, resolve, reject);
-                this.provingPromise = promise;
-            }
-            /**
-             * 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
-             */
-            async startNewBlock(globalVariables, l1ToL2Messages, previousBlockHeader) {
-                if (!this.provingState) {
-                    throw new Error(`Invalid proving state, call startNewEpoch before starting a block`);
-                }
-                if (!this.provingState?.isAcceptingBlocks()) {
-                    throw new Error(`Epoch not accepting further blocks`);
-                }
-                logger.info(`Starting block ${globalVariables.blockNumber.toNumber()} for slot ${globalVariables.slotNumber.toNumber()}`);
-                // Fork world state at the end of the immediately previous block
-                const db = await this.dbProvider.fork(globalVariables.blockNumber.toNumber() - 1);
-                this.dbs.set(globalVariables.blockNumber.toNumber(), db);
-                // we start the block by enqueueing all of the base parity circuits
-                const { l1ToL2MessageSubtreeSiblingPath, l1ToL2MessageTreeSnapshotAfterInsertion, baseParityInputs } = await this.prepareBaseParityInputs(l1ToL2Messages, db);
-                // Get archive snapshot before this block lands
-                const lastArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, db);
-                const newArchiveSiblingPath = await getRootTreeSiblingPath(MerkleTreeId.ARCHIVE, db);
-                const blockProvingState = this.provingState.startNewBlock(globalVariables, l1ToL2Messages, l1ToL2MessageSubtreeSiblingPath, l1ToL2MessageTreeSnapshotAfterInsertion, lastArchive, newArchiveSiblingPath, previousBlockHeader);
-                // Enqueue base parity circuits for the block
-                for (let i = 0; i < baseParityInputs.length; i++) {
-                    this.enqueueBaseParityCircuit(blockProvingState, baseParityInputs[i], i);
-                }
-            }
-            /**
-             * The interface to add simulated transactions to the scheduler. This can only be called once per block.
-             * @param txs - The transactions to be proven
-             */
-            async addTxs(txs) {
-                if (!txs.length) {
-                    // To avoid an ugly throw below. If we require an empty block, we can just call setBlockCompleted
-                    // on a block with no txs. We cannot do that here because we cannot find the blockNumber without any txs.
-                    logger.warn(`Provided no txs to orchestrator addTxs.`);
-                    return;
-                }
-                const blockNumber = txs[0].constants.globalVariables.blockNumber.toNumber();
-                const provingState = this.provingState?.getBlockProvingStateByBlockNumber(blockNumber);
-                if (!provingState) {
-                    throw new Error(`Block proving state for ${blockNumber} not found`);
-                }
-                if (provingState.totalNumTxs) {
-                    throw new Error(`Block ${blockNumber} has been initialized with transactions.`);
-                }
-                const numBlobFields = toNumBlobFields(txs);
-                provingState.startNewBlock(txs.length, numBlobFields);
-                logger.info(`Adding ${txs.length} transactions with ${numBlobFields} blob fields to block ${provingState.blockNumber}`);
-                for (const tx of txs) {
-                    try {
-                        if (!provingState.verifyState()) {
-                            throw new Error(`Invalid proving state when adding a tx`);
-                        }
-                        validateTx(tx);
-                        logger.info(`Received transaction: ${tx.hash}`);
-                        const [hints, treeSnapshots] = await this.prepareTransaction(tx, provingState);
-                        const txProvingState = new TxProvingState(tx, hints, treeSnapshots);
-                        const txIndex = provingState.addNewTx(txProvingState);
-                        this.getOrEnqueueTube(provingState, txIndex);
-                        if (txProvingState.requireAvmProof) {
-                            logger.debug(`Enqueueing public VM for tx ${txIndex}`);
-                            this.enqueueVM(provingState, txIndex);
-                        }
-                    }
-                    catch (err) {
-                        throw new Error(`Error adding transaction ${tx.hash.toString()} to block ${blockNumber}: ${err.message}`, {
-                            cause: err,
-                        });
-                    }
-                }
-            }
-            /**
-             * 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.
-             */
-            async startTubeCircuits(txs) {
-                if (!this.provingState?.verifyState()) {
-                    throw new Error(`Invalid proving state, call startNewEpoch before starting tube circuits`);
-                }
-                for (const tx of txs) {
-                    const txHash = (await tx.getTxHash()).toString();
-                    const tubeInputs = new TubeInputs(tx.clientIvcProof);
-                    const tubeProof = promiseWithResolvers();
-                    logger.debug(`Starting tube circuit for tx ${txHash}`);
-                    this.doEnqueueTube(txHash, tubeInputs, proof => tubeProof.resolve(proof));
-                    this.provingState?.cachedTubeProofs.set(txHash, tubeProof.promise);
-                }
-            }
-            /**
-             * Marks the block as completed.
-             * Computes the block header and updates the archive tree.
-             */
-            async setBlockCompleted(blockNumber, expectedHeader) {
-                const provingState = this.provingState?.getBlockProvingStateByBlockNumber(blockNumber);
-                if (!provingState) {
-                    throw new Error(`Block proving state for ${blockNumber} not found`);
-                }
-                if (!provingState.spongeBlobState) {
-                    // If we are completing an empty block, initialise the provingState.
-                    // We will have 0 txs and no blob fields.
-                    provingState.startNewBlock(0, 0);
-                }
+ */ export class ProvingOrchestrator {
+    dbProvider;
+    prover;
+    proverId;
+    provingState;
+    pendingProvingJobs;
+    provingPromise;
+    metrics;
+    dbs;
+    constructor(dbProvider, prover, proverId = Fr.ZERO, telemetryClient = getTelemetryClient()){
+        this.dbProvider = dbProvider;
+        this.prover = prover;
+        this.proverId = proverId;
+        this.provingState = undefined;
+        this.pendingProvingJobs = [];
+        this.provingPromise = undefined;
+        this.dbs = new Map();
+        this.metrics = new ProvingOrchestratorMetrics(telemetryClient, 'ProvingOrchestrator');
+    }
+    get tracer() {
+        return this.metrics.tracer;
+    }
+    getProverId() {
+        return this.proverId;
+    }
+    stop() {
+        this.cancel();
+        return Promise.resolve();
+    }
+    startNewEpoch(epochNumber, firstBlockNumber, totalNumBlocks) {
+        const { promise: _promise, resolve, reject } = promiseWithResolvers();
+        const promise = _promise.catch((reason)=>({
+                status: 'failure',
+                reason
+            }));
+        if (totalNumBlocks <= 0 || !Number.isInteger(totalNumBlocks)) {
+            throw new Error(`Invalid number of blocks for epoch (got ${totalNumBlocks})`);
+        }
+        logger.info(`Starting epoch ${epochNumber} with ${totalNumBlocks} blocks`);
+        this.provingState = new EpochProvingState(epochNumber, firstBlockNumber, totalNumBlocks, resolve, reject);
+        this.provingPromise = promise;
+    }
+    /**
+   * 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
+   */ async startNewBlock(globalVariables, l1ToL2Messages, previousBlockHeader) {
+        if (!this.provingState) {
+            throw new Error(`Invalid proving state, call startNewEpoch before starting a block`);
+        }
+        if (!this.provingState?.isAcceptingBlocks()) {
+            throw new Error(`Epoch not accepting further blocks`);
+        }
+        logger.info(`Starting block ${globalVariables.blockNumber.toNumber()} for slot ${globalVariables.slotNumber.toNumber()}`);
+        // Fork world state at the end of the immediately previous block
+        const db = await this.dbProvider.fork(globalVariables.blockNumber.toNumber() - 1);
+        this.dbs.set(globalVariables.blockNumber.toNumber(), db);
+        // we start the block by enqueueing all of the base parity circuits
+        const { l1ToL2MessageSubtreeSiblingPath, l1ToL2MessageTreeSnapshotAfterInsertion, baseParityInputs } = await this.prepareBaseParityInputs(l1ToL2Messages, db);
+        // Get archive snapshot before this block lands
+        const lastArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, db);
+        const newArchiveSiblingPath = await getRootTreeSiblingPath(MerkleTreeId.ARCHIVE, db);
+        const blockProvingState = this.provingState.startNewBlock(globalVariables, l1ToL2Messages, l1ToL2MessageSubtreeSiblingPath, l1ToL2MessageTreeSnapshotAfterInsertion, lastArchive, newArchiveSiblingPath, previousBlockHeader);
+        // Enqueue base parity circuits for the block
+        for(let i = 0; i < baseParityInputs.length; i++){
+            this.enqueueBaseParityCircuit(blockProvingState, baseParityInputs[i], i);
+        }
+    }
+    /**
+   * The interface to add simulated transactions to the scheduler. This can only be called once per block.
+   * @param txs - The transactions to be proven
+   */ async addTxs(txs) {
+        if (!txs.length) {
+            // To avoid an ugly throw below. If we require an empty block, we can just call setBlockCompleted
+            // on a block with no txs. We cannot do that here because we cannot find the blockNumber without any txs.
+            logger.warn(`Provided no txs to orchestrator addTxs.`);
+            return;
+        }
+        const blockNumber = txs[0].constants.globalVariables.blockNumber.toNumber();
+        const provingState = this.provingState?.getBlockProvingStateByBlockNumber(blockNumber);
+        if (!provingState) {
+            throw new Error(`Block proving state for ${blockNumber} not found`);
+        }
+        if (provingState.totalNumTxs) {
+            throw new Error(`Block ${blockNumber} has been initialized with transactions.`);
+        }
+        const numBlobFields = toNumBlobFields(txs);
+        provingState.startNewBlock(txs.length, numBlobFields);
+        logger.info(`Adding ${txs.length} transactions with ${numBlobFields} blob fields to block ${provingState.blockNumber}`);
+        for (const tx of txs){
+            try {
                 if (!provingState.verifyState()) {
-                    throw new Error(`Block proving failed: ${provingState.error}`);
-                }
-                // And build the block header
-                logger.verbose(`Block ${blockNumber} completed. Assembling header.`);
-                await this.buildBlock(provingState, expectedHeader);
-                // If the proofs were faster than the block building, then we need to try the block root rollup again here
-                await this.checkAndEnqueueBlockRootRollup(provingState);
-                return provingState.block;
-            }
-            /** Returns the block as built for a given index. */
-            getBlock(index) {
-                const block = this.provingState?.blocks[index]?.block;
-                if (!block) {
-                    throw new Error(`Block at index ${index} not available`);
-                }
-                return block;
-            }
-            async buildBlock(provingState, expectedHeader) {
-                // Collect all new nullifiers, commitments, and contracts from all txs in this block to build body
-                const txs = provingState.allTxs.map(a => a.processedTx);
-                // Get db for this block
-                const db = this.dbs.get(provingState.blockNumber);
-                // Given we've applied every change from this block, now assemble the block header
-                // and update the archive tree, so we're ready to start processing the next block
-                const { header, body } = await buildHeaderAndBodyFromTxs(txs, provingState.globalVariables, provingState.newL1ToL2Messages, db);
-                if (expectedHeader && !header.equals(expectedHeader)) {
-                    logger.error(`Block header mismatch: header=${header} expectedHeader=${expectedHeader}`);
-                    throw new Error('Block header mismatch');
-                }
-                logger.verbose(`Updating archive tree with block ${provingState.blockNumber} header ${(await header.hash()).toString()}`);
-                await db.updateArchive(header);
-                // Assemble the L2 block
-                const newArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, db);
-                const l2Block = new L2Block(newArchive, header, body);
-                await this.verifyBuiltBlockAgainstSyncedState(l2Block, newArchive);
-                logger.verbose(`Orchestrator finalised block ${l2Block.number}`);
-                provingState.block = l2Block;
-            }
-            // Flagged as protected to disable in certain unit tests
-            async verifyBuiltBlockAgainstSyncedState(l2Block, newArchive) {
-                const syncedArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, this.dbProvider.getSnapshot(l2Block.number));
-                if (!syncedArchive.equals(newArchive)) {
-                    throw new Error(`Archive tree mismatch for block ${l2Block.number}: world state synced to ${inspect(syncedArchive)} but built ${inspect(newArchive)}`);
-                }
-            }
-            /**
-             * Cancel any further proving
-             */
-            cancel() {
-                for (const controller of this.pendingProvingJobs) {
-                    controller.abort();
-                }
-                this.provingState?.cancel();
-            }
-            /**
-             * Returns the proof for the current epoch.
-             */
-            async finaliseEpoch() {
-                if (!this.provingState || !this.provingPromise) {
-                    throw new Error(`Invalid proving state, an epoch must be proven before it can be finalised`);
-                }
-                const result = await this.provingPromise;
-                if (result.status === 'failure') {
-                    throw new Error(`Epoch proving failed: ${result.reason}`);
-                }
-                const epochProofResult = this.provingState.getEpochProofResult();
-                pushTestData('epochProofResult', {
-                    proof: epochProofResult.proof.toString(),
-                    publicInputs: epochProofResult.publicInputs.toString(),
-                });
-                return epochProofResult;
-            }
-            /**
-             * 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
-             */
-            async prepareTransaction(tx, provingState) {
-                const txInputs = await this.prepareBaseRollupInputs(provingState, tx);
-                if (!txInputs) {
-                    // This should not be possible
-                    throw new Error(`Unable to add transaction, preparing base inputs failed`);
-                }
-                return txInputs;
-            }
-            /**
-             * 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
-             */
-            deferredProving(provingState, request, callback) {
-                if (!provingState?.verifyState()) {
-                    logger.debug(`Not enqueuing job, state no longer valid`);
-                    return;
-                }
-                const controller = new AbortController();
-                this.pendingProvingJobs.push(controller);
-                // We use a 'safeJob'. We don't want promise rejections in the proving pool, we want to capture the error here
-                // and reject the proving job whilst keeping the event loop free of rejections
-                const safeJob = async () => {
-                    try {
-                        // there's a delay between enqueueing this job and it actually running
-                        if (controller.signal.aborted) {
-                            return;
-                        }
-                        const result = await request(controller.signal);
-                        if (!provingState?.verifyState()) {
-                            logger.debug(`State no longer valid, discarding result`);
-                            return;
-                        }
-                        // we could have been cancelled whilst waiting for the result
-                        // and the prover ignored the signal. Drop the result in that case
-                        if (controller.signal.aborted) {
-                            return;
-                        }
-                        await callback(result);
-                    }
-                    catch (err) {
-                        if (err instanceof AbortError) {
-                            // operation was cancelled, probably because the block was cancelled
-                            // drop this result
-                            return;
-                        }
-                        logger.error(`Error thrown when proving job`, err);
-                        provingState.reject(`${err}`);
-                    }
-                    finally {
-                        const index = this.pendingProvingJobs.indexOf(controller);
-                        if (index > -1) {
-                            this.pendingProvingJobs.splice(index, 1);
-                        }
-                    }
-                };
-                // let the callstack unwind before adding the job to the queue
-                setImmediate(() => void safeJob());
-            }
-            async prepareBaseParityInputs(l1ToL2Messages, db) {
-                const l1ToL2MessagesPadded = padArrayEnd(l1ToL2Messages, Fr.ZERO, NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, 'Too many L1 to L2 messages');
-                const baseParityInputs = times(NUM_BASE_PARITY_PER_ROOT_PARITY, i => BaseParityInputs.fromSlice(l1ToL2MessagesPadded, i, getVKTreeRoot()));
-                const l1ToL2MessageSubtreeSiblingPath = assertLength(await getSubtreeSiblingPath(MerkleTreeId.L1_TO_L2_MESSAGE_TREE, L1_TO_L2_MSG_SUBTREE_HEIGHT, db), L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH);
-                // Update the local trees to include the new l1 to l2 messages
-                await db.appendLeaves(MerkleTreeId.L1_TO_L2_MESSAGE_TREE, l1ToL2MessagesPadded);
-                const l1ToL2MessageTreeSnapshotAfterInsertion = await getTreeSnapshot(MerkleTreeId.L1_TO_L2_MESSAGE_TREE, db);
-                return {
-                    l1ToL2MessageSubtreeSiblingPath,
-                    l1ToL2MessageTreeSnapshotAfterInsertion,
-                    baseParityInputs,
-                };
-            }
-            // Updates the merkle trees for a transaction. The first enqueued job for a transaction
-            async prepareBaseRollupInputs(provingState, tx) {
-                if (!provingState.verifyState() || !provingState.spongeBlobState) {
-                    logger.debug('Not preparing base rollup inputs, state invalid');
-                    return;
-                }
-                const db = this.dbs.get(provingState.blockNumber);
-                // We build the base rollup inputs using a mock proof and verification key.
-                // These will be overwritten later once we have proven the tube circuit and any public kernels
-                const [ms, hints] = await elapsed(buildBaseRollupHints(tx, provingState.globalVariables, db, provingState.spongeBlobState));
-                this.metrics.recordBaseRollupInputs(ms);
-                const promises = [MerkleTreeId.NOTE_HASH_TREE, MerkleTreeId.NULLIFIER_TREE, MerkleTreeId.PUBLIC_DATA_TREE].map(async (id) => {
-                    return { key: id, value: await getTreeSnapshot(id, db) };
+                    throw new Error(`Invalid proving state when adding a tx`);
+                }
+                validateTx(tx);
+                logger.info(`Received transaction: ${tx.hash}`);
+                const [hints, treeSnapshots] = await this.prepareTransaction(tx, provingState);
+                const txProvingState = new TxProvingState(tx, hints, treeSnapshots);
+                const txIndex = provingState.addNewTx(txProvingState);
+                this.getOrEnqueueTube(provingState, txIndex);
+                if (txProvingState.requireAvmProof) {
+                    logger.debug(`Enqueueing public VM for tx ${txIndex}`);
+                    this.enqueueVM(provingState, txIndex);
+                }
+            } catch (err) {
+                throw new Error(`Error adding transaction ${tx.hash.toString()} to block ${blockNumber}: ${err.message}`, {
+                    cause: err
                 });
-                const treeSnapshots = new Map((await Promise.all(promises)).map(obj => [obj.key, obj.value]));
-                if (!provingState.verifyState()) {
-                    logger.debug(`Discarding proving job, state no longer valid`);
-                    return;
-                }
-                return [hints, treeSnapshots];
             }
-            // Executes the base rollup circuit and stored the output as intermediate state for the parent merge/root circuit
-            // Executes the next level of merge if all inputs are available
-            enqueueBaseRollup(provingState, txIndex) {
-                if (!provingState.verifyState()) {
-                    logger.debug('Not running base rollup, state invalid');
+        }
+    }
+    /**
+   * 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.
+   */ async startTubeCircuits(txs) {
+        if (!this.provingState?.verifyState()) {
+            throw new Error(`Invalid proving state, call startNewEpoch before starting tube circuits`);
+        }
+        for (const tx of txs){
+            const txHash = (await tx.getTxHash()).toString();
+            const tubeInputs = new TubeInputs(tx.clientIvcProof);
+            const tubeProof = promiseWithResolvers();
+            logger.debug(`Starting tube circuit for tx ${txHash}`);
+            this.doEnqueueTube(txHash, tubeInputs, (proof)=>tubeProof.resolve(proof));
+            this.provingState?.cachedTubeProofs.set(txHash, tubeProof.promise);
+        }
+    }
+    /**
+   * Marks the block as completed.
+   * Computes the block header and updates the archive tree.
+   */ async setBlockCompleted(blockNumber, expectedHeader) {
+        const provingState = this.provingState?.getBlockProvingStateByBlockNumber(blockNumber);
+        if (!provingState) {
+            throw new Error(`Block proving state for ${blockNumber} not found`);
+        }
+        if (!provingState.spongeBlobState) {
+            // If we are completing an empty block, initialise the provingState.
+            // We will have 0 txs and no blob fields.
+            provingState.startNewBlock(0, 0);
+        }
+        if (!provingState.verifyState()) {
+            throw new Error(`Block proving failed: ${provingState.error}`);
+        }
+        // And build the block header
+        logger.verbose(`Block ${blockNumber} completed. Assembling header.`);
+        await this.buildBlock(provingState, expectedHeader);
+        // If the proofs were faster than the block building, then we need to try the block root rollup again here
+        await this.checkAndEnqueueBlockRootRollup(provingState);
+        return provingState.block;
+    }
+    /** Returns the block as built for a given index. */ getBlock(index) {
+        const block = this.provingState?.blocks[index]?.block;
+        if (!block) {
+            throw new Error(`Block at index ${index} not available`);
+        }
+        return block;
+    }
+    async buildBlock(provingState, expectedHeader) {
+        // Collect all new nullifiers, commitments, and contracts from all txs in this block to build body
+        const txs = provingState.allTxs.map((a)=>a.processedTx);
+        // Get db for this block
+        const db = this.dbs.get(provingState.blockNumber);
+        // Given we've applied every change from this block, now assemble the block header
+        // and update the archive tree, so we're ready to start processing the next block
+        const { header, body } = await buildHeaderAndBodyFromTxs(txs, provingState.globalVariables, provingState.newL1ToL2Messages, db);
+        if (expectedHeader && !header.equals(expectedHeader)) {
+            logger.error(`Block header mismatch: header=${header} expectedHeader=${expectedHeader}`);
+            throw new Error('Block header mismatch');
+        }
+        logger.verbose(`Updating archive tree with block ${provingState.blockNumber} header ${(await header.hash()).toString()}`);
+        await db.updateArchive(header);
+        // Assemble the L2 block
+        const newArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, db);
+        const l2Block = new L2Block(newArchive, header, body);
+        await this.verifyBuiltBlockAgainstSyncedState(l2Block, newArchive);
+        logger.verbose(`Orchestrator finalised block ${l2Block.number}`);
+        provingState.block = l2Block;
+    }
+    // Flagged as protected to disable in certain unit tests
+    async verifyBuiltBlockAgainstSyncedState(l2Block, newArchive) {
+        const syncedArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, this.dbProvider.getSnapshot(l2Block.number));
+        if (!syncedArchive.equals(newArchive)) {
+            throw new Error(`Archive tree mismatch for block ${l2Block.number}: world state synced to ${inspect(syncedArchive)} but built ${inspect(newArchive)}`);
+        }
+    }
+    /**
+   * Cancel any further proving
+   */ cancel() {
+        for (const controller of this.pendingProvingJobs){
+            controller.abort();
+        }
+        this.provingState?.cancel();
+    }
+    /**
+   * Returns the proof for the current epoch.
+   */ async finaliseEpoch() {
+        if (!this.provingState || !this.provingPromise) {
+            throw new Error(`Invalid proving state, an epoch must be proven before it can be finalised`);
+        }
+        const result = await this.provingPromise;
+        if (result.status === 'failure') {
+            throw new Error(`Epoch proving failed: ${result.reason}`);
+        }
+        const epochProofResult = this.provingState.getEpochProofResult();
+        pushTestData('epochProofResult', {
+            proof: epochProofResult.proof.toString(),
+            publicInputs: epochProofResult.publicInputs.toString()
+        });
+        return epochProofResult;
+    }
+    /**
+   * 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
+   */ async prepareTransaction(tx, provingState) {
+        const txInputs = await this.prepareBaseRollupInputs(provingState, tx);
+        if (!txInputs) {
+            // This should not be possible
+            throw new Error(`Unable to add transaction, preparing base inputs failed`);
+        }
+        return txInputs;
+    }
+    /**
+   * 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
+   */ deferredProving(provingState, request, callback) {
+        if (!provingState?.verifyState()) {
+            logger.debug(`Not enqueuing job, state no longer valid`);
+            return;
+        }
+        const controller = new AbortController();
+        this.pendingProvingJobs.push(controller);
+        // We use a 'safeJob'. We don't want promise rejections in the proving pool, we want to capture the error here
+        // and reject the proving job whilst keeping the event loop free of rejections
+        const safeJob = async ()=>{
+            try {
+                // there's a delay between enqueueing this job and it actually running
+                if (controller.signal.aborted) {
                     return;
                 }
-                const txProvingState = provingState.getTxProvingState(txIndex);
-                const { processedTx } = txProvingState;
-                const { rollupType, inputs } = txProvingState.getBaseRollupTypeAndInputs();
-                logger.debug(`Enqueuing deferred proving base rollup for ${processedTx.hash.toString()}`);
-                this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, `ProvingOrchestrator.prover.${inputs instanceof PrivateBaseRollupInputs ? 'getPrivateBaseRollupProof' : 'getPublicBaseRollupProof'}`, {
-                    [Attributes.TX_HASH]: processedTx.hash.toString(),
-                    [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
-                    [Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType,
-                }, signal => {
-                    if (inputs instanceof PrivateBaseRollupInputs) {
-                        return this.prover.getPrivateBaseRollupProof(inputs, signal, provingState.epochNumber);
-                    }
-                    else {
-                        return this.prover.getPublicBaseRollupProof(inputs, signal, provingState.epochNumber);
-                    }
-                }), async (result) => {
-                    logger.debug(`Completed proof for ${rollupType} for tx ${processedTx.hash.toString()}`);
-                    validatePartialState(result.inputs.end, txProvingState.treeSnapshots);
-                    const leafLocation = provingState.setBaseRollupProof(txIndex, result);
-                    if (provingState.totalNumTxs === 1) {
-                        await this.checkAndEnqueueBlockRootRollup(provingState);
-                    }
-                    else {
-                        await this.checkAndEnqueueNextMergeRollup(provingState, leafLocation);
-                    }
-                });
-            }
-            // Enqueues the tube circuit for a given transaction index, or reuses the one already enqueued
-            // Once completed, will enqueue the next circuit, either a public kernel or the base rollup
-            getOrEnqueueTube(provingState, txIndex) {
-                if (!provingState.verifyState()) {
-                    logger.debug('Not running tube circuit, state invalid');
-                    return;
-                }
-                const txProvingState = provingState.getTxProvingState(txIndex);
-                const txHash = txProvingState.processedTx.hash.toString();
-                const handleResult = (result) => {
-                    logger.debug(`Got tube proof for tx index: ${txIndex}`, { txHash });
-                    txProvingState.setTubeProof(result);
-                    this.provingState?.cachedTubeProofs.delete(txHash);
-                    this.checkAndEnqueueNextTxCircuit(provingState, txIndex);
-                };
-                if (this.provingState?.cachedTubeProofs.has(txHash)) {
-                    logger.debug(`Tube proof already enqueued for tx index: ${txIndex}`, { txHash });
-                    void this.provingState.cachedTubeProofs.get(txHash).then(handleResult);
-                    return;
-                }
-                logger.debug(`Enqueuing tube circuit for tx index: ${txIndex}`);
-                this.doEnqueueTube(txHash, txProvingState.getTubeInputs(), handleResult);
-            }
-            doEnqueueTube(txHash, inputs, handler, provingState = this.provingState) {
+                const result = await request(controller.signal);
                 if (!provingState?.verifyState()) {
-                    logger.debug('Not running tube circuit, state invalid');
+                    logger.debug(`State no longer valid, discarding result`);
                     return;
                 }
-                this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getTubeProof', {
-                    [Attributes.TX_HASH]: txHash,
-                    [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
-                    [Attributes.PROTOCOL_CIRCUIT_NAME]: 'tube-circuit',
-                }, signal => this.prover.getTubeProof(inputs, signal, this.provingState.epochNumber)), handler);
-            }
-            // Executes the merge rollup circuit and stored the output as intermediate state for the parent merge/block root circuit
-            // Enqueues the next level of merge if all inputs are available
-            enqueueMergeRollup(provingState, location) {
-                if (!provingState.verifyState()) {
-                    logger.debug('Not running merge rollup. State no longer valid.');
+                // we could have been cancelled whilst waiting for the result
+                // and the prover ignored the signal. Drop the result in that case
+                if (controller.signal.aborted) {
                     return;
                 }
-                const inputs = provingState.getMergeRollupInputs(location);
-                this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getMergeRollupProof', {
-                    [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
-                    [Attributes.PROTOCOL_CIRCUIT_NAME]: 'merge-rollup',
-                }, signal => this.prover.getMergeRollupProof(inputs, signal, provingState.epochNumber)), async (result) => {
-                    provingState.setMergeRollupProof(location, result);
-                    await this.checkAndEnqueueNextMergeRollup(provingState, location);
-                });
-            }
-            // Executes the block root rollup circuit
-            async enqueueBlockRootRollup(provingState) {
-                if (!provingState.verifyState()) {
-                    logger.debug('Not running block root rollup, state no longer valid');
-                    return;
-                }
-                provingState.blockRootRollupStarted = true;
-                const { rollupType, inputs } = await provingState.getBlockRootRollupTypeAndInputs(this.proverId);
-                logger.debug(`Enqueuing ${rollupType} for block ${provingState.blockNumber} with ${provingState.newL1ToL2Messages.length} l1 to l2 msgs.`);
-                this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getBlockRootRollupProof', {
-                    [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
-                    [Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType,
-                }, signal => {
-                    if (inputs instanceof EmptyBlockRootRollupInputs) {
-                        return this.prover.getEmptyBlockRootRollupProof(inputs, signal, provingState.epochNumber);
-                    }
-                    else if (inputs instanceof SingleTxBlockRootRollupInputs) {
-                        return this.prover.getSingleTxBlockRootRollupProof(inputs, signal, provingState.epochNumber);
-                    }
-                    else {
-                        return this.prover.getBlockRootRollupProof(inputs, signal, provingState.epochNumber);
-                    }
-                }), async (result) => {
-                    provingState.setBlockRootRollupProof(result);
-                    const header = await provingState.buildHeaderFromProvingOutputs(logger);
-                    if (!(await header.hash()).equals(await provingState.block.header.hash())) {
-                        logger.error(`Block header mismatch\nCircuit:${inspect(header)}\nComputed:${inspect(provingState.block.header)}`);
-                        provingState.reject(`Block header hash mismatch`);
-                    }
-                    logger.debug(`Completed ${rollupType} proof for block ${provingState.block.number}`);
-                    // validatePartialState(result.inputs.end, tx.treeSnapshots); // TODO(palla/prover)
-                    const epochProvingState = this.provingState;
-                    const leafLocation = epochProvingState.setBlockRootRollupProof(provingState.index, result);
-                    if (epochProvingState.totalNumBlocks === 1) {
-                        await this.enqueueEpochPadding(epochProvingState);
-                    }
-                    else {
-                        this.checkAndEnqueueNextBlockMergeRollup(epochProvingState, leafLocation);
-                    }
-                });
-            }
-            // Executes the base parity circuit and stores the intermediate state for the root parity circuit
-            // Enqueues the root parity circuit if all inputs are available
-            enqueueBaseParityCircuit(provingState, inputs, index) {
-                if (!provingState.verifyState()) {
-                    logger.debug('Not running base parity. State no longer valid.');
-                    return;
-                }
-                this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getBaseParityProof', {
-                    [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
-                    [Attributes.PROTOCOL_CIRCUIT_NAME]: 'base-parity',
-                }, signal => this.prover.getBaseParityProof(inputs, signal, provingState.epochNumber)), provingOutput => {
-                    provingState.setBaseParityProof(index, provingOutput);
-                    this.checkAndEnqueueRootParityCircuit(provingState);
-                });
-            }
-            checkAndEnqueueRootParityCircuit(provingState) {
-                if (!provingState.isReadyForRootParity()) {
-                    return;
-                }
-                this.enqueueRootParityCircuit(provingState);
-            }
-            // Runs the root parity circuit ans stored the outputs
-            // Enqueues the root rollup proof if all inputs are available
-            enqueueRootParityCircuit(provingState) {
-                if (!provingState.verifyState()) {
-                    logger.debug('Not running root parity. State no longer valid.');
-                    return;
-                }
-                const inputs = provingState.getRootParityInputs();
-                this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getRootParityProof', {
-                    [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
-                    [Attributes.PROTOCOL_CIRCUIT_NAME]: 'root-parity',
-                }, signal => this.prover.getRootParityProof(inputs, signal, provingState.epochNumber)), async (result) => {
-                    provingState.setRootParityProof(result);
-                    await this.checkAndEnqueueBlockRootRollup(provingState);
-                });
-            }
-            // Executes the block merge rollup circuit and stored the output as intermediate state for the parent merge/block root circuit
-            // Enqueues the next level of merge if all inputs are available
-            enqueueBlockMergeRollup(provingState, location) {
-                if (!provingState.verifyState()) {
-                    logger.debug('Not running block merge rollup. State no longer valid.');
-                    return;
-                }
-                const inputs = provingState.getBlockMergeRollupInputs(location);
-                this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getBlockMergeRollupProof', {
-                    [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
-                    [Attributes.PROTOCOL_CIRCUIT_NAME]: 'block-merge-rollup',
-                }, signal => this.prover.getBlockMergeRollupProof(inputs, signal, provingState.epochNumber)), result => {
-                    provingState.setBlockMergeRollupProof(location, result);
-                    this.checkAndEnqueueNextBlockMergeRollup(provingState, location);
-                });
-            }
-            async enqueueEpochPadding(provingState) {
-                if (!provingState.verifyState()) {
-                    logger.debug('Not running epoch padding. State no longer valid.');
-                    return;
-                }
-                logger.debug('Padding epoch proof with an empty block root proof.');
-                const inputs = await provingState.getPaddingBlockRootInputs(this.proverId);
-                this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getEmptyBlockRootRollupProof', {
-                    [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
-                    [Attributes.PROTOCOL_CIRCUIT_NAME]: 'empty-block-root-rollup',
-                }, signal => this.prover.getEmptyBlockRootRollupProof(inputs, signal, provingState.epochNumber)), result => {
-                    logger.debug('Completed proof for padding block root.');
-                    provingState.setPaddingBlockRootProof(result);
-                    this.checkAndEnqueueRootRollup(provingState);
-                });
-            }
-            // Executes the root rollup circuit
-            enqueueRootRollup(provingState) {
-                if (!provingState.verifyState()) {
-                    logger.debug('Not running root rollup, state no longer valid');
+                await callback(result);
+            } catch (err) {
+                if (err instanceof AbortError) {
+                    // operation was cancelled, probably because the block was cancelled
+                    // drop this result
                     return;
                 }
-                logger.debug(`Preparing root rollup`);
-                const inputs = provingState.getRootRollupInputs(this.proverId);
-                this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getRootRollupProof', {
-                    [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
-                    [Attributes.PROTOCOL_CIRCUIT_NAME]: 'root-rollup',
-                }, signal => this.prover.getRootRollupProof(inputs, signal, provingState.epochNumber)), result => {
-                    logger.verbose(`Orchestrator completed root rollup for epoch ${provingState.epochNumber}`);
-                    provingState.setRootRollupProof(result);
-                    provingState.resolve({ status: 'success' });
-                });
-            }
-            async checkAndEnqueueNextMergeRollup(provingState, currentLocation) {
-                if (!provingState.isReadyForMergeRollup(currentLocation)) {
-                    return;
-                }
-                const parentLocation = provingState.getParentLocation(currentLocation);
-                if (parentLocation.level === 0) {
-                    await this.checkAndEnqueueBlockRootRollup(provingState);
-                }
-                else {
-                    this.enqueueMergeRollup(provingState, parentLocation);
-                }
-            }
-            async checkAndEnqueueBlockRootRollup(provingState) {
-                if (!provingState.isReadyForBlockRootRollup()) {
-                    logger.debug('Not ready for root rollup');
-                    return;
-                }
-                if (provingState.blockRootRollupStarted) {
-                    logger.debug('Block root rollup already started');
-                    return;
-                }
-                const blockNumber = provingState.blockNumber;
-                // TODO(palla/prover): This closes the fork only on the happy path. If this epoch orchestrator
-                // is aborted and never reaches this point, it will leak the fork. We need to add a global cleanup,
-                // but have to make sure it only runs once all operations are completed, otherwise some function here
-                // will attempt to access the fork after it was closed.
-                logger.debug(`Cleaning up world state fork for ${blockNumber}`);
-                void this.dbs
-                    .get(blockNumber)
-                    ?.close()
-                    .then(() => this.dbs.delete(blockNumber))
-                    .catch(err => logger.error(`Error closing db for block ${blockNumber}`, err));
-                await this.enqueueBlockRootRollup(provingState);
-            }
-            checkAndEnqueueNextBlockMergeRollup(provingState, currentLocation) {
-                if (!provingState.isReadyForBlockMerge(currentLocation)) {
-                    return;
-                }
-                const parentLocation = provingState.getParentLocation(currentLocation);
-                if (parentLocation.level === 0) {
-                    this.checkAndEnqueueRootRollup(provingState);
-                }
-                else {
-                    this.enqueueBlockMergeRollup(provingState, parentLocation);
-                }
-            }
-            checkAndEnqueueRootRollup(provingState) {
-                if (!provingState.isReadyForRootRollup()) {
-                    logger.debug('Not ready for root rollup');
-                    return;
-                }
-                this.enqueueRootRollup(provingState);
-            }
-            /**
-             * 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
-             */
-            enqueueVM(provingState, txIndex) {
-                if (!provingState.verifyState()) {
-                    logger.debug(`Not running VM circuit as state is no longer valid`);
-                    return;
-                }
-                const txProvingState = provingState.getTxProvingState(txIndex);
-                // This function tries to do AVM proving. If there is a failure, it fakes the proof unless AVM_PROVING_STRICT is defined.
-                // Nothing downstream depends on the AVM proof yet. So having this mode lets us incrementally build the AVM circuit.
-                const doAvmProving = wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getAvmProof', {
-                    [Attributes.TX_HASH]: txProvingState.processedTx.hash.toString(),
-                }, async (signal) => {
-                    const inputs = txProvingState.getAvmInputs();
-                    try {
-                        return await this.prover.getAvmProof(inputs, signal, provingState.epochNumber);
-                    }
-                    catch (err) {
-                        if (process.env.AVM_PROVING_STRICT) {
-                            logger.error(`Error thrown when proving AVM circuit with AVM_PROVING_STRICT on`, err);
-                            throw err;
-                        }
-                        else {
-                            logger.warn(`Error thrown when proving AVM circuit but AVM_PROVING_STRICT is off. Faking AVM proof and carrying on. ${inspect(err)}.`);
-                            return {
-                                proof: makeEmptyRecursiveProof(AVM_PROOF_LENGTH_IN_FIELDS),
-                                verificationKey: VerificationKeyData.makeFake(AVM_VERIFICATION_KEY_LENGTH_IN_FIELDS),
-                            };
-                        }
-                    }
-                });
-                this.deferredProving(provingState, doAvmProving, proofAndVk => {
-                    logger.debug(`Proven VM for tx index: ${txIndex}`);
-                    txProvingState.setAvmProof(proofAndVk);
-                    this.checkAndEnqueueNextTxCircuit(provingState, txIndex);
-                });
-            }
-            checkAndEnqueueNextTxCircuit(provingState, txIndex) {
-                const txProvingState = provingState.getTxProvingState(txIndex);
-                if (!txProvingState.ready()) {
-                    return;
-                }
-                // We must have completed all proving (tube proof and (if required) vm proof are generated), we now move to the base rollup.
-                logger.debug(`Public functions completed for tx ${txIndex} enqueueing base rollup`);
-                this.enqueueBaseRollup(provingState, txIndex);
-            }
-        },
-        (() => {
-            const _metadata = typeof Symbol === "function" && Symbol.metadata ? Object.create(null) : void 0;
-            _startNewBlock_decorators = [trackSpan('ProvingOrchestrator.startNewBlock', globalVariables => ({
-                    [Attributes.BLOCK_NUMBER]: globalVariables.blockNumber.toNumber(),
-                }))];
-            _addTxs_decorators = [trackSpan('ProvingOrchestrator.addTxs', txs => ({
-                    [Attributes.BLOCK_TXS_COUNT]: txs.length,
-                }))];
-            _startTubeCircuits_decorators = [trackSpan('ProvingOrchestrator.startTubeCircuits')];
-            _setBlockCompleted_decorators = [trackSpan('ProvingOrchestrator.setBlockCompleted', (blockNumber) => ({
-                    [Attributes.BLOCK_NUMBER]: blockNumber,
-                }))];
-            _prepareBaseRollupInputs_decorators = [trackSpan('ProvingOrchestrator.prepareBaseRollupInputs', (_, tx) => ({
-                    [Attributes.TX_HASH]: tx.hash.toString(),
-                }))];
-            __esDecorate(_a, null, _startNewBlock_decorators, { kind: "method", name: "startNewBlock", static: false, private: false, access: { has: obj => "startNewBlock" in obj, get: obj => obj.startNewBlock }, metadata: _metadata }, null, _instanceExtraInitializers);
-            __esDecorate(_a, null, _addTxs_decorators, { kind: "method", name: "addTxs", static: false, private: false, access: { has: obj => "addTxs" in obj, get: obj => obj.addTxs }, metadata: _metadata }, null, _instanceExtraInitializers);
-            __esDecorate(_a, null, _startTubeCircuits_decorators, { kind: "method", name: "startTubeCircuits", static: false, private: false, access: { has: obj => "startTubeCircuits" in obj, get: obj => obj.startTubeCircuits }, metadata: _metadata }, null, _instanceExtraInitializers);
-            __esDecorate(_a, null, _setBlockCompleted_decorators, { kind: "method", name: "setBlockCompleted", static: false, private: false, access: { has: obj => "setBlockCompleted" in obj, get: obj => obj.setBlockCompleted }, metadata: _metadata }, null, _instanceExtraInitializers);
-            __esDecorate(_a, null, _prepareBaseRollupInputs_decorators, { kind: "method", name: "prepareBaseRollupInputs", static: false, private: false, access: { has: obj => "prepareBaseRollupInputs" in obj, get: obj => obj.prepareBaseRollupInputs }, metadata: _metadata }, null, _instanceExtraInitializers);
-            if (_metadata) Object.defineProperty(_a, Symbol.metadata, { enumerable: true, configurable: true, writable: true, value: _metadata });
-        })(),
-        _a;
-})();
-export { ProvingOrchestrator };
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3JjaGVzdHJhdG9yLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL29yY2hlc3RyYXRvci9vcmNoZXN0cmF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IjtBQUFBLE9BQU8sRUFDTCxPQUFPLEVBQ1AsWUFBWSxFQUlaLGVBQWUsR0FDaEIsTUFBTSxzQkFBc0IsQ0FBQztBQVE5QixPQUFPLEVBQ0wsMEJBQTBCLEVBQzFCLHFDQUFxQyxFQUVyQyxnQkFBZ0IsRUFFaEIsRUFBRSxFQUVGLDJCQUEyQixFQUMzQix3Q0FBd0MsRUFDeEMsbUNBQW1DLEVBQ25DLCtCQUErQixFQUUvQixtQkFBbUIsRUFDbkIsdUJBQXVCLEdBQ3hCLE1BQU0sb0JBQW9CLENBQUM7QUFDNUIsT0FBTyxFQUVMLDBCQUEwQixFQUMxQix1QkFBdUIsRUFDdkIsNkJBQTZCLEVBQzdCLFVBQVUsR0FDWCxNQUFNLDJCQUEyQixDQUFDO0FBQ25DLE9BQU8sRUFBRSxXQUFXLEVBQUUsS0FBSyxFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFDbEUsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ3JELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNyRCxPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNqRSxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDM0QsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUVsRCxPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0seUNBQXlDLENBQUM7QUFDeEUsT0FBTyxFQUNMLFVBQVUsRUFHVixrQkFBa0IsRUFDbEIsU0FBUyxFQUNULGtCQUFrQixHQUNuQixNQUFNLHlCQUF5QixDQUFDO0FBRWpDLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxNQUFNLENBQUM7QUFFL0IsT0FBTyxFQUNMLG9CQUFvQixFQUNwQix5QkFBeUIsRUFDekIsc0JBQXNCLEVBQ3RCLHFCQUFxQixFQUNyQixlQUFlLEVBQ2Ysb0JBQW9CLEVBQ3BCLFVBQVUsR0FDWCxNQUFNLDZCQUE2QixDQUFDO0FBRXJDLE9BQU8sRUFBRSxpQkFBaUIsRUFBMEMsTUFBTSwwQkFBMEIsQ0FBQztBQUNyRyxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUN2RSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFdkQsTUFBTSxNQUFNLEdBQUcsWUFBWSxDQUFDLDRCQUE0QixDQUFDLENBQUM7QUFFMUQ7Ozs7Ozs7OztHQVNHO0FBRUg7O0dBRUc7SUFDVSxtQkFBbUI7Ozs7Ozs7O3NCQUFuQixtQkFBbUI7WUFROUIsWUFDVSxVQUFvQyxFQUNwQyxNQUEyQixFQUNsQixXQUFlLEVBQUUsQ0FBQyxJQUFJLEVBQ3ZDLGtCQUFtQyxrQkFBa0IsRUFBRTtnQkFIL0MsZUFBVSxJQVRULG1EQUFtQixFQVNwQixVQUFVLEVBQTBCO2dCQUNwQyxXQUFNLEdBQU4sTUFBTSxDQUFxQjtnQkFDbEIsYUFBUSxHQUFSLFFBQVEsQ0FBYztnQkFWakMsaUJBQVksR0FBa0MsU0FBUyxDQUFDO2dCQUN4RCx1QkFBa0IsR0FBc0IsRUFBRSxDQUFDO2dCQUUzQyxtQkFBYyxHQUF1QyxTQUFTLENBQUM7Z0JBRS9ELFFBQUcsR0FBMkMsSUFBSSxHQUFHLEVBQUUsQ0FBQztnQkFROUQsSUFBSSxDQUFDLE9BQU8sR0FBRyxJQUFJLDBCQUEwQixDQUFDLGVBQWUsRUFBRSxxQkFBcUIsQ0FBQyxDQUFDO1lBQ3hGLENBQUM7WUFFRCxJQUFJLE1BQU07Z0JBQ1IsT0FBTyxJQUFJLENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQztZQUM3QixDQUFDO1lBRU0sV0FBVztnQkFDaEIsT0FBTyxJQUFJLENBQUMsUUFBUSxDQUFDO1lBQ3ZCLENBQUM7WUFFTSxJQUFJO2dCQUNULElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQztnQkFDZCxPQUFPLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQztZQUMzQixDQUFDO1lBRU0sYUFBYSxDQUFDLFdBQW1CLEVBQUUsZ0JBQXdCLEVBQUUsY0FBc0I7Z0JBQ3hGLE1BQU0sRUFBRSxPQUFPLEVBQUUsUUFBUSxFQUFFLE9BQU8sRUFBRSxNQUFNLEVBQUUsR0FBRyxvQkFBb0IsRUFBaUIsQ0FBQztnQkFDckYsTUFBTSxPQUFPLEdBQUcsUUFBUSxDQUFDLEtBQUssQ0FBQyxDQUFDLE1BQU0sRUFBaUIsRUFBRSxDQUFDLENBQUMsRUFBRSxNQUFNLEVBQUUsU0FBUyxFQUFFLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FBQztnQkFDM0YsSUFBSSxjQUFjLElBQUksQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxjQUFjLENBQUMsRUFBRSxDQUFDO29CQUM3RCxNQUFNLElBQUksS0FBSyxDQUFDLDJDQUEyQyxjQUFjLEdBQUcsQ0FBQyxDQUFDO2dCQUNoRixDQUFDO2dCQUNELE1BQU0sQ0FBQyxJQUFJLENBQUMsa0JBQWtCLFdBQVcsU0FBUyxjQUFjLFNBQVMsQ0FBQyxDQUFDO2dCQUMzRSxJQUFJLENBQUMsWUFBWSxHQUFHLElBQUksaUJBQWlCLENBQUMsV0FBVyxFQUFFLGdCQUFnQixFQUFFLGNBQWMsRUFBRSxPQUFPLEVBQUUsTUFBTSxDQUFDLENBQUM7Z0JBQzFHLElBQUksQ0FBQyxjQUFjLEdBQUcsT0FBTyxDQUFDO1lBQ2hDLENBQUM7WUFFRDs7Ozs7ZUFLRztZQUlJLEtBQUssQ0FBQyxhQUFhLENBQUMsZUFBZ0MsRUFBRSxjQUFvQixFQUFFLG1CQUFnQztnQkFDakgsSUFBSSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQztvQkFDdkIsTUFBTSxJQUFJLEtBQUssQ0FBQyxtRUFBbUUsQ0FBQyxDQUFDO2dCQUN2RixDQUFDO2dCQUVELElBQUksQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLGlCQUFpQixFQUFFLEVBQUUsQ0FBQztvQkFDNUMsTUFBTSxJQUFJLEtBQUssQ0FBQyxvQ0FBb0MsQ0FBQyxDQUFDO2dCQUN4RCxDQUFDO2dCQUVELE1BQU0sQ0FBQyxJQUFJLENBQ1Qsa0JBQWtCLGVBQWUsQ0FBQyxXQUFXLENBQUMsUUFBUSxFQUFFLGFBQWEsZUFBZSxDQUFDLFVBQVUsQ0FBQyxRQUFRLEVBQUUsRUFBRSxDQUM3RyxDQUFDO2dCQUVGLGdFQUFnRTtnQkFDaEUsTUFBTSxFQUFFLEdBQUcsTUFBTSxJQUFJLENBQUMsVUFBVSxDQUFDLElBQUksQ0FBQyxlQUFlLENBQUMsV0FBVyxDQUFDLFFBQVEsRUFBRSxHQUFHLENBQUMsQ0FBQyxDQUFDO2dCQUNsRixJQUFJLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxlQUFlLENBQUMsV0FBVyxDQUFDLFFBQVEsRUFBRSxFQUFFLEVBQUUsQ0FBQyxDQUFDO2dCQUV6RCxtRUFBbUU7Z0JBQ25FLE1BQU0sRUFBRSwrQkFBK0IsRUFBRSx1Q0FBdUMsRUFBRSxnQkFBZ0IsRUFBRSxHQUNsRyxNQUFNLElBQUksQ0FBQyx1QkFBdUIsQ0FBQyxjQUFjLEVBQUUsRUFBRSxDQUFDLENBQUM7Z0JBRXpELCtDQUErQztnQkFDL0MsTUFBTSxXQUFXLEdBQUcsTUFBTSxlQUFlLENBQUMsWUFBWSxDQUFDLE9BQU8sRUFBRSxFQUFFLENBQUMsQ0FBQztnQkFDcEUsTUFBTSxxQkFBcUIsR0FBRyxNQUFNLHNCQUFzQixDQUFDLFlBQVksQ0FBQyxPQUFPLEVBQUUsRUFBRSxDQUFDLENBQUM7Z0JBRXJGLE1BQU0saUJBQWlCLEdBQUcsSUFBSSxDQUFDLFlBQWEsQ0FBQyxhQUFhLENBQ3hELGVBQWUsRUFDZixjQUFjLEVBQ2QsK0JBQStCLEVBQy9CLHVDQUF1QyxFQUN2QyxXQUFXLEVBQ1gscUJBQXFCLEVBQ3JCLG1CQUFtQixDQUNwQixDQUFDO2dCQUVGLDZDQUE2QztnQkFDN0MsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDO29CQUNqRCxJQUFJLENBQUMsd0JBQXdCLENBQUMsaUJBQWlCLEVBQUUsZ0JBQWdCLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUM7Z0JBQzNFLENBQUM7WUFDSCxDQUFDO1lBRUQ7OztlQUdHO1lBSUksS0FBSyxDQUFDLE1BQU0sQ0FBQyxHQUFrQjtnQkFDcEMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxNQUFNLEVBQUUsQ0FBQztvQkFDaEIsaUdBQWlHO29CQUNqRyx5R0FBeUc7b0JBQ3pHLE1BQU0sQ0FBQyxJQUFJLENBQUMseUNBQXlDLENBQUMsQ0FBQztvQkFDdkQsT0FBTztnQkFDVCxDQUFDO2dCQUNELE1BQU0sV0FBVyxHQUFHLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxTQUFTLENBQUMsZUFBZSxDQUFDLFdBQVcsQ0FBQyxRQUFRLEVBQUUsQ0FBQztnQkFDNUUsTUFBTSxZQUFZLEdBQUcsSUFBSSxDQUFDLFlBQVksRUFBRSxpQ0FBaUMsQ0FBQyxXQUFZLENBQUMsQ0FBQztnQkFDeEYsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDO29CQUNsQixNQUFNLElBQUksS0FBSyxDQUFDLDJCQUEyQixXQUFXLFlBQVksQ0FBQyxDQUFDO2dCQUN0RSxDQUFDO2dCQUVELElBQUksWUFBWSxDQUFDLFdBQVcsRUFBRSxDQUFDO29CQUM3QixNQUFNLElBQUksS0FBSyxDQUFDLFNBQVMsV0FBVywwQ0FBMEMsQ0FBQyxDQUFDO2dCQUNsRixDQUFDO2dCQUVELE1BQU0sYUFBYSxHQUFHLGVBQWUsQ0FBQyxHQUFHLENBQUMsQ0FBQztnQkFDM0MsWUFBWSxDQUFDLGFBQWEsQ0FBQyxHQUFHLENBQUMsTUFBTSxFQUFFLGFBQWEsQ0FBQyxDQUFDO2dCQUV0RCxNQUFNLENBQUMsSUFBSSxDQUNULFVBQVUsR0FBRyxDQUFDLE1BQU0sc0JBQXNCLGFBQWEseUJBQXlCLFlBQVksQ0FBQyxXQUFXLEVBQUUsQ0FDM0csQ0FBQztnQkFDRixLQUFLLE1BQU0sRUFBRSxJQUFJLEdBQUcsRUFBRSxDQUFDO29CQUNyQixJQUFJLENBQUM7d0JBQ0gsSUFBSSxDQUFDLFlBQVksQ0FBQyxXQUFXLEVBQUUsRUFBRSxDQUFDOzRCQUNoQyxNQUFNLElBQUksS0FBSyxDQUFDLHdDQUF3QyxDQUFDLENBQUM7d0JBQzVELENBQUM7d0JBRUQsVUFBVSxDQUFDLEVBQUUsQ0FBQyxDQUFDO3dCQUVmLE1BQU0sQ0FBQyxJQUFJLENBQUMseUJBQXlCLEVBQUUsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDO3dCQUVoRCxNQUFNLENBQUMsS0FBSyxFQUFFLGFBQWEsQ0FBQyxHQUFHLE1BQU0sSUFBSSxDQUFDLGtCQUFrQixDQUFDLEVBQUUsRUFBRSxZQUFZLENBQUMsQ0FBQzt3QkFDL0UsTUFBTSxjQUFjLEdBQUcsSUFBSSxjQUFjLENBQUMsRUFBRSxFQUFFLEtBQUssRUFBRSxhQUFhLENBQUMsQ0FBQzt3QkFDcEUsTUFBTSxPQUFPLEdBQUcsWUFBWSxDQUFDLFFBQVEsQ0FBQyxjQUFjLENBQUMsQ0FBQzt3QkFDdEQsSUFBSSxDQUFDLGdCQUFnQixDQUFDLFlBQVksRUFBRSxPQUFPLENBQUMsQ0FBQzt3QkFDN0MsSUFBSSxjQUFjLENBQUMsZUFBZSxFQUFFLENBQUM7NEJBQ25DLE1BQU0sQ0FBQyxLQUFLLENBQUMsK0JBQStCLE9BQU8sRUFBRSxDQUFDLENBQUM7NEJBQ3ZELElBQUksQ0FBQyxTQUFTLENBQUMsWUFBWSxFQUFFLE9BQU8sQ0FBQyxDQUFDO3dCQUN4QyxDQUFDO29CQUNILENBQUM7b0JBQUMsT0FBTyxHQUFRLEVBQUUsQ0FBQzt3QkFDbEIsTUFBTSxJQUFJLEtBQUssQ0FBQyw0QkFBNEIsRUFBRSxDQUFDLElBQUksQ0FBQyxRQUFRLEVBQUUsYUFBYSxXQUFXLEtBQUssR0FBRyxDQUFDLE9BQU8sRUFBRSxFQUFFOzRCQUN4RyxLQUFLLEVBQUUsR0FBRzt5QkFDWCxDQUFDLENBQUM7b0JBQ0wsQ0FBQztnQkFDSCxDQUFDO1lBQ0gsQ0FBQztZQUVEOzs7ZUFHRztZQUVJLEtBQUssQ0FBQyxpQkFBaUIsQ0FBQyxHQUFTO2dCQUN0QyxJQUFJLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxXQUFXLEVBQUUsRUFBRSxDQUFDO29CQUN0QyxNQUFNLElBQUksS0FBSyxDQUFDLHlFQUF5RSxDQUFDLENBQUM7Z0JBQzdGLENBQUM7Z0JBQ0QsS0FBSyxNQUFNLEVBQUUsSUFBSSxHQUFHLEVBQUUsQ0FBQztvQkFDckIsTUFBTSxNQUFNLEdBQUcsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxTQUFTLEVBQUUsQ0FBQyxDQUFDLFFBQVEsRUFBRSxDQUFDO29CQUNqRCxNQUFNLFVBQVUsR0FBRyxJQUFJLFVBQVUsQ0FBQyxFQUFFLENBQUMsY0FBYyxDQUFDLENBQUM7b0JBQ3JELE1BQU0sU0FBUyxHQUFHLG9CQUFvQixFQUFxRCxDQUFDO29CQUM1RixNQUFNLENBQUMsS0FBSyxDQUFDLGdDQUFnQyxNQUFNLEVBQUUsQ0FBQyxDQUFDO29CQUN2RCxJQUFJLENBQUMsYUFBYSxDQUFDLE1BQU0sRUFBRSxVQUFVLEVBQUUsS0FBSyxDQUFDLEVBQUUsQ0FBQyxTQUFTLENBQUMsT0FBTyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUM7b0JBQzFFLElBQUksQ0FBQyxZQUFZLEVBQUUsZ0JBQWdCLENBQUMsR0FBRyxDQUFDLE1BQU0sRUFBRSxTQUFTLENBQUMsT0FBTyxDQUFDLENBQUM7Z0JBQ3JFLENBQUM7WUFDSCxDQUFDO1lBRUQ7OztlQUdHO1lBSUksS0FBSyxDQUFDLGlCQUFpQixDQUFDLFdBQW1CLEVBQUUsY0FBNEI7Z0JBQzlFLE1BQU0sWUFBWSxHQUFHLElBQUksQ0FBQyxZQUFZLEVBQUUsaUNBQWlDLENBQUMsV0FBVyxDQUFDLENBQUM7Z0JBQ3ZGLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQztvQkFDbEIsTUFBTSxJQUFJLEtBQUssQ0FBQywyQkFBMkIsV0FBVyxZQUFZLENBQUMsQ0FBQztnQkFDdEUsQ0FBQztnQkFFRCxJQUFJLENBQUMsWUFBWSxDQUFDLGVBQWUsRUFBRSxDQUFDO29CQUNsQyxvRUFBb0U7b0JBQ3BFLHlDQUF5QztvQkFDekMsWUFBWSxDQUFDLGFBQWEsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUM7Z0JBQ25DLENBQUM7Z0JBRUQsSUFBSSxDQUFDLFlBQVksQ0FBQyxXQUFXLEVBQUUsRUFBRSxDQUFDO29CQUNoQyxNQUFNLElBQUksS0FBSyxDQUFDLHlCQUF5QixZQUFZLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQztnQkFDakUsQ0FBQztnQkFFRCw2QkFBNkI7Z0JBQzdCLE1BQU0sQ0FBQyxPQUFPLENBQUMsU0FBUyxXQUFXLGdDQUFnQyxDQUFDLENBQUM7Z0JBQ3JFLE1BQU0sSUFBSSxDQUFDLFVBQVUsQ0FBQyxZQUFZLEVBQUUsY0FBYyxDQUFDLENBQUM7Z0JBRXBELDBHQUEwRztnQkFDMUcsTUFBTSxJQUFJLENBQUMsOEJBQThCLENBQUMsWUFBWSxDQUFDLENBQUM7Z0JBQ3hELE9BQU8sWUFBWSxDQUFDLEtBQU0sQ0FBQztZQUM3QixDQUFDO1lBRUQsb0RBQW9EO1lBQzdDLFFBQVEsQ0FBQyxLQUFhO2dCQUMzQixNQUFNLEtBQUssR0FBRyxJQUFJLENBQUMsWUFBWSxFQUFFLE1BQU0sQ0FBQyxLQUFLLENBQUMsRUFBRSxLQUFLLENBQUM7Z0JBQ3RELElBQUksQ0FBQyxLQUFLLEVBQUUsQ0FBQztvQkFDWCxNQUFNLElBQUksS0FBSyxDQUFDLGtCQUFrQixLQUFLLGdCQUFnQixDQUFDLENBQUM7Z0JBQzNELENBQUM7Z0JBQ0QsT0FBTyxLQUFLLENBQUM7WUFDZixDQUFDO1lBRU8sS0FBSyxDQUFDLFVBQVUsQ0FBQyxZQUErQixFQUFFLGNBQTRCO2dCQUNwRixrR0FBa0c7Z0JBQ2xHLE1BQU0sR0FBRyxHQUFHLFlBQVksQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxDQUFDO2dCQUV4RCx3QkFBd0I7Z0JBQ3hCLE1BQU0sRUFBRSxHQUFHLElBQUksQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLFlBQVksQ0FBQyxXQUFXLENBQUUsQ0FBQztnQkFFbkQsa0ZBQWtGO2dCQUNsRixpRkFBaUY7Z0JBQ2pGLE1BQU0sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLEdBQUcsTUFBTSx5QkFBeUIsQ0FDdEQsR0FBRyxFQUNILFlBQVksQ0FBQyxlQUFlLEVBQzVCLFlBQVksQ0FBQyxpQkFBaUIsRUFDOUIsRUFBRSxDQUNILENBQUM7Z0JBRUYsSUFBSSxjQUFjLElBQUksQ0FBQyxNQUFNLENBQUMsTUFBTSxDQUFDLGNBQWMsQ0FBQyxFQUFFLENBQUM7b0JBQ3JELE1BQU0sQ0FBQyxLQUFLLENBQUMsaUNBQWlDLE1BQU0sbUJBQW1CLGNBQWMsRUFBRSxDQUFDLENBQUM7b0JBQ3pGLE1BQU0sSUFBSSxLQUFLLENBQUMsdUJBQXVCLENBQUMsQ0FBQztnQkFDM0MsQ0FBQztnQkFFRCxNQUFNLENBQUMsT0FBTyxDQUNaLG9DQUFvQyxZQUFZLENBQUMsV0FBVyxXQUFXLENBQUMsTUFBTSxNQUFNLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQyxRQUFRLEVBQUUsRUFBRSxDQUMxRyxDQUFDO2dCQUNGLE1BQU0sRUFBRSxDQUFDLGFBQWEsQ0FBQyxNQUFNLENBQUMsQ0FBQztnQkFFL0Isd0JBQXdCO2dCQUN4QixNQUFNLFVBQVUsR0FBRyxNQUFNLGVBQWUsQ0FBQyxZQUFZLENBQUMsT0FBTyxFQUFFLEVBQUUsQ0FBQyxDQUFDO2dCQUNuRSxNQUFNLE9BQU8sR0FBRyxJQUFJLE9BQU8sQ0FBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLElBQUksQ0FBQyxDQUFDO2dCQUV0RCxNQUFNLElBQUksQ0FBQyxrQ0FBa0MsQ0FBQyxPQUFPLEVBQUUsVUFBVSxDQUFDLENBQUM7Z0JBRW5FLE1BQU0sQ0FBQyxPQUFPLENBQUMsZ0NBQWdDLE9BQU8sQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDO2dCQUNqRSxZQUFZLENBQUMsS0FBSyxHQUFHLE9BQU8sQ0FBQztZQUMvQixDQUFDO1lBRUQsd0RBQXdEO1lBQzlDLEtBQUssQ0FBQyxrQ0FBa0MsQ0FBQyxPQUFnQixFQUFFLFVBQWtDO2dCQUNyRyxNQUFNLGFBQWEsR0FBRyxNQUFNLGVBQWUsQ0FBQyxZQUFZLENBQUMsT0FBTyxFQUFFLElBQUksQ0FBQyxVQUFVLENBQUMsV0FBVyxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDO2dCQUMvRyxJQUFJLENBQUMsYUFBYSxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsRUFBRSxDQUFDO29CQUN0QyxNQUFNLElBQUksS0FBSyxDQUNiLG1DQUFtQyxPQUFPLENBQUMsTUFBTSwyQkFBMkIsT0FBTyxDQUNqRixhQUFhLENBQ2QsY0FBYyxPQUFPLENBQUMsVUFBVSxDQUFDLEVBQUUsQ0FDckMsQ0FBQztnQkFDSixDQUFDO1lBQ0gsQ0FBQztZQUVEOztlQUVHO1lBQ0ksTUFBTTtnQkFDWCxLQUFLLE1BQU0sVUFBVSxJQUFJLElBQUksQ0FBQyxrQkFBa0IsRUFBRSxDQUFDO29CQUNqRCxVQUFVLENBQUMsS0FBSyxFQUFFLENBQUM7Z0JBQ3JCLENBQUM7Z0JBRUQsSUFBSSxDQUFDLFlBQVksRUFBRSxNQUFNLEVBQUUsQ0FBQztZQUM5QixDQUFDO1lBRUQ7O2VBRUc7WUFDSSxLQUFLLENBQUMsYUFBYTtnQkFDeEIsSUFBSSxDQUFDLElBQUksQ0FBQyxZQUFZLElBQUksQ0FBQyxJQUFJLENBQUMsY0FBYyxFQUFFLENBQUM7b0JBQy9DLE1BQU0sSUFBSSxLQUFLLENBQUMsMkVBQTJFLENBQUMsQ0FBQztnQkFDL0YsQ0FBQztnQkFFRCxNQUFNLE1BQU0sR0FBRyxNQUFNLElBQUksQ0FBQyxjQUFlLENBQUM7Z0JBQzFDLElBQUksTUFBTSxDQUFDLE1BQU0sS0FBSyxTQUFTLEVBQUUsQ0FBQztvQkFDaEMsTUFBTSxJQUFJLEtBQUssQ0FBQyx5QkFBeUIsTUFBTSxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUM7Z0JBQzVELENBQUM7Z0JBRUQsTUFBTSxnQkFBZ0IsR0FBRyxJQUFJLENBQUMsWUFBWSxDQUFDLG1CQUFtQixFQUFFLENBQUM7Z0JBRWpFLFlBQVksQ0FBQyxrQkFBa0IsRUFBRTtvQkFDL0IsS0FBSyxFQUFFLGdCQUFnQixDQUFDLEtBQUssQ0FBQyxRQUFRLEVBQUU7b0JBQ3hDLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQyxZQUFZLENBQUMsUUFBUSxFQUFFO2lCQUN2RCxDQUFDLENBQUM7Z0JBRUgsT0FBTyxnQkFBZ0IsQ0FBQztZQUMxQixDQUFDO1lBRUQ7Ozs7ZUFJRztZQUNLLEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxFQUFlLEVBQUUsWUFBK0I7Z0JBQy9FLE1BQU0sUUFBUSxHQUFHLE1BQU0sSUFBSSxDQUFDLHVCQUF1QixDQUFDLFlBQVksRUFBRSxFQUFFLENBQUMsQ0FBQztnQkFDdEUsSUFBSSxDQUFDLFFBQVEsRUFBRSxDQUFDO29CQUNkLDhCQUE4QjtvQkFDOUIsTUFBTSxJQUFJLEtBQUssQ0FBQyx5REFBeUQsQ0FBQyxDQUFDO2dCQUM3RSxDQUFDO2dCQUNELE9BQU8sUUFBUSxDQUFDO1lBQ2xCLENBQUM7WUFFRDs7Ozs7ZUFLRztZQUNLLGVBQWUsQ0FDckIsWUFBK0QsRUFDL0QsT0FBNEMsRUFDNUMsUUFBNkM7Z0JBRTdDLElBQUksQ0FBQyxZQUFZLEVBQUUsV0FBVyxFQUFFLEVBQUUsQ0FBQztvQkFDakMsTUFBTSxDQUFDLEtBQUssQ0FBQywwQ0FBMEMsQ0FBQyxDQUFDO29CQUN6RCxPQUFPO2dCQUNULENBQUM7Z0JBRUQsTUFBTSxVQUFVLEdBQUcsSUFBSSxlQUFlLEVBQUUsQ0FBQztnQkFDekMsSUFBSSxDQUFDLGtCQUFrQixDQUFDLElBQUksQ0FBQyxVQUFVLENBQUMsQ0FBQztnQkFFekMsOEdBQThHO2dCQUM5Ryw4RUFBOEU7Z0JBQzlFLE1BQU0sT0FBTyxHQUFHLEtBQUssSUFBSSxFQUFFO29CQUN6QixJQUFJLENBQUM7d0JBQ0gsc0VBQXNFO3dCQUN0RSxJQUFJLFVBQVUsQ0FBQyxNQUFNLENBQUMsT0FBTyxFQUFFLENBQUM7NEJBQzlCLE9BQU87d0JBQ1QsQ0FBQzt3QkFFRCxNQUFNLE1BQU0sR0FBRyxNQUFNLE9BQU8sQ0FBQyxVQUFVLENBQUMsTUFBTSxDQUFDLENBQUM7d0JBQ2hELElBQUksQ0FBQyxZQUFZLEVBQUUsV0FBVyxFQUFFLEVBQUUsQ0FBQzs0QkFDakMsTUFBTSxDQUFDLEtBQUssQ0FBQywwQ0FBMEMsQ0FBQyxDQUFDOzRCQUN6RCxPQUFPO3dCQUNULENBQUM7d0JBRUQsNkRBQTZEO3dCQUM3RCxrRUFBa0U7d0JBQ2xFLElBQUksVUFBVSxDQUFDLE1BQU0sQ0FBQyxPQUFPLEVBQUUsQ0FBQzs0QkFDOUIsT0FBTzt3QkFDVCxDQUFDO3dCQUVELE1BQU0sUUFBUSxDQUFDLE1BQU0sQ0FBQyxDQUFDO29CQUN6QixDQUFDO29CQUFDLE9BQU8sR0FBRyxFQUFFLENBQUM7d0JBQ2IsSUFBSSxHQUFHLFlBQVksVUFBVSxFQUFFLENBQUM7NEJBQzlCLG9FQUFvRTs0QkFDcEUsbUJBQW1COzRCQUNuQixPQUFPO3dCQUNULENBQUM7d0JBRUQsTUFBTSxDQUFDLEtBQUssQ0FBQywrQkFBK0IsRUFBRSxHQUFHLENBQUMsQ0FBQzt3QkFDbkQsWUFBYSxDQUFDLE1BQU0sQ0FBQyxHQUFHLEdBQUcsRUFBRSxDQUFDLENBQUM7b0JBQ2pDLENBQUM7NEJBQVMsQ0FBQzt3QkFDVCxNQUFNLEtBQUssR0FBRyxJQUFJLENBQUMsa0JBQWtCLENBQUMsT0FBTyxDQUFDLFVBQVUsQ0FBQyxDQUFDO3dCQUMxRCxJQUFJLEtBQUssR0FBRyxDQUFDLENBQUMsRUFBRSxDQUFDOzRCQUNmLElBQUksQ0FBQyxrQkFBa0IsQ0FBQyxNQUFNLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQyxDQUFDO3dCQUMzQyxDQUFDO29CQUNILENBQUM7Z0JBQ0gsQ0FBQyxDQUFDO2dCQUVGLDhEQUE4RDtnQkFDOUQsWUFBWSxDQUFDLEdBQUcsRUFBRSxDQUFDLEtBQUssT0FBTyxFQUFFLENBQUMsQ0FBQztZQUNyQyxDQUFDO1lBRU8sS0FBSyxDQUFDLHVCQUF1QixDQUFDLGNBQW9CLEVBQUUsRUFBNkI7Z0JBQ3ZGLE1BQU0sb0JBQW9CLEdBQUcsV0FBVyxDQUN0QyxjQUFjLEVBQ2QsRUFBRSxDQUFDLElBQUksRUFDUCxtQ0FBbUMsRUFDbkMsNEJBQTRCLENBQzdCLENBQUM7Z0JBQ0YsTUFBTSxnQkFBZ0IsR0FBRyxLQUFLLENBQUMsK0JBQStCLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FDbEUsZ0JBQWdCLENBQUMsU0FBUyxDQUFDLG9CQUFvQixFQUFFLENBQUMsRUFBRSxhQUFhLEVBQUUsQ0FBQyxDQUNyRSxDQUFDO2dCQUVGLE1BQU0sK0JBQStCLEdBQUcsWUFBWSxDQUNsRCxNQUFNLHFCQUFxQixDQUFDLFlBQVksQ0FBQyxxQkFBcUIsRUFBRSwyQkFBMkIsRUFBRSxFQUFFLENBQUMsRUFDaEcsd0NBQXdDLENBQ3pDLENBQUM7Z0JBRUYsOERBQThEO2dCQUM5RCxNQUFNLEVBQUUsQ0FBQyxZQUFZLENBQUMsWUFBWSxDQUFDLHFCQUFxQixFQUFFLG9CQUFvQixDQUFDLENBQUM7Z0JBQ2hGLE1BQU0sdUNBQXVDLEdBQUcsTUFBTSxlQUFlLENBQUMsWUFBWSxDQUFDLHFCQUFxQixFQUFFLEVBQUUsQ0FBQyxDQUFDO2dCQUU5RyxPQUFPO29CQUNMLCtCQUErQjtvQkFDL0IsdUNBQXVDO29CQUN2QyxnQkFBZ0I7aUJBQ2pCLENBQUM7WUFDSixDQUFDO1lBRUQsdUZBQXVGO1lBSS9FLEtBQUssQ0FBQyx1QkFBdUIsQ0FDbkMsWUFBK0IsRUFDL0IsRUFBZTtnQkFFZixJQUFJLENBQUMsWUFBWSxDQUFDLFdBQVcsRUFBRSxJQUFJLENBQUMsWUFBWSxDQUFDLGVBQWUsRUFBRSxDQUFDO29CQUNqRSxNQUFNLENBQUMsS0FBSyxDQUFDLGlEQUFpRCxDQUFDLENBQUM7b0JBQ2hFLE9BQU87Z0JBQ1QsQ0FBQztnQkFFRCxNQUFNLEVBQUUsR0FBRyxJQUFJLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxZQUFZLENBQUMsV0FBVyxDQUFFLENBQUM7Z0JBRW5ELDJFQUEyRTtnQkFDM0UsOEZBQThGO2dCQUM5RixNQUFNLENBQUMsRUFBRSxFQUFFLEtBQUssQ0FBQyxHQUFHLE1BQU0sT0FBTyxDQUMvQixvQkFBb0IsQ0FBQyxFQUFFLEVBQUUsWUFBWSxDQUFDLGVBQWUsRUFBRSxFQUFFLEVBQUUsWUFBWSxDQUFDLGVBQWUsQ0FBQyxDQUN6RixDQUFDO2dCQUVGLElBQUksQ0FBQyxPQUFPLENBQUMsc0JBQXNCLENBQUMsRUFBRSxDQUFDLENBQUM7Z0JBRXhDLE1BQU0sUUFBUSxHQUFHLENBQUMsWUFBWSxDQUFDLGNBQWMsRUFBRSxZQUFZLENBQUMsY0FBYyxFQUFFLFlBQVksQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDLEdBQUcsQ0FDNUcsS0FBSyxFQUFFLEVBQWdCLEVBQUUsRUFBRTtvQkFDekIsT0FBTyxFQUFFLEdBQUcsRUFBRSxFQUFFLEVBQUUsS0FBSyxFQUFFLE1BQU0sZUFBZSxDQUFDLEVBQUUsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDO2dCQUMzRCxDQUFDLENBQ0YsQ0FBQztnQkFDRixNQUFNLGFBQWEsR0FBa0IsSUFBSSxHQUFHLENBQUMsQ0FBQyxNQUFNLE9BQU8sQ0FBQyxHQUFHLENBQUMsUUFBUSxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxHQUFHLEVBQUUsR0FBRyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQztnQkFFN0csSUFBSSxDQUFDLFlBQVksQ0FBQyxXQUFXLEVBQUUsRUFBRSxDQUFDO29CQUNoQyxNQUFNLENBQUMsS0FBSyxDQUFDLCtDQUErQyxDQUFDLENBQUM7b0JBQzlELE9BQU87Z0JBQ1QsQ0FBQztnQkFDRCxPQUFPLENBQUMsS0FBSyxFQUFFLGFBQWEsQ0FBQyxDQUFDO1lBQ2hDLENBQUM7WUFFRCxpSEFBaUg7WUFDakgsK0RBQStEO1lBQ3ZELGlCQUFpQixDQUFDLFlBQStCLEVBQUUsT0FBZTtnQkFDeEUsSUFBSSxDQUFDLFlBQVksQ0FBQyxXQUFXLEVBQUUsRUFBRSxDQUFDO29CQUNoQyxNQUFNLENBQUMsS0FBSyxDQUFDLHdDQUF3QyxDQUFDLENBQUM7b0JBQ3ZELE9BQU87Z0JBQ1QsQ0FBQztnQkFFRCxNQUFNLGNBQWMsR0FBRyxZQUFZLENBQUMsaUJBQWlCLENBQUMsT0FBTyxDQUFDLENBQUM7Z0JBQy9ELE1BQU0sRUFBRSxXQUFXLEVBQUUsR0FBRyxjQUFjLENBQUM7Z0JBQ3ZDLE1BQU0sRUFBRSxVQUFVLEVBQUUsTUFBTSxFQUFFLEdBQUcsY0FBYyxDQUFDLDBCQUEwQixFQUFFLENBQUM7Z0JBRTNFLE1BQU0sQ0FBQyxLQUFLLENBQUMsOENBQThDLFdBQVcsQ0FBQyxJQUFJLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxDQUFDO2dCQUUxRixJQUFJLENBQUMsZUFBZSxDQUNsQixZQUFZLEVBQ1osa0JBQWtCLENBQ2hCLElBQUksQ0FBQyxNQUFNLEVBQ1gsOEJBQ0UsTUFBTSxZQUFZLHVCQUF1QixDQUFDLENBQUMsQ0FBQywyQkFBMkIsQ0FBQyxDQUFDLENBQUMsMEJBQzVFLEVBQUUsRUFDRjtvQkFDRSxDQUFDLFVBQVUsQ0FBQyxPQUFPLENBQUMsRUFBRSxXQUFXLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRTtvQkFDakQsQ0FBQyxVQUFVLENBQUMscUJBQXFCLENBQUMsRUFBRSxRQUFRO29CQUM1QyxDQUFDLFVBQVUsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLFVBQVU7aUJBQy9DLEVBQ0QsTUFBTSxDQUFDLEVBQUU7b0JBQ1AsSUFBSSxNQUFNLFlBQVksdUJBQXVCLEVBQUUsQ0FBQzt3QkFDOUMsT0FBTyxJQUFJLENBQUMsTUFBTSxDQUFDLHlCQUF5QixDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsWUFBWSxDQUFDLFdBQVcsQ0FBQyxDQUFDO29CQUN6RixDQUFDO3lCQUFNLENBQUM7d0JBQ04sT0FBTyxJQUFJLENBQUMsTUFBTSxDQUFDLHdCQUF3QixDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsWUFBWSxDQUFDLFdBQVcsQ0FBQyxDQUFDO29CQUN4RixDQUFDO2dCQUNILENBQUMsQ0FDRixFQUNELEtBQUssRUFBQyxNQUFNLEVBQUMsRUFBRTtvQkFDYixNQUFNLENBQUMsS0FBSyxDQUFDLHVCQUF1QixVQUFVLFdBQVcsV0FBVyxDQUFDLElBQUksQ0FBQyxRQUFRLEVBQUUsRUFBRSxDQUFDLENBQUM7b0JBQ3hGLG9CQUFvQixDQUFDLE1BQU0sQ0FBQyxNQUFNLENBQUMsR0FBRyxFQUFFLGNBQWMsQ0FBQyxhQUFhLENBQUMsQ0FBQztvQkFDdEUsTUFBTSxZQUFZLEdBQUcsWUFBWSxDQUFDLGtCQUFrQixDQUFDLE9BQU8sRUFBRSxNQUFNLENBQUMsQ0FBQztvQkFDdEUsSUFBSSxZQUFZLENBQUMsV0FBVyxLQUFLLENBQUMsRUFBRSxDQUFDO3dCQUNuQyxNQUFNLElBQUksQ0FBQyw4QkFBOEIsQ0FBQyxZQUFZLENBQUMsQ0FBQztvQkFDMUQsQ0FBQzt5QkFBTSxDQUFDO3dCQUNOLE1BQU0sSUFBSSxDQUFDLDhCQUE4QixDQUFDLFlBQVksRUFBRSxZQUFZLENBQUMsQ0FBQztvQkFDeEUsQ0FBQztnQkFDSCxDQUFDLENBQ0YsQ0FBQztZQUNKLENBQUM7WUFFRCw4RkFBOEY7WUFDOUYsMkZBQTJGO1lBQ25GLGdCQUFnQixDQUFDLFlBQStCLEVBQUUsT0FBZTtnQkFDdkUsSUFBSSxDQUFDLFlBQVksQ0FBQyxXQUFXLEVBQUUsRUFBRSxDQUFDO29CQUNoQyxNQUFNLENBQUMsS0FBSyxDQUFDLHlDQUF5QyxDQUFDLENBQUM7b0JBQ3hELE9BQU87Z0JBQ1QsQ0FBQztnQkFFRCxNQUFNLGNBQWMsR0FBRyxZQUFZLENBQUMsaUJBQWlCLENBQUMsT0FBTyxDQUFDLENBQUM7Z0JBQy9ELE1BQU0sTUFBTSxHQUFHLGNBQWMsQ0FBQyxXQUFXLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRSxDQUFDO2dCQUUxRCxNQUFNLFlBQVksR0FBRyxDQUFDLE1BQXlELEVBQUUsRUFBRTtvQkFDakYsTUFBTSxDQUFDLEtBQUssQ0FBQyxnQ0FBZ0MsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLEVBQUUsQ0FBQyxDQUFDO29CQUNwRSxjQUFjLENBQUMsWUFBWSxDQUFDLE1BQU0sQ0FBQyxDQUFDO29CQUNwQyxJQUFJLENBQUMsWUFBWSxFQUFFLGdCQUFnQixDQUFDLE1BQU0sQ0FBQyxNQUFNLENBQUMsQ0FBQztvQkFDbkQsSUFBSSxDQUFDLDRCQUE0QixDQUFDLFlBQVksRUFBRSxPQUFPLENBQUMsQ0FBQztnQkFDM0QsQ0FBQyxDQUFDO2dCQUVGLElBQUksSUFBSSxDQUFDLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQyxHQUFHLENBQUMsTUFBTSxDQUFDLEVBQUUsQ0FBQztvQkFDcEQsTUFBTSxDQUFDLEtBQUssQ0FBQyw2Q0FBNkMsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLEVBQUUsQ0FBQyxDQUFDO29CQUNqRixLQUFLLElBQUksQ0FBQyxZQUFhLENBQUMsZ0JBQWdCLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBRSxDQUFDLElBQUksQ0FBQyxZQUFZLENBQUMsQ0FBQztvQkFDekUsT0FBTztnQkFDVCxDQUFDO2dCQUVELE1BQU0sQ0FBQyxLQUFLLENBQUMsd0NBQXdDLE9BQU8sRUFBRSxDQUFDLENBQUM7Z0JBQ2hFLElBQUksQ0FBQyxhQUFhLENBQUMsTUFBTSxFQUFFLGNBQWMsQ0FBQyxhQUFhLEVBQUUsRUFBRSxZQUFZLENBQUMsQ0FBQztZQUMzRSxDQUFDO1lBRU8sYUFBYSxDQUNuQixNQUFjLEVBQ2QsTUFBa0IsRUFDbEIsT0FBNEUsRUFDNUUsZUFBc0QsSUFBSSxDQUFDLFlBQWE7Z0JBRXhFLElBQUksQ0FBQyxZQUFZLEVBQUUsV0FBVyxFQUFFLEVBQUUsQ0FBQztvQkFDakMsTUFBTSxDQUFDLEtBQUssQ0FBQyx5Q0FBeUMsQ0FBQyxDQUFDO29CQUN4RCxPQUFPO2dCQUNULENBQUM7Z0JBRUQsSUFBSSxDQUFDLGVBQWUsQ0FDbEIsWUFBWSxFQUNaLGtCQUFrQixDQUNoQixJQUFJLENBQUMsTUFBTSxFQUNYLHlDQUF5QyxFQUN6QztvQkFDRSxDQUFDLFVBQVUsQ0FBQyxPQUFPLENBQUMsRUFBRSxNQUFNO29CQUM1QixDQUFDLFVBQVUsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLFFBQVE7b0JBQzVDLENBQUMsVUFBVSxDQUFDLHFCQUFxQixDQUFDLEVBQUUsY0FBb0M7aUJBQ3pFLEVBQ0QsTUFBTSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLFlBQVksQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLElBQUksQ0FBQyxZQUFhLENBQUMsV0FBVyxDQUFDLENBQ25GLEVBQ0QsT0FBTyxDQUNSLENBQUM7WUFDSixDQUFDO1lBRUQsd0hBQXdIO1lBQ3hILCtEQUErRDtZQUN2RCxrQkFBa0IsQ0FBQyxZQUErQixFQUFFLFFBQTBCO2dCQUNwRixJQUFJLENBQUMsWUFBWSxDQUFDLFdBQVcsRUFBRSxFQUFFLENBQUM7b0JBQ2hDLE1BQU0sQ0FBQyxLQUFLLENBQUMsa0RBQWtELENBQUMsQ0FBQztvQkFDakUsT0FBTztnQkFDVCxDQUFDO2dCQUVELE1BQU0sTUFBTSxHQUFHLFlBQVksQ0FBQyxvQkFBb0IsQ0FBQyxRQUFRLENBQUMsQ0FBQztnQkFFM0QsSUFBSSxDQUFDLGVBQWUsQ0FDbEIsWUFBWSxFQUNaLGtCQUFrQixDQUNoQixJQUFJLENBQUMsTUFBTSxFQUNYLGdEQUFnRCxFQUNoRDtvQkFDRSxDQUFDLFVBQVUsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLFFBQVE7b0JBQzVDLENBQUMsVUFBVSxDQUFDLHFCQUFxQixDQUFDLEVBQUUsY0FBb0M7aUJBQ3pFLEVBQ0QsTUFBTSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLG1CQUFtQixDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsWUFBWSxDQUFDLFdBQVcsQ0FBQyxDQUNwRixFQUNELEtBQUssRUFBQyxNQUFNLEVBQUMsRUFBRTtvQkFDYixZQUFZLENBQUMsbUJBQW1CLENBQUMsUUFBUSxFQUFFLE1BQU0sQ0FBQyxDQUFDO29CQUNuRCxNQUFNLElBQUksQ0FBQyw4QkFBOEIsQ0FBQyxZQUFZLEVBQUUsUUFBUSxDQUFDLENBQUM7Z0JBQ3BFLENBQUMsQ0FDRixDQUFDO1lBQ0osQ0FBQztZQUVELHlDQUF5QztZQUNqQyxLQUFLLENBQUMsc0JBQXNCLENBQUMsWUFBK0I7Z0JBQ2xFLElBQUksQ0FBQyxZQUFZLENBQUMsV0FBVyxFQUFFLEVBQUUsQ0FBQztvQkFDaEMsTUFBTSxDQUFDLEtBQUssQ0FBQyxzREFBc0QsQ0FBQyxDQUFDO29CQUNyRSxPQUFPO2dCQUNULENBQUM7Z0JBRUQsWUFBWSxDQUFDLHNCQUFzQixHQUFHLElBQUksQ0FBQztnQkFFM0MsTUFBTSxFQUFFLFVBQVUsRUFBRSxNQUFNLEVBQUUsR0FBRyxNQUFNLFlBQVksQ0FBQywrQkFBK0IsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLENBQUM7Z0JBRWpHLE1BQU0sQ0FBQyxLQUFLLENBQ1YsYUFBYSxVQUFVLGNBQWMsWUFBWSxDQUFDLFdBQVcsU0FBUyxZQUFZLENBQUMsaUJBQWlCLENBQUMsTUFBTSxpQkFBaUIsQ0FDN0gsQ0FBQztnQkFFRixJQUFJLENBQUMsZUFBZSxDQUNsQixZQUFZLEVBQ1osa0JBQWtCLENBQ2hCLElBQUksQ0FBQyxNQUFNLEVBQ1gsb0RBQW9ELEVBQ3BEO29CQUNFLENBQUMsVUFBVSxDQUFDLHFCQUFxQixDQUFDLEVBQUUsUUFBUTtvQkFDNUMsQ0FBQyxVQUFVLENBQUMscUJBQXFCLENBQUMsRUFBRSxVQUFVO2lCQUMvQyxFQUNELE1BQU0sQ0FBQyxFQUFFO29CQUNQLElBQUksTUFBTSxZQUFZLDBCQUEwQixFQUFFLENBQUM7d0JBQ2pELE9BQU8sSUFBSSxDQUFDLE1BQU0sQ0FBQyw0QkFBNEIsQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLFlBQVksQ0FBQyxXQUFXLENBQUMsQ0FBQztvQkFDNUYsQ0FBQzt5QkFBTSxJQUFJLE1BQU0sWUFBWSw2QkFBNkIsRUFBRSxDQUFDO3dCQUMzRCxPQUFPLElBQUksQ0FBQyxNQUFNLENBQUMsK0JBQStCLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxZQUFZLENBQUMsV0FBVyxDQUFDLENBQUM7b0JBQy9GLENBQUM7eUJBQU0sQ0FBQzt3QkFDTixPQUFPLElBQUksQ0FBQyxNQUFNLENBQUMsdUJBQXVCLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxZQUFZLENBQUMsV0FBVyxDQUFDLENBQUM7b0JBQ3ZGLENBQUM7Z0JBQ0gsQ0FBQyxDQUNGLEVBQ0QsS0FBSyxFQUFDLE1BQU0sRUFBQyxFQUFFO29CQUNiLFlBQVksQ0FBQyx1QkFBdUIsQ0FBQyxNQUFNLENBQUMsQ0FBQztvQkFDN0MsTUFBTSxNQUFNLEdBQUcsTUFBTSxZQUFZLENBQUMsNkJBQTZCLENBQUMsTUFBTSxDQUFDLENBQUM7b0JBQ3hFLElBQUksQ0FBQyxDQUFDLE1BQU0sTUFBTSxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsTUFBTSxDQUFDLE1BQU0sWUFBWSxDQUFDLEtBQU0sQ0FBQyxNQUFNLENBQUMsSUFBSSxFQUFFLENBQUMsRUFBRSxDQUFDO3dCQUMzRSxNQUFNLENBQUMsS0FBSyxDQUNWLGtDQUFrQyxPQUFPLENBQUMsTUFBTSxDQUFDLGNBQWMsT0FBTyxDQUFDLFlBQVksQ0FBQyxLQUFNLENBQUMsTUFBTSxDQUFDLEVBQUUsQ0FDckcsQ0FBQzt3QkFDRixZQUFZLENBQUMsTUFBTSxDQUFDLDRCQUE0QixDQUFDLENBQUM7b0JBQ3BELENBQUM7b0JBRUQsTUFBTSxDQUFDLEtBQUssQ0FBQyxhQUFhLFVBQVUsb0JBQW9CLFlBQVksQ0FBQyxLQUFNLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQztvQkFDdEYsbUZBQW1GO29CQUVuRixNQUFNLGlCQUFpQixHQUFHLElBQUksQ0FBQyxZQUFhLENBQUM7b0JBQzdDLE1BQU0sWUFBWSxHQUFHLGlCQUFpQixDQUFDLHVCQUF1QixDQUFDLFlBQVksQ0FBQyxLQUFLLEVBQUUsTUFBTSxDQUFDLENBQUM7b0JBQzNGLElBQUksaUJBQWlCLENBQUMsY0FBYyxLQUFLLENBQUMsRUFBRSxDQUFDO3dCQUMzQyxNQUFNLElBQUksQ0FBQyxtQkFBbUIsQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDO29CQUNwRCxDQUFDO3lCQUFNLENBQUM7d0JBQ04sSUFBSSxDQUFDLG1DQUFtQyxDQUFDLGlCQUFpQixFQUFFLFlBQVksQ0FBQyxDQUFDO29CQUM1RSxDQUFDO2dCQUNILENBQUMsQ0FDRixDQUFDO1lBQ0osQ0FBQztZQUVELGlHQUFpRztZQUNqRywrREFBK0Q7WUFDdkQsd0JBQXdCLENBQUMsWUFBK0IsRUFBRSxNQUF3QixFQUFFLEtBQWE7Z0JBQ3ZHLElBQUksQ0FBQyxZQUFZLENBQUMsV0FBVyxFQUFFLEVBQUUsQ0FBQztvQkFDaEMsTUFBTSxDQUFDLEtBQUssQ0FBQyxpREFBaUQsQ0FBQyxDQUFDO29CQUNoRSxPQUFPO2dCQUNULENBQUM7Z0JBRUQsSUFBSSxDQUFDLGVBQWUsQ0FDbEIsWUFBWSxFQUNaLGtCQUFrQixDQUNoQixJQUFJLENBQUMsTUFBTSxFQUNYLCtDQUErQyxFQUMvQztvQkFDRSxDQUFDLFVBQVUsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLFFBQVE7b0JBQzVDLENBQUMsVUFBVSxDQUFDLHFCQUFxQixDQUFDLEVBQUUsYUFBbUM7aUJBQ3hFLEVBQ0QsTUFBTSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLGtCQUFrQixDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsWUFBWSxDQUFDLFdBQVcsQ0FBQyxDQUNuRixFQUNELGFBQWEsQ0FBQyxFQUFFO29CQUNkLFlBQVksQ0FBQyxrQkFBa0IsQ0FBQyxLQUFLLEVBQUUsYUFBYSxDQUFDLENBQUM7b0JBQ3RELElBQUksQ0FBQyxnQ0FBZ0MsQ0FBQyxZQUFZLENBQUMsQ0FBQztnQkFDdEQsQ0FBQyxDQUNGLENBQUM7WUFDSixDQUFDO1lBRU8sZ0NBQWdDLENBQUMsWUFBK0I7Z0JBQ3RFLElBQUksQ0FBQyxZQUFZLENBQUMsb0JBQW9CLEVBQUUsRUFBRSxDQUFDO29CQUN6QyxPQUFPO2dCQUNULENBQUM7Z0JBRUQsSUFBSSxDQUFDLHdCQUF3QixDQUFDLFlBQVksQ0FBQyxDQUFDO1lBQzlDLENBQUM7WUFFRCxzREFBc0Q7WUFDdEQsNkRBQTZEO1lBQ3JELHdCQUF3QixDQUFDLFlBQStCO2dCQUM5RCxJQUFJLENBQUMsWUFBWSxDQUFDLFdBQVcsRUFBRSxFQUFFLENBQUM7b0JBQ2hDLE1BQU0sQ0FBQyxLQUFLLENBQUMsaURBQWlELENBQUMsQ0FBQztvQkFDaEUsT0FBTztnQkFDVCxDQUFDO2dCQUVELE1BQU0sTUFBTSxHQUFHLFlBQVksQ0FBQyxtQkFBbUIsRUFBRSxDQUFDO2dCQUVsRCxJQUFJLENBQUMsZUFBZSxDQUNsQixZQUFZLEVBQ1osa0JBQWtCLENBQ2hCLElBQUksQ0FBQyxNQUFNLEVBQ1gsK0NBQStDLEVBQy9DO29CQUNFLENBQUMsVUFBVSxDQUFDLHFCQUFxQixDQUFDLEVBQUUsUUFBUTtvQkFDNUMsQ0FBQyxVQUFVLENBQUMscUJBQXFCLENBQUMsRUFBRSxhQUFtQztpQkFDeEUsRUFDRCxNQUFNLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsa0JBQWtCLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxZQUFZLENBQUMsV0FBVyxDQUFDLENBQ25GLEVBQ0QsS0FBSyxFQUFDLE1BQU0sRUFBQyxFQUFFO29CQUNiLFlBQVksQ0FBQyxrQkFBa0IsQ0FBQyxNQUFNLENBQUMsQ0FBQztvQkFDeEMsTUFBTSxJQUFJLENBQUMsOEJBQThCLENBQUMsWUFBWSxDQUFDLENBQUM7Z0JBQzFELENBQUMsQ0FDRixDQUFDO1lBQ0osQ0FBQztZQUVELDhIQUE4SDtZQUM5SCwrREFBK0Q7WUFDdkQsdUJBQXVCLENBQUMsWUFBK0IsRUFBRSxRQUEwQjtnQkFDekYsSUFBSSxDQUFDLFlBQVksQ0FBQyxXQUFXLEVBQUUsRUFBRSxDQUFDO29CQUNoQyxNQUFNLENBQUMsS0FBSyxDQUFDLHdEQUF3RCxDQUFDLENBQUM7b0JBQ3ZFLE9BQU87Z0JBQ1QsQ0FBQztnQkFFRCxNQUFNLE1BQU0sR0FBRyxZQUFZLENBQUMseUJBQXlCLENBQUMsUUFBUSxDQUFDLENBQUM7Z0JBRWhFLElBQUksQ0FBQyxlQUFlLENBQ2xCLFlBQVksRUFDWixrQkFBa0IsQ0FDaEIsSUFBSSxDQUFDLE1BQU0sRUFDWCxxREFBcUQsRUFDckQ7b0JBQ0UsQ0FBQyxVQUFVLENBQUMscUJBQXFCLENBQUMsRUFBRSxRQUFRO29CQUM1QyxDQUFDLFVBQVUsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLG9CQUEwQztpQkFDL0UsRUFDRCxNQUFNLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsd0JBQXdCLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxZQUFZLENBQUMsV0FBVyxDQUFDLENBQ3pGLEVBQ0QsTUFBTSxDQUFDLEVBQUU7b0JBQ1AsWUFBWSxDQUFDLHdCQUF3QixDQUFDLFFBQVEsRUFBRSxNQUFNLENBQUMsQ0FBQztvQkFDeEQsSUFBSSxDQUFDLG1DQUFtQyxDQUFDLFlBQVksRUFBRSxRQUFRLENBQUMsQ0FBQztnQkFDbkUsQ0FBQyxDQUNGLENBQUM7WUFDSixDQUFDO1lBRU8sS0FBSyxDQUFDLG1CQUFtQixDQUFDLFlBQStCO2dCQUMvRCxJQUFJLENBQUMsWUFBWSxDQUFDLFdBQVcsRUFBRSxFQUFFLENBQUM7b0JBQ2hDLE1BQU0sQ0FBQyxLQUFLLENBQUMsbURBQW1ELENBQUMsQ0FBQztvQkFDbEUsT0FBTztnQkFDVCxDQUFDO2dCQUVELE1BQU0sQ0FBQyxLQUFLLENBQUMscURBQXFELENBQUMsQ0FBQztnQkFFcEUsTUFBTSxNQUFNLEdBQUcsTUFBTSxZQUFZLENBQUMseUJBQXlCLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxDQUFDO2dCQUUzRSxJQUFJLENBQUMsZUFBZSxDQUNsQixZQUFZLEVBQ1osa0JBQWtCLENBQ2hCLElBQUksQ0FBQyxNQUFNLEVBQ1gseURBQXlELEVBQ3pEO29CQUNFLENBQUMsVUFBVSxDQUFDLHFCQUFxQixDQUFDLEVBQUUsUUFBUTtvQkFDNUMsQ0FBQyxVQUFVLENBQUMscUJBQXFCLENBQUMsRUFBRSx5QkFBK0M7aUJBQ3BGLEVBQ0QsTUFBTSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLDRCQUE0QixDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsWUFBWSxDQUFDLFdBQVcsQ0FBQyxDQUM3RixFQUNELE1BQU0sQ0FBQyxFQUFFO29CQUNQLE1BQU0sQ0FBQyxLQUFLLENBQUMseUNBQXlDLENBQUMsQ0FBQztvQkFDeEQsWUFBWSxDQUFDLHdCQUF3QixDQUFDLE1BQU0sQ0FBQyxDQUFDO29CQUM5QyxJQUFJLENBQUMseUJBQXlCLENBQUMsWUFBWSxDQUFDLENBQUM7Z0JBQy9DLENBQUMsQ0FDRixDQUFDO1lBQ0osQ0FBQztZQUVELG1DQUFtQztZQUMzQixpQkFBaUIsQ0FBQyxZQUErQjtnQkFDdkQsSUFBSSxDQUFDLFlBQVksQ0FBQyxXQUFXLEVBQUUsRUFBRSxDQUFDO29CQUNoQyxNQUFNLENBQUMsS0FBSyxDQUFDLGdEQUFnRCxDQUFDLENBQUM7b0JBQy9ELE9BQU87Z0JBQ1QsQ0FBQztnQkFFRCxNQUFNLENBQUMsS0FBSyxDQUFDLHVCQUF1QixDQUFDLENBQUM7Z0JBRXRDLE1BQU0sTUFBTSxHQUFHLFlBQVksQ0FBQyxtQkFBbUIsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLENBQUM7Z0JBRS9ELElBQUksQ0FBQyxlQUFlLENBQ2xCLFlBQVksRUFDWixrQkFBa0IsQ0FDaEIsSUFBSSxDQUFDLE1BQU0sRUFDWCwrQ0FBK0MsRUFDL0M7b0JBQ0UsQ0FBQyxVQUFVLENBQUMscUJBQXFCLENBQUMsRUFBRSxRQUFRO29CQUM1QyxDQUFDLFVBQVUsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLGFBQW1DO2lCQUN4RSxFQUNELE1BQU0sQ0FBQyxFQUFFLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxrQkFBa0IsQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLFlBQVksQ0FBQyxXQUFXLENBQUMsQ0FDbkYsRUFDRCxNQUFNLENBQUMsRUFBRTtvQkFDUCxNQUFNLENBQUMsT0FBTyxDQUFDLGdEQUFnRCxZQUFZLENBQUMsV0FBVyxFQUFFLENBQUMsQ0FBQztvQkFDM0YsWUFBWSxDQUFDLGtCQUFrQixDQUFDLE1BQU0sQ0FBQyxDQUFDO29CQUN4QyxZQUFZLENBQUMsT0FBTyxDQUFDLEVBQUUsTUFBTSxFQUFFLFNBQVMsRUFBRSxDQUFDLENBQUM7Z0JBQzlDLENBQUMsQ0FDRixDQUFDO1lBQ0osQ0FBQztZQUVPLEtBQUssQ0FBQyw4QkFBOEIsQ0FBQyxZQUErQixFQUFFLGVBQWlDO2dCQUM3RyxJQUFJLENBQUMsWUFBWSxDQUFDLHFCQUFxQixDQUFDLGVBQWUsQ0FBQyxFQUFFLENBQUM7b0JBQ3pELE9BQU87Z0JBQ1QsQ0FBQztnQkFFRCxNQUFNLGNBQWMsR0FBRyxZQUFZLENBQUMsaUJBQWlCLENBQUMsZUFBZSxDQUFDLENBQUM7Z0JBQ3ZFLElBQUksY0FBYyxDQUFDLEtBQUssS0FBSyxDQUFDLEVBQUUsQ0FBQztvQkFDL0IsTUFBTSxJQUFJLENBQUMsOEJBQThCLENBQUMsWUFBWSxDQUFDLENBQUM7Z0JBQzFELENBQUM7cUJBQU0sQ0FBQztvQkFDTixJQUFJLENBQUMsa0JBQWtCLENBQUMsWUFBWSxFQUFFLGNBQWMsQ0FBQyxDQUFDO2dCQUN4RCxDQUFDO1lBQ0gsQ0FBQztZQUVPLEtBQUssQ0FBQyw4QkFBOEIsQ0FBQyxZQUErQjtnQkFDMUUsSUFBSSxDQUFDLFlBQVksQ0FBQyx5QkFBeUIsRUFBRSxFQUFFLENBQUM7b0JBQzlDLE1BQU0sQ0FBQyxLQUFLLENBQUMsMkJBQTJCLENBQUMsQ0FBQztvQkFDMUMsT0FBTztnQkFDVCxDQUFDO2dCQUNELElBQUksWUFBWSxDQUFDLHNCQUFzQixFQUFFLENBQUM7b0JBQ3hDLE1BQU0sQ0FBQyxLQUFLLENBQUMsbUNBQW1DLENBQUMsQ0FBQztvQkFDbEQsT0FBTztnQkFDVCxDQUFDO2dCQUNELE1BQU0sV0FBVyxHQUFHLFlBQVksQ0FBQyxXQUFXLENBQUM7Z0JBRTdDLDhGQUE4RjtnQkFDOUYsbUdBQW1HO2dCQUNuRyxxR0FBcUc7Z0JBQ3JHLHVEQUF1RDtnQkFDdkQsTUFBTSxDQUFDLEtBQUssQ0FBQyxvQ0FBb0MsV0FBVyxFQUFFLENBQUMsQ0FBQztnQkFDaEUsS0FBSyxJQUFJLENBQUMsR0FBRztxQkFDVixHQUFHLENBQUMsV0FBVyxDQUFDO29CQUNqQixFQUFFLEtBQUssRUFBRTtxQkFDUixJQUFJLENBQUMsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsV0FBVyxDQUFDLENBQUM7cUJBQ3hDLEtBQUssQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsOEJBQThCLFdBQVcsRUFBRSxFQUFFLEdBQUcsQ0FBQyxDQUFDLENBQUM7Z0JBRWhGLE1BQU0sSUFBSSxDQUFDLHNCQUFzQixDQUFDLFlBQVksQ0FBQyxDQUFDO1lBQ2xELENBQUM7WUFFTyxtQ0FBbUMsQ0FBQyxZQUErQixFQUFFLGVBQWlDO2dCQUM1RyxJQUFJLENBQUMsWUFBWSxDQUFDLG9CQUFvQixDQUFDLGVBQWUsQ0FBQyxFQUFFLENBQUM7b0JBQ3hELE9BQU87Z0JBQ1QsQ0FBQztnQkFFRCxNQUFNLGNBQWMsR0FBRyxZQUFZLENBQUMsaUJBQWlCLENBQUMsZUFBZSxDQUFDLENBQUM7Z0JBQ3ZFLElBQUksY0FBYyxDQUFDLEtBQUssS0FBSyxDQUFDLEVBQUUsQ0FBQztvQkFDL0IsSUFBSSxDQUFDLHlCQUF5QixDQUFDLFlBQVksQ0FBQyxDQUFDO2dCQUMvQyxDQUFDO3FCQUFNLENBQUM7b0JBQ04sSUFBSSxDQUFDLHVCQUF1QixDQUFDLFlBQVksRUFBRSxjQUFjLENBQUMsQ0FBQztnQkFDN0QsQ0FBQztZQUNILENBQUM7WUFFTyx5QkFBeUIsQ0FBQyxZQUErQjtnQkFDL0QsSUFBSSxDQUFDLFlBQVksQ0FBQyxvQkFBb0IsRUFBRSxFQUFFLENBQUM7b0JBQ3pDLE1BQU0sQ0FBQyxLQUFLLENBQUMsMkJBQTJCLENBQUMsQ0FBQztvQkFDMUMsT0FBTztnQkFDVCxDQUFDO2dCQUVELElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxZQUFZLENBQUMsQ0FBQztZQUN2QyxDQUFDO1lBRUQ7Ozs7O2VBS0c7WUFDSyxTQUFTLENBQUMsWUFBK0IsRUFBRSxPQUFlO2dCQUNoRSxJQUFJLENBQUMsWUFBWSxDQUFDLFdBQVcsRUFBRSxFQUFFLENBQUM7b0JBQ2hDLE1BQU0sQ0FBQyxLQUFLLENBQUMsb0RBQW9ELENBQUMsQ0FBQztvQkFDbkUsT0FBTztnQkFDVCxDQUFDO2dCQUVELE1BQU0sY0FBYyxHQUFHLFlBQVksQ0FBQyxpQkFBaUIsQ0FBQyxPQUFPLENBQUMsQ0FBQztnQkFFL0QseUhBQXlIO2dCQUN6SCxvSEFBb0g7Z0JBQ3BILE1BQU0sWUFBWSxHQUFHLGtCQUFrQixDQUNyQyxJQUFJLENBQUMsTUFBTSxFQUNYLHdDQUF3QyxFQUN4QztvQkFDRSxDQUFDLFVBQVUsQ0FBQyxPQUFPLENBQUMsRUFBRSxjQUFjLENBQUMsV0FBVyxDQUFDLElBQUksQ0FBQyxRQUFRLEVBQUU7aUJBQ2pFLEVBQ0QsS0FBSyxFQUFFLE1BQW1CLEVBQUUsRUFBRTtvQkFDNUIsTUFBTSxNQUFNLEdBQUcsY0FBYyxDQUFDLFlBQVksRUFBRSxDQUFDO29CQUM3QyxJQUFJLENBQUM7d0JBQ0gsT0FBTyxNQUFNLElBQUksQ0FBQyxNQUFNLENBQUMsV0FBVyxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsWUFBWSxDQUFDLFdBQVcsQ0FBQyxDQUFDO29CQUNqRixDQUFDO29CQUFDLE9BQU8sR0FBRyxFQUFFLENBQUM7d0JBQ2IsSUFBSSxPQUFPLENBQUMsR0FBRyxDQUFDLGtCQUFrQixFQUFFLENBQUM7NEJBQ25DLE1BQU0sQ0FBQyxLQUFLLENBQUMsa0VBQWtFLEVBQUUsR0FBRyxDQUFDLENBQUM7NEJBQ3RGLE1BQU0sR0FBRyxDQUFDO3dCQUNaLENBQUM7NkJBQU0sQ0FBQzs0QkFDTixNQUFNLENBQUMsSUFBSSxDQUNULDBHQUEwRyxPQUFPLENBQy9HLEdBQUcsQ0FDSixHQUFHLENBQ0wsQ0FBQzs0QkFDRixPQUFPO2dDQUNMLEtBQUssRUFBRSx1QkFBdUIsQ0FBQywwQkFBMEIsQ0FBQztnQ0FDMUQsZUFBZSxFQUFFLG1CQUFtQixDQUFDLFFBQVEsQ0FBQyxxQ0FBcUMsQ0FBQzs2QkFDckYsQ0FBQzt3QkFDSixDQUFDO29CQUNILENBQUM7Z0JBQ0gsQ0FBQyxDQUNGLENBQUM7Z0JBRUYsSUFBSSxDQUFDLGVBQWUsQ0FBQyxZQUFZLEVBQUUsWUFBWSxFQUFFLFVBQVUsQ0FBQyxFQUFFO29CQUM1RCxNQUFNLENBQUMsS0FBSyxDQUFDLDJCQUEyQixPQUFPLEVBQUUsQ0FBQyxDQUFDO29CQUNuRCxjQUFjLENBQUMsV0FBVyxDQUFDLFVBQVUsQ0FBQyxDQUFDO29CQUN2QyxJQUFJLENBQUMsNEJBQTRCLENBQUMsWUFBWSxFQUFFLE9BQU8sQ0FBQyxDQUFDO2dCQUMzRCxDQUFDLENBQUMsQ0FBQztZQUNMLENBQUM7WUFFTyw0QkFBNEIsQ0FBQyxZQUErQixFQUFFLE9BQWU7Z0JBQ25GLE1BQU0sY0FBYyxHQUFHLFlBQVksQ0FBQyxpQkFBaUIsQ0FBQyxPQUFPLENBQUMsQ0FBQztnQkFDL0QsSUFBSSxDQUFDLGNBQWMsQ0FBQyxLQUFLLEVBQUUsRUFBRSxDQUFDO29CQUM1QixPQUFPO2dCQUNULENBQUM7Z0JBRUQsNEhBQTRIO2dCQUM1SCxNQUFNLENBQUMsS0FBSyxDQUFDLHFDQUFxQyxPQUFPLHlCQUF5QixDQUFDLENBQUM7Z0JBRXBGLElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxZQUFZLEVBQUUsT0FBTyxDQUFDLENBQUM7WUFDaEQsQ0FBQzs7Ozt5Q0F6MEJBLFNBQVMsQ0FBQyxtQ0FBbUMsRUFBRSxlQUFlLENBQUMsRUFBRSxDQUFDLENBQUM7b0JBQ2xFLENBQUMsVUFBVSxDQUFDLFlBQVksQ0FBQyxFQUFFLGVBQWUsQ0FBQyxXQUFXLENBQUMsUUFBUSxFQUFFO2lCQUNsRSxDQUFDLENBQUM7a0NBOENGLFNBQVMsQ0FBQyw0QkFBNEIsRUFBRSxHQUFHLENBQUMsRUFBRSxDQUFDLENBQUM7b0JBQy9DLENBQUMsVUFBVSxDQUFDLGVBQWUsQ0FBQyxFQUFFLEdBQUcsQ0FBQyxNQUFNO2lCQUN6QyxDQUFDLENBQUM7NkNBc0RGLFNBQVMsQ0FBQyx1Q0FBdUMsQ0FBQzs2Q0FtQmxELFNBQVMsQ0FBQyx1Q0FBdUMsRUFBRSxDQUFDLFdBQW1CLEVBQUUsRUFBRSxDQUFDLENBQUM7b0JBQzVFLENBQUMsVUFBVSxDQUFDLFlBQVksQ0FBQyxFQUFFLFdBQVc7aUJBQ3ZDLENBQUMsQ0FBQzttREE2TkYsU0FBUyxDQUFDLDZDQUE2QyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsRUFBRSxFQUFFLENBQUMsQ0FBQztvQkFDcEUsQ0FBQyxVQUFVLENBQUMsT0FBTyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxRQUFRLEVBQUU7aUJBQ3pDLENBQUMsQ0FBQztZQXpWSCx3TEFBYSxhQUFhLDZEQXVDekI7WUFTRCxtS0FBYSxNQUFNLDZEQStDbEI7WUFPRCxvTUFBYSxpQkFBaUIsNkRBWTdCO1lBU0Qsb01BQWEsaUJBQWlCLDZEQXVCN0I7WUF3TUQsc05BQWMsdUJBQXVCLDZEQStCcEM7Ozs7O1NBM2FVLG1CQUFtQiJ9
+                logger.error(`Error thrown when proving job`, err);
+                provingState.reject(`${err}`);
+            } finally{
+                const index = this.pendingProvingJobs.indexOf(controller);
+                if (index > -1) {
+                    this.pendingProvingJobs.splice(index, 1);
+                }
+            }
+        };
+        // let the callstack unwind before adding the job to the queue
+        setImmediate(()=>void safeJob());
+    }
+    async prepareBaseParityInputs(l1ToL2Messages, db) {
+        const l1ToL2MessagesPadded = padArrayEnd(l1ToL2Messages, Fr.ZERO, NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, 'Too many L1 to L2 messages');
+        const baseParityInputs = times(NUM_BASE_PARITY_PER_ROOT_PARITY, (i)=>BaseParityInputs.fromSlice(l1ToL2MessagesPadded, i, getVKTreeRoot()));
+        const l1ToL2MessageSubtreeSiblingPath = assertLength(await getSubtreeSiblingPath(MerkleTreeId.L1_TO_L2_MESSAGE_TREE, L1_TO_L2_MSG_SUBTREE_HEIGHT, db), L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH);
+        // Update the local trees to include the new l1 to l2 messages
+        await db.appendLeaves(MerkleTreeId.L1_TO_L2_MESSAGE_TREE, l1ToL2MessagesPadded);
+        const l1ToL2MessageTreeSnapshotAfterInsertion = await getTreeSnapshot(MerkleTreeId.L1_TO_L2_MESSAGE_TREE, db);
+        return {
+            l1ToL2MessageSubtreeSiblingPath,
+            l1ToL2MessageTreeSnapshotAfterInsertion,
+            baseParityInputs
+        };
+    }
+    // Updates the merkle trees for a transaction. The first enqueued job for a transaction
+    async prepareBaseRollupInputs(provingState, tx) {
+        if (!provingState.verifyState() || !provingState.spongeBlobState) {
+            logger.debug('Not preparing base rollup inputs, state invalid');
+            return;
+        }
+        const db = this.dbs.get(provingState.blockNumber);
+        // We build the base rollup inputs using a mock proof and verification key.
+        // These will be overwritten later once we have proven the tube circuit and any public kernels
+        const [ms, hints] = await elapsed(buildBaseRollupHints(tx, provingState.globalVariables, db, provingState.spongeBlobState));
+        this.metrics.recordBaseRollupInputs(ms);
+        const promises = [
+            MerkleTreeId.NOTE_HASH_TREE,
+            MerkleTreeId.NULLIFIER_TREE,
+            MerkleTreeId.PUBLIC_DATA_TREE
+        ].map(async (id)=>{
+            return {
+                key: id,
+                value: await getTreeSnapshot(id, db)
+            };
+        });
+        const treeSnapshots = new Map((await Promise.all(promises)).map((obj)=>[
+                obj.key,
+                obj.value
+            ]));
+        if (!provingState.verifyState()) {
+            logger.debug(`Discarding proving job, state no longer valid`);
+            return;
+        }
+        return [
+            hints,
+            treeSnapshots
+        ];
+    }
+    // Executes the base rollup circuit and stored the output as intermediate state for the parent merge/root circuit
+    // Executes the next level of merge if all inputs are available
+    enqueueBaseRollup(provingState, txIndex) {
+        if (!provingState.verifyState()) {
+            logger.debug('Not running base rollup, state invalid');
+            return;
+        }
+        const txProvingState = provingState.getTxProvingState(txIndex);
+        const { processedTx } = txProvingState;
+        const { rollupType, inputs } = txProvingState.getBaseRollupTypeAndInputs();
+        logger.debug(`Enqueuing deferred proving base rollup for ${processedTx.hash.toString()}`);
+        this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, `ProvingOrchestrator.prover.${inputs instanceof PrivateBaseRollupInputs ? 'getPrivateBaseRollupProof' : 'getPublicBaseRollupProof'}`, {
+            [Attributes.TX_HASH]: processedTx.hash.toString(),
+            [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
+            [Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType
+        }, (signal)=>{
+            if (inputs instanceof PrivateBaseRollupInputs) {
+                return this.prover.getPrivateBaseRollupProof(inputs, signal, provingState.epochNumber);
+            } else {
+                return this.prover.getPublicBaseRollupProof(inputs, signal, provingState.epochNumber);
+            }
+        }), async (result)=>{
+            logger.debug(`Completed proof for ${rollupType} for tx ${processedTx.hash.toString()}`);
+            validatePartialState(result.inputs.end, txProvingState.treeSnapshots);
+            const leafLocation = provingState.setBaseRollupProof(txIndex, result);
+            if (provingState.totalNumTxs === 1) {
+                await this.checkAndEnqueueBlockRootRollup(provingState);
+            } else {
+                await this.checkAndEnqueueNextMergeRollup(provingState, leafLocation);
+            }
+        });
+    }
+    // Enqueues the tube circuit for a given transaction index, or reuses the one already enqueued
+    // Once completed, will enqueue the next circuit, either a public kernel or the base rollup
+    getOrEnqueueTube(provingState, txIndex) {
+        if (!provingState.verifyState()) {
+            logger.debug('Not running tube circuit, state invalid');
+            return;
+        }
+        const txProvingState = provingState.getTxProvingState(txIndex);
+        const txHash = txProvingState.processedTx.hash.toString();
+        const handleResult = (result)=>{
+            logger.debug(`Got tube proof for tx index: ${txIndex}`, {
+                txHash
+            });
+            txProvingState.setTubeProof(result);
+            this.provingState?.cachedTubeProofs.delete(txHash);
+            this.checkAndEnqueueNextTxCircuit(provingState, txIndex);
+        };
+        if (this.provingState?.cachedTubeProofs.has(txHash)) {
+            logger.debug(`Tube proof already enqueued for tx index: ${txIndex}`, {
+                txHash
+            });
+            void this.provingState.cachedTubeProofs.get(txHash).then(handleResult);
+            return;
+        }
+        logger.debug(`Enqueuing tube circuit for tx index: ${txIndex}`);
+        this.doEnqueueTube(txHash, txProvingState.getTubeInputs(), handleResult);
+    }
+    doEnqueueTube(txHash, inputs, handler, provingState = this.provingState) {
+        if (!provingState?.verifyState()) {
+            logger.debug('Not running tube circuit, state invalid');
+            return;
+        }
+        this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getTubeProof', {
+            [Attributes.TX_HASH]: txHash,
+            [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
+            [Attributes.PROTOCOL_CIRCUIT_NAME]: 'tube-circuit'
+        }, (signal)=>this.prover.getTubeProof(inputs, signal, this.provingState.epochNumber)), handler);
+    }
+    // Executes the merge rollup circuit and stored the output as intermediate state for the parent merge/block root circuit
+    // Enqueues the next level of merge if all inputs are available
+    enqueueMergeRollup(provingState, location) {
+        if (!provingState.verifyState()) {
+            logger.debug('Not running merge rollup. State no longer valid.');
+            return;
+        }
+        const inputs = provingState.getMergeRollupInputs(location);
+        this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getMergeRollupProof', {
+            [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
+            [Attributes.PROTOCOL_CIRCUIT_NAME]: 'merge-rollup'
+        }, (signal)=>this.prover.getMergeRollupProof(inputs, signal, provingState.epochNumber)), async (result)=>{
+            provingState.setMergeRollupProof(location, result);
+            await this.checkAndEnqueueNextMergeRollup(provingState, location);
+        });
+    }
+    // Executes the block root rollup circuit
+    async enqueueBlockRootRollup(provingState) {
+        if (!provingState.verifyState()) {
+            logger.debug('Not running block root rollup, state no longer valid');
+            return;
+        }
+        provingState.blockRootRollupStarted = true;
+        const { rollupType, inputs } = await provingState.getBlockRootRollupTypeAndInputs(this.proverId);
+        logger.debug(`Enqueuing ${rollupType} for block ${provingState.blockNumber} with ${provingState.newL1ToL2Messages.length} l1 to l2 msgs.`);
+        this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getBlockRootRollupProof', {
+            [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
+            [Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType
+        }, (signal)=>{
+            if (inputs instanceof EmptyBlockRootRollupInputs) {
+                return this.prover.getEmptyBlockRootRollupProof(inputs, signal, provingState.epochNumber);
+            } else if (inputs instanceof SingleTxBlockRootRollupInputs) {
+                return this.prover.getSingleTxBlockRootRollupProof(inputs, signal, provingState.epochNumber);
+            } else {
+                return this.prover.getBlockRootRollupProof(inputs, signal, provingState.epochNumber);
+            }
+        }), async (result)=>{
+            provingState.setBlockRootRollupProof(result);
+            const header = await provingState.buildHeaderFromProvingOutputs(logger);
+            if (!(await header.hash()).equals(await provingState.block.header.hash())) {
+                logger.error(`Block header mismatch\nCircuit:${inspect(header)}\nComputed:${inspect(provingState.block.header)}`);
+                provingState.reject(`Block header hash mismatch`);
+            }
+            logger.debug(`Completed ${rollupType} proof for block ${provingState.block.number}`);
+            // validatePartialState(result.inputs.end, tx.treeSnapshots); // TODO(palla/prover)
+            const epochProvingState = this.provingState;
+            const leafLocation = epochProvingState.setBlockRootRollupProof(provingState.index, result);
+            if (epochProvingState.totalNumBlocks === 1) {
+                await this.enqueueEpochPadding(epochProvingState);
+            } else {
+                this.checkAndEnqueueNextBlockMergeRollup(epochProvingState, leafLocation);
+            }
+        });
+    }
+    // Executes the base parity circuit and stores the intermediate state for the root parity circuit
+    // Enqueues the root parity circuit if all inputs are available
+    enqueueBaseParityCircuit(provingState, inputs, index) {
+        if (!provingState.verifyState()) {
+            logger.debug('Not running base parity. State no longer valid.');
+            return;
+        }
+        this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getBaseParityProof', {
+            [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
+            [Attributes.PROTOCOL_CIRCUIT_NAME]: 'base-parity'
+        }, (signal)=>this.prover.getBaseParityProof(inputs, signal, provingState.epochNumber)), (provingOutput)=>{
+            provingState.setBaseParityProof(index, provingOutput);
+            this.checkAndEnqueueRootParityCircuit(provingState);
+        });
+    }
+    checkAndEnqueueRootParityCircuit(provingState) {
+        if (!provingState.isReadyForRootParity()) {
+            return;
+        }
+        this.enqueueRootParityCircuit(provingState);
+    }
+    // Runs the root parity circuit ans stored the outputs
+    // Enqueues the root rollup proof if all inputs are available
+    enqueueRootParityCircuit(provingState) {
+        if (!provingState.verifyState()) {
+            logger.debug('Not running root parity. State no longer valid.');
+            return;
+        }
+        const inputs = provingState.getRootParityInputs();
+        this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getRootParityProof', {
+            [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
+            [Attributes.PROTOCOL_CIRCUIT_NAME]: 'root-parity'
+        }, (signal)=>this.prover.getRootParityProof(inputs, signal, provingState.epochNumber)), async (result)=>{
+            provingState.setRootParityProof(result);
+            await this.checkAndEnqueueBlockRootRollup(provingState);
+        });
+    }
+    // Executes the block merge rollup circuit and stored the output as intermediate state for the parent merge/block root circuit
+    // Enqueues the next level of merge if all inputs are available
+    enqueueBlockMergeRollup(provingState, location) {
+        if (!provingState.verifyState()) {
+            logger.debug('Not running block merge rollup. State no longer valid.');
+            return;
+        }
+        const inputs = provingState.getBlockMergeRollupInputs(location);
+        this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getBlockMergeRollupProof', {
+            [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
+            [Attributes.PROTOCOL_CIRCUIT_NAME]: 'block-merge-rollup'
+        }, (signal)=>this.prover.getBlockMergeRollupProof(inputs, signal, provingState.epochNumber)), (result)=>{
+            provingState.setBlockMergeRollupProof(location, result);
+            this.checkAndEnqueueNextBlockMergeRollup(provingState, location);
+        });
+    }
+    async enqueueEpochPadding(provingState) {
+        if (!provingState.verifyState()) {
+            logger.debug('Not running epoch padding. State no longer valid.');
+            return;
+        }
+        logger.debug('Padding epoch proof with an empty block root proof.');
+        const inputs = await provingState.getPaddingBlockRootInputs(this.proverId);
+        this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getEmptyBlockRootRollupProof', {
+            [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
+            [Attributes.PROTOCOL_CIRCUIT_NAME]: 'empty-block-root-rollup'
+        }, (signal)=>this.prover.getEmptyBlockRootRollupProof(inputs, signal, provingState.epochNumber)), (result)=>{
+            logger.debug('Completed proof for padding block root.');
+            provingState.setPaddingBlockRootProof(result);
+            this.checkAndEnqueueRootRollup(provingState);
+        });
+    }
+    // Executes the root rollup circuit
+    enqueueRootRollup(provingState) {
+        if (!provingState.verifyState()) {
+            logger.debug('Not running root rollup, state no longer valid');
+            return;
+        }
+        logger.debug(`Preparing root rollup`);
+        const inputs = provingState.getRootRollupInputs(this.proverId);
+        this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getRootRollupProof', {
+            [Attributes.PROTOCOL_CIRCUIT_TYPE]: 'server',
+            [Attributes.PROTOCOL_CIRCUIT_NAME]: 'root-rollup'
+        }, (signal)=>this.prover.getRootRollupProof(inputs, signal, provingState.epochNumber)), (result)=>{
+            logger.verbose(`Orchestrator completed root rollup for epoch ${provingState.epochNumber}`);
+            provingState.setRootRollupProof(result);
+            provingState.resolve({
+                status: 'success'
+            });
+        });
+    }
+    async checkAndEnqueueNextMergeRollup(provingState, currentLocation) {
+        if (!provingState.isReadyForMergeRollup(currentLocation)) {
+            return;
+        }
+        const parentLocation = provingState.getParentLocation(currentLocation);
+        if (parentLocation.level === 0) {
+            await this.checkAndEnqueueBlockRootRollup(provingState);
+        } else {
+            this.enqueueMergeRollup(provingState, parentLocation);
+        }
+    }
+    async checkAndEnqueueBlockRootRollup(provingState) {
+        if (!provingState.isReadyForBlockRootRollup()) {
+            logger.debug('Not ready for root rollup');
+            return;
+        }
+        if (provingState.blockRootRollupStarted) {
+            logger.debug('Block root rollup already started');
+            return;
+        }
+        const blockNumber = provingState.blockNumber;
+        // TODO(palla/prover): This closes the fork only on the happy path. If this epoch orchestrator
+        // is aborted and never reaches this point, it will leak the fork. We need to add a global cleanup,
+        // but have to make sure it only runs once all operations are completed, otherwise some function here
+        // will attempt to access the fork after it was closed.
+        logger.debug(`Cleaning up world state fork for ${blockNumber}`);
+        void this.dbs.get(blockNumber)?.close().then(()=>this.dbs.delete(blockNumber)).catch((err)=>logger.error(`Error closing db for block ${blockNumber}`, err));
+        await this.enqueueBlockRootRollup(provingState);
+    }
+    checkAndEnqueueNextBlockMergeRollup(provingState, currentLocation) {
+        if (!provingState.isReadyForBlockMerge(currentLocation)) {
+            return;
+        }
+        const parentLocation = provingState.getParentLocation(currentLocation);
+        if (parentLocation.level === 0) {
+            this.checkAndEnqueueRootRollup(provingState);
+        } else {
+            this.enqueueBlockMergeRollup(provingState, parentLocation);
+        }
+    }
+    checkAndEnqueueRootRollup(provingState) {
+        if (!provingState.isReadyForRootRollup()) {
+            logger.debug('Not ready for root rollup');
+            return;
+        }
+        this.enqueueRootRollup(provingState);
+    }
+    /**
+   * 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
+   */ enqueueVM(provingState, txIndex) {
+        if (!provingState.verifyState()) {
+            logger.debug(`Not running VM circuit as state is no longer valid`);
+            return;
+        }
+        const txProvingState = provingState.getTxProvingState(txIndex);
+        // This function tries to do AVM proving. If there is a failure, it fakes the proof unless AVM_PROVING_STRICT is defined.
+        // Nothing downstream depends on the AVM proof yet. So having this mode lets us incrementally build the AVM circuit.
+        const doAvmProving = wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getAvmProof', {
+            [Attributes.TX_HASH]: txProvingState.processedTx.hash.toString()
+        }, async (signal)=>{
+            const inputs = txProvingState.getAvmInputs();
+            try {
+                return await this.prover.getAvmProof(inputs, signal, provingState.epochNumber);
+            } catch (err) {
+                if (process.env.AVM_PROVING_STRICT) {
+                    logger.error(`Error thrown when proving AVM circuit with AVM_PROVING_STRICT on`, err);
+                    throw err;
+                } else {
+                    logger.warn(`Error thrown when proving AVM circuit but AVM_PROVING_STRICT is off. Faking AVM proof and carrying on. ${inspect(err)}.`);
+                    return {
+                        proof: makeEmptyRecursiveProof(AVM_PROOF_LENGTH_IN_FIELDS),
+                        verificationKey: VerificationKeyData.makeFake(AVM_VERIFICATION_KEY_LENGTH_IN_FIELDS)
+                    };
+                }
+            }
+        });
+        this.deferredProving(provingState, doAvmProving, (proofAndVk)=>{
+            logger.debug(`Proven VM for tx index: ${txIndex}`);
+            txProvingState.setAvmProof(proofAndVk);
+            this.checkAndEnqueueNextTxCircuit(provingState, txIndex);
+        });
+    }
+    checkAndEnqueueNextTxCircuit(provingState, txIndex) {
+        const txProvingState = provingState.getTxProvingState(txIndex);
+        if (!txProvingState.ready()) {
+            return;
+        }
+        // We must have completed all proving (tube proof and (if required) vm proof are generated), we now move to the base rollup.
+        logger.debug(`Public functions completed for tx ${txIndex} enqueueing base rollup`);
+        this.enqueueBaseRollup(provingState, txIndex);
+    }
+}
+_ts_decorate([
+    trackSpan('ProvingOrchestrator.startNewBlock', (globalVariables)=>({
+            [Attributes.BLOCK_NUMBER]: globalVariables.blockNumber.toNumber()
+        }))
+], ProvingOrchestrator.prototype, "startNewBlock", null);
+_ts_decorate([
+    trackSpan('ProvingOrchestrator.addTxs', (txs)=>({
+            [Attributes.BLOCK_TXS_COUNT]: txs.length
+        }))
+], ProvingOrchestrator.prototype, "addTxs", null);
+_ts_decorate([
+    trackSpan('ProvingOrchestrator.startTubeCircuits')
+], ProvingOrchestrator.prototype, "startTubeCircuits", null);
+_ts_decorate([
+    trackSpan('ProvingOrchestrator.setBlockCompleted', (blockNumber)=>({
+            [Attributes.BLOCK_NUMBER]: blockNumber
+        }))
+], ProvingOrchestrator.prototype, "setBlockCompleted", null);
+_ts_decorate([
+    trackSpan('ProvingOrchestrator.prepareBaseRollupInputs', (_, tx)=>({
+            [Attributes.TX_HASH]: tx.hash.toString()
+        }))
+], ProvingOrchestrator.prototype, "prepareBaseRollupInputs", null);