@aztec/bb-prover 3.0.0-rc.5 → 4.0.0-nightly.20260107

package/dest/test/test_circuit_prover.js

@@ -1,9 +1,376 @@
-function _ts_decorate(decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for(var i = decorators.length - 1; i >= 0; i--)if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
+function applyDecs2203RFactory() {
+    function createAddInitializerMethod(initializers, decoratorFinishedRef) {
+        return function addInitializer(initializer) {
+            assertNotFinished(decoratorFinishedRef, "addInitializer");
+            assertCallable(initializer, "An initializer");
+            initializers.push(initializer);
+        };
+    }
+    function memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value) {
+        var kindStr;
+        switch(kind){
+            case 1:
+                kindStr = "accessor";
+                break;
+            case 2:
+                kindStr = "method";
+                break;
+            case 3:
+                kindStr = "getter";
+                break;
+            case 4:
+                kindStr = "setter";
+                break;
+            default:
+                kindStr = "field";
+        }
+        var ctx = {
+            kind: kindStr,
+            name: isPrivate ? "#" + name : name,
+            static: isStatic,
+            private: isPrivate,
+            metadata: metadata
+        };
+        var decoratorFinishedRef = {
+            v: false
+        };
+        ctx.addInitializer = createAddInitializerMethod(initializers, decoratorFinishedRef);
+        var get, set;
+        if (kind === 0) {
+            if (isPrivate) {
+                get = desc.get;
+                set = desc.set;
+            } else {
+                get = function() {
+                    return this[name];
+                };
+                set = function(v) {
+                    this[name] = v;
+                };
+            }
+        } else if (kind === 2) {
+            get = function() {
+                return desc.value;
+            };
+        } else {
+            if (kind === 1 || kind === 3) {
+                get = function() {
+                    return desc.get.call(this);
+                };
+            }
+            if (kind === 1 || kind === 4) {
+                set = function(v) {
+                    desc.set.call(this, v);
+                };
+            }
+        }
+        ctx.access = get && set ? {
+            get: get,
+            set: set
+        } : get ? {
+            get: get
+        } : {
+            set: set
+        };
+        try {
+            return dec(value, ctx);
+        } finally{
+            decoratorFinishedRef.v = true;
+        }
+    }
+    function assertNotFinished(decoratorFinishedRef, fnName) {
+        if (decoratorFinishedRef.v) {
+            throw new Error("attempted to call " + fnName + " after decoration was finished");
+        }
+    }
+    function assertCallable(fn, hint) {
+        if (typeof fn !== "function") {
+            throw new TypeError(hint + " must be a function");
+        }
+    }
+    function assertValidReturnValue(kind, value) {
+        var type = typeof value;
+        if (kind === 1) {
+            if (type !== "object" || value === null) {
+                throw new TypeError("accessor decorators must return an object with get, set, or init properties or void 0");
+            }
+            if (value.get !== undefined) {
+                assertCallable(value.get, "accessor.get");
+            }
+            if (value.set !== undefined) {
+                assertCallable(value.set, "accessor.set");
+            }
+            if (value.init !== undefined) {
+                assertCallable(value.init, "accessor.init");
+            }
+        } else if (type !== "function") {
+            var hint;
+            if (kind === 0) {
+                hint = "field";
+            } else if (kind === 10) {
+                hint = "class";
+            } else {
+                hint = "method";
+            }
+            throw new TypeError(hint + " decorators must return a function or void 0");
+        }
+    }
+    function applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata) {
+        var decs = decInfo[0];
+        var desc, init, value;
+        if (isPrivate) {
+            if (kind === 0 || kind === 1) {
+                desc = {
+                    get: decInfo[3],
+                    set: decInfo[4]
+                };
+            } else if (kind === 3) {
+                desc = {
+                    get: decInfo[3]
+                };
+            } else if (kind === 4) {
+                desc = {
+                    set: decInfo[3]
+                };
+            } else {
+                desc = {
+                    value: decInfo[3]
+                };
+            }
+        } else if (kind !== 0) {
+            desc = Object.getOwnPropertyDescriptor(base, name);
+        }
+        if (kind === 1) {
+            value = {
+                get: desc.get,
+                set: desc.set
+            };
+        } else if (kind === 2) {
+            value = desc.value;
+        } else if (kind === 3) {
+            value = desc.get;
+        } else if (kind === 4) {
+            value = desc.set;
+        }
+        var newValue, get, set;
+        if (typeof decs === "function") {
+            newValue = memberDec(decs, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
+            if (newValue !== void 0) {
+                assertValidReturnValue(kind, newValue);
+                if (kind === 0) {
+                    init = newValue;
+                } else if (kind === 1) {
+                    init = newValue.init;
+                    get = newValue.get || value.get;
+                    set = newValue.set || value.set;
+                    value = {
+                        get: get,
+                        set: set
+                    };
+                } else {
+                    value = newValue;
+                }
+            }
+        } else {
+            for(var i = decs.length - 1; i >= 0; i--){
+                var dec = decs[i];
+                newValue = memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
+                if (newValue !== void 0) {
+                    assertValidReturnValue(kind, newValue);
+                    var newInit;
+                    if (kind === 0) {
+                        newInit = newValue;
+                    } else if (kind === 1) {
+                        newInit = newValue.init;
+                        get = newValue.get || value.get;
+                        set = newValue.set || value.set;
+                        value = {
+                            get: get,
+                            set: set
+                        };
+                    } else {
+                        value = newValue;
+                    }
+                    if (newInit !== void 0) {
+                        if (init === void 0) {
+                            init = newInit;
+                        } else if (typeof init === "function") {
+                            init = [
+                                init,
+                                newInit
+                            ];
+                        } else {
+                            init.push(newInit);
+                        }
+                    }
+                }
+            }
+        }
+        if (kind === 0 || kind === 1) {
+            if (init === void 0) {
+                init = function(instance, init) {
+                    return init;
+                };
+            } else if (typeof init !== "function") {
+                var ownInitializers = init;
+                init = function(instance, init) {
+                    var value = init;
+                    for(var i = 0; i < ownInitializers.length; i++){
+                        value = ownInitializers[i].call(instance, value);
+                    }
+                    return value;
+                };
+            } else {
+                var originalInitializer = init;
+                init = function(instance, init) {
+                    return originalInitializer.call(instance, init);
+                };
+            }
+            ret.push(init);
+        }
+        if (kind !== 0) {
+            if (kind === 1) {
+                desc.get = value.get;
+                desc.set = value.set;
+            } else if (kind === 2) {
+                desc.value = value;
+            } else if (kind === 3) {
+                desc.get = value;
+            } else if (kind === 4) {
+                desc.set = value;
+            }
+            if (isPrivate) {
+                if (kind === 1) {
+                    ret.push(function(instance, args) {
+                        return value.get.call(instance, args);
+                    });
+                    ret.push(function(instance, args) {
+                        return value.set.call(instance, args);
+                    });
+                } else if (kind === 2) {
+                    ret.push(value);
+                } else {
+                    ret.push(function(instance, args) {
+                        return value.call(instance, args);
+                    });
+                }
+            } else {
+                Object.defineProperty(base, name, desc);
+            }
+        }
+    }
+    function applyMemberDecs(Class, decInfos, metadata) {
+        var ret = [];
+        var protoInitializers;
+        var staticInitializers;
+        var existingProtoNonFields = new Map();
+        var existingStaticNonFields = new Map();
+        for(var i = 0; i < decInfos.length; i++){
+            var decInfo = decInfos[i];
+            if (!Array.isArray(decInfo)) continue;
+            var kind = decInfo[1];
+            var name = decInfo[2];
+            var isPrivate = decInfo.length > 3;
+            var isStatic = kind >= 5;
+            var base;
+            var initializers;
+            if (isStatic) {
+                base = Class;
+                kind = kind - 5;
+                staticInitializers = staticInitializers || [];
+                initializers = staticInitializers;
+            } else {
+                base = Class.prototype;
+                protoInitializers = protoInitializers || [];
+                initializers = protoInitializers;
+            }
+            if (kind !== 0 && !isPrivate) {
+                var existingNonFields = isStatic ? existingStaticNonFields : existingProtoNonFields;
+                var existingKind = existingNonFields.get(name) || 0;
+                if (existingKind === true || existingKind === 3 && kind !== 4 || existingKind === 4 && kind !== 3) {
+                    throw new Error("Attempted to decorate a public method/accessor that has the same name as a previously decorated public method/accessor. This is not currently supported by the decorators plugin. Property name was: " + name);
+                } else if (!existingKind && kind > 2) {
+                    existingNonFields.set(name, kind);
+                } else {
+                    existingNonFields.set(name, true);
+                }
+            }
+            applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata);
+        }
+        pushInitializers(ret, protoInitializers);
+        pushInitializers(ret, staticInitializers);
+        return ret;
+    }
+    function pushInitializers(ret, initializers) {
+        if (initializers) {
+            ret.push(function(instance) {
+                for(var i = 0; i < initializers.length; i++){
+                    initializers[i].call(instance);
+                }
+                return instance;
+            });
+        }
+    }
+    function applyClassDecs(targetClass, classDecs, metadata) {
+        if (classDecs.length > 0) {
+            var initializers = [];
+            var newClass = targetClass;
+            var name = targetClass.name;
+            for(var i = classDecs.length - 1; i >= 0; i--){
+                var decoratorFinishedRef = {
+                    v: false
+                };
+                try {
+                    var nextNewClass = classDecs[i](newClass, {
+                        kind: "class",
+                        name: name,
+                        addInitializer: createAddInitializerMethod(initializers, decoratorFinishedRef),
+                        metadata
+                    });
+                } finally{
+                    decoratorFinishedRef.v = true;
+                }
+                if (nextNewClass !== undefined) {
+                    assertValidReturnValue(10, nextNewClass);
+                    newClass = nextNewClass;
+                }
+            }
+            return [
+                defineMetadata(newClass, metadata),
+                function() {
+                    for(var i = 0; i < initializers.length; i++){
+                        initializers[i].call(newClass);
+                    }
+                }
+            ];
+        }
+    }
+    function defineMetadata(Class, metadata) {
+        return Object.defineProperty(Class, Symbol.metadata || Symbol.for("Symbol.metadata"), {
+            configurable: true,
+            enumerable: true,
+            value: metadata
+        });
+    }
+    return function applyDecs2203R(targetClass, memberDecs, classDecs, parentClass) {
+        if (parentClass !== void 0) {
+            var parentMetadata = parentClass[Symbol.metadata || Symbol.for("Symbol.metadata")];
+        }
+        var metadata = Object.create(parentMetadata === void 0 ? null : parentMetadata);
+        var e = applyMemberDecs(targetClass, memberDecs, metadata);
+        if (!classDecs.length) defineMetadata(targetClass, metadata);
+        return {
+            e: e,
+            get c () {
+                return applyClassDecs(targetClass, classDecs, metadata);
+            }
+        };
+    };
+}
+function _apply_decs_2203_r(targetClass, memberDecs, classDecs, parentClass) {
+    return (_apply_decs_2203_r = applyDecs2203RFactory())(targetClass, memberDecs, classDecs, parentClass);
 }
