@aztec/bb-prover 0.0.1-commit.e6bd8901 → 0.0.1-commit.ec7ac5448

package/dest/verifier/batch_chonk_verifier.js

@@ -0,0 +1,232 @@
+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 { 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';
+const execFileAsync = promisify(execFile);
+/** 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.
+ *
+ * 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 {
+    config;
+    vkBuffers;
+    batchSize;
+    label;
+    bb;
+    fifoPath;
+    nextRequestId;
+    pendingRequests;
+    sendQueue;
+    fifoReader;
+    logger;
+    /** Maps artifact name to VK index in the batch verifier. */ vkIndexMap;
+    /** Bound cleanup handler for process exit signals. */ exitCleanup;
+    constructor(config, vkBuffers, batchSize, label){
+        this.config = config;
+        this.vkBuffers = vkBuffers;
+        this.batchSize = batchSize;
+        this.label = label;
+        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.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, batchSize, label) {
+        const vkBuffers = [];
+        const vkIndexMap = new Map();
+        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, vks, batchSize) {
+        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;
+    }
+    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();
+        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);
+    }
+    /** Enqueue raw proof fields for verification. Used directly by tests with custom VKs. */ enqueueProof(vkIndex, proofFields) {
+        const totalTimer = new Timer();
+        const requestId = this.nextRequestId++;
+        const resultPromise = new Promise((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;
+    }
+    async stop() {
+        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');
+    }
+    startFifoReader() {
+        const unpackr = new Unpackr({
+            useRecords: false
+        });
+        this.fifoReader.on('frame', (payload)=>{
+            try {
+                const result = unpackr.unpack(payload);
+                this.handleResult(result);
+            } catch (err) {
+                this.logger.error(`FIFO: failed to decode msgpack result: ${err}`);
+            }
+        });
+        this.fifoReader.on('error', (err)=>{
+            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);
+    }
+    handleResult(result) {
+        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 = {
+            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);
+    }
+    registerExitCleanup() {
+        // 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);
+    }
+    deregisterExitCleanup() {
+        if (this.exitCleanup) {
+            process.removeListener('exit', this.exitCleanup);
+            process.removeListener('SIGINT', this.exitCleanup);
+            process.removeListener('SIGTERM', this.exitCleanup);
+            this.exitCleanup = null;
+        }
+    }
+}

package/dest/verifier/index.d.ts

@@ -1,3 +1,4 @@
+export * from './batch_chonk_verifier.js';
 export * from './bb_verifier.js';
 export * from './queued_chonk_verifier.js';
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLGtCQUFrQixDQUFDO0FBQ2pDLGNBQWMsNEJBQTRCLENBQUMifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLDJCQUEyQixDQUFDO0FBQzFDLGNBQWMsa0JBQWtCLENBQUM7QUFDakMsY0FBYyw0QkFBNEIsQ0FBQyJ9

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC;AAC1C,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC"}

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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicXVldWVkX2Nob25rX3ZlcmlmaWVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdmVyaWZpZXIvcXVldWVkX2Nob25rX3ZlcmlmaWVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxFQUFFLDZCQUE2QixFQUFFLDBCQUEwQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDakgsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDM0MsT0FBTyxFQU1MLEtBQUssZUFBZSxFQUdyQixNQUFNLHlCQUF5QixDQUFDO0FBSWpDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQWlFN0MscUJBQWEsaUJBQWtCLFlBQVcsNkJBQTZCO0lBTW5FLE9BQU8sQ0FBQyxRQUFRO0lBQ2hCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxNQUFNO0lBUGhCLE9BQU8sQ0FBQyxLQUFLLENBQWM7SUFDM0IsT0FBTyxDQUFDLE9BQU8sQ0FBcUI7SUFFcEMsWUFDRSxNQUFNLEVBQUUsUUFBUSxFQUNSLFFBQVEsRUFBRSw2QkFBNkIsRUFDdkMsU0FBUyxHQUFFLGVBQXNDLEVBQ2pELE1BQU0seUNBQWtELEVBTWpFO0lBRVksV0FBVyxDQUFDLEVBQUUsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLDBCQUEwQixDQUFDLENBSXBFO0lBRUQsSUFBSSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFcEI7Q0FDRiJ9
+//# 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,EAGrB,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

@@ -1,6 +1,6 @@
 import { createLogger } from '@aztec/foundation/log';
 import { SerialQueue } from '@aztec/foundation/queue';
-import { Attributes, Metrics, getTelemetryClient } from '@aztec/telemetry-client';
+import { Attributes, Metrics, createUpDownCounterWithDefault, getTelemetryClient } from '@aztec/telemetry-client';
 import { createHistogram } from 'node:perf_hooks';
 class IVCVerifierMetrics {
     ivcVerificationHistogram;
@@ -19,7 +19,7 @@ class IVCVerifierMetrics {
         const meter = client.getMeter(name);
         this.ivcVerificationHistogram = meter.createHistogram(Metrics.IVC_VERIFIER_TIME);
         this.ivcTotalVerificationHistogram = meter.createHistogram(Metrics.IVC_VERIFIER_TOTAL_TIME);
-        this.ivcFailureCount = meter.createUpDownCounter(Metrics.IVC_VERIFIER_FAILURE_COUNT);
+        this.ivcFailureCount = createUpDownCounterWithDefault(meter, Metrics.IVC_VERIFIER_FAILURE_COUNT);
         this.aggDurationMetrics = {
             avg: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_AVG),
             max: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_MAX),
@@ -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.e6bd8901",
+  "version": "0.0.1-commit.ec7ac5448",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -69,27 +69,28 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb.js": "0.0.1-commit.e6bd8901",
-    "@aztec/constants": "0.0.1-commit.e6bd8901",
-    "@aztec/foundation": "0.0.1-commit.e6bd8901",
-    "@aztec/noir-noirc_abi": "0.0.1-commit.e6bd8901",
-    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.e6bd8901",
-    "@aztec/noir-types": "0.0.1-commit.e6bd8901",
-    "@aztec/simulator": "0.0.1-commit.e6bd8901",
-    "@aztec/stdlib": "0.0.1-commit.e6bd8901",
-    "@aztec/telemetry-client": "0.0.1-commit.e6bd8901",
-    "@aztec/world-state": "0.0.1-commit.e6bd8901",
+    "@aztec/bb.js": "0.0.1-commit.ec7ac5448",
+    "@aztec/constants": "0.0.1-commit.ec7ac5448",
+    "@aztec/foundation": "0.0.1-commit.ec7ac5448",
+    "@aztec/noir-noirc_abi": "0.0.1-commit.ec7ac5448",
+    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.ec7ac5448",
+    "@aztec/noir-types": "0.0.1-commit.ec7ac5448",
+    "@aztec/simulator": "0.0.1-commit.ec7ac5448",
+    "@aztec/stdlib": "0.0.1-commit.ec7ac5448",
+    "@aztec/telemetry-client": "0.0.1-commit.ec7ac5448",
+    "@aztec/world-state": "0.0.1-commit.ec7ac5448",
     "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.e6bd8901",
-    "@aztec/kv-store": "0.0.1-commit.e6bd8901",
-    "@aztec/noir-contracts.js": "0.0.1-commit.e6bd8901",
-    "@aztec/noir-test-contracts.js": "0.0.1-commit.e6bd8901",
-    "@aztec/protocol-contracts": "0.0.1-commit.e6bd8901",
+    "@aztec/ethereum": "0.0.1-commit.ec7ac5448",
+    "@aztec/kv-store": "0.0.1-commit.ec7ac5448",
+    "@aztec/noir-contracts.js": "0.0.1-commit.ec7ac5448",
+    "@aztec/noir-test-contracts.js": "0.0.1-commit.ec7ac5448",
+    "@aztec/protocol-contracts": "0.0.1-commit.ec7ac5448",
     "@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';
@@ -44,6 +45,10 @@ class InterceptingLogger implements Logger {
     throw new Error('Not implemented');
   }
 
+  getBindings() {
+    return this.logger.getBindings();
+  }
+
   private intercept(level: LogLevel, msg: string, ...args: any[]) {
     this.logs.push(...msg.split('\n'));
     // Forward to the wrapped logger
@@ -207,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(
@@ -217,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}`);
@@ -243,6 +250,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
     teardownCall?: TestEnqueuedCall,
     feePayer?: AztecAddress,
     privateInsertions?: TestPrivateInsertions,
+    gasLimits?: Gas,
   ) {
     return await this.simProveVerify(
       sender,
@@ -254,6 +262,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
       privateInsertions,
       txLabel,
       true,
+      gasLimits,
     );
   }
 
@@ -261,6 +270,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
     appCall: TestEnqueuedCall,
     expectRevert?: boolean,
     txLabel: string = 'unlabeledTx',
+    gasLimits?: Gas,
   ) {
     await this.simProveVerify(
       /*sender=*/ AztecAddress.fromNumber(42),
@@ -271,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
@@ -398,7 +400,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/prover/server/bb_prover.ts

@@ -463,6 +463,7 @@ export class BBNativeRollupProver implements ServerCircuitProver {
       this.config.acvmWorkingDirectory,
       this.config.acvmBinaryPath,
       outputWitnessFile,
+      logger,
     );
 
     const artifact = getServerCircuitArtifact(circuitType);

package/src/test/delay_values.ts

@@ -35,7 +35,7 @@ export const PROOF_DELAY_MS: Record<ProvingRequestType, number> = {
   [ProvingRequestType.ROOT_ROLLUP]: 93_000,
   [ProvingRequestType.TX_MERGE_ROLLUP]: 10_000,
   [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 44_500,
-  [ProvingRequestType.PUBLIC_VM]: 10_000,
+  [ProvingRequestType.PUBLIC_VM]: 180_000,
 
   // TBD
   [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 15_000,