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

package/dest/verifier/batch_chonk_verifier.d.ts

@@ -3,7 +3,7 @@ import type { Tx } from '@aztec/stdlib/tx';
 import type { BBConfig } from '../config.js';
 /**
  * Batch verifier for Chonk IVC proofs. Uses the bb batch verifier service
- * which batches IPA verification into a single SRS MSM for better throughput.
+ * which batches IPA verification into a constant number of SRS MSMs for better throughput.
  *
  * Architecture:
  * - Spawns a persistent `bb msgpack run` process via Barretenberg (native backend)
@@ -17,6 +17,7 @@ export declare class BatchChonkVerifier implements ClientProtocolCircuitVerifier
     private batchSize;
     private label;
     private bb;
+    private fifoDir;
     private fifoPath;
     private nextRequestId;
     private pendingRequests;
@@ -27,6 +28,9 @@ export declare class BatchChonkVerifier implements ClientProtocolCircuitVerifier
     private vkIndexMap;
     /** Bound cleanup handler for process exit signals. */
     private exitCleanup;
+    private stopped;
+    private fatalError;
+    private pendingDrainedResolvers;
     private constructor();
     /** Create and start a BatchChonkVerifier using the protocol circuit VKs. */
     static new(config: BBConfig, batchSize: number, label: string): Promise<BatchChonkVerifier>;
@@ -37,9 +41,16 @@ export declare class BatchChonkVerifier implements ClientProtocolCircuitVerifier
     /** Enqueue raw proof fields for verification. Used directly by tests with custom VKs. */
     enqueueProof(vkIndex: number, proofFields: Uint8Array[]): Promise<IVCProofVerificationResult>;
     stop(): Promise<void>;
+    private withTimeout;
     private startFifoReader;
     private handleResult;
     private registerExitCleanup;
     private deregisterExitCleanup;
