@aztec/bb-prover 0.0.1-fake-ceab37513c → 0.0.6-commit.a2d1860fe9

package/src/verification_key/verification_key_data.ts

@@ -1,9 +1,7 @@
-import { AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
 
-import { strict as assert } from 'assert';
 import { promises as fs } from 'fs';
 import * as path from 'path';
 
@@ -25,26 +23,3 @@ export async function extractVkData(vkDirectoryPath: string): Promise<Verificati
   const vkAsFields = await VerificationKeyAsFields.fromKey(fields);
   return new VerificationKeyData(vkAsFields, rawBinary);
 }
-
-/**
- * Reads the verification key data stored in a binary file at the specified directory location and parses into a VerificationKeyData.
- * We do not assume any JSON file available but only the binary version, contrary to the above extractVkData() method.
- * @param vkDirectoryPath - The directory containing the verification key binary data file.
- * @returns The verification key data
- */
-export async function extractAvmVkData(vkDirectoryPath: string): Promise<VerificationKeyData> {
-  const rawBinary = await fs.readFile(path.join(vkDirectoryPath, VK_FILENAME));
-
-  const numFields = rawBinary.length / Fr.SIZE_IN_BYTES;
-  assert(numFields <= AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, 'Invalid AVM verification key length');
-  const reader = BufferReader.asReader(rawBinary);
-  const fieldsArray = reader.readArray(numFields, Fr);
-
-  const fieldsArrayPadded = fieldsArray.concat(
-    Array(AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED - fieldsArray.length).fill(new Fr(0)),
-  );
-  const vkAsFields = await VerificationKeyAsFields.fromKey(fieldsArrayPadded);
-  // TODO(#16644): We should have a different type for AVM verification keys since we don't have circuit size or num public inputs in AVM VKs.
-  const vk = new VerificationKeyData(vkAsFields, rawBinary);
-  return vk;
-}

package/src/verifier/bb_verifier.ts