+var _dec, _dec1, _dec2, _dec3, _dec4, _dec5, _dec6, _dec7, _dec8, _dec9, _dec10, _dec11, _dec12, _dec13, _dec14, _dec15, _initProto;
 import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
 import { createLogger } from '@aztec/foundation/log';
 import { sleep } from '@aztec/foundation/sleep';
@@ -19,12 +386,97 @@ import { VerificationKeyData } from '@aztec/stdlib/vks';
 import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
 import { ProverInstrumentation } from '../instrumentation.js';
 import { PROOF_DELAY_MS, WITGEN_DELAY_MS } from './delay_values.js';
+_dec = trackSpan('TestCircuitProver.getBaseParityProof'), _dec1 = trackSpan('TestCircuitProver.getRootParityProof'), _dec2 = trackSpan('TestCircuitProver.getPrivateTxBaseRollupProof'), _dec3 = trackSpan('TestCircuitProver.getPublicTxBaseRollupProof'), _dec4 = trackSpan('TestCircuitProver.getTxMergeRollupProof'), _dec5 = trackSpan('TestCircuitProver.getBlockRootFirstRollupProof'), _dec6 = trackSpan('TestCircuitProver.getBlockRootSingleTxFirstRollupProof'), _dec7 = trackSpan('TestCircuitProver.getBlockRootEmptyTxFirstRollupProof'), _dec8 = trackSpan('TestCircuitProver.getBlockRootRollupProof'), _dec9 = trackSpan('TestCircuitProver.getBlockRootSingleTxRollupProof'), _dec10 = trackSpan('TestCircuitProver.getBlockMergeRollupProof'), _dec11 = trackSpan('TestCircuitProver.getCheckpointRootRollupProof'), _dec12 = trackSpan('TestCircuitProver.getCheckpointRootSingleBlockRollupProof'), _dec13 = trackSpan('TestCircuitProver.getCheckpointPaddingRollupProof'), _dec14 = trackSpan('TestCircuitProver.getCheckpointMergeRollupProof'), _dec15 = trackSpan('TestCircuitProver.getRootRollupProof');
 /**
  * A class for use in testing situations (e2e, unit test, etc) and temporarily for assembling a block in the sequencer.
  * Simulates circuits using the most efficient method and performs no proving.
  */ export class TestCircuitProver {
     simulator;
     opts;
+    static{
+        ({ e: [_initProto] } = _apply_decs_2203_r(this, [
+            [
+                _dec,
+                2,
+                "getBaseParityProof"
+            ],
+            [
+                _dec1,
+                2,
+                "getRootParityProof"
+            ],
+            [
+                _dec2,
+                2,
+                "getPrivateTxBaseRollupProof"
+            ],
+            [
+                _dec3,
+                2,
+                "getPublicTxBaseRollupProof"
+            ],
+            [
+                _dec4,
+                2,
+                "getTxMergeRollupProof"
+            ],
+            [
+                _dec5,
+                2,
+                "getBlockRootFirstRollupProof"
+            ],
+            [
+                _dec6,
+                2,
+                "getBlockRootSingleTxFirstRollupProof"
+            ],
+            [
+                _dec7,
+                2,
+                "getBlockRootEmptyTxFirstRollupProof"
+            ],
+            [
+                _dec8,
+                2,
+                "getBlockRootRollupProof"
+            ],
+            [
+                _dec9,
+                2,
+                "getBlockRootSingleTxRollupProof"
+            ],
+            [
+                _dec10,
+                2,
+                "getBlockMergeRollupProof"
+            ],
+            [
+                _dec11,
+                2,
+                "getCheckpointRootRollupProof"
+            ],
+            [
+                _dec12,
+                2,
+                "getCheckpointRootSingleBlockRollupProof"
+            ],
+            [
+                _dec13,
+                2,
+                "getCheckpointPaddingRollupProof"
+            ],
+            [
+                _dec14,
+                2,
+                "getCheckpointMergeRollupProof"
+            ],
+            [
+                _dec15,
+                2,
+                "getRootRollupProof"
+            ]
+        ], []));
+    }
     wasmSimulator;
     instrumentation;
     logger;
@@ -34,7 +486,7 @@ import { PROOF_DELAY_MS, WITGEN_DELAY_MS } from './delay_values.js';
     }, telemetry = getTelemetryClient()){
         this.simulator = simulator;
         this.opts = opts;
-        this.wasmSimulator = new WASMSimulatorWithBlobs();
+        this.wasmSimulator = (_initProto(this), new WASMSimulatorWithBlobs());
         this.logger = createLogger('bb-prover:test-prover');
         this.instrumentation = new ProverInstrumentation(telemetry, 'TestCircuitProver');
     }