+    private rejectPendingRequests;
+    private failVerifier;
+    private waitForPendingRequestsToDrain;
+    private notifyPendingDrained;
+    private cleanupFifo;
+    private cleanupFifoSync;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmF0Y2hfY2hvbmtfdmVyaWZpZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9iYXRjaF9jaG9ua192ZXJpZmllci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFNQSxPQUFPLEtBQUssRUFBRSw2QkFBNkIsRUFBRSwwQkFBMEIsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ2pILE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBVTNDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQXFCN0M7Ozs7Ozs7OztHQVNHO0FBQ0gscUJBQWEsa0JBQW1CLFlBQVcsNkJBQTZCO0lBY3BFLE9BQU8sQ0FBQyxNQUFNO0lBQ2QsT0FBTyxDQUFDLFNBQVM7SUFDakIsT0FBTyxDQUFDLFNBQVM7SUFDakIsT0FBTyxDQUFDLEtBQUs7SUFoQmYsT0FBTyxDQUFDLEVBQUUsQ0FBZ0I7SUFDMUIsT0FBTyxDQUFDLFFBQVEsQ0FBUztJQUN6QixPQUFPLENBQUMsYUFBYSxDQUFLO0lBQzFCLE9BQU8sQ0FBQyxlQUFlLENBQXFDO0lBQzVELE9BQU8sQ0FBQyxTQUFTLENBQWM7SUFDL0IsT0FBTyxDQUFDLFVBQVUsQ0FBa0I7SUFDcEMsT0FBTyxDQUFDLE1BQU0sQ0FBa0Q7SUFDaEUsNERBQTREO0lBQzVELE9BQU8sQ0FBQyxVQUFVLENBQTZCO0lBQy9DLHNEQUFzRDtJQUN0RCxPQUFPLENBQUMsV0FBVyxDQUE2QjtJQUVoRCxPQUFPLGVBVU47SUFFRCw0RUFBNEU7SUFDNUUsT0FBYSxHQUFHLENBQUMsTUFBTSxFQUFFLFFBQVEsRUFBRSxTQUFTLEVBQUUsTUFBTSxFQUFFLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBZWhHO0lBRUQsMkVBQTJFO0lBQzNFLE9BQWEsYUFBYSxDQUN4QixNQUFNLEVBQUUsSUFBSSxDQUFDLFFBQVEsRUFBRSwwQkFBMEIsQ0FBQyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsUUFBUSxFQUFFLGNBQWMsQ0FBQyxDQUFDLEVBQzVGLEdBQUcsRUFBRSxVQUFVLEVBQUUsRUFDakIsU0FBUyxFQUFFLE1BQU0sR0FDaEIsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBTzdCO1lBRWEsS0FBSztJQXVCWixXQUFXLENBQUMsRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsMEJBQTBCLENBQUMsQ0FTOUQ7SUFFRCx5RkFBeUY7SUFDbEYsWUFBWSxDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsV0FBVyxFQUFFLFVBQVUsRUFBRSxHQUFHLE9BQU8sQ0FBQywwQkFBMEIsQ0FBQyxDQXlCbkc7SUFFWSxJQUFJLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQThCakM7SUFFRCxPQUFPLENBQUMsZUFBZTtJQTJCdkIsT0FBTyxDQUFDLFlBQVk7SUEyQnBCLE9BQU8sQ0FBQyxtQkFBbUI7SUFjM0IsT0FBTyxDQUFDLHFCQUFxQjtDQVE5QiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmF0Y2hfY2hvbmtfdmVyaWZpZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9iYXRjaF9jaG9ua192ZXJpZmllci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFNQSxPQUFPLEtBQUssRUFBRSw2QkFBNkIsRUFBRSwwQkFBMEIsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ2pILE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBVTNDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQXdCN0M7Ozs7Ozs7OztHQVNHO0FBQ0gscUJBQWEsa0JBQW1CLFlBQVcsNkJBQTZCO0lBa0JwRSxPQUFPLENBQUMsTUFBTTtJQUNkLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxLQUFLO0lBcEJmLE9BQU8sQ0FBQyxFQUFFLENBQWdCO0lBQzFCLE9BQU8sQ0FBQyxPQUFPLENBQXFCO0lBQ3BDLE9BQU8sQ0FBQyxRQUFRLENBQU07SUFDdEIsT0FBTyxDQUFDLGFBQWEsQ0FBSztJQUMxQixPQUFPLENBQUMsZUFBZSxDQUFxQztJQUM1RCxPQUFPLENBQUMsU0FBUyxDQUFjO0lBQy9CLE9BQU8sQ0FBQyxVQUFVLENBQWtCO0lBQ3BDLE9BQU8sQ0FBQyxNQUFNLENBQWtEO0lBQ2hFLDREQUE0RDtJQUM1RCxPQUFPLENBQUMsVUFBVSxDQUE2QjtJQUMvQyxzREFBc0Q7SUFDdEQsT0FBTyxDQUFDLFdBQVcsQ0FBNkI7SUFDaEQsT0FBTyxDQUFDLE9BQU8sQ0FBUztJQUN4QixPQUFPLENBQUMsVUFBVSxDQUFvQjtJQUN0QyxPQUFPLENBQUMsdUJBQXVCLENBQXlCO0lBRXhELE9BQU8sZUFTTjtJQUVELDRFQUE0RTtJQUM1RSxPQUFhLEdBQUcsQ0FBQyxNQUFNLEVBQUUsUUFBUSxFQUFFLFNBQVMsRUFBRSxNQUFNLEVBQUUsS0FBSyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsa0JBQWtCLENBQUMsQ0FlaEc7SUFFRCwyRUFBMkU7SUFDM0UsT0FBYSxhQUFhLENBQ3hCLE1BQU0sRUFBRSxJQUFJLENBQUMsUUFBUSxFQUFFLDBCQUEwQixDQUFDLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxRQUFRLEVBQUUsY0FBYyxDQUFDLENBQUMsRUFDNUYsR0FBRyxFQUFFLFVBQVUsRUFBRSxFQUNqQixTQUFTLEVBQUUsTUFBTSxHQUNoQixPQUFPLENBQUMsa0JBQWtCLENBQUMsQ0FPN0I7WUFFYSxLQUFLO0lBaUNaLFdBQVcsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQywwQkFBMEIsQ0FBQyxDQWU5RDtJQUVELHlGQUF5RjtJQUNsRixZQUFZLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLEdBQUcsT0FBTyxDQUFDLDBCQUEwQixDQUFDLENBa0RuRztJQUVZLElBQUksSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBK0JqQztZQU9hLFdBQVc7SUFrQnpCLE9BQU8sQ0FBQyxlQUFlO0lBNkJ2QixPQUFPLENBQUMsWUFBWTtJQTZCcEIsT0FBTyxDQUFDLG1CQUFtQjtJQU8zQixPQUFPLENBQUMscUJBQXFCO0lBTzdCLE9BQU8sQ0FBQyxxQkFBcUI7SUFTN0IsT0FBTyxDQUFDLFlBQVk7SUFPcEIsT0FBTyxDQUFDLDZCQUE2QjtJQTBCckMsT0FBTyxDQUFDLG9CQUFvQjtZQVNkLFdBQVc7SUFVekIsT0FBTyxDQUFDLGVBQWU7Q0FXeEIifQ==