@@ -1,8 +1,13 @@
 import { runInDirectory } from '@aztec/foundation/fs';
 import { type Logger, createLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
-import { ServerCircuitVks } from '@aztec/noir-protocol-circuits-types/server/vks';
-import type { ClientProtocolArtifact, ServerProtocolArtifact } from '@aztec/noir-protocol-circuits-types/types';
+import { ProtocolCircuitVks } from '@aztec/noir-protocol-circuits-types/server/vks';
+import {
+  type ClientProtocolArtifact,
+  type ProtocolArtifact,
+  type ServerProtocolArtifact,
+  mapProtocolArtifactNameToCircuitName,
+} from '@aztec/noir-protocol-circuits-types/types';
 import type { ClientProtocolCircuitVerifier, IVCProofVerificationResult } from '@aztec/stdlib/interfaces/server';
 import type { Proof } from '@aztec/stdlib/proofs';
 import type { CircuitVerificationStats } from '@aztec/stdlib/stats';
@@ -11,26 +16,18 @@ import type { VerificationKeyData } from '@aztec/stdlib/vks';
 
 import { promises as fs } from 'fs';
 import * as path from 'path';
-import { fileURLToPath } from 'url';
 
 import {
   BB_RESULT,
   PROOF_FILENAME,
   PUBLIC_INPUTS_FILENAME,
   VK_FILENAME,
-  verifyClientIvcProof,
+  verifyChonkProof,
   verifyProof,
 } from '../bb/execute.js';
 import type { BBConfig } from '../config.js';
 import { getUltraHonkFlavorForCircuit } from '../honk.js';
-import { writeClientIVCProofToOutputDirectory } from '../prover/proof_utils.js';
-import { mapProtocolArtifactNameToCircuitName } from '../stats.js';
-
-const __dirname = path.dirname(fileURLToPath(import.meta.url));
-
-// Built by yarn generate
-export const PRIVATE_TAIL_CIVC_VK = path.join(__dirname, '../../artifacts/private-civc-vk');
-export const PUBLIC_TAIL_CIVC_VK = path.join(__dirname, '../../artifacts/public-civc-vk');
+import { writeChonkProofToPath } from '../prover/proof_utils.js';
 
 export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
   private constructor(
@@ -43,14 +40,17 @@ export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
   }
 
   public static async new(config: BBConfig, logger = createLogger('bb-prover:verifier')) {
+    if (!config.bbWorkingDirectory) {
+      throw new Error(`Barretenberg working directory (BB_WORKING_DIRECTORY) is not set`);
+    }
     await fs.mkdir(config.bbWorkingDirectory, { recursive: true });
     return new BBCircuitVerifier(config, logger);
   }
 
-  public getVerificationKeyData(circuitType: ServerProtocolArtifact): VerificationKeyData {
-    const vk = ServerCircuitVks[circuitType];
+  public getVerificationKeyData(circuit: ProtocolArtifact): VerificationKeyData {
+    const vk = ProtocolCircuitVks[circuit];
     if (vk === undefined) {
-      throw new Error('Could not find VK for server artifact ' + circuitType);
+      throw new Error(`Could not find VK for artifact ${circuit}`);
     }
     return vk;
   }
@@ -93,51 +93,48 @@ export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
   }
 
   public async verifyProof(tx: Tx): Promise<IVCProofVerificationResult> {
+    const proofType = 'Chonk';
     try {
       const totalTimer = new Timer();
       let verificationDuration = 0;
-      // TODO(#7370) The verification keys should be supplied separately and based on the expectedCircuit
-      // rather than read from the tx object itself. We also need the vks for the translator and ecc, which
-      // are not being saved along the other vks yet. Reuse the 'verifyProofForCircuit' method above once
-      // we have all the verification keys available.
-      const expectedCircuit: ClientProtocolArtifact = tx.data.forPublic
-        ? 'PrivateKernelTailToPublicArtifact'
-        : 'PrivateKernelTailArtifact';
-      const circuit = 'ClientIVC';
+
+      const circuit: ClientProtocolArtifact = tx.data.forPublic ? 'HidingKernelToPublic' : 'HidingKernelToRollup';
 
       // Block below is almost copy-pasted from verifyProofForCircuit
       const operation = async (bbWorkingDirectory: string) => {
-        const logFunction = (message: string) => {
-          this.logger.debug(`${circuit} BB out - ${message}`);
-        };
+        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 verificationKey = this.getVerificationKeyData(circuit);
+        await fs.writeFile(verificationKeyPath, verificationKey.keyAsBytes);
 
-        await writeClientIVCProofToOutputDirectory(tx.clientIvcProof, bbWorkingDirectory);
         const timer = new Timer();
-        const result = await verifyClientIvcProof(
+        const result = await verifyChonkProof(
           this.config.bbBinaryPath,
-          bbWorkingDirectory.concat('/proof'),
-          tx.data.forPublic ? PUBLIC_TAIL_CIVC_VK : PRIVATE_TAIL_CIVC_VK,
-          logFunction,
+          proofPath,
+          verificationKeyPath,
+          this.logger,
           this.config.bbIVCConcurrency,
         );
         verificationDuration = timer.ms();
 
         if (result.status === BB_RESULT.FAILURE) {
-          const errorMessage = `Failed to verify ${circuit} proof for ${expectedCircuit}!`;
+          const errorMessage = `Failed to verify ${proofType} proof for ${circuit}!`;
           throw new Error(errorMessage);
         }
 
-        this.logger.debug(`${circuit} verification successful`, {
-          circuitName: mapProtocolArtifactNameToCircuitName(expectedCircuit),
+        this.logger.debug(`${proofType} verification successful`, {
+          circuitName: mapProtocolArtifactNameToCircuitName(circuit),
           duration: result.durationMs,
           eventName: 'circuit-verification',
-          proofType: 'client-ivc',
+          proofType: 'chonk',
         } satisfies CircuitVerificationStats);
       };
       await runInDirectory(this.config.bbWorkingDirectory, operation, this.config.bbSkipCleanup, this.logger);
       return { valid: true, durationMs: verificationDuration, totalDurationMs: totalTimer.ms() };
     } catch (err) {
-      this.logger.warn(`Failed to verify ClientIVC proof for tx ${tx.getTxHash().toString()}: ${String(err)}`);
+      this.logger.warn(`Failed to verify ${proofType} proof for tx ${tx.getTxHash().toString()}: ${String(err)}`);
       return { valid: false, durationMs: 0, totalDurationMs: 0 };
     }
   }

package/src/verifier/index.ts

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

package/src/verifier/{queued_ivc_verifier.ts → queued_chonk_verifier.ts}

@@ -10,7 +10,7 @@ import {
   type ObservableGauge,
   type TelemetryClient,
   type UpDownCounter,
-  ValueType,
+  createUpDownCounterWithDefault,
   getTelemetryClient,
 } from '@aztec/telemetry-client';
 
@@ -36,49 +36,18 @@ class IVCVerifierMetrics {
   constructor(client: TelemetryClient, name = 'QueuedIVCVerifier') {
     const meter = client.getMeter(name);
 
-    this.ivcVerificationHistogram = meter.createHistogram(Metrics.IVC_VERIFIER_TIME, {
-      unit: 'ms',
-      description: 'Duration to verify client IVC proofs',
-      valueType: ValueType.INT,
-    });
+    this.ivcVerificationHistogram = meter.createHistogram(Metrics.IVC_VERIFIER_TIME);
 
-    this.ivcTotalVerificationHistogram = meter.createHistogram(Metrics.IVC_VERIFIER_TOTAL_TIME, {
-      unit: 'ms',
-      description: 'Total duration to verify client IVC proofs, including serde',
-      valueType: ValueType.INT,
-    });
+    this.ivcTotalVerificationHistogram = meter.createHistogram(Metrics.IVC_VERIFIER_TOTAL_TIME);
 
-    this.ivcFailureCount = meter.createUpDownCounter(Metrics.IVC_VERIFIER_FAILURE_COUNT, {
-      description: 'Count of failed IVC proof verifications',
-      valueType: ValueType.INT,
-    });
+    this.ivcFailureCount = createUpDownCounterWithDefault(meter, Metrics.IVC_VERIFIER_FAILURE_COUNT);
 
     this.aggDurationMetrics = {
-      avg: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_AVG, {
-        valueType: ValueType.DOUBLE,
-        description: 'AVG ivc verification',
-        unit: 'ms',
-      }),
-      max: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_MAX, {
-        valueType: ValueType.DOUBLE,
-        description: 'MAX ivc verification',
-        unit: 'ms',
-      }),
-      min: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_MIN, {
-        valueType: ValueType.DOUBLE,
-        description: 'MIN ivc verification',
-        unit: 'ms',
-      }),
-      p50: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_P50, {
-        valueType: ValueType.DOUBLE,
-        description: 'P50 ivc verification',
-        unit: 'ms',
-      }),
-      p90: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_P90, {
-        valueType: ValueType.DOUBLE,
-        description: 'P90 ivc verification',
-        unit: 'ms',
-      }),
+      avg: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_AVG),
+      max: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_MAX),
+      min: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_MIN),
+      p50: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_P50),
+      p90: meter.createObservableGauge(Metrics.IVC_VERIFIER_AGG_DURATION_P90),
     };
 
     meter.addBatchObservableCallback(this.aggregate, Object.values(this.aggDurationMetrics));
