@aztec/bb-prover 0.0.1-commit.96bb3f7 → 0.0.1-commit.993d240

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/bb_verifier.d.ts

@@ -8,11 +8,14 @@ import type { BBConfig } from '../config.js';
 export declare class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
     private config;
     private logger;
+    private bbJsFactory;
     private constructor();
     stop(): Promise<void>;
     static new(config: BBConfig, logger?: Logger): Promise<BBCircuitVerifier>;
     getVerificationKeyData(circuit: ProtocolArtifact): VerificationKeyData;
+    /** Verify an UltraHonk proof via bb.js API (no temp files). */
     verifyProofForCircuit(circuit: ServerProtocolArtifact, proof: Proof): Promise<void>;
+    /** Verify a Chonk (IVC) proof from a transaction via bb.js API. */
     verifyProof(tx: Tx): Promise<IVCProofVerificationResult>;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmJfdmVyaWZpZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9iYl92ZXJpZmllci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQWdCLE1BQU0sdUJBQXVCLENBQUM7QUFHbEUsT0FBTyxFQUVMLEtBQUssZ0JBQWdCLEVBQ3JCLEtBQUssc0JBQXNCLEVBRTVCLE1BQU0sMkNBQTJDLENBQUM7QUFDbkQsT0FBTyxLQUFLLEVBQUUsNkJBQTZCLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUNqSCxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUVsRCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDdEMsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQWE3RCxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFJN0MscUJBQWEsaUJBQWtCLFlBQVcsNkJBQTZCO0lBRW5FLE9BQU8sQ0FBQyxNQUFNO0lBQ2QsT0FBTyxDQUFDLE1BQU07SUFGaEIsT0FBTyxlQUdIO0lBRUcsSUFBSSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFM0I7SUFFRCxPQUFvQixHQUFHLENBQUMsTUFBTSxFQUFFLFFBQVEsRUFBRSxNQUFNLFNBQXFDLDhCQU1wRjtJQUVNLHNCQUFzQixDQUFDLE9BQU8sRUFBRSxnQkFBZ0IsR0FBRyxtQkFBbUIsQ0FNNUU7SUFFWSxxQkFBcUIsQ0FBQyxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsS0FBSyxFQUFFLEtBQUssaUJBbUMvRTtJQUVZLFdBQVcsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQywwQkFBMEIsQ0FBQyxDQTZDcEU7Q0FDRiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmJfdmVyaWZpZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9iYl92ZXJpZmllci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQWdCLE1BQU0sdUJBQXVCLENBQUM7QUFHbEUsT0FBTyxFQUVMLEtBQUssZ0JBQWdCLEVBQ3JCLEtBQUssc0JBQXNCLEVBRTVCLE1BQU0sMkNBQTJDLENBQUM7QUFDbkQsT0FBTyxLQUFLLEVBQUUsNkJBQTZCLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUNqSCxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUVsRCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDdEMsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUs3RCxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFHN0MscUJBQWEsaUJBQWtCLFlBQVcsNkJBQTZCO0lBSW5FLE9BQU8sQ0FBQyxNQUFNO0lBQ2QsT0FBTyxDQUFDLE1BQU07SUFKaEIsT0FBTyxDQUFDLFdBQVcsQ0FBYztJQUVqQyxPQUFPLGVBV047SUFFTSxJQUFJLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUUzQjtJQUVELE9BQW9CLEdBQUcsQ0FBQyxNQUFNLEVBQUUsUUFBUSxFQUFFLE1BQU0sU0FBcUMsOEJBTXBGO0lBRU0sc0JBQXNCLENBQUMsT0FBTyxFQUFFLGdCQUFnQixHQUFHLG1CQUFtQixDQU01RTtJQUVELCtEQUErRDtJQUNsRCxxQkFBcUIsQ0FBQyxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsS0FBSyxFQUFFLEtBQUssaUJBNEIvRTtJQUVELG1FQUFtRTtJQUN0RCxXQUFXLENBQUMsRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsMEJBQTBCLENBQUMsQ0ErQnBFO0NBQ0YifQ==

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