package/dest/verifier/batch_chonk_verifier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"batch_chonk_verifier.d.ts","sourceRoot":"","sources":["../../src/verifier/batch_chonk_verifier.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAU3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAqB7C;;;;;;;;;GASG;AACH,qBAAa,kBAAmB,YAAW,6BAA6B;IAcpE,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,KAAK;IAhBf,OAAO,CAAC,EAAE,CAAgB;IAC1B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,eAAe,CAAqC;IAC5D,OAAO,CAAC,SAAS,CAAc;IAC/B,OAAO,CAAC,UAAU,CAAkB;IACpC,OAAO,CAAC,MAAM,CAAkD;IAChE,4DAA4D;IAC5D,OAAO,CAAC,UAAU,CAA6B;IAC/C,sDAAsD;IACtD,OAAO,CAAC,WAAW,CAA6B;IAEhD,OAAO,eAUN;IAED,4EAA4E;IAC5E,OAAa,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAehG;IAED,2EAA2E;IAC3E,OAAa,aAAa,CACxB,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,0BAA0B,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,EAC5F,GAAG,EAAE,UAAU,EAAE,EACjB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,kBAAkB,CAAC,CAO7B;YAEa,KAAK;IAuBZ,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAS9D;IAED,yFAAyF;IAClF,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAyBnG;IAEY,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CA8BjC;IAED,OAAO,CAAC,eAAe;IA2BvB,OAAO,CAAC,YAAY;IA2BpB,OAAO,CAAC,mBAAmB;IAc3B,OAAO,CAAC,qBAAqB;CAQ9B"}
+{"version":3,"file":"batch_chonk_verifier.d.ts","sourceRoot":"","sources":["../../src/verifier/batch_chonk_verifier.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAU3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAwB7C;;;;;;;;;GASG;AACH,qBAAa,kBAAmB,YAAW,6BAA6B;IAkBpE,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,KAAK;IApBf,OAAO,CAAC,EAAE,CAAgB;IAC1B,OAAO,CAAC,OAAO,CAAqB;IACpC,OAAO,CAAC,QAAQ,CAAM;IACtB,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,eAAe,CAAqC;IAC5D,OAAO,CAAC,SAAS,CAAc;IAC/B,OAAO,CAAC,UAAU,CAAkB;IACpC,OAAO,CAAC,MAAM,CAAkD;IAChE,4DAA4D;IAC5D,OAAO,CAAC,UAAU,CAA6B;IAC/C,sDAAsD;IACtD,OAAO,CAAC,WAAW,CAA6B;IAChD,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,UAAU,CAAoB;IACtC,OAAO,CAAC,uBAAuB,CAAyB;IAExD,OAAO,eASN;IAED,4EAA4E;IAC5E,OAAa,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAehG;IAED,2EAA2E;IAC3E,OAAa,aAAa,CACxB,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,0BAA0B,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,EAC5F,GAAG,EAAE,UAAU,EAAE,EACjB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,kBAAkB,CAAC,CAO7B;YAEa,KAAK;IAiCZ,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAe9D;IAED,yFAAyF;IAClF,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAkDnG;IAEY,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CA+BjC;YAOa,WAAW;IAkBzB,OAAO,CAAC,eAAe;IA6BvB,OAAO,CAAC,YAAY;IA6BpB,OAAO,CAAC,mBAAmB;IAO3B,OAAO,CAAC,qBAAqB;IAO7B,OAAO,CAAC,qBAAqB;IAS7B,OAAO,CAAC,YAAY;IAOpB,OAAO,CAAC,6BAA6B;IA0BrC,OAAO,CAAC,oBAAoB;YASd,WAAW;IAUzB,OAAO,CAAC,eAAe;CAWxB"}

package/dest/verifier/batch_chonk_verifier.js

@@ -6,19 +6,21 @@ import { Timer } from '@aztec/foundation/timer';
 import { ProtocolCircuitVks } from '@aztec/noir-protocol-circuits-types/server/vks';
 import { Unpackr } from 'msgpackr';
 import { execFile } from 'node:child_process';
-import { unlinkSync } from 'node:fs';
-import { unlink } from 'node:fs/promises';
+import { rmSync } from 'node:fs';
+import { mkdtemp, rm } from 'node:fs/promises';
 import * as os from 'node:os';
 import * as path from 'node:path';
 import { promisify } from 'node:util';
 const execFileAsync = promisify(execFile);
+const RESULT_TIMEOUT_MS = 5 * 60 * 1000;
+const STOP_DRAIN_TIMEOUT_MS = 5_000;
 /** Maps client protocol artifacts used for chonk verification to VK indices. */ const CHONK_VK_ARTIFACTS = [
     'HidingKernelToRollup',
     'HidingKernelToPublic'
 ];
 /**
  * Batch verifier for Chonk IVC proofs. Uses the bb batch verifier service
- * which batches IPA verification into a single SRS MSM for better throughput.
+ * which batches IPA verification into a constant number of SRS MSMs for better throughput.
  *
  * Architecture:
  * - Spawns a persistent `bb msgpack run` process via Barretenberg (native backend)
@@ -31,6 +33,7 @@ const execFileAsync = promisify(execFile);
     batchSize;
     label;
     bb;
+    fifoDir;
     fifoPath;
     nextRequestId;
     pendingRequests;
@@ -39,17 +42,22 @@ const execFileAsync = promisify(execFile);
     logger;
     /** Maps artifact name to VK index in the batch verifier. */ vkIndexMap;
     /** Bound cleanup handler for process exit signals. */ exitCleanup;
+    stopped;
+    fatalError;
+    pendingDrainedResolvers;
     constructor(config, vkBuffers, batchSize, label){
         this.config = config;
         this.vkBuffers = vkBuffers;
         this.batchSize = batchSize;
         this.label = label;
+        this.fifoPath = '';
         this.nextRequestId = 0;
         this.pendingRequests = new Map();
         this.logger = createLogger('bb-prover:batch_chonk_verifier');
         this.vkIndexMap = new Map();
         this.exitCleanup = null;
-        this.fifoPath = path.join(os.tmpdir(), `bb-batch-${label}-${process.pid}-${Date.now()}.fifo`);
+        this.stopped = false;
+        this.pendingDrainedResolvers = new Set();
         this.fifoReader = new FifoFrameReader();
         this.sendQueue = new SerialQueue();
         this.sendQueue.start(1);
@@ -80,47 +88,91 @@ const execFileAsync = promisify(execFile);
     }
     async start() {
         this.logger.info('Starting BatchChonkVerifier');
-        this.bb = await Barretenberg.new({
-            bbPath: this.config.bbBinaryPath,
-            backend: BackendType.NativeUnixSocket
-        });
-        await this.bb.initSRSChonk();
-        await execFileAsync('mkfifo', [
-            this.fifoPath
-        ]);
-        this.registerExitCleanup();
-        await this.bb.chonkBatchVerifierStart({
-            vks: this.vkBuffers,
-            numCores: this.config.bbChonkVerifyConcurrency || 0,
-            batchSize: this.batchSize,
-            fifoPath: this.fifoPath
-        });
-        this.startFifoReader();
+        try {
+            this.bb = await Barretenberg.new({
+                bbPath: this.config.bbBinaryPath,
+                backend: BackendType.NativeUnixSocket
+            });
+            await this.bb.initSRSChonk();
+            // Keep the FIFO in a private directory so cleanup has a single owner.
+            this.fifoDir = await mkdtemp(path.join(os.tmpdir(), `bb-batch-${this.label}-${process.pid}-`));
+            this.fifoPath = path.join(this.fifoDir, 'results.fifo');
+            await execFileAsync('mkfifo', [
+                this.fifoPath
+            ]);
+            this.registerExitCleanup();
+            this.startFifoReader();
+            await this.bb.chonkBatchVerifierStart({
+                vks: this.vkBuffers,
+                numCores: this.config.bbChonkVerifyConcurrency || 0,
+                batchSize: this.batchSize,
+                fifoPath: this.fifoPath
+            });
+        } catch (err) {
+            this.fifoReader.stop();
+            this.deregisterExitCleanup();
+            await this.cleanupFifo();
+            await this.bb?.destroy().catch(()=>{});
+            throw err;
+        }
         this.logger.info('BatchChonkVerifier started', {
             fifoPath: this.fifoPath
         });
     }
     verifyProof(tx) {
-        const circuit = tx.data.forPublic ? 'HidingKernelToPublic' : 'HidingKernelToRollup';
-        const vkIndex = this.vkIndexMap.get(circuit);
-        if (vkIndex === undefined) {
-            throw new Error(`No VK index for circuit ${circuit}`);
-        }
-        const proofWithPubInputs = tx.chonkProof.attachPublicInputs(tx.data.publicInputs().toFields());
-        const proofFields = proofWithPubInputs.fieldsWithPublicInputs.map((f)=>f.toBuffer());
-        return this.enqueueProof(vkIndex, proofFields);
+        const totalTimer = new Timer();
+        return (async ()=>{
+            const circuit = tx.data.forPublic ? 'HidingKernelToPublic' : 'HidingKernelToRollup';
+            const vkIndex = this.vkIndexMap.get(circuit);
+            if (vkIndex === undefined) {
+                throw new Error(`No VK index for circuit ${circuit}`);
+            }
+            const proofWithPubInputs = tx.chonkProof.attachPublicInputs(tx.data.publicInputs().toFields());
+            const proofFields = proofWithPubInputs.fieldsWithPublicInputs.map((f)=>f.toBuffer());
+            return await this.enqueueProof(vkIndex, proofFields);
+        })().catch((err)=>{
+            this.logger.warn(`Failed to verify Chonk proof for tx ${tx.getTxHash().toString()}: ${String(err)}`);
+            return {
+                valid: false,
+                durationMs: 0,
+                totalDurationMs: totalTimer.ms()
+            };
+        });
     }
     /** Enqueue raw proof fields for verification. Used directly by tests with custom VKs. */ enqueueProof(vkIndex, proofFields) {
+        if (this.stopped) {
+            return Promise.reject(new Error('BatchChonkVerifier stopped'));
+        }
+        if (this.fatalError) {
+            return Promise.reject(this.fatalError);
+        }
         const totalTimer = new Timer();
         const requestId = this.nextRequestId++;
         const resultPromise = new Promise((resolve, reject)=>{
+            const timeout = setTimeout(()=>{
+                const pending = this.pendingRequests.get(requestId);
+                if (!pending) {
+                    return;
+                }
+                this.pendingRequests.delete(requestId);
+                pending.reject(new Error(`BatchChonkVerifier result timed out for request_id=${requestId}`));
+                this.notifyPendingDrained();
+            }, RESULT_TIMEOUT_MS);
+            // A pending result timer must never keep the host process alive on its own (e.g. an
+            // orphaned request at process exit); the FIFO reader keeps the loop alive while results
+            // are genuinely awaited.
+            timeout.unref();
             this.pendingRequests.set(requestId, {
                 resolve,
                 reject,
-                totalTimer
+                totalTimer,
+                timeout
             });
         });
         void this.sendQueue.put(async ()=>{
+            if (this.fatalError) {
+                throw this.fatalError;
+            }
             await this.bb.chonkBatchVerifierQueue({
                 requestId,
                 vkIndex,
@@ -130,35 +182,62 @@ const execFileAsync = promisify(execFile);
             const pending = this.pendingRequests.get(requestId);
             if (pending) {
                 this.pendingRequests.delete(requestId);
+                clearTimeout(pending.timeout);
                 pending.reject(err instanceof Error ? err : new Error(String(err)));
+                this.notifyPendingDrained();
             }
         });
         return resultPromise;
     }
     async stop() {
         this.logger.info('Stopping BatchChonkVerifier');
-        // Stop accepting new proofs
-        await this.sendQueue.end();
-        // Stop the bb service (flushes remaining proofs)
+        this.stopped = true;
         try {
-            await this.bb.chonkBatchVerifierStop({});
+            // Stop accepting new proofs and flush the send queue. Bound it so an unresponsive
+            // native process can't block teardown of our own event-loop handles indefinitely.
+            await this.withTimeout(this.sendQueue.end(), STOP_DRAIN_TIMEOUT_MS, 'send queue flush');
+            // Stop the bb service (flushes remaining proofs).
+            await this.withTimeout(this.bb.chonkBatchVerifierStop({}), STOP_DRAIN_TIMEOUT_MS, 'chonkBatchVerifierStop');
+            // Native stop flushes callbacks; keep the FIFO open until those frames are observed.
+            const drained = await this.waitForPendingRequestsToDrain(STOP_DRAIN_TIMEOUT_MS);
+            if (!drained) {
+                this.rejectPendingRequests(new Error('Timed out waiting for BatchChonkVerifier results during stop'));
+            }
         } catch (err) {
-            this.logger.warn(`Error stopping batch verifier service: ${err}`);
-        }
-        // Stop FIFO reader
-        this.fifoReader.stop();
-        // Clean up FIFO file and deregister exit handler
-        await unlink(this.fifoPath).catch(()=>{});
-        this.deregisterExitCleanup();
-        // Reject any remaining pending requests
-        for (const [id, pending] of this.pendingRequests){
-            pending.reject(new Error('BatchChonkVerifier stopped'));
-            this.pendingRequests.delete(id);
+            this.logger.warn(`Error during BatchChonkVerifier graceful stop: ${err}`);
+            this.rejectPendingRequests(err instanceof Error ? err : new Error(String(err)));
+        } finally{
+            // Always release our own event-loop handles — the FIFO read stream (a blocking
+            // threadpool read that can't be unref'd), the unix socket, the native process, and the
+            // exit handler — so the host process exits cleanly even if the native backend is wedged.
+            this.fifoReader.stop();
+            this.deregisterExitCleanup();
+            await this.cleanupFifo();
+            await this.bb.destroy().catch((err)=>this.logger.warn(`Error destroying bb backend during stop: ${err}`));
         }
-        // Destroy bb process
-        await this.bb.destroy();
         this.logger.info('BatchChonkVerifier stopped');
     }
+    /**
+   * Races a promise against a timeout so a wedged native backend can't block teardown. The
+   * timer is unref'd so it never keeps the process alive; the underlying promise stays handled
+   * by the race even if the timeout wins, so it cannot surface as an unhandled rejection.
+   */ async withTimeout(promise, timeoutMs, label) {
+        let timer;
+        const timeout = new Promise((_, reject)=>{
+            timer = setTimeout(()=>reject(new Error(`BatchChonkVerifier ${label} timed out after ${timeoutMs}ms`)), timeoutMs);
+            timer.unref();
+        });
+        try {
+            return await Promise.race([
+                promise,
+                timeout
+            ]);
+        } finally{
+            if (timer) {
+                clearTimeout(timer);
+            }
+        }
+    }
     startFifoReader() {
         const unpackr = new Unpackr({
             useRecords: false
@@ -169,16 +248,18 @@ const execFileAsync = promisify(execFile);
                 this.handleResult(result);
             } catch (err) {
                 this.logger.error(`FIFO: failed to decode msgpack result: ${err}`);
+                // A corrupt result stream cannot safely be matched to outstanding requests.
+                this.failVerifier(err instanceof Error ? err : new Error(String(err)));
             }
         });
         this.fifoReader.on('error', (err)=>{
             this.logger.error(`FIFO reader error: ${err}`);
+            this.failVerifier(err);
         });
         this.fifoReader.on('end', ()=>{
             this.logger.debug('FIFO reader: stream ended');
-            for (const [id, pending] of this.pendingRequests){
-                pending.reject(new Error('FIFO stream ended unexpectedly'));
-                this.pendingRequests.delete(id);
+            if (!this.stopped) {
+                this.failVerifier(new Error('FIFO stream ended unexpectedly'));
             }
         });
         this.fifoReader.start(this.fifoPath);
@@ -190,6 +271,7 @@ const execFileAsync = promisify(execFile);
             return;
         }
         this.pendingRequests.delete(result.request_id);
+        clearTimeout(pending.timeout);
         const valid = result.status === 0; // VerifyStatus::OK
         const durationMs = result.time_in_verify_ms;
         const totalDurationMs = pending.totalTimer.ms();
@@ -208,25 +290,95 @@ const execFileAsync = promisify(execFile);
             });
         }
         pending.resolve(ivcResult);