@@ -151,51 +603,3 @@ import { PROOF_DELAY_MS, WITGEN_DELAY_MS } from './delay_values.js';
         return makePublicInputsAndRecursiveProof(result, makeRecursiveProof(proofLength), ProtocolCircuitVks[artifactName]);
     }
 }
-_ts_decorate([
-    trackSpan('TestCircuitProver.getBaseParityProof')
-], TestCircuitProver.prototype, "getBaseParityProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getRootParityProof')
-], TestCircuitProver.prototype, "getRootParityProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getPrivateTxBaseRollupProof')
-], TestCircuitProver.prototype, "getPrivateTxBaseRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getPublicTxBaseRollupProof')
-], TestCircuitProver.prototype, "getPublicTxBaseRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getTxMergeRollupProof')
-], TestCircuitProver.prototype, "getTxMergeRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getBlockRootFirstRollupProof')
-], TestCircuitProver.prototype, "getBlockRootFirstRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getBlockRootSingleTxFirstRollupProof')
-], TestCircuitProver.prototype, "getBlockRootSingleTxFirstRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getBlockRootEmptyTxFirstRollupProof')
-], TestCircuitProver.prototype, "getBlockRootEmptyTxFirstRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getBlockRootRollupProof')
-], TestCircuitProver.prototype, "getBlockRootRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getBlockRootSingleTxRollupProof')
-], TestCircuitProver.prototype, "getBlockRootSingleTxRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getBlockMergeRollupProof')
-], TestCircuitProver.prototype, "getBlockMergeRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getCheckpointRootRollupProof')
-], TestCircuitProver.prototype, "getCheckpointRootRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getCheckpointRootSingleBlockRollupProof')
-], TestCircuitProver.prototype, "getCheckpointRootSingleBlockRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getCheckpointPaddingRollupProof')
-], TestCircuitProver.prototype, "getCheckpointPaddingRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getCheckpointMergeRollupProof')
-], TestCircuitProver.prototype, "getCheckpointMergeRollupProof", null);
-_ts_decorate([
-    trackSpan('TestCircuitProver.getRootRollupProof')
-], TestCircuitProver.prototype, "getRootRollupProof", null);