@@ -1 +1 @@
-{"version":3,"file":"bb_verifier.d.ts","sourceRoot":"","sources":["../../src/verifier/bb_verifier.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAGlE,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAE5B,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAElD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACtC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAa7D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAI7C,qBAAa,iBAAkB,YAAW,6BAA6B;IAEnE,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,MAAM;IAFhB,OAAO,eAGH;IAEG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAE3B;IAED,OAAoB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,SAAqC,8BAMpF;IAEM,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,GAAG,mBAAmB,CAM5E;IAEY,qBAAqB,CAAC,OAAO,EAAE,sBAAsB,EAAE,KAAK,EAAE,KAAK,iBAmC/E;IAEY,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CA6CpE;CACF"}
+{"version":3,"file":"bb_verifier.d.ts","sourceRoot":"","sources":["../../src/verifier/bb_verifier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAGlE,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAE5B,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAElD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACtC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAK7D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAG7C,qBAAa,iBAAkB,YAAW,6BAA6B;IAInE,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,MAAM;IAJhB,OAAO,CAAC,WAAW,CAAc;IAEjC,OAAO,eAWN;IAEM,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAE3B;IAED,OAAoB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,SAAqC,8BAMpF;IAEM,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,GAAG,mBAAmB,CAM5E;IAED,+DAA+D;IAClD,qBAAqB,CAAC,OAAO,EAAE,sBAAsB,EAAE,KAAK,EAAE,KAAK,iBA4B/E;IAED,mEAAmE;IACtD,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CA+BpE;CACF"}

package/dest/verifier/bb_verifier.js

@@ -1,22 +1,92 @@
-import { runInDirectory } from '@aztec/foundation/fs';
+function _ts_add_disposable_resource(env, value, async) {
+    if (value !== null && value !== void 0) {
+        if (typeof value !== "object" && typeof value !== "function") throw new TypeError("Object expected.");
+        var dispose, inner;
+        if (async) {
+            if (!Symbol.asyncDispose) throw new TypeError("Symbol.asyncDispose is not defined.");
+            dispose = value[Symbol.asyncDispose];
+        }
+        if (dispose === void 0) {
+            if (!Symbol.dispose) throw new TypeError("Symbol.dispose is not defined.");
+            dispose = value[Symbol.dispose];
+            if (async) inner = dispose;
+        }
+        if (typeof dispose !== "function") throw new TypeError("Object not disposable.");
+        if (inner) dispose = function() {
+            try {
+                inner.call(this);
+            } catch (e) {
+                return Promise.reject(e);
+            }
+        };
+        env.stack.push({
+            value: value,
+            dispose: dispose,
+            async: async
+        });
+    } else if (async) {
+        env.stack.push({
+            async: true
+        });
+    }
+    return value;
+}
+function _ts_dispose_resources(env) {
+    var _SuppressedError = typeof SuppressedError === "function" ? SuppressedError : function(error, suppressed, message) {
+        var e = new Error(message);
+        return e.name = "SuppressedError", e.error = error, e.suppressed = suppressed, e;
+    };
+    return (_ts_dispose_resources = function _ts_dispose_resources(env) {
+        function fail(e) {
+            env.error = env.hasError ? new _SuppressedError(e, env.error, "An error was suppressed during disposal.") : e;
+            env.hasError = true;
+        }
+        var r, s = 0;
+        function next() {
+            while(r = env.stack.pop()){
+                try {
+                    if (!r.async && s === 1) return s = 0, env.stack.push(r), Promise.resolve().then(next);
+                    if (r.dispose) {
+                        var result = r.dispose.call(r.value);
+                        if (r.async) return s |= 2, Promise.resolve(result).then(next, function(e) {
+                            fail(e);
+                            return next();
+                        });
+                    } else s |= 1;
+                } catch (e) {
+                    fail(e);
+                }
+            }
+            if (s === 1) return env.hasError ? Promise.reject(env.error) : Promise.resolve();
+            if (env.hasError) throw env.error;
+        }
+        return next();
+    })(env);
+}
 import { createLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
 import { ProtocolCircuitVks } from '@aztec/noir-protocol-circuits-types/server/vks';
 import { mapProtocolArtifactNameToCircuitName } from '@aztec/noir-protocol-circuits-types/types';
 import { promises as fs } from 'fs';
-import * as path from 'path';
-import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME, verifyChonkProof, verifyProof } from '../bb/execute.js';
+import { BBJsFactory } from '../bb/bb_js_backend.js';
 import { getUltraHonkFlavorForCircuit } from '../honk.js';
-import { writeChonkProofToPath } from '../prover/proof_utils.js';
 export class BBCircuitVerifier {
     config;
     logger;
+    bbJsFactory;
     constructor(config, logger){
         this.config = config;
         this.logger = logger;
+        // BB_NUM_IVC_VERIFIERS bounds the number of long-lived bb processes the pool keeps alive.
+        // If 0, fall back to spawning a fresh bb per verification.
+        this.bbJsFactory = new BBJsFactory(config.bbBinaryPath, {
+            poolSize: config.numConcurrentIVCVerifiers > 0 ? config.numConcurrentIVCVerifiers : undefined,
+            logger,
+            debugDir: config.bbDebugOutputDir
+        });
     }
     stop() {
-        return Promise.resolve();
+        return this.bbJsFactory.destroy();
     }
     static async new(config, logger = createLogger('bb-prover:verifier')) {
         if (!config.bbWorkingDirectory) {
@@ -34,64 +104,76 @@ export class BBCircuitVerifier {
         }
         return vk;
     }
-    async verifyProofForCircuit(circuit, proof) {
-        const operation = async (bbWorkingDirectory)=>{
-            const publicInputsFileName = path.join(bbWorkingDirectory, PUBLIC_INPUTS_FILENAME);
-            const proofFileName = path.join(bbWorkingDirectory, PROOF_FILENAME);
-            const verificationKeyPath = path.join(bbWorkingDirectory, VK_FILENAME);
+    /** Verify an UltraHonk proof via bb.js API (no temp files). */ async verifyProofForCircuit(circuit, proof) {
+        const env = {
+            stack: [],
+            error: void 0,
+            hasError: false
+        };
+        try {
             const verificationKey = this.getVerificationKeyData(circuit);
+            const flavor = getUltraHonkFlavorForCircuit(circuit);
             this.logger.debug(`${circuit} Verifying with key: ${verificationKey.keyAsFields.hash.toString()}`);
-            // TODO(https://github.com/AztecProtocol/aztec-packages/issues/13189): Put this proof parsing logic in the proof class.
-            await fs.writeFile(publicInputsFileName, proof.buffer.slice(0, proof.numPublicInputs * 32));
-            await fs.writeFile(proofFileName, proof.buffer.slice(proof.numPublicInputs * 32));
-            await fs.writeFile(verificationKeyPath, verificationKey.keyAsBytes);
-            const result = await verifyProof(this.config.bbBinaryPath, proofFileName, verificationKeyPath, getUltraHonkFlavorForCircuit(circuit), this.logger);
-            if (result.status === BB_RESULT.FAILURE) {
-                const errorMessage = `Failed to verify ${circuit} proof!`;
-                throw new Error(errorMessage);
+            // Split proof buffer into public input fields and proof fields (32-byte each)
+            const publicInputFields = splitBufferToFieldArrays(proof.buffer.subarray(0, proof.numPublicInputs * 32));
+            const proofFields = splitBufferToFieldArrays(proof.buffer.subarray(proof.numPublicInputs * 32));
+            const instance = _ts_add_disposable_resource(env, await this.bbJsFactory.getInstance(), true);
+            const { verified, durationMs } = await instance.verifyProof(proofFields, verificationKey.keyAsBytes, publicInputFields, flavor);
+            if (!verified) {
+                throw new Error(`Failed to verify ${circuit} proof!`);
             }
             this.logger.debug(`${circuit} verification successful`, {
                 circuitName: mapProtocolArtifactNameToCircuitName(circuit),
-                duration: result.durationMs,
+                duration: durationMs,
                 eventName: 'circuit-verification',
                 proofType: 'ultra-honk'
             });
-        };
-        await runInDirectory(this.config.bbWorkingDirectory, operation, this.config.bbSkipCleanup, this.logger);
+        } catch (e) {
+            env.error = e;
+            env.hasError = true;
+        } finally{
+            const result = _ts_dispose_resources(env);
+            if (result) await result;
+        }
     }
-    async verifyProof(tx) {
+    /** Verify a Chonk (IVC) proof from a transaction via bb.js API. */ async verifyProof(tx) {
         const proofType = 'Chonk';
         try {
-            const totalTimer = new Timer();
-            let verificationDuration = 0;
-            const circuit = tx.data.forPublic ? 'HidingKernelToPublic' : 'HidingKernelToRollup';
-            // Block below is almost copy-pasted from verifyProofForCircuit
-            const operation = async (bbWorkingDirectory)=>{
-                const proofPath = path.join(bbWorkingDirectory, PROOF_FILENAME);
-                await writeChonkProofToPath(tx.chonkProof.attachPublicInputs(tx.data.publicInputs().toFields()), proofPath);
-                const verificationKeyPath = path.join(bbWorkingDirectory, VK_FILENAME);
+            const env = {
+                stack: [],
+                error: void 0,
+                hasError: false
+            };
+            try {
+                const totalTimer = new Timer();
+                const circuit = tx.data.forPublic ? 'HidingKernelToPublic' : 'HidingKernelToRollup';
                 const verificationKey = this.getVerificationKeyData(circuit);
-                await fs.writeFile(verificationKeyPath, verificationKey.keyAsBytes);
-                const timer = new Timer();
-                const result = await verifyChonkProof(this.config.bbBinaryPath, proofPath, verificationKeyPath, this.logger, this.config.bbIVCConcurrency);
-                verificationDuration = timer.ms();
-                if (result.status === BB_RESULT.FAILURE) {
-                    const errorMessage = `Failed to verify ${proofType} proof for ${circuit}!`;
-                    throw new Error(errorMessage);
+                // Reconstruct the full proof with public inputs prepended, then convert Fr[] to Uint8Array[]
+                const proofWithPubInputs = tx.chonkProof.attachPublicInputs(tx.data.publicInputs().toFields());
+                const fieldsAsBuffers = proofWithPubInputs.fieldsWithPublicInputs.map((f)=>new Uint8Array(f.toBuffer()));
+                const instance = _ts_add_disposable_resource(env, await this.bbJsFactory.getInstance(), true);
+                const { verified, durationMs } = await instance.verifyChonkProof(fieldsAsBuffers, verificationKey.keyAsBytes);
+                if (!verified) {
+                    throw new Error(`Failed to verify ${proofType} proof for ${circuit}!`);
                 }
                 this.logger.debug(`${proofType} verification successful`, {
                     circuitName: mapProtocolArtifactNameToCircuitName(circuit),
-                    duration: result.durationMs,
+                    duration: durationMs,
                     eventName: 'circuit-verification',
                     proofType: 'chonk'
                 });
-            };
-            await runInDirectory(this.config.bbWorkingDirectory, operation, this.config.bbSkipCleanup, this.logger);
-            return {
-                valid: true,
-                durationMs: verificationDuration,
-                totalDurationMs: totalTimer.ms()
-            };
+                return {
+                    valid: true,
+                    durationMs,
+                    totalDurationMs: totalTimer.ms()
+                };
+            } catch (e) {
+                env.error = e;
+                env.hasError = true;
+            } finally{
+                const result = _ts_dispose_resources(env);
+                if (result) await result;
+            }
         } catch (err) {
             this.logger.warn(`Failed to verify ${proofType} proof for tx ${tx.getTxHash().toString()}: ${String(err)}`);
             return {
@@ -102,3 +184,10 @@ export class BBCircuitVerifier {
         }
     }
 }
+/** Split a buffer into 32-byte Uint8Array field elements. */ function splitBufferToFieldArrays(buffer) {
+    const fields = [];
+    for(let i = 0; i < buffer.length; i += 32){
+        fields.push(new Uint8Array(buffer.subarray(i, i + 32)));
+    }
+    return fields;
+}

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.96bb3f7",
+  "version": "0.0.1-commit.993d240",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -9,7 +9,8 @@
     "./client": "./dest/prover/client/bb_private_kernel_prover.js",
     "./verifier": "./dest/verifier/index.js",
     "./test": "./dest/test/index.js",
-    "./config": "./dest/config.js"
+    "./config": "./dest/config.js",
+    "./debug": "./dest/bb/bb_js_debug.js"
   },
   "bin": {
     "bb-cli": "./dest/bb/index.js"
@@ -69,32 +70,33 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb.js": "0.0.1-commit.96bb3f7",
-    "@aztec/constants": "0.0.1-commit.96bb3f7",
-    "@aztec/foundation": "0.0.1-commit.96bb3f7",
-    "@aztec/noir-noirc_abi": "0.0.1-commit.96bb3f7",
-    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.96bb3f7",
-    "@aztec/noir-types": "0.0.1-commit.96bb3f7",
-    "@aztec/simulator": "0.0.1-commit.96bb3f7",
-    "@aztec/stdlib": "0.0.1-commit.96bb3f7",
-    "@aztec/telemetry-client": "0.0.1-commit.96bb3f7",
-    "@aztec/world-state": "0.0.1-commit.96bb3f7",
+    "@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",
     "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.96bb3f7",
-    "@aztec/kv-store": "0.0.1-commit.96bb3f7",
-    "@aztec/noir-contracts.js": "0.0.1-commit.96bb3f7",
-    "@aztec/noir-test-contracts.js": "0.0.1-commit.96bb3f7",
-    "@aztec/protocol-contracts": "0.0.1-commit.96bb3f7",
+    "@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",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/node": "^22.15.17",
     "@types/source-map-support": "^0.5.10",
-    "@typescript/native-preview": "7.0.0-dev.20251126.1",
+    "@typescript/native-preview": "7.0.0-dev.20260113.1",
     "jest": "^30.0.0",
     "jest-mock-extended": "^4.0.0",
     "ts-node": "^10.9.1",