@aztec/prover-client 0.0.1-commit.993d240 → 0.0.1-commit.9a89641

package/dest/proving_broker/proving_broker.js

@@ -9,6 +9,18 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
 import assert from 'assert';
 import { defaultProverBrokerConfig } from './config.js';
 import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.js';
+function toJobMetadata(job) {
+    return {
+        id: job.id,
+        type: job.type,
+        epochNumber: job.epochNumber
+    };
+}
+function toSettledRecord(result) {
+    return result.status === 'fulfilled' ? {
+        status: 'fulfilled'
+    } : result;
+}
 /**
  * A broker that manages proof requests and distributes them to workers based on their priority.
  * It takes a backend that is responsible for storing and retrieving proof requests and results.
@@ -16,11 +28,17 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
     database;
     logger;
     queues;
-    // holds a copy of the database in memory in order to quickly fulfill requests
-    // this is fine because this broker is the only one that can modify the database
+    // Scheduling metadata for every known job (id, type, epochNumber). The large `inputsUri` is NOT held
+    // here — it lives in the database and is read on demand when a job is dispatched to an agent.
     jobsCache;
-    // as above, but for results
+    // Settled status for every settled job. The large fulfilled proof `value` is NOT held here — it lives
+    // in the database (read on demand in getProvingJobStatus) and, transiently, in `pendingResults` while
+    // its database write is in flight. Small payloads (rejected reason, aborted) are kept inline.
     resultsCache;
+    // Transient hold of a fulfilled result's full value, from the moment it settles until its database
+    // write commits, so status reads are read-your-writes without retaining every proof. Evicted once the
+    // value is durable in the database; kept only if that write failed (preserving the result in memory).
+    pendingResults;
     // tracks when each job was enqueued
     enqueuedAt;
     // keeps track of which jobs are currently being processed
@@ -30,7 +48,8 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
     inProgress;
     // keep track of which proving job has been retried
     retries;
-    // a map of promises that will be resolved when a job is settled
+    // a map of promises that are resolved when a job settles. Carries no payload (settled status/results
+    // are read from resultsCache/pendingResults/DB) so it never pins a proof value in memory.
     promises;
     cleanupPromise;
     msTimeSource;
@@ -77,6 +96,7 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         };
         this.jobsCache = new Map();
         this.resultsCache = new Map();
+        this.pendingResults = new Map();
         this.enqueuedAt = new Map();
         this.inProgress = new Map();
         this.retries = new Map();
@@ -120,11 +140,11 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
                 provingJobId: item.id,
                 status: result ? result.status : 'pending'
             });
-            this.jobsCache.set(item.id, item);
+            this.jobsCache.set(item.id, toJobMetadata(item));
             this.promises.set(item.id, promiseWithResolvers());
             if (result) {
-                this.promises.get(item.id).resolve(result);
-                this.resultsCache.set(item.id, result);
+                this.promises.get(item.id).resolve();
+                this.resultsCache.set(item.id, toSettledRecord(result));
             } else {
                 this.enqueueJobInternal(item);
             }
@@ -148,13 +168,13 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         return this.#cancelProvingJob(id);
     }
     getProvingJobStatus(id) {
-        return Promise.resolve(this.#getProvingJobStatus(id));
+        return this.#getProvingJobStatus(id);
     }
     getCompletedJobs(ids) {
         return this.#getCompletedJobs(ids);
     }
     getProvingJob(filter) {
-        return Promise.resolve(this.#getProvingJob(filter));
+        return this.#getProvingJob(filter);
     }
     reportProvingJobSuccess(id, value, filter) {
         return this.#reportProvingJobSuccess(id, value, filter);
@@ -163,7 +183,7 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         return this.#reportProvingJobError(id, err, retry, filter);
     }
     reportProvingJobProgress(id, startedAt, filter) {
-        return Promise.resolve(this.#reportProvingJobProgress(id, startedAt, filter));
+        return this.#reportProvingJobProgress(id, startedAt, filter);
     }
     async replayProvingJob(jobId, type, epochNumber, inputsUri) {
         if (!this.debugReplayEnabled) {
@@ -184,7 +204,7 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
             epochNumber,
             inputsUri
         };
-        this.jobsCache.set(jobId, job);
+        this.jobsCache.set(jobId, toJobMetadata(job));
         await this.database.addProvingJob(job);
         this.enqueueJobInternal(job);
         return {
@@ -192,16 +212,57 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         };
     }
     async #enqueueProvingJob(job) {
-        // We return the job status at the start of this call
-        const jobStatus = this.#getProvingJobStatus(job.id);
+        // The status returned to the caller reflects the job's state at the start of this call: `not-found`
+        // for a brand-new job (it did not exist yet), or the cached status for one already known. Crucially
+        // this must NOT `await` before the synchronous `jobsCache`/`resultsCache` gate below, or the
+        // enqueue/revive lock would no longer hold. So the not-found default is set synchronously here and
+        // the cached branch computes the real status (which may read the DB) only when it returns.
+        let jobStatus = {
+            status: 'not-found'
+        };
         if (this.jobsCache.has(job.id)) {
             const existing = this.jobsCache.get(job.id);
-            assert.deepStrictEqual(job, existing, 'Duplicate proving job ID');
-            this.logger.warn(`Cached proving job id=${job.id} epochNumber=${job.epochNumber}. Not enqueuing again`, {
-                provingJobId: job.id
-            });
-            this.instrumentation.incCachedJobs(job.type);
-            return jobStatus;
+            // Identity check is metadata-only: `inputsUri` now lives in the database, not memory, and job ids
+            // are content-addressed (same id ⇒ same inputs), so a mismatch shows up in id/type/epochNumber.
+            assert.deepStrictEqual(toJobMetadata(job), existing, 'Duplicate proving job ID');
+            if (this.resultsCache.get(job.id)?.status === 'aborted') {
+                // The producer is re-requesting a job it previously cancelled: revive it rather than
+                // returning the cached abort, clearing the aborted state in memory and in the database so the
+                // revival survives a restart.
+                //
+                // Concurrency model: `jobsCache` is the enqueue lock. Every path that puts a job on the queue
+                // populates `jobsCache` *synchronously, before its first await* (see the "New proving job"
+                // block below), so a second concurrent enqueue of the same id observes the entry at the top
+                // of this method and takes a cached, no-op branch instead of enqueuing a duplicate. The revive
+                // must keep holding that lock: we tear down the settled state and re-set `jobsCache` in a
+                // single synchronous span (no await in between), and only then await the database. Because a
+                // concurrent re-request can only interleave at that await — by which point `jobsCache` is
+                // populated again and the aborted result is gone — it falls into the cached branch and no-ops,
+                // so the job is enqueued exactly once. (`cleanUpProvingJobState` also drops the promise, so
+                // `enqueueJobInternal` below mints a fresh one for the retry.) This holds unchanged with the
+                // slimmer caches: `jobsCache` (now metadata) and `resultsCache` (now settled status) are still
+                // synchronous in-memory maps, so the tear-down + re-set span still contains no await.
+                this.logger.info(`Reviving aborted proving job id=${job.id} epochNumber=${job.epochNumber}`, {
+                    provingJobId: job.id
+                });
+                this.cleanUpProvingJobState([
+                    job.id
+                ]);
+                this.jobsCache.set(job.id, toJobMetadata(job));
+                await this.database.deleteProvingJobResult(job.id);
+                // The job is re-set in the cache and about to be re-enqueued below: its start status is in-queue.
+                jobStatus = {
+                    status: 'in-queue'
+                };
+            } else {
+                this.logger.warn(`Cached proving job id=${job.id} epochNumber=${job.epochNumber}. Not enqueuing again`, {
+                    provingJobId: job.id
+                });
+                this.instrumentation.incCachedJobs(job.type);
+                // Return the job's current status. This reads the fulfilled proof value from the DB when needed;
+                // the await is fine here because this branch does not enqueue, so it is outside the lock span.
+                return await this.#getProvingJobStatus(job.id);
+            }
         }
         if (this.isJobStale(job)) {
             this.logger.warn(`Tried enqueueing stale proving job id=${job.id} epochNumber=${job.epochNumber}`, {
@@ -214,7 +275,7 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         });
         try {
             // do this first so it acts as a "lock". If this job is enqueued again while we're saving it the if at the top will catch it.
-            this.jobsCache.set(job.id, job);
+            this.jobsCache.set(job.id, toJobMetadata(job));
             await this.database.addProvingJob(job);
             this.enqueueJobInternal(job);
             this.instrumentation.incTotalJobs(job.type);
@@ -228,18 +289,38 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         return jobStatus;
     }
     async #cancelProvingJob(id) {
-        if (!this.jobsCache.has(id)) {
+        const job = this.jobsCache.get(id);
+        if (!job) {
             this.logger.warn(`Can't cancel a job that doesn't exist id=${id}`, {
                 provingJobId: id
             });
             return;
         }
-        // notify listeners of the cancellation
-        if (!this.resultsCache.has(id)) {
-            this.logger.info(`Cancelling job id=${id}`, {
+        // Leave jobs that have already settled (completed or failed) alone: those results are terminal.
+        if (this.resultsCache.has(id)) {
+            return;
+        }
+        this.logger.info(`Cancelling job id=${id}`, {
+            provingJobId: id
+        });
+        this.inProgress.delete(id);
+        // Record the cancellation as its own settled state and persist it, so it survives a restart and
+        // notifies the current waiter. Unlike a completion or failure this is not terminal: re-enqueuing
+        // the same job id revives it (see #enqueueProvingJob), so the abort never permanently blocks the
+        // proof.
+        this.resultsCache.set(id, {
+            status: 'aborted'
+        });
+        this.promises.get(id)?.resolve();
+        this.completedJobNotifications.push(id);
+        this.instrumentation.incAbortedJobs(job.type);
+        try {
+            await this.database.setProvingJobAborted(id);
+        } catch (saveErr) {
+            this.logger.error(`Failed to save proving job aborted status id=${id}`, saveErr, {
                 provingJobId: id
             });
-            await this.#reportProvingJobError(id, 'Aborted', false, undefined, true);
+            throw saveErr;
         }
     }
     cleanUpProvingJobState(ids) {
@@ -248,35 +329,49 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
             this.jobsCache.delete(id);
             const deferred = this.promises.get(id);
             if (deferred) {
-                deferred.resolve({
-                    status: 'rejected',
-                    reason: 'Proving job cleaned up'
-                });
+                deferred.resolve();
             }
             this.promises.delete(id);
             this.resultsCache.delete(id);
+            this.pendingResults.delete(id);
             this.inProgress.delete(id);
             this.retries.delete(id);
             this.enqueuedAt.delete(id);
         }
         this.completedJobNotifications = this.completedJobNotifications.filter((id)=>!idsToClean.has(id));
     }
-    #getProvingJobStatus(id) {
-        const result = this.resultsCache.get(id);
-        if (result) {
-            return result;
-        } else {
-            // no result yet, check if we know the item
-            const item = this.jobsCache.get(id);
-            if (!item) {
-                return {
-                    status: 'not-found'
-                };
+    async #getProvingJobStatus(id) {
+        const settled = this.resultsCache.get(id);
+        if (settled) {
+            if (settled.status !== 'fulfilled') {
+                // rejected/aborted carry their (small) payload inline.
+                return settled;
             }
+            // A fulfilled job's proof value is not held in memory: serve it from the transient hold if its
+            // database write is still in flight, otherwise read it back from the database.
+            const full = this.pendingResults.get(id) ?? await this.database.getProvingJobResult(id);
+            if (full?.status === 'fulfilled') {
+                return full;
+            }
+            // Settled as fulfilled but the value is nowhere to be found — should not happen (it is held in
+            // pendingResults until its DB write commits). Report not-found rather than a torn result.
+            this.logger.error(`Fulfilled proving job id=${id} has no retrievable result value`, {
+                provingJobId: id
+            });
             return {
-                status: this.inProgress.has(id) ? 'in-progress' : 'in-queue'
+                status: 'not-found'
             };
         }
+        // no result yet, check if we know the item
+        const item = this.jobsCache.get(id);
+        if (!item) {
+            return {
+                status: 'not-found'
+            };
+        }
+        return {
+            status: this.inProgress.has(id) ? 'in-progress' : 'in-queue'
+        };
     }
     #getCompletedJobs(ids) {
         const completedJobs = ids.filter((id)=>this.resultsCache.has(id));
@@ -284,7 +379,7 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         this.completedJobNotifications = [];
         return Promise.resolve(notifications.concat(completedJobs));
     }
-    #getProvingJob(filter = {
+    async #getProvingJob(filter = {
         allowList: []
     }) {
         const allowedProofs = Array.isArray(filter.allowList) && filter.allowList.length > 0 ? [
@@ -299,20 +394,43 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
             // this can happen if the broker crashes and restarts
             // it's possible agents will report progress or results for jobs that are in the queue (after the restart)
             while(enqueuedJob = queue.getImmediate()){
-                const job = this.jobsCache.get(enqueuedJob.id);
-                if (job && !this.inProgress.has(enqueuedJob.id) && !this.resultsCache.has(enqueuedJob.id)) {
+                const meta = this.jobsCache.get(enqueuedJob.id);
+                if (meta && !this.inProgress.has(enqueuedJob.id) && !this.resultsCache.has(enqueuedJob.id)) {
                     const time = this.msTimeSource();
-                    this.inProgress.set(job.id, {
-                        id: job.id,
+                    // Claim the job synchronously (before the await below) so a concurrent dispatch can't re-pick
+                    // it. The same id can sit in a queue more than once (an abort leaves a stale entry that a
+                    // later revive re-enqueues alongside), so this in-progress claim — not the queue pop — is what
+                    // dedups those copies across concurrently-polling agents. It must be set before the await.
+                    this.inProgress.set(meta.id, {
+                        id: meta.id,
                         startedAt: time,
                         lastUpdatedAt: time
                     });
-                    const enqueuedAt = this.enqueuedAt.get(job.id);
+                    // The large inputs are not kept in memory; read them from the database. They were durably
+                    // persisted (addProvingJob's write commits) before the job became dispatchable, so this hits.
+                    const inputsUri = await this.database.getProvingJobInputs(meta.id);
+                    if (!inputsUri) {
+                        // The job was cleaned up (or its inputs lost) after we claimed it — release the claim and
+                        // keep draining the queue for another candidate. Nothing else was mutated yet, so there is
+                        // no wait metric or enqueued-at timer to unwind.
+                        this.inProgress.delete(meta.id);
+                        this.logger.warn(`No inputs found for proving job id=${meta.id}; skipping dispatch`, {
+                            provingJobId: meta.id
+                        });
+                        continue;
+                    }
+                    // The dispatch is now committed: record the queue wait and clear the enqueued-at timer.
+                    const enqueuedAt = this.enqueuedAt.get(meta.id);
                     if (enqueuedAt) {
-                        this.instrumentation.recordJobWait(job.type, enqueuedAt);
-                        // we can clear this flag now.
-                        this.enqueuedAt.delete(job.id);
+                        this.instrumentation.recordJobWait(meta.type, enqueuedAt);
+                        this.enqueuedAt.delete(meta.id);
                     }
+                    const job = {
+                        id: meta.id,
+                        type: meta.type,
+                        epochNumber: meta.epochNumber,
+                        inputsUri
+                    };
                     return {
                         job,
                         time
@@ -322,7 +440,7 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         }
         return undefined;
     }
-    async #reportProvingJobError(id, err, retry = false, filter, aborted = false) {
+    async #reportProvingJobError(id, err, retry = false, filter) {
         const info = this.inProgress.get(id);
         const item = this.jobsCache.get(id);
         const retries = this.retries.get(id) ?? 0;
@@ -360,20 +478,15 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         this.logger.info(`Marking proving job as failed id=${id} type=${ProvingRequestType[item.type]} totalAttempts=${retries + 1} err=${err}`, {
             provingJobId: id
         });
-        // save the result to the cache and notify clients of the job status
-        // this should work even if our database breaks because the result is cached in memory
-        const result = {
+        // save the (small) rejection reason to the cache and notify clients of the job status. The reason
+        // is kept in memory, so status reads work even if the database write below fails.
+        this.resultsCache.set(id, {
             status: 'rejected',
             reason: String(err)
-        };
-        this.resultsCache.set(id, result);
-        this.promises.get(id).resolve(result);
+        });
+        this.promises.get(id).resolve();
         this.completedJobNotifications.push(id);
-        if (aborted) {
-            this.instrumentation.incAbortedJobs(item.type);
-        } else {
-            this.instrumentation.incRejectedJobs(item.type);
-        }
+        this.instrumentation.incRejectedJobs(item.type);
         if (info) {
             const duration = this.msTimeSource() - info.startedAt;
             this.instrumentation.recordJobDuration(item.type, duration);
@@ -388,19 +501,19 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         }
         return this.#getProvingJob(filter);
     }
-    #reportProvingJobProgress(id, startedAt, filter) {
+    async #reportProvingJobProgress(id, startedAt, filter) {
         const job = this.jobsCache.get(id);
         if (!job) {
             this.logger.warn(`Proving job id=${id} does not exist`, {
                 provingJobId: id
             });
-            return this.#getProvingJob(filter);
+            return await this.#getProvingJob(filter);
         }
         if (this.resultsCache.has(id)) {
             this.logger.warn(`Proving job id=${id} has already been completed`, {
                 provingJobId: id
             });
-            return this.#getProvingJob(filter);
+            return await this.#getProvingJob(filter);
         }
         const metadata = this.inProgress.get(id);
         const now = this.msTimeSource();
@@ -434,7 +547,7 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         this.logger.warn(`Proving job id=${id} type=${ProvingRequestType[job.type]} already being worked on by another agent. Sending new one`, {
             provingJobId: id
         });
-        return this.#getProvingJob(filter);
+        return await this.#getProvingJob(filter);
     }
     async #reportProvingJobSuccess(id, value, filter) {
         const info = this.inProgress.get(id);
@@ -462,15 +575,17 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         this.logger.info(`Proving job complete id=${id} type=${ProvingRequestType[item.type]} totalAttempts=${retries + 1}`, {
             provingJobId: id
         });
-        // save result to our local cache and notify clients
-        // if save to database fails, that's ok because we have the result in memory
-        // if the broker crashes and needs the result again, we're covered because we can just recompute it
-        const result = {
+        // Mark settled synchronously (the gate that makes concurrent settles no-op, unchanged from before),
+        // holding only the status in resultsCache. The large proof value is kept transiently in
+        // pendingResults so status reads are read-your-writes until the database write below commits.
+        this.resultsCache.set(id, {
+            status: 'fulfilled'
+        });
+        this.pendingResults.set(id, {
             status: 'fulfilled',
             value
-        };
-        this.resultsCache.set(id, result);
-        this.promises.get(id).resolve(result);
+        });
+        this.promises.get(id).resolve();
         this.completedJobNotifications.push(id);
         this.instrumentation.incResolvedJobs(item.type);
         if (info) {
@@ -479,7 +594,11 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
         }
         try {
             await this.database.setProvingJobResult(id, value);
+            // The value is durable in the database now; drop the transient in-memory copy.
+            this.pendingResults.delete(id);
         } catch (saveErr) {
+            // Keep the value in pendingResults so status/result reads still succeed despite the failed write —
+            // this preserves the previous "works even if the database breaks" behaviour for this edge.
             this.logger.error(`Failed to save proving job result id=${id}`, saveErr, {
                 provingJobId: id
             });
@@ -537,12 +656,11 @@ import { ProvingBrokerInstrumentation } from './proving_broker_instrumentation.j
                     this.logger.error(`Proving job id=${id} timed out after ${retries + 1} attempts. Marking as failed.`, {
                         provingJobId: id
                     });
-                    const result = {
+                    this.resultsCache.set(id, {
                         status: 'rejected',
                         reason: 'Timed out'
-                    };
-                    this.resultsCache.set(id, result);
-                    this.promises.get(id)?.resolve(result);
+                    });
+                    this.promises.get(id)?.resolve();
                     this.completedJobNotifications.push(id);
                     this.instrumentation.incRejectedJobs(item.type);
                 }

package/dest/proving_broker/proving_broker_database/memory.d.ts

@@ -5,13 +5,16 @@ export declare class InMemoryBrokerDatabase implements ProvingBrokerDatabase {
     private jobs;
     private results;
     getProvingJob(id: ProvingJobId): ProvingJob | undefined;
-    getProvingJobResult(id: ProvingJobId): ProvingJobSettledResult | undefined;
+    getProvingJobInputs(id: ProvingJobId): Promise<ProofUri | undefined>;
+    getProvingJobResult(id: ProvingJobId): Promise<ProvingJobSettledResult | undefined>;
     addProvingJob(job: ProvingJob): Promise<void>;
     setProvingJobResult(id: ProvingJobId, value: ProofUri): Promise<void>;
     setProvingJobError(id: ProvingJobId, reason: string): Promise<void>;
+    setProvingJobAborted(id: ProvingJobId): Promise<void>;
+    deleteProvingJobResult(id: ProvingJobId): Promise<void>;
     deleteProvingJobs(ids: ProvingJobId[]): Promise<void>;
     deleteAllProvingJobsOlderThanEpoch(epochNumber: EpochNumber): Promise<void>;
     allProvingJobs(): AsyncIterableIterator<[ProvingJob, ProvingJobSettledResult | undefined]>;
     close(): Promise<void>;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVtb3J5LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHJvdmluZ19icm9rZXIvcHJvdmluZ19icm9rZXJfZGF0YWJhc2UvbWVtb3J5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM5RCxPQUFPLEVBQ0wsS0FBSyxRQUFRLEVBQ2IsS0FBSyxVQUFVLEVBQ2YsS0FBSyxZQUFZLEVBQ2pCLEtBQUssdUJBQXVCLEVBRTdCLE1BQU0saUNBQWlDLENBQUM7QUFFekMsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUUzRSxxQkFBYSxzQkFBdUIsWUFBVyxxQkFBcUI7SUFDbEUsT0FBTyxDQUFDLElBQUksQ0FBdUM7SUFDbkQsT0FBTyxDQUFDLE9BQU8sQ0FBb0Q7SUFFbkUsYUFBYSxDQUFDLEVBQUUsRUFBRSxZQUFZLEdBQUcsVUFBVSxHQUFHLFNBQVMsQ0FFdEQ7SUFFRCxtQkFBbUIsQ0FBQyxFQUFFLEVBQUUsWUFBWSxHQUFHLHVCQUF1QixHQUFHLFNBQVMsQ0FFekU7SUFFRCxhQUFhLENBQUMsR0FBRyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRzVDO0lBRUQsbUJBQW1CLENBQUMsRUFBRSxFQUFFLFlBQVksRUFBRSxLQUFLLEVBQUUsUUFBUSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FHcEU7SUFFRCxrQkFBa0IsQ0FBQyxFQUFFLEVBQUUsWUFBWSxFQUFFLE1BQU0sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUdsRTtJQUVELGlCQUFpQixDQUFDLEdBQUcsRUFBRSxZQUFZLEVBQUUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBTXBEO0lBRUQsa0NBQWtDLENBQUMsV0FBVyxFQUFFLFdBQVcsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBTTFFO0lBRU0sY0FBYyxJQUFJLHFCQUFxQixDQUFDLENBQUMsVUFBVSxFQUFFLHVCQUF1QixHQUFHLFNBQVMsQ0FBQyxDQUFDLENBSWhHO0lBRUQsS0FBSyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFckI7Q0FDRiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVtb3J5LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHJvdmluZ19icm9rZXIvcHJvdmluZ19icm9rZXJfZGF0YWJhc2UvbWVtb3J5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM5RCxPQUFPLEVBQ0wsS0FBSyxRQUFRLEVBQ2IsS0FBSyxVQUFVLEVBQ2YsS0FBSyxZQUFZLEVBQ2pCLEtBQUssdUJBQXVCLEVBRTdCLE1BQU0saUNBQWlDLENBQUM7QUFFekMsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUUzRSxxQkFBYSxzQkFBdUIsWUFBVyxxQkFBcUI7SUFDbEUsT0FBTyxDQUFDLElBQUksQ0FBdUM7SUFDbkQsT0FBTyxDQUFDLE9BQU8sQ0FBb0Q7SUFFbkUsYUFBYSxDQUFDLEVBQUUsRUFBRSxZQUFZLEdBQUcsVUFBVSxHQUFHLFNBQVMsQ0FFdEQ7SUFFRCxtQkFBbUIsQ0FBQyxFQUFFLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxRQUFRLEdBQUcsU0FBUyxDQUFDLENBRW5FO0lBRUQsbUJBQW1CLENBQUMsRUFBRSxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsdUJBQXVCLEdBQUcsU0FBUyxDQUFDLENBRWxGO0lBRUQsYUFBYSxDQUFDLEdBQUcsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUc1QztJQUVELG1CQUFtQixDQUFDLEVBQUUsRUFBRSxZQUFZLEVBQUUsS0FBSyxFQUFFLFFBQVEsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBR3BFO0lBRUQsa0JBQWtCLENBQUMsRUFBRSxFQUFFLFlBQVksRUFBRSxNQUFNLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FHbEU7SUFFRCxvQkFBb0IsQ0FBQyxFQUFFLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FHcEQ7SUFFRCxzQkFBc0IsQ0FBQyxFQUFFLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FHdEQ7SUFFRCxpQkFBaUIsQ0FBQyxHQUFHLEVBQUUsWUFBWSxFQUFFLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQU1wRDtJQUVELGtDQUFrQyxDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQU0xRTtJQUVNLGNBQWMsSUFBSSxxQkFBcUIsQ0FBQyxDQUFDLFVBQVUsRUFBRSx1QkFBdUIsR0FBRyxTQUFTLENBQUMsQ0FBQyxDQUloRztJQUVELEtBQUssSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBRXJCO0NBQ0YifQ==

package/dest/proving_broker/proving_broker_database/memory.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../../src/proving_broker/proving_broker_database/memory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAE7B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E,qBAAa,sBAAuB,YAAW,qBAAqB;IAClE,OAAO,CAAC,IAAI,CAAuC;IACnD,OAAO,CAAC,OAAO,CAAoD;IAEnE,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,UAAU,GAAG,SAAS,CAEtD;IAED,mBAAmB,CAAC,EAAE,EAAE,YAAY,GAAG,uBAAuB,GAAG,SAAS,CAEzE;IAED,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAG5C;IAED,mBAAmB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAGpE;IAED,kBAAkB,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGlE;IAED,iBAAiB,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAMpD;IAED,kCAAkC,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAM1E;IAEM,cAAc,IAAI,qBAAqB,CAAC,CAAC,UAAU,EAAE,uBAAuB,GAAG,SAAS,CAAC,CAAC,CAIhG;IAED,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAErB;CACF"}
+{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../../src/proving_broker/proving_broker_database/memory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAE7B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E,qBAAa,sBAAuB,YAAW,qBAAqB;IAClE,OAAO,CAAC,IAAI,CAAuC;IACnD,OAAO,CAAC,OAAO,CAAoD;IAEnE,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,UAAU,GAAG,SAAS,CAEtD;IAED,mBAAmB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC,CAEnE;IAED,mBAAmB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,uBAAuB,GAAG,SAAS,CAAC,CAElF;IAED,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAG5C;IAED,mBAAmB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAGpE;IAED,kBAAkB,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGlE;IAED,oBAAoB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAGpD;IAED,sBAAsB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAGtD;IAED,iBAAiB,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAMpD;IAED,kCAAkC,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAM1E;IAEM,cAAc,IAAI,qBAAqB,CAAC,CAAC,UAAU,EAAE,uBAAuB,GAAG,SAAS,CAAC,CAAC,CAIhG;IAED,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAErB;CACF"}

package/dest/proving_broker/proving_broker_database/memory.js

@@ -5,8 +5,11 @@ export class InMemoryBrokerDatabase {
     getProvingJob(id) {
         return this.jobs.get(id);
     }
+    getProvingJobInputs(id) {
+        return Promise.resolve(this.jobs.get(id)?.inputsUri);
+    }
     getProvingJobResult(id) {
-        return this.results.get(id);
+        return Promise.resolve(this.results.get(id));
     }
     addProvingJob(job) {
         this.jobs.set(job.id, job);
@@ -26,6 +29,16 @@ export class InMemoryBrokerDatabase {
         });
         return Promise.resolve();
     }
+    setProvingJobAborted(id) {
+        this.results.set(id, {
+            status: 'aborted'
+        });
+        return Promise.resolve();
+    }
+    deleteProvingJobResult(id) {
+        this.results.delete(id);
+        return Promise.resolve();
+    }
     deleteProvingJobs(ids) {
         for (const id of ids){
             this.jobs.delete(id);

package/dest/proving_broker/proving_broker_database/persisted.d.ts

@@ -4,6 +4,14 @@ import { type ProofUri, ProvingJob, type ProvingJobId, ProvingJobSettledResult }
 import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
 import type { ProverBrokerConfig } from '../config.js';
 import type { ProvingBrokerDatabase } from '../proving_broker_database.js';
+/**
+ * An item queued for a batched write. A {@link ProvingJob} adds/updates a job; a `[id, result]`
+ * tuple sets a job's settled result; a `[id, undefined]` tuple deletes a job's result. Deletes ride
+ * the same queue as writes so they stay FIFO-ordered against them: a revive's result-delete must
+ * land after the abort that preceded it, otherwise a still-queued abort could flush later and
+ * resurrect the cancelled state on disk.
+ */
+type BrokerWrite = ProvingJob | [ProvingJobId, ProvingJobSettledResult | undefined];
 export declare class KVBrokerDatabase implements ProvingBrokerDatabase {
     private epochs;
     private config;
@@ -12,7 +20,7 @@ export declare class KVBrokerDatabase implements ProvingBrokerDatabase {
     private batchQueue;
     readonly tracer: Tracer;
     private constructor();
-    commitWrites(items: Array<ProvingJob | [ProvingJobId, ProvingJobSettledResult]>, epochNumber: number): Promise<void>;
+    commitWrites(items: Array<BrokerWrite>, epochNumber: number): Promise<void>;
     private estimateSize;
     static new(config: ProverBrokerConfig, client?: TelemetryClient, logger?: Logger): Promise<KVBrokerDatabase>;
     private start;
@@ -20,8 +28,13 @@ export declare class KVBrokerDatabase implements ProvingBrokerDatabase {
     deleteAllProvingJobsOlderThanEpoch(epochNumber: EpochNumber): Promise<void>;
     addProvingJob(job: ProvingJob): Promise<void>;
     allProvingJobs(): AsyncIterableIterator<[ProvingJob, ProvingJobSettledResult | undefined]>;
+    getProvingJobInputs(id: ProvingJobId): Promise<ProofUri | undefined>;
+    getProvingJobResult(id: ProvingJobId): Promise<ProvingJobSettledResult | undefined>;
     setProvingJobError(id: ProvingJobId, reason: string): Promise<void>;
+    setProvingJobAborted(id: ProvingJobId): Promise<void>;
+    deleteProvingJobResult(id: ProvingJobId): Promise<void>;
     setProvingJobResult(id: ProvingJobId, value: ProofUri): Promise<void>;
     private getEpochDatabase;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGVyc2lzdGVkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHJvdmluZ19icm9rZXIvcHJvdmluZ19icm9rZXJfZGF0YWJhc2UvcGVyc2lzdGVkLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUU5RCxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQWdCLE1BQU0sdUJBQXVCLENBQUM7QUFJbEUsT0FBTyxFQUNMLEtBQUssUUFBUSxFQUNiLFVBQVUsRUFDVixLQUFLLFlBQVksRUFDakIsdUJBQXVCLEVBRXhCLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxFQUdMLEtBQUssZUFBZSxFQUNwQixLQUFLLE1BQU0sRUFHWixNQUFNLHlCQUF5QixDQUFDO0FBS2pDLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sY0FBYyxDQUFDO0FBQ3ZELE9BQU8sS0FBSyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUF3RDNFLHFCQUFhLGdCQUFpQixZQUFXLHFCQUFxQjtJQVExRCxPQUFPLENBQUMsTUFBTTtJQUNkLE9BQU8sQ0FBQyxNQUFNO0lBRWQsT0FBTyxDQUFDLE1BQU07SUFWaEIsT0FBTyxDQUFDLE9BQU8sQ0FBYztJQUU3QixPQUFPLENBQUMsVUFBVSxDQUEyRTtJQUU3RixTQUFnQixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBRS9CLE9BQU8sZUFzQk47SUFHWSxZQUFZLENBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxVQUFVLEdBQUcsQ0FBQyxZQUFZLEVBQUUsdUJBQXVCLENBQUMsQ0FBQyxFQUFFLFdBQVcsRUFBRSxNQUFNLGlCQU1oSDtZQUVhLFlBQVk7SUFVMUIsT0FBb0IsR0FBRyxDQUNyQixNQUFNLEVBQUUsa0JBQWtCLEVBQzFCLE1BQU0sR0FBRSxlQUFzQyxFQUM5QyxNQUFNLFNBQXdELDZCQThCL0Q7SUFFRCxPQUFPLENBQUMsS0FBSztJQUlQLEtBQUssSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBSzNCO0lBS0ssa0NBQWtDLENBQUMsV0FBVyxFQUFFLFdBQVcsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBV2hGO0lBRUQsYUFBYSxDQUFDLEdBQUcsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUU1QztJQUVNLGNBQWMsSUFBSSxxQkFBcUIsQ0FBQyxDQUFDLFVBQVUsRUFBRSx1QkFBdUIsR0FBRyxTQUFTLENBQUMsQ0FBQyxDQUtoRztJQUVELGtCQUFrQixDQUFDLEVBQUUsRUFBRSxZQUFZLEVBQUUsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRWxFO0lBRUQsbUJBQW1CLENBQUMsRUFBRSxFQUFFLFlBQVksRUFBRSxLQUFLLEVBQUUsUUFBUSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFcEU7WUFFYSxnQkFBZ0I7Q0FvQi9CIn0=
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGVyc2lzdGVkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHJvdmluZ19icm9rZXIvcHJvdmluZ19icm9rZXJfZGF0YWJhc2UvcGVyc2lzdGVkLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUU5RCxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQWdCLE1BQU0sdUJBQXVCLENBQUM7QUFJbEUsT0FBTyxFQUNMLEtBQUssUUFBUSxFQUNiLFVBQVUsRUFDVixLQUFLLFlBQVksRUFDakIsdUJBQXVCLEVBRXhCLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxFQUdMLEtBQUssZUFBZSxFQUNwQixLQUFLLE1BQU0sRUFHWixNQUFNLHlCQUF5QixDQUFDO0FBS2pDLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sY0FBYyxDQUFDO0FBQ3ZELE9BQU8sS0FBSyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFnRjNFOzs7Ozs7R0FNRztBQUNILEtBQUssV0FBVyxHQUFHLFVBQVUsR0FBRyxDQUFDLFlBQVksRUFBRSx1QkFBdUIsR0FBRyxTQUFTLENBQUMsQ0FBQztBQUVwRixxQkFBYSxnQkFBaUIsWUFBVyxxQkFBcUI7SUFRMUQsT0FBTyxDQUFDLE1BQU07SUFDZCxPQUFPLENBQUMsTUFBTTtJQUVkLE9BQU8sQ0FBQyxNQUFNO0lBVmhCLE9BQU8sQ0FBQyxPQUFPLENBQWM7SUFFN0IsT0FBTyxDQUFDLFVBQVUsQ0FBa0M7SUFFcEQsU0FBZ0IsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUUvQixPQUFPLGVBc0JOO0lBR1ksWUFBWSxDQUFDLEtBQUssRUFBRSxLQUFLLENBQUMsV0FBVyxDQUFDLEVBQUUsV0FBVyxFQUFFLE1BQU0saUJBVXZFO1lBRWEsWUFBWTtJQVUxQixPQUFvQixHQUFHLENBQ3JCLE1BQU0sRUFBRSxrQkFBa0IsRUFDMUIsTUFBTSxHQUFFLGVBQXNDLEVBQzlDLE1BQU0sU0FBd0QsNkJBOEIvRDtJQUVELE9BQU8sQ0FBQyxLQUFLO0lBSVAsS0FBSyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FLM0I7SUFLSyxrQ0FBa0MsQ0FBQyxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FXaEY7SUFPRCxhQUFhLENBQUMsR0FBRyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRTVDO0lBRU0sY0FBYyxJQUFJLHFCQUFxQixDQUFDLENBQUMsVUFBVSxFQUFFLHVCQUF1QixHQUFHLFNBQVMsQ0FBQyxDQUFDLENBS2hHO0lBT0QsbUJBQW1CLENBQUMsRUFBRSxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsUUFBUSxHQUFHLFNBQVMsQ0FBQyxDQUVuRTtJQUVELG1CQUFtQixDQUFDLEVBQUUsRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDLHVCQUF1QixHQUFHLFNBQVMsQ0FBQyxDQUVsRjtJQUVELGtCQUFrQixDQUFDLEVBQUUsRUFBRSxZQUFZLEVBQUUsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRWxFO0lBRUQsb0JBQW9CLENBQUMsRUFBRSxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRXBEO0lBRUQsc0JBQXNCLENBQUMsRUFBRSxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRXREO0lBRUQsbUJBQW1CLENBQUMsRUFBRSxFQUFFLFlBQVksRUFBRSxLQUFLLEVBQUUsUUFBUSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFcEU7WUFFYSxnQkFBZ0I7Q0FvQi9CIn0=

package/dest/proving_broker/proving_broker_database/persisted.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"persisted.d.ts","sourceRoot":"","sources":["../../../src/proving_broker/proving_broker_database/persisted.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAE9D,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAIlE,OAAO,EACL,KAAK,QAAQ,EACb,UAAU,EACV,KAAK,YAAY,EACjB,uBAAuB,EAExB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,MAAM,EAGZ,MAAM,yBAAyB,CAAC;AAKjC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAwD3E,qBAAa,gBAAiB,YAAW,qBAAqB;IAQ1D,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,MAAM;IAEd,OAAO,CAAC,MAAM;IAVhB,OAAO,CAAC,OAAO,CAAc;IAE7B,OAAO,CAAC,UAAU,CAA2E;IAE7F,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,OAAO,eAsBN;IAGY,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,GAAG,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,iBAMhH;YAEa,YAAY;IAU1B,OAAoB,GAAG,CACrB,MAAM,EAAE,kBAAkB,EAC1B,MAAM,GAAE,eAAsC,EAC9C,MAAM,SAAwD,6BA8B/D;IAED,OAAO,CAAC,KAAK;IAIP,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAK3B;IAKK,kCAAkC,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAWhF;IAED,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAE5C;IAEM,cAAc,IAAI,qBAAqB,CAAC,CAAC,UAAU,EAAE,uBAAuB,GAAG,SAAS,CAAC,CAAC,CAKhG;IAED,kBAAkB,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAElE;IAED,mBAAmB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAEpE;YAEa,gBAAgB;CAoB/B"}
+{"version":3,"file":"persisted.d.ts","sourceRoot":"","sources":["../../../src/proving_broker/proving_broker_database/persisted.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAE9D,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAIlE,OAAO,EACL,KAAK,QAAQ,EACb,UAAU,EACV,KAAK,YAAY,EACjB,uBAAuB,EAExB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,MAAM,EAGZ,MAAM,yBAAyB,CAAC;AAKjC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAgF3E;;;;;;GAMG;AACH,KAAK,WAAW,GAAG,UAAU,GAAG,CAAC,YAAY,EAAE,uBAAuB,GAAG,SAAS,CAAC,CAAC;AAEpF,qBAAa,gBAAiB,YAAW,qBAAqB;IAQ1D,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,MAAM;IAEd,OAAO,CAAC,MAAM;IAVhB,OAAO,CAAC,OAAO,CAAc;IAE7B,OAAO,CAAC,UAAU,CAAkC;IAEpD,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,OAAO,eAsBN;IAGY,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,MAAM,iBAUvE;YAEa,YAAY;IAU1B,OAAoB,GAAG,CACrB,MAAM,EAAE,kBAAkB,EAC1B,MAAM,GAAE,eAAsC,EAC9C,MAAM,SAAwD,6BA8B/D;IAED,OAAO,CAAC,KAAK;IAIP,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAK3B;IAKK,kCAAkC,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAWhF;IAOD,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAE5C;IAEM,cAAc,IAAI,qBAAqB,CAAC,CAAC,UAAU,EAAE,uBAAuB,GAAG,SAAS,CAAC,CAAC,CAKhG;IAOD,mBAAmB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC,CAEnE;IAED,mBAAmB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,uBAAuB,GAAG,SAAS,CAAC,CAElF;IAED,kBAAkB,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAElE;IAED,oBAAoB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAEpD;IAED,sBAAsB,CAAC,EAAE,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAEtD;IAED,mBAAmB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAEpE;YAEa,gBAAgB;CAoB/B"}