package/package.json

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

package/src/prover/client/bb_private_kernel_prover.ts

@@ -1,5 +1,5 @@
-import { AztecClientBackend, Barretenberg } from '@aztec/bb.js';
-import { createLogger } from '@aztec/foundation/log';
+import { AztecClientBackend, type BackendOptions, Barretenberg } from '@aztec/bb.js';
+import { type LogLevel, type Logger, createLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
 import { serializeWitness } from '@aztec/noir-noirc_abi';
 import {
@@ -45,12 +45,17 @@ import type { CircuitSimulationStats, CircuitWitnessGenerationStats } from '@azt
 
 import { ungzip } from 'pako';
 
+export type BBPrivateKernelProverOptions = Omit<BackendOptions, 'logger'> & { logger?: Logger };
 export abstract class BBPrivateKernelProver implements PrivateKernelProver {
+  private log: Logger;
+
   constructor(
     protected artifactProvider: ArtifactProvider,
     protected simulator: CircuitSimulator,
-    protected log = createLogger('bb-prover'),
-  ) {}
+    protected options: BBPrivateKernelProverOptions = {},
+  ) {
+    this.log = options.logger || createLogger('bb-prover:private-kernel');
+  }
 
   public async generateInitOutput(
     inputs: PrivateKernelInitCircuitPrivateInputs,
@@ -271,9 +276,13 @@ export abstract class BBPrivateKernelProver implements PrivateKernelProver {
   public async createChonkProof(executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs> {
     const timer = new Timer();
     this.log.info(`Generating ClientIVC proof...`);
+    const barretenberg = await Barretenberg.initSingleton({
+      ...this.options,
+      logger: this.options.logger?.[(process.env.LOG_LEVEL as LogLevel) || 'verbose'],
+    });
     const backend = new AztecClientBackend(
       executionSteps.map(step => ungzip(step.bytecode)),
-      await Barretenberg.initSingleton(),
+      barretenberg,
     );
 
     const [proof] = await backend.prove(
@@ -290,7 +299,11 @@ export abstract class BBPrivateKernelProver implements PrivateKernelProver {
 
   public async computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number> {
     // Note we do not pass the vk to the backend. This is unneeded for gate counts.
-    const backend = new AztecClientBackend([ungzip(_bytecode)], await Barretenberg.initSingleton());
+    const barretenberg = await Barretenberg.initSingleton({
+      ...this.options,
+      logger: this.options.logger?.[(process.env.LOG_LEVEL as LogLevel) || 'verbose'],
+    });
+    const backend = new AztecClientBackend([ungzip(_bytecode)], barretenberg);
     const gateCount = await backend.gates();
     return gateCount[0];
   }

package/src/prover/client/bundle.ts

@@ -1,11 +1,10 @@
-import { createLogger } from '@aztec/foundation/log';
 import { BundleArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/bundle';
 import type { CircuitSimulator } from '@aztec/simulator/client';
 
-import { BBPrivateKernelProver } from './bb_private_kernel_prover.js';
+import { BBPrivateKernelProver, type BBPrivateKernelProverOptions } from './bb_private_kernel_prover.js';
 
 export class BBBundlePrivateKernelProver extends BBPrivateKernelProver {
-  constructor(simulator: CircuitSimulator, log = createLogger('bb-prover:bundle')) {
-    super(new BundleArtifactProvider(), simulator, log);
+  constructor(simulator: CircuitSimulator, options: BBPrivateKernelProverOptions = {}) {
+    super(new BundleArtifactProvider(), simulator, options);
   }
 }

package/src/prover/client/lazy.ts

@@ -1,11 +1,10 @@
-import { createLogger } from '@aztec/foundation/log';
 import { LazyArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/lazy';
 import type { CircuitSimulator } from '@aztec/simulator/client';
 
-import { BBPrivateKernelProver } from './bb_private_kernel_prover.js';
+import { BBPrivateKernelProver, type BBPrivateKernelProverOptions } from './bb_private_kernel_prover.js';
 
 export class BBLazyPrivateKernelProver extends BBPrivateKernelProver {
-  constructor(simulator: CircuitSimulator, log = createLogger('bb-prover:lazy')) {
-    super(new LazyArtifactProvider(), simulator, log);
+  constructor(simulator: CircuitSimulator, options: BBPrivateKernelProverOptions = {}) {
+    super(new LazyArtifactProvider(), simulator, options);
   }
 }