@aztec/bb-prover 0.0.1-commit.9372f48 → 0.0.1-commit.949a33fd8

package/dest/verifier/index.js

@@ -1,2 +1,3 @@
+export * from './batch_chonk_verifier.js';
 export * from './bb_verifier.js';
 export * from './queued_chonk_verifier.js';

package/dest/verifier/queued_chonk_verifier.d.ts

@@ -1,15 +1,14 @@
 import type { ClientProtocolCircuitVerifier, IVCProofVerificationResult } from '@aztec/stdlib/interfaces/server';
 import type { Tx } from '@aztec/stdlib/tx';
 import { type TelemetryClient } from '@aztec/telemetry-client';
-import type { BBConfig } from '../config.js';
 export declare class QueuedIVCVerifier implements ClientProtocolCircuitVerifier {
     private verifier;
     private telemetry;
     private logger;
     private queue;
     private metrics;
-    constructor(config: BBConfig, verifier: ClientProtocolCircuitVerifier, telemetry?: TelemetryClient, logger?: import("@aztec/foundation/log").Logger);
+    constructor(verifier: ClientProtocolCircuitVerifier, concurrency: number, telemetry?: TelemetryClient, logger?: import("@aztec/foundation/log").Logger);
     verifyProof(tx: Tx): Promise<IVCProofVerificationResult>;
     stop(): Promise<void>;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicXVldWVkX2Nob25rX3ZlcmlmaWVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdmVyaWZpZXIvcXVldWVkX2Nob25rX3ZlcmlmaWVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxFQUFFLDZCQUE2QixFQUFFLDBCQUEwQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDakgsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDM0MsT0FBTyxFQU1MLEtBQUssZUFBZSxFQUlyQixNQUFNLHlCQUF5QixDQUFDO0FBSWpDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQWlFN0MscUJBQWEsaUJBQWtCLFlBQVcsNkJBQTZCO0lBTW5FLE9BQU8sQ0FBQyxRQUFRO0lBQ2hCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxNQUFNO0lBUGhCLE9BQU8sQ0FBQyxLQUFLLENBQWM7SUFDM0IsT0FBTyxDQUFDLE9BQU8sQ0FBcUI7SUFFcEMsWUFDRSxNQUFNLEVBQUUsUUFBUSxFQUNSLFFBQVEsRUFBRSw2QkFBNkIsRUFDdkMsU0FBUyxHQUFFLGVBQXNDLEVBQ2pELE1BQU0seUNBQWtELEVBTWpFO0lBRVksV0FBVyxDQUFDLEVBQUUsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLDBCQUEwQixDQUFDLENBSXBFO0lBRUQsSUFBSSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFcEI7Q0FDRiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicXVldWVkX2Nob25rX3ZlcmlmaWVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdmVyaWZpZXIvcXVldWVkX2Nob25rX3ZlcmlmaWVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxFQUFFLDZCQUE2QixFQUFFLDBCQUEwQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDakgsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDM0MsT0FBTyxFQU1MLEtBQUssZUFBZSxFQUlyQixNQUFNLHlCQUF5QixDQUFDO0FBbUVqQyxxQkFBYSxpQkFBa0IsWUFBVyw2QkFBNkI7SUFLbkUsT0FBTyxDQUFDLFFBQVE7SUFFaEIsT0FBTyxDQUFDLFNBQVM7SUFDakIsT0FBTyxDQUFDLE1BQU07SUFQaEIsT0FBTyxDQUFDLEtBQUssQ0FBYztJQUMzQixPQUFPLENBQUMsT0FBTyxDQUFxQjtJQUVwQyxZQUNVLFFBQVEsRUFBRSw2QkFBNkIsRUFDL0MsV0FBVyxFQUFFLE1BQU0sRUFDWCxTQUFTLEdBQUUsZUFBc0MsRUFDakQsTUFBTSx5Q0FBa0QsRUFNakU7SUFFWSxXQUFXLENBQUMsRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsMEJBQTBCLENBQUMsQ0FJcEU7SUFFSyxJQUFJLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUcxQjtDQUNGIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"queued_chonk_verifier.d.ts","sourceRoot":"","sources":["../../src/verifier/queued_chonk_verifier.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAML,KAAK,eAAe,EAIrB,MAAM,yBAAyB,CAAC;AAIjC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAiE7C,qBAAa,iBAAkB,YAAW,6BAA6B;IAMnE,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,MAAM;IAPhB,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,OAAO,CAAqB;IAEpC,YACE,MAAM,EAAE,QAAQ,EACR,QAAQ,EAAE,6BAA6B,EACvC,SAAS,GAAE,eAAsC,EACjD,MAAM,yCAAkD,EAMjE;IAEY,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAIpE;IAED,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAEpB;CACF"}
+{"version":3,"file":"queued_chonk_verifier.d.ts","sourceRoot":"","sources":["../../src/verifier/queued_chonk_verifier.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAML,KAAK,eAAe,EAIrB,MAAM,yBAAyB,CAAC;AAmEjC,qBAAa,iBAAkB,YAAW,6BAA6B;IAKnE,OAAO,CAAC,QAAQ;IAEhB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,MAAM;IAPhB,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,OAAO,CAAqB;IAEpC,YACU,QAAQ,EAAE,6BAA6B,EAC/C,WAAW,EAAE,MAAM,EACX,SAAS,GAAE,eAAsC,EACjD,MAAM,yCAAkD,EAMjE;IAEY,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAIpE;IAEK,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAG1B;CACF"}

package/dest/verifier/queued_chonk_verifier.js

@@ -81,21 +81,22 @@ export class QueuedIVCVerifier {
     logger;
     queue;
     metrics;
-    constructor(config, verifier, telemetry = getTelemetryClient(), logger = createLogger('bb-prover:queued_chonk_verifier')){
+    constructor(verifier, concurrency, telemetry = getTelemetryClient(), logger = createLogger('bb-prover:queued_chonk_verifier')){
         this.verifier = verifier;
         this.telemetry = telemetry;
         this.logger = logger;
         this.metrics = new IVCVerifierMetrics(this.telemetry, 'QueuedIVCVerifier');
         this.queue = new SerialQueue();
-        this.logger.info(`Starting QueuedIVCVerifier with ${config.numConcurrentIVCVerifiers} concurrent verifiers`);
-        this.queue.start(config.numConcurrentIVCVerifiers);
+        this.logger.info(`Starting QueuedIVCVerifier with ${concurrency} concurrent verifiers`);
+        this.queue.start(concurrency);
     }
     async verifyProof(tx) {
         const result = await this.queue.put(()=>this.verifier.verifyProof(tx));
         this.metrics.recordIVCVerification(result);
         return result;
     }
-    stop() {
-        return this.queue.end();
+    async stop() {
+        await this.queue.end();
+        await this.verifier.stop();
     }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/bb-prover",
-  "version": "0.0.1-commit.9372f48",
+  "version": "0.0.1-commit.949a33fd8",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -69,27 +69,28 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb.js": "0.0.1-commit.9372f48",
-    "@aztec/constants": "0.0.1-commit.9372f48",
-    "@aztec/foundation": "0.0.1-commit.9372f48",
-    "@aztec/noir-noirc_abi": "0.0.1-commit.9372f48",
-    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.9372f48",
-    "@aztec/noir-types": "0.0.1-commit.9372f48",
-    "@aztec/simulator": "0.0.1-commit.9372f48",
-    "@aztec/stdlib": "0.0.1-commit.9372f48",
-    "@aztec/telemetry-client": "0.0.1-commit.9372f48",
-    "@aztec/world-state": "0.0.1-commit.9372f48",
+    "@aztec/bb.js": "0.0.1-commit.949a33fd8",
+    "@aztec/constants": "0.0.1-commit.949a33fd8",
+    "@aztec/foundation": "0.0.1-commit.949a33fd8",
+    "@aztec/noir-noirc_abi": "0.0.1-commit.949a33fd8",
+    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.949a33fd8",
+    "@aztec/noir-types": "0.0.1-commit.949a33fd8",
+    "@aztec/simulator": "0.0.1-commit.949a33fd8",
+    "@aztec/stdlib": "0.0.1-commit.949a33fd8",
+    "@aztec/telemetry-client": "0.0.1-commit.949a33fd8",
+    "@aztec/world-state": "0.0.1-commit.949a33fd8",
     "commander": "^12.1.0",
+    "msgpackr": "^1.11.2",
     "pako": "^2.1.0",
     "source-map-support": "^0.5.21",
     "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/ethereum": "0.0.1-commit.9372f48",
-    "@aztec/kv-store": "0.0.1-commit.9372f48",
-    "@aztec/noir-contracts.js": "0.0.1-commit.9372f48",
-    "@aztec/noir-test-contracts.js": "0.0.1-commit.9372f48",
-    "@aztec/protocol-contracts": "0.0.1-commit.9372f48",
+    "@aztec/ethereum": "0.0.1-commit.949a33fd8",
+    "@aztec/kv-store": "0.0.1-commit.949a33fd8",
+    "@aztec/noir-contracts.js": "0.0.1-commit.949a33fd8",
+    "@aztec/noir-test-contracts.js": "0.0.1-commit.949a33fd8",
+    "@aztec/protocol-contracts": "0.0.1-commit.949a33fd8",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/node": "^22.15.17",

package/src/avm_proving_tests/avm_proving_tester.ts

@@ -10,6 +10,7 @@ import {
 import type { PublicTxResult } from '@aztec/simulator/server';
 import { AvmCircuitInputs, AvmCircuitPublicInputs, PublicSimulatorConfig } from '@aztec/stdlib/avm';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { Gas } from '@aztec/stdlib/gas';
 import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
 import type { GlobalVariables } from '@aztec/stdlib/tx';
 import { NativeWorldStateService } from '@aztec/world-state';
@@ -211,6 +212,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
     privateInsertions?: TestPrivateInsertions,
     txLabel: string = 'unlabeledTx',
     disableRevertCheck: boolean = false,
+    gasLimits?: Gas,
   ): Promise<PublicTxResult> {
     const simTimer = new Timer();
     const simRes = await this.simulateTx(
@@ -221,6 +223,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
       feePayer,
       privateInsertions,
       txLabel,
+      gasLimits,
     );
     const simDuration = simTimer.ms();
     this.logger.info(`Simulation took ${simDuration} ms for tx ${txLabel}`);
@@ -247,6 +250,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
     teardownCall?: TestEnqueuedCall,
     feePayer?: AztecAddress,
     privateInsertions?: TestPrivateInsertions,
+    gasLimits?: Gas,
   ) {
     return await this.simProveVerify(
       sender,
@@ -258,6 +262,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
       privateInsertions,
       txLabel,
       true,
+      gasLimits,
     );
   }
 
@@ -265,6 +270,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
     appCall: TestEnqueuedCall,
     expectRevert?: boolean,
     txLabel: string = 'unlabeledTx',
+    gasLimits?: Gas,
   ) {
     await this.simProveVerify(
       /*sender=*/ AztecAddress.fromNumber(42),
@@ -275,6 +281,8 @@ export class AvmProvingTester extends PublicTxSimulationTester {
       /*feePayer=*/ undefined,
       /*privateInsertions=*/ undefined,
       txLabel,
+      /*disableRevertCheck=*/ false,
+      gasLimits,
     );
   }
 }

package/src/bb/execute.ts

@@ -52,6 +52,8 @@ type BBExecResult = {
   signal: string | undefined;
 };
 
+export const DEFAULT_BB_VERIFY_CONCURRENCY = 4;
+
 /**
  * Invokes the Barretenberg binary with the provided command and args
  * @param pathToBB - The path to the BB binary
@@ -101,6 +103,16 @@ export function executeBB(
       }, timeout);
     }
 
+    // Forward termination signals so bb doesn't survive as an orphan when the node parent exits.
+    const forwardSignal = (signal: NodeJS.Signals) => {
+      if (bb.pid) {
+        bb.kill(signal);
+      }
+    };
+    process.on('SIGINT', forwardSignal);
+    process.on('SIGTERM', forwardSignal);
+    process.on('SIGHUP', forwardSignal);
+
     readline.createInterface({ input: bb.stdout }).on('line', logger);
     readline.createInterface({ input: bb.stderr }).on('line', logger);
 
@@ -108,6 +120,9 @@ export function executeBB(
       if (timeoutId) {
         clearTimeout(timeoutId);
       }
+      process.off('SIGINT', forwardSignal);
+      process.off('SIGTERM', forwardSignal);
+      process.off('SIGHUP', forwardSignal);
       if (resultParser(exitCode)) {
         resolve({ status: BB_RESULT.SUCCESS, exitCode, signal });
       } else {
@@ -398,7 +413,14 @@ export async function verifyProof(
     '--disable_zk',
     ...getArgs(ultraHonkFlavor),
   ];
-  return await verifyProofInternal(pathToBB, `verify`, args, logger);
+
+  let concurrency = DEFAULT_BB_VERIFY_CONCURRENCY;
+
+  if (process.env.VERIFY_HARDWARE_CONCURRENCY) {
+    concurrency = parseInt(process.env.VERIFY_HARDWARE_CONCURRENCY, 10);
+  }
+
+  return await verifyProofInternal(pathToBB, `verify`, args, logger, concurrency);
 }
 
 export async function verifyAvmProof(

package/src/config.ts

@@ -3,8 +3,19 @@ export interface BBConfig {
   bbWorkingDirectory: string;
   /** Whether to skip tmp dir cleanup for debugging purposes */
   bbSkipCleanup: boolean;
+  /** Max concurrent verifications for the RPC verifier (QueuedIVCVerifier). */
   numConcurrentIVCVerifiers: number;
+  /** Thread count for the RPC IVC verifier. */
   bbIVCConcurrency: number;
+  /**
+   * Upper bound on proofs per batch for the peer chonk batch verifier.
+   * Proofs are verified immediately as they arrive — this only caps how many
+   * can accumulate while a batch is already being processed.
+   * Default 16: at 4 cores, a full batch of 16 verifies in ~245ms wall time.
+   */
+  bbChonkVerifyMaxBatch: number;
+  /** Thread count for the peer batch verifier parallel reduce. Default 6 to leave cores for the rest of the node. */
+  bbChonkVerifyConcurrency: number;
 }
 
 export interface ACVMConfig {

package/src/instrumentation.ts

@@ -58,10 +58,18 @@ export class ProverInstrumentation {
     circuitName: CircuitName,
     timerOrMS: Timer | number,
   ) {
-    const s = typeof timerOrMS === 'number' ? timerOrMS / 1000 : timerOrMS.s();
-    this[metric].record(s, {
-      [Attributes.PROTOCOL_CIRCUIT_NAME]: circuitName,
-    });
+    // Simulation duration is stored in ms, while the others are stored in seconds
+    if (metric === 'simulationDuration') {
+      const ms = typeof timerOrMS === 'number' ? timerOrMS : timerOrMS.ms();
+      this[metric].record(Math.trunc(ms), {
+        [Attributes.PROTOCOL_CIRCUIT_NAME]: circuitName,
+      });
+    } else {
+      const s = typeof timerOrMS === 'number' ? timerOrMS / 1000 : timerOrMS.s();
+      this[metric].record(s, {
+        [Attributes.PROTOCOL_CIRCUIT_NAME]: circuitName,
+      });
+    }
   }
 
   /**

package/src/prover/client/bb_private_kernel_prover.ts

@@ -278,23 +278,36 @@ export abstract class BBPrivateKernelProver implements PrivateKernelProver {
     this.log.info(`Generating ClientIVC proof...`);
     const barretenberg = await Barretenberg.initSingleton({
       ...this.options,
-      logger: this.options.logger?.[(process.env.LOG_LEVEL as LogLevel) || 'verbose'],
+      logger: this.options.logger?.verbose,
     });
     const backend = new AztecClientBackend(
       executionSteps.map(step => ungzip(step.bytecode)),
       barretenberg,
+      executionSteps.map(step => step.functionName),
     );
 
-    const [proof] = await backend.prove(
+    // Use compressed prove path to get both proof fields and compressed proof bytes
+    const result = await backend.prove(
       executionSteps.map(step => ungzip(serializeWitness(step.witness))),
       executionSteps.map(step => step.vk),
+      { compress: true },
     );
     this.log.info(`Generated ClientIVC proof`, {
       eventName: 'client-ivc-proof-generation',
       duration: timer.ms(),
-      proofSize: proof.length,
+      proofSize: result.proofFields.length,
+      compressedSize: result.compressedProof?.length,
     });
-    return ChonkProofWithPublicInputs.fromBufferArray(proof);
+
+    // Create ChonkProofWithPublicInputs from the flat field elements
+    const proofWithPubInputs = ChonkProofWithPublicInputs.fromBufferArray(result.proofFields);
+
+    // Attach compressed proof bytes to the ChonkProof (without public inputs).
+    // The compressed bytes are for the full proof WITH public inputs from bb;
+    // when deserializing, the decompressor will strip them to match CHONK_PROOF_LENGTH.
+    proofWithPubInputs.compressedProof = result.compressedProof ? Buffer.from(result.compressedProof) : undefined;
+
+    return proofWithPubInputs;
   }
 
   public async computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number> {
@@ -303,7 +316,7 @@ export abstract class BBPrivateKernelProver implements PrivateKernelProver {
       ...this.options,
       logger: this.options.logger?.[(process.env.LOG_LEVEL as LogLevel) || 'verbose'],
     });
-    const backend = new AztecClientBackend([ungzip(_bytecode)], barretenberg);
+    const backend = new AztecClientBackend([ungzip(_bytecode)], barretenberg, [_circuitName]);
     const gateCount = await backend.gates();
     return gateCount[0];
   }

package/src/verifier/batch_chonk_verifier.ts

@@ -0,0 +1,276 @@
+import { BackendType, Barretenberg } from '@aztec/bb.js';
+import { FifoFrameReader } from '@aztec/foundation/fifo';
+import { createLogger } from '@aztec/foundation/log';
+import { SerialQueue } from '@aztec/foundation/queue';
+import { Timer } from '@aztec/foundation/timer';
+import { ProtocolCircuitVks } from '@aztec/noir-protocol-circuits-types/server/vks';
+import type { ClientProtocolCircuitVerifier, IVCProofVerificationResult } from '@aztec/stdlib/interfaces/server';
+import type { Tx } from '@aztec/stdlib/tx';
+
+import { Unpackr } from 'msgpackr';
+import { execFile } from 'node:child_process';
+import { unlinkSync } from 'node:fs';
+import { unlink } from 'node:fs/promises';
+import * as os from 'node:os';
+import * as path from 'node:path';
+import { promisify } from 'node:util';
+
+import type { BBConfig } from '../config.js';
+
+const execFileAsync = promisify(execFile);
+
+/** Result from the FIFO, matching the C++ VerifyResult struct. */
+interface FifoVerifyResult {
+  request_id: number;
+  status: number;
+  error_message: string;
+  time_in_verify_ms: number;
+}
+
+/** Maps client protocol artifacts used for chonk verification to VK indices. */
+const CHONK_VK_ARTIFACTS = ['HidingKernelToRollup', 'HidingKernelToPublic'] as const;
+
+interface PendingRequest {
+  resolve: (result: IVCProofVerificationResult) => void;
+  reject: (error: Error) => void;
+  totalTimer: Timer;
+}
+
+/**
+ * Batch verifier for Chonk IVC proofs. Uses the bb batch verifier service
+ * which batches IPA verification into a single SRS MSM for better throughput.
+ *
+ * Architecture:
+ * - Spawns a persistent `bb msgpack run` process via Barretenberg (native backend)
+ * - Sends proofs via the msgpack RPC protocol (ChonkBatchVerifierQueue)
+ * - Receives results via a named FIFO pipe (async, out-of-order)
+ * - Bisects batch failures to isolate individual bad proofs
+ */
+export class BatchChonkVerifier implements ClientProtocolCircuitVerifier {
+  private bb!: Barretenberg;
+  private fifoPath: string;
+  private nextRequestId = 0;
+  private pendingRequests = new Map<number, PendingRequest>();
+  private sendQueue: SerialQueue;
+  private fifoReader: FifoFrameReader;
+  private logger = createLogger('bb-prover:batch_chonk_verifier');
+  /** Maps artifact name to VK index in the batch verifier. */
+  private vkIndexMap = new Map<string, number>();
+  /** Bound cleanup handler for process exit signals. */
+  private exitCleanup: (() => void) | null = null;
+
+  private constructor(
+    private config: Pick<BBConfig, 'bbChonkVerifyConcurrency'> & Partial<Pick<BBConfig, 'bbBinaryPath'>>,
+    private vkBuffers: Uint8Array[],
+    private batchSize: number,
+    private label: string,
+  ) {
+    this.fifoPath = path.join(os.tmpdir(), `bb-batch-${label}-${process.pid}-${Date.now()}.fifo`);
+    this.fifoReader = new FifoFrameReader();
+    this.sendQueue = new SerialQueue();
+    this.sendQueue.start(1);
+  }
+
+  /** Create and start a BatchChonkVerifier using the protocol circuit VKs. */
+  static async new(config: BBConfig, batchSize: number, label: string): Promise<BatchChonkVerifier> {
+    const vkBuffers: Uint8Array[] = [];
+    const vkIndexMap = new Map<string, number>();
+    for (const artifact of CHONK_VK_ARTIFACTS) {
+      const vk = ProtocolCircuitVks[artifact];
+      if (!vk) {
+        throw new Error(`Missing VK for ${artifact}`);
+      }
+      vkIndexMap.set(artifact, vkBuffers.length);
+      vkBuffers.push(vk.keyAsBytes);
+    }
+    const verifier = new BatchChonkVerifier(config, vkBuffers, batchSize, label);
+    verifier.vkIndexMap = vkIndexMap;
+    await verifier.start();
+    return verifier;
+  }
+
+  /** Create and start a BatchChonkVerifier with custom VKs (for testing). */
+  static async newForTesting(
+    config: Pick<BBConfig, 'bbChonkVerifyConcurrency'> & Partial<Pick<BBConfig, 'bbBinaryPath'>>,
+    vks: Uint8Array[],
+    batchSize: number,
+  ): Promise<BatchChonkVerifier> {
+    const verifier = new BatchChonkVerifier(config, vks, batchSize, 'test');
+    for (let i = 0; i < vks.length; i++) {
+      verifier.vkIndexMap.set(String(i), i);
+    }
+    await verifier.start();
+    return verifier;
+  }
+
+  private async start(): Promise<void> {
+    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();
+    this.logger.info('BatchChonkVerifier started', { fifoPath: this.fifoPath });
+  }
+
+  public verifyProof(tx: Tx): Promise<IVCProofVerificationResult> {
+    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);
+  }
+
+  /** Enqueue raw proof fields for verification. Used directly by tests with custom VKs. */
+  public enqueueProof(vkIndex: number, proofFields: Uint8Array[]): Promise<IVCProofVerificationResult> {
+    const totalTimer = new Timer();
+    const requestId = this.nextRequestId++;
+
+    const resultPromise = new Promise<IVCProofVerificationResult>((resolve, reject) => {
+      this.pendingRequests.set(requestId, { resolve, reject, totalTimer });
+    });
+
+    void this.sendQueue
+      .put(async () => {
+        await this.bb.chonkBatchVerifierQueue({
+          requestId,
+          vkIndex,
+          proofFields,
+        });
+      })
+      .catch(err => {
+        const pending = this.pendingRequests.get(requestId);
+        if (pending) {
+          this.pendingRequests.delete(requestId);
+          pending.reject(err instanceof Error ? err : new Error(String(err)));
+        }
+      });
+
+    return resultPromise;
+  }
+
+  public async stop(): Promise<void> {
+    this.logger.info('Stopping BatchChonkVerifier');
+
+    // Stop accepting new proofs
+    await this.sendQueue.end();
+
+    // Stop the bb service (flushes remaining proofs)
+    try {
+      await this.bb.chonkBatchVerifierStop({});
+    } 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);
+    }
+
+    // Destroy bb process
+    await this.bb.destroy();
+
+    this.logger.info('BatchChonkVerifier stopped');
+  }
+
+  private startFifoReader(): void {
+    const unpackr = new Unpackr({ useRecords: false });
+
+    this.fifoReader.on('frame', (payload: Buffer) => {
+      try {
+        const result = unpackr.unpack(payload) as FifoVerifyResult;
+        this.handleResult(result);
+      } catch (err) {
+        this.logger.error(`FIFO: failed to decode msgpack result: ${err}`);
+      }
+    });
+
+    this.fifoReader.on('error', (err: Error) => {
+      this.logger.error(`FIFO reader error: ${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);
+      }
+    });
+
+    this.fifoReader.start(this.fifoPath);
+  }
+
+  private handleResult(result: FifoVerifyResult): void {
+    const pending = this.pendingRequests.get(result.request_id);
+    if (!pending) {
+      this.logger.warn(`Received result for unknown request_id=${result.request_id}`);
+      return;
+    }
+    this.pendingRequests.delete(result.request_id);
+
+    const valid = result.status === 0; // VerifyStatus::OK
+    const durationMs = result.time_in_verify_ms;
+    const totalDurationMs = pending.totalTimer.ms();
+
+    const ivcResult: IVCProofVerificationResult = { valid, durationMs, totalDurationMs };
+
+    if (!valid) {
+      this.logger.warn(`Proof verification failed for request_id=${result.request_id}: ${result.error_message}`);
+    } else {
+      this.logger.debug(`Proof verified`, {
+        requestId: result.request_id,
+        durationMs: Math.ceil(durationMs),
+        totalDurationMs: Math.ceil(totalDurationMs),
+      });
+    }
+
+    pending.resolve(ivcResult);
+  }
+
+  private registerExitCleanup(): void {
+    // Signal handlers must be synchronous — unlinkSync is intentional here
+    this.exitCleanup = () => {
+      try {
+        unlinkSync(this.fifoPath);
+      } catch {
+        /* ignore */
+      }
+    };
+    process.on('exit', this.exitCleanup);
+    process.on('SIGINT', this.exitCleanup);
+    process.on('SIGTERM', this.exitCleanup);
+  }
+
+  private deregisterExitCleanup(): void {
+    if (this.exitCleanup) {
+      process.removeListener('exit', this.exitCleanup);
+      process.removeListener('SIGINT', this.exitCleanup);
+      process.removeListener('SIGTERM', this.exitCleanup);
+      this.exitCleanup = null;
+    }
+  }
+}

package/src/verifier/index.ts

@@ -1,2 +1,3 @@
+export * from './batch_chonk_verifier.js';
 export * from './bb_verifier.js';
 export * from './queued_chonk_verifier.js';

package/src/verifier/queued_chonk_verifier.ts

@@ -16,8 +16,6 @@ import {
 
 import { createHistogram } from 'node:perf_hooks';
 
-import type { BBConfig } from '../config.js';
-
 class IVCVerifierMetrics {
   private ivcVerificationHistogram: Histogram;
   private ivcTotalVerificationHistogram: Histogram;
@@ -86,15 +84,15 @@ export class QueuedIVCVerifier implements ClientProtocolCircuitVerifier {
   private metrics: IVCVerifierMetrics;
 
   public constructor(
-    config: BBConfig,
     private verifier: ClientProtocolCircuitVerifier,
+    concurrency: number,
     private telemetry: TelemetryClient = getTelemetryClient(),
     private logger = createLogger('bb-prover:queued_chonk_verifier'),
   ) {
     this.metrics = new IVCVerifierMetrics(this.telemetry, 'QueuedIVCVerifier');
     this.queue = new SerialQueue();
-    this.logger.info(`Starting QueuedIVCVerifier with ${config.numConcurrentIVCVerifiers} concurrent verifiers`);
-    this.queue.start(config.numConcurrentIVCVerifiers);
+    this.logger.info(`Starting QueuedIVCVerifier with ${concurrency} concurrent verifiers`);
+    this.queue.start(concurrency);
   }
 
   public async verifyProof(tx: Tx): Promise<IVCProofVerificationResult> {
@@ -103,7 +101,8 @@ export class QueuedIVCVerifier implements ClientProtocolCircuitVerifier {
     return result;
   }
 
-  stop(): Promise<void> {
-    return this.queue.end();
+  async stop(): Promise<void> {
+    await this.queue.end();
+    await this.verifier.stop();
   }
 }