+        this.notifyPendingDrained();
     }
     registerExitCleanup() {
-        // Signal handlers must be synchronous — unlinkSync is intentional here
         this.exitCleanup = ()=>{
-            try {
-                unlinkSync(this.fifoPath);
-            } catch  {
-            /* ignore */ }
+            this.cleanupFifoSync();
         };
         process.on('exit', this.exitCleanup);
-        process.on('SIGINT', this.exitCleanup);
-        process.on('SIGTERM', this.exitCleanup);
     }
     deregisterExitCleanup() {
         if (this.exitCleanup) {
             process.removeListener('exit', this.exitCleanup);
-            process.removeListener('SIGINT', this.exitCleanup);
-            process.removeListener('SIGTERM', this.exitCleanup);
             this.exitCleanup = null;
         }
     }
+    rejectPendingRequests(error) {
+        for (const [id, pending] of Array.from(this.pendingRequests)){
+            pending.reject(error);
+            clearTimeout(pending.timeout);
+            this.pendingRequests.delete(id);
+        }
+        this.notifyPendingDrained();
+    }
+    failVerifier(error) {
+        if (!this.fatalError) {
+            this.fatalError = error;
+        }
+        this.rejectPendingRequests(error);
+    }
+    waitForPendingRequestsToDrain(timeoutMs) {
+        if (this.pendingRequests.size === 0) {
+            return Promise.resolve(true);
+        }
+        let timeout;
+        let onDrain;
+        const drained = new Promise((resolve)=>{
+            onDrain = ()=>resolve(true);
+            this.pendingDrainedResolvers.add(onDrain);
+        });
+        const timedOut = new Promise((resolve)=>{
+            timeout = setTimeout(()=>resolve(false), timeoutMs);
+            timeout.unref();
+        });
+        return Promise.race([
+            drained,
+            timedOut
+        ]).finally(()=>{
+            if (timeout) {
+                clearTimeout(timeout);
+            }
+            if (onDrain) {
+                this.pendingDrainedResolvers.delete(onDrain);
+            }
+        });
+    }
+    notifyPendingDrained() {
+        if (this.pendingRequests.size > 0) {
+            return;
+        }
+        for (const resolve of Array.from(this.pendingDrainedResolvers)){
+            resolve();
+        }
+    }
+    async cleanupFifo() {
+        if (this.fifoDir) {
+            await rm(this.fifoDir, {
+                recursive: true,
+                force: true
+            }).catch(()=>{});
+        } else if (this.fifoPath) {
+            await rm(this.fifoPath, {
+                force: true
+            }).catch(()=>{});
+        }
+        this.fifoDir = undefined;
+        this.fifoPath = '';
+    }
+    cleanupFifoSync() {
+        try {
+            if (this.fifoDir) {
+                rmSync(this.fifoDir, {
+                    recursive: true,
+                    force: true
+                });
+            } else if (this.fifoPath) {
+                rmSync(this.fifoPath, {
+                    force: true
+                });
+            }
+        } catch  {
+        /* ignore */ }
+    }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/bb-prover",
-  "version": "0.0.1-commit.993d240",
+  "version": "0.0.1-commit.9a89641",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -70,16 +70,16 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb.js": "0.0.1-commit.993d240",
-    "@aztec/constants": "0.0.1-commit.993d240",
-    "@aztec/foundation": "0.0.1-commit.993d240",
-    "@aztec/noir-noirc_abi": "0.0.1-commit.993d240",
-    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.993d240",
-    "@aztec/noir-types": "0.0.1-commit.993d240",
-    "@aztec/simulator": "0.0.1-commit.993d240",
-    "@aztec/stdlib": "0.0.1-commit.993d240",
-    "@aztec/telemetry-client": "0.0.1-commit.993d240",
-    "@aztec/world-state": "0.0.1-commit.993d240",
+    "@aztec/bb.js": "6.0.0-nightly.20260807",
+    "@aztec/constants": "0.0.1-commit.9a89641",
+    "@aztec/foundation": "0.0.1-commit.9a89641",
+    "@aztec/noir-noirc_abi": "6.0.0-nightly.20260807",
+    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.9a89641",
+    "@aztec/noir-types": "6.0.0-nightly.20260807",
+    "@aztec/simulator": "0.0.1-commit.9a89641",
+    "@aztec/stdlib": "0.0.1-commit.9a89641",
+    "@aztec/telemetry-client": "0.0.1-commit.9a89641",
+    "@aztec/world-state": "0.0.1-commit.9a89641",
     "commander": "^12.1.0",
     "msgpackr": "^1.11.2",
     "pako": "^2.1.0",
@@ -87,11 +87,11 @@
     "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/ethereum": "0.0.1-commit.993d240",
-    "@aztec/kv-store": "0.0.1-commit.993d240",
-    "@aztec/noir-contracts.js": "0.0.1-commit.993d240",
-    "@aztec/noir-test-contracts.js": "0.0.1-commit.993d240",
-    "@aztec/protocol-contracts": "0.0.1-commit.993d240",
+    "@aztec/ethereum": "0.0.1-commit.9a89641",
+    "@aztec/kv-store": "0.0.1-commit.9a89641",
+    "@aztec/noir-contracts.js": "0.0.1-commit.9a89641",
+    "@aztec/noir-test-contracts.js": "0.0.1-commit.9a89641",
+    "@aztec/protocol-contracts": "0.0.1-commit.9a89641",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/node": "^22.15.17",

package/src/avm_proving_tests/avm_proving_tester.ts

@@ -1,12 +1,15 @@
 import type { AvmStat } from '@aztec/bb.js';
+import { createLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
 import {
+  type MeasuredSimulatorFactory,
   PublicTxSimulationTester,
   SimpleContractDataSource,
   type TestEnqueuedCall,
   type TestExecutorMetrics,
   type TestPrivateInsertions,
 } from '@aztec/simulator/public/fixtures';
+import { AvmSimulatorPool, MeasuredPublicTxSimulator } from '@aztec/simulator/server';
 import type { PublicTxResult } from '@aztec/simulator/server';
 import { AvmCircuitInputs, AvmCircuitPublicInputs, PublicSimulatorConfig } from '@aztec/stdlib/avm';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
@@ -19,7 +22,7 @@ import path from 'path';
 
 import { BBJsFactory } from '../bb/bb_js_backend.js';
 
-const BB_PATH = path.resolve('../../barretenberg/cpp/build/bin/bb-avm');
+const BB_PATH = path.resolve('../../labs-aztec-toolchain/bin/bb-avm');
 
 // Config with collectHints enabled for proving tests
 const provingConfig: PublicSimulatorConfig = PublicSimulatorConfig.from({
@@ -32,7 +35,10 @@ const provingConfig: PublicSimulatorConfig = PublicSimulatorConfig.from({
 });
 
 export class AvmProvingTester extends PublicTxSimulationTester {
-  private readonly bbJsFactory = new BBJsFactory(BB_PATH);
+  private readonly bbJsFactory = new BBJsFactory(BB_PATH, {
+    debugDir: process.env.BB_DEBUG_OUTPUT_DIR,
+    logger: createLogger('bb-prover:avm-proving-tester'),
+  });
 
   constructor(
     private checkCircuitOnly: boolean,
@@ -40,9 +46,9 @@ export class AvmProvingTester extends PublicTxSimulationTester {
     merkleTrees: MerkleTreeWriteOperations,
     globals?: GlobalVariables,
     metrics?: TestExecutorMetrics,
+    simulatorFactory?: MeasuredSimulatorFactory,
   ) {
-    // simulator factory is undefined because for proving, we use the default C++ simulator
-    super(merkleTrees, contractDataSource, globals, metrics, /*simulatorFactory=*/ undefined, provingConfig);
+    super(merkleTrees, contractDataSource, globals, metrics, simulatorFactory, provingConfig);
   }
 
   static async new(
@@ -53,7 +59,29 @@ export class AvmProvingTester extends PublicTxSimulationTester {
   ) {
     const contractDataSource = new SimpleContractDataSource();
     const merkleTrees = await worldStateService.fork();
-    return new AvmProvingTester(checkCircuitOnly, contractDataSource, merkleTrees, globals, metrics);
+
+    const avmSimulator = await AvmSimulatorPool.spawn({ wsdbIpcPath: worldStateService.getIpcPath() });
+    const simulatorFactory: MeasuredSimulatorFactory = (mt, cdb, g, m, c) =>
+      new MeasuredPublicTxSimulator(avmSimulator, g, cdb, mt.getRevision().forkId, m, c, undefined);
+
+    const tester = new AvmProvingTester(
+      checkCircuitOnly,
+      contractDataSource,
+      merkleTrees,
+      globals,
+      metrics,
+      simulatorFactory,
+    );
+    tester.avmSimulator = avmSimulator;
+    return tester;
+  }
+
+  public override async close(): Promise<void> {
+    const results = await Promise.allSettled([super.close(), this.bbJsFactory.destroy()]);
+    const errors = results.flatMap(result => (result.status === 'rejected' ? [result.reason] : []));
+    if (errors.length > 0) {
+      throw new AggregateError(errors, `Failed to close AVM proving tester`);
+    }
   }
 
   /**
@@ -192,7 +220,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
     gasLimits?: Gas,
   ) {
     await this.simProveVerify(
-      /*sender=*/ AztecAddress.fromNumber(42),
+      /*sender=*/ AztecAddress.fromNumberUnsafe(42),
       /*setupCalls=*/ [],
       [appCall],
       undefined,

package/src/bb/bb_js_backend.ts

@@ -2,6 +2,7 @@ import { type AvmStat, type BackendOptions, BackendType, Barretenberg } from '@a
 import type { LogFn, Logger } from '@aztec/foundation/log';
 import { FifoMemoryQueue } from '@aztec/foundation/queue';
 import { Timer } from '@aztec/foundation/timer';
+import { ProvingError } from '@aztec/stdlib/errors';
 
 import type { UltraHonkFlavor } from '../honk.js';
 
@@ -84,8 +85,13 @@ export class BBJsInstance implements BBJsApi {
     if (threads !== undefined) {
       options.threads = threads;
     }
-    const api = await Barretenberg.new(options);
-    return new BBJsInstance(api);
+    try {
+      return new BBJsInstance(await Barretenberg.new(options));
+    } catch (err) {
+      // bb startup failures are environmental (machine load, a wedged or dead bb process), never a
+      // property of the proof inputs, so the job is always safe to retry.
+      throw new ProvingError(`Failed to start bb process: ${err}`, err, /*retry*/ true);
+    }
   }
 
   /**