@@ -120,7 +89,7 @@ export class QueuedIVCVerifier implements ClientProtocolCircuitVerifier {
     config: BBConfig,
     private verifier: ClientProtocolCircuitVerifier,
     private telemetry: TelemetryClient = getTelemetryClient(),
-    private logger = createLogger('bb-prover:queued_ivc_verifier'),
+    private logger = createLogger('bb-prover:queued_chonk_verifier'),
   ) {
     this.metrics = new IVCVerifierMetrics(this.telemetry, 'QueuedIVCVerifier');
     this.queue = new SerialQueue();

package/dest/prover/client/native/bb_native_private_kernel_prover.d.ts

@@ -1,23 +0,0 @@
-import { type Logger } from '@aztec/foundation/log';
-import type { CircuitSimulator } from '@aztec/simulator/server';
-import { type PrivateExecutionStep } from '@aztec/stdlib/kernel';
-import type { ClientIvcProof } from '@aztec/stdlib/proofs';
-import type { BBConfig } from '../../../config.js';
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-/**
- * This proof creator implementation uses the native bb binary.
- */
-export declare class BBNativePrivateKernelProver extends BBPrivateKernelProver {
-    private bbBinaryPath;
-    private bbWorkingDirectory;
-    private skipCleanup;
-    protected simulator: CircuitSimulator;
-    protected log: Logger;
-    private constructor();
-    static new(config: BBConfig, simulator: CircuitSimulator, log?: Logger): Promise<BBNativePrivateKernelProver>;
-    private _createClientIvcProof;
-    createClientIvcProof(executionSteps: PrivateExecutionStep[]): Promise<ClientIvcProof>;
-    computeGateCountForCircuit(bytecode: Buffer, circuitName: string): Promise<number>;
-    private runInDirectory;
-}
-//# sourceMappingURL=bb_native_private_kernel_prover.d.ts.map

package/dest/prover/client/native/bb_native_private_kernel_prover.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bb_native_private_kernel_prover.d.ts","sourceRoot":"","sources":["../../../../src/prover/client/native/bb_native_private_kernel_prover.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAElE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,KAAK,oBAAoB,EAAkC,MAAM,sBAAsB,CAAC;AACjG,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAM3D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAEvE;;GAEG;AACH,qBAAa,2BAA4B,SAAQ,qBAAqB;IAElE,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,WAAW;cACA,SAAS,EAAE,gBAAgB;cAC3B,GAAG;IALxB,OAAO;WAUa,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,MAAM;YAWrE,qBAAqB;IAuBb,oBAAoB,CAAC,cAAc,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC;IAQrF,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAoBxG,OAAO,CAAC,cAAc;CAavB"}

package/dest/prover/client/native/bb_native_private_kernel_prover.js

@@ -1,66 +0,0 @@
-import { runInDirectory } from '@aztec/foundation/fs';
-import { createLogger } from '@aztec/foundation/log';
-import { BundleArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/bundle';
-import { serializePrivateExecutionSteps } from '@aztec/stdlib/kernel';
-import { promises as fs } from 'fs';
-import path from 'path';
-import { BB_RESULT, computeGateCountForCircuit, executeBbClientIvcProof } from '../../../bb/execute.js';
-import { readClientIVCProofFromOutputDirectory } from '../../proof_utils.js';
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-/**
- * This proof creator implementation uses the native bb binary.
- */ export class BBNativePrivateKernelProver extends BBPrivateKernelProver {
-    bbBinaryPath;
-    bbWorkingDirectory;
-    skipCleanup;
-    simulator;
-    log;
-    constructor(bbBinaryPath, bbWorkingDirectory, skipCleanup, simulator, log = createLogger('bb-prover:native')){
-        super(new BundleArtifactProvider(), simulator, log), this.bbBinaryPath = bbBinaryPath, this.bbWorkingDirectory = bbWorkingDirectory, this.skipCleanup = skipCleanup, this.simulator = simulator, this.log = log;
-    }
-    static async new(config, simulator, log) {
-        await fs.mkdir(config.bbWorkingDirectory, {
-            recursive: true
-        });
-        return new BBNativePrivateKernelProver(config.bbBinaryPath, config.bbWorkingDirectory, !!config.bbSkipCleanup, simulator, log);
-    }
-    async _createClientIvcProof(directory, executionSteps) {
-        const inputsPath = path.join(directory, 'ivc-inputs.msgpack');
-        await fs.writeFile(inputsPath, serializePrivateExecutionSteps(executionSteps));
-        const provingResult = await executeBbClientIvcProof(this.bbBinaryPath, directory, inputsPath, this.log.info);
-        if (provingResult.status === BB_RESULT.FAILURE) {
-            this.log.error(`Failed to generate client ivc proof`);
-            throw new Error(provingResult.reason);
-        }
-        const proof = await readClientIVCProofFromOutputDirectory(directory);
-        this.log.info(`Generated IVC proof`, {
-            duration: provingResult.durationMs,
-            eventName: 'circuit-proving'
-        });
-        return proof;
-    }
-    async createClientIvcProof(executionSteps) {
-        this.log.info(`Generating Client IVC proof`);
-        const operation = async (directory)=>{
-            return await this._createClientIvcProof(directory, executionSteps);
-        };
-        return await this.runInDirectory(operation);
-    }
-    async computeGateCountForCircuit(bytecode, circuitName) {
-        const logFunction = (message)=>{
-            this.log.debug(`$bb gates ${circuitName} - ${message}`);
-        };
-        const result = await computeGateCountForCircuit(this.bbBinaryPath, this.bbWorkingDirectory, circuitName, bytecode, 'mega_honk', logFunction);
-        if (result.status === BB_RESULT.FAILURE) {
-            throw new Error(result.reason);
-        }
-        return result.circuitSize;
-    }
-    runInDirectory(fn) {
-        const log = this.log;
-        return runInDirectory(this.bbWorkingDirectory, (dir)=>fn(dir).catch((err)=>{
-                log.error(`Error running operation at ${dir}: ${err}`);
-                throw err;
-            }), this.skipCleanup, this.log);
-    }
-}

package/dest/prover/client/wasm/bb_wasm_private_kernel_prover.d.ts

@@ -1,15 +0,0 @@
-import type { ArtifactProvider } from '@aztec/noir-protocol-circuits-types/types';
-import type { CircuitSimulator } from '@aztec/simulator/client';
-import type { PrivateExecutionStep } from '@aztec/stdlib/kernel';
-import { ClientIvcProof } from '@aztec/stdlib/proofs';
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-export declare abstract class BBWASMPrivateKernelProver extends BBPrivateKernelProver {
-    protected artifactProvider: ArtifactProvider;
-    protected simulator: CircuitSimulator;
-    private threads;
-    protected log: import("@aztec/foundation/log").Logger;
-    constructor(artifactProvider: ArtifactProvider, simulator: CircuitSimulator, threads?: number, log?: import("@aztec/foundation/log").Logger);
-    createClientIvcProof(executionSteps: PrivateExecutionStep[]): Promise<ClientIvcProof>;
-    computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number>;
-}
-//# sourceMappingURL=bb_wasm_private_kernel_prover.d.ts.map

package/dest/prover/client/wasm/bb_wasm_private_kernel_prover.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bb_wasm_private_kernel_prover.d.ts","sourceRoot":"","sources":["../../../../src/prover/client/wasm/bb_wasm_private_kernel_prover.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAC;AAClF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAItD,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAEvE,8BAAsB,yBAA0B,SAAQ,qBAAqB;cAEtD,gBAAgB,EAAE,gBAAgB;cAClC,SAAS,EAAE,gBAAgB;IAC9C,OAAO,CAAC,OAAO;cACI,GAAG;gBAHH,gBAAgB,EAAE,gBAAgB,EAClC,SAAS,EAAE,gBAAgB,EACtC,OAAO,GAAE,MAAU,EACR,GAAG,yCAAiC;IAKnC,oBAAoB,CAAC,cAAc,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC;IAuBrF,0BAA0B,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;CAa3G"}

package/dest/prover/client/wasm/bb_wasm_private_kernel_prover.js

@@ -1,48 +0,0 @@
-import { AztecClientBackend } from '@aztec/bb.js';
-import { createLogger } from '@aztec/foundation/log';
-import { Timer } from '@aztec/foundation/timer';
-import { serializeWitness } from '@aztec/noir-noirc_abi';
-import { ClientIvcProof } from '@aztec/stdlib/proofs';
-import { ungzip } from 'pako';
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-export class BBWASMPrivateKernelProver extends BBPrivateKernelProver {
-    artifactProvider;
-    simulator;
-    threads;
-    log;
-    constructor(artifactProvider, simulator, threads = 1, log = createLogger('bb-prover:wasm')){
-        super(artifactProvider, simulator, log), this.artifactProvider = artifactProvider, this.simulator = simulator, this.threads = threads, this.log = log;
-    }
-    async createClientIvcProof(executionSteps) {
-        const timer = new Timer();
-        this.log.info(`Generating ClientIVC proof...`);
-        const backend = new AztecClientBackend(executionSteps.map((step)=>ungzip(step.bytecode)), {
-            threads: this.threads,
-            logger: this.log.verbose,
-            wasmPath: process.env.BB_WASM_PATH
-        });
-        // TODO(https://github.com/AztecProtocol/barretenberg/issues/1297): the vk is not provided to the network anymore.
-        // Move this sanity check inside the wasm code and remove the vk from the return value.
-        const [proof, _vk] = await backend.prove(executionSteps.map((step)=>ungzip(serializeWitness(step.witness))), executionSteps.map((step)=>step.vk));
-        await backend.destroy();
-        this.log.info(`Generated ClientIVC proof`, {
-            eventName: 'client-ivc-proof-generation',
-            duration: timer.ms(),
-            proofSize: proof.length
-        });
-        return new ClientIvcProof(Buffer.from(proof));
-    }
-    async computeGateCountForCircuit(_bytecode, _circuitName) {
-        // Note we do not pass the vk to the backend. This is unneeded for gate counts.
-        const backend = new AztecClientBackend([
-            ungzip(_bytecode)
-        ], {
-            threads: this.threads,
-            logger: this.log.verbose,
-            wasmPath: process.env.BB_WASM_PATH
-        });
-        const gateCount = await backend.gates();
-        await backend.destroy();
-        return gateCount[0];
-    }
-}

package/dest/prover/client/wasm/bundle.d.ts

@@ -1,6 +0,0 @@
-import type { CircuitSimulator } from '@aztec/simulator/client';
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-export declare class BBWASMBundlePrivateKernelProver extends BBWASMPrivateKernelProver {
-    constructor(simulator: CircuitSimulator, threads?: number, log?: import("@aztec/foundation/log").Logger);
-}
-//# sourceMappingURL=bundle.d.ts.map

package/dest/prover/client/wasm/bundle.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bundle.d.ts","sourceRoot":"","sources":["../../../../src/prover/client/wasm/bundle.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,qBAAa,+BAAgC,SAAQ,yBAAyB;gBAChE,SAAS,EAAE,gBAAgB,EAAE,OAAO,SAAK,EAAE,GAAG,yCAAwC;CAGnG"}

package/dest/prover/client/wasm/bundle.js

@@ -1,8 +0,0 @@
-import { createLogger } from '@aztec/foundation/log';
-import { BundleArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/bundle';
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-export class BBWASMBundlePrivateKernelProver extends BBWASMPrivateKernelProver {
-    constructor(simulator, threads = 16, log = createLogger('bb-prover:wasm:bundle')){
-        super(new BundleArtifactProvider(), simulator, threads, log);
-    }
-}

package/dest/prover/client/wasm/lazy.d.ts

@@ -1,6 +0,0 @@
-import type { CircuitSimulator } from '@aztec/simulator/client';
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-export declare class BBWASMLazyPrivateKernelProver extends BBWASMPrivateKernelProver {
-    constructor(simulator: CircuitSimulator, threads?: number, log?: import("@aztec/foundation/log").Logger);
-}
-//# sourceMappingURL=lazy.d.ts.map

package/dest/prover/client/wasm/lazy.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"lazy.d.ts","sourceRoot":"","sources":["../../../../src/prover/client/wasm/lazy.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,qBAAa,6BAA8B,SAAQ,yBAAyB;gBAC9D,SAAS,EAAE,gBAAgB,EAAE,OAAO,SAAK,EAAE,GAAG,yCAAsC;CAGjG"}

package/dest/prover/client/wasm/lazy.js

@@ -1,8 +0,0 @@
-import { createLogger } from '@aztec/foundation/log';
-import { LazyArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/lazy';
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-export class BBWASMLazyPrivateKernelProver extends BBWASMPrivateKernelProver {
-    constructor(simulator, threads = 16, log = createLogger('bb-prover:wasm:lazy')){
-        super(new LazyArtifactProvider(), simulator, threads, log);
-    }
-}

package/dest/stats.d.ts

@@ -1,4 +0,0 @@
-import type { ProtocolArtifact } from '@aztec/noir-protocol-circuits-types/types';
-import type { CircuitName } from '@aztec/stdlib/stats';
-export declare function mapProtocolArtifactNameToCircuitName(artifact: ProtocolArtifact): CircuitName;
-//# sourceMappingURL=stats.d.ts.map

package/dest/stats.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../src/stats.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAC;AAClF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD,wBAAgB,oCAAoC,CAAC,QAAQ,EAAE,gBAAgB,GAAG,WAAW,CA2C5F"}

package/dest/stats.js

@@ -1,45 +0,0 @@
-export function mapProtocolArtifactNameToCircuitName(artifact) {
-    switch(artifact){
-        case 'BaseParityArtifact':
-            return 'base-parity';
-        case 'RootParityArtifact':
-            return 'root-parity';
-        case 'PrivateBaseRollupArtifact':
-            return 'private-base-rollup';
-        case 'PublicBaseRollupArtifact':
-            return 'public-base-rollup';
-        case 'MergeRollupArtifact':
-            return 'merge-rollup';
-        case 'BlockRootRollupArtifact':
-            return 'block-root-rollup';
-        case 'SingleTxBlockRootRollupArtifact':
-            return 'single-tx-block-root-rollup';
-        case 'EmptyBlockRootRollupArtifact':
-            return 'empty-block-root-rollup';
-        case 'PaddingBlockRootRollupArtifact':
-            return 'padding-block-root-rollup';
-        case 'BlockMergeRollupArtifact':
-            return 'block-merge-rollup';
-        case 'RootRollupArtifact':
-            return 'root-rollup';
-        case 'PrivateKernelInitArtifact':
-            return 'private-kernel-init';
-        case 'PrivateKernelInnerArtifact':
-            return 'private-kernel-inner';
-        case 'PrivateKernelTailArtifact':
-            return 'private-kernel-tail';
-        case 'PrivateKernelTailToPublicArtifact':
-            return 'private-kernel-tail-to-public';
-        case 'HidingKernelToRollup':
-            return 'hiding-kernel-to-rollup';
-        case 'HidingKernelToPublic':
-            return 'hiding-kernel-to-public';
-        default:
-            {
-                if (artifact.startsWith('PrivateKernelReset')) {
-                    return 'private-kernel-reset';
-                }
-                throw new Error(`Unknown circuit type: ${artifact}`);
-            }
-    }
-}

package/dest/verifier/queued_ivc_verifier.d.ts

@@ -1,15 +0,0 @@
-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);
-    verifyProof(tx: Tx): Promise<IVCProofVerificationResult>;
-    stop(): Promise<void>;
-}
-//# sourceMappingURL=queued_ivc_verifier.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"queued_ivc_verifier.d.ts","sourceRoot":"","sources":["../../src/verifier/queued_ivc_verifier.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAML,KAAK,eAAe,EAIrB,MAAM,yBAAyB,CAAC;AAIjC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAgG7C,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;gBAGlC,MAAM,EAAE,QAAQ,EACR,QAAQ,EAAE,6BAA6B,EACvC,SAAS,GAAE,eAAsC,EACjD,MAAM,yCAAgD;IAQnD,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC;IAMrE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;CAGtB"}

package/src/prover/client/native/bb_native_private_kernel_prover.ts

@@ -1,105 +0,0 @@
-import { runInDirectory } from '@aztec/foundation/fs';
-import { type Logger, createLogger } from '@aztec/foundation/log';
-import { BundleArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/bundle';
-import type { CircuitSimulator } from '@aztec/simulator/server';
-import { type PrivateExecutionStep, serializePrivateExecutionSteps } from '@aztec/stdlib/kernel';
-import type { ClientIvcProof } from '@aztec/stdlib/proofs';
-
-import { promises as fs } from 'fs';
-import path from 'path';
-
-import { BB_RESULT, computeGateCountForCircuit, executeBbClientIvcProof } from '../../../bb/execute.js';
-import type { BBConfig } from '../../../config.js';
-import { readClientIVCProofFromOutputDirectory } from '../../proof_utils.js';
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-
-/**
- * This proof creator implementation uses the native bb binary.
- */
-export class BBNativePrivateKernelProver extends BBPrivateKernelProver {
-  private constructor(
-    private bbBinaryPath: string,
-    private bbWorkingDirectory: string,
-    private skipCleanup: boolean,
-    protected override simulator: CircuitSimulator,
-    protected override log = createLogger('bb-prover:native'),
-  ) {
-    super(new BundleArtifactProvider(), simulator, log);
-  }
-
-  public static async new(config: BBConfig, simulator: CircuitSimulator, log?: Logger) {
-    await fs.mkdir(config.bbWorkingDirectory, { recursive: true });
-    return new BBNativePrivateKernelProver(
-      config.bbBinaryPath,
-      config.bbWorkingDirectory,
-      !!config.bbSkipCleanup,
-      simulator,
-      log,
-    );
-  }
-
-  private async _createClientIvcProof(
-    directory: string,
-    executionSteps: PrivateExecutionStep[],
-  ): Promise<ClientIvcProof> {
-    const inputsPath = path.join(directory, 'ivc-inputs.msgpack');
-    await fs.writeFile(inputsPath, serializePrivateExecutionSteps(executionSteps));
-    const provingResult = await executeBbClientIvcProof(this.bbBinaryPath, directory, inputsPath, this.log.info);
-
-    if (provingResult.status === BB_RESULT.FAILURE) {
-      this.log.error(`Failed to generate client ivc proof`);
-      throw new Error(provingResult.reason);
-    }
-
-    const proof = await readClientIVCProofFromOutputDirectory(directory);
-
-    this.log.info(`Generated IVC proof`, {
-      duration: provingResult.durationMs,
-      eventName: 'circuit-proving',
-    });
-
-    return proof;
-  }
-
-  public override async createClientIvcProof(executionSteps: PrivateExecutionStep[]): Promise<ClientIvcProof> {
-    this.log.info(`Generating Client IVC proof`);
-    const operation = async (directory: string) => {
-      return await this._createClientIvcProof(directory, executionSteps);
-    };
-    return await this.runInDirectory(operation);
-  }
-
-  public override async computeGateCountForCircuit(bytecode: Buffer, circuitName: string): Promise<number> {
-    const logFunction = (message: string) => {
-      this.log.debug(`$bb gates ${circuitName} - ${message}`);
-    };
-
-    const result = await computeGateCountForCircuit(
-      this.bbBinaryPath,
-      this.bbWorkingDirectory,
-      circuitName,
-      bytecode,
-      'mega_honk',
-      logFunction,
-    );
-    if (result.status === BB_RESULT.FAILURE) {
-      throw new Error(result.reason);
-    }
-
-    return result.circuitSize as number;
-  }
-
-  private runInDirectory<T>(fn: (dir: string) => Promise<T>) {
-    const log = this.log;
-    return runInDirectory(
-      this.bbWorkingDirectory,
-      (dir: string) =>
-        fn(dir).catch(err => {
-          log.error(`Error running operation at ${dir}: ${err}`);
-          throw err;
-        }),
-      this.skipCleanup,
-      this.log,
-    );
-  }
-}