@aztec/bb-prover 0.69.0-devnet → 0.69.1-devnet

package/src/test/test_circuit_prover.ts

@@ -10,13 +10,9 @@ import {
   AVM_VERIFICATION_KEY_LENGTH_IN_FIELDS,
   type AvmCircuitInputs,
   type BaseParityInputs,
-  EmptyNestedData,
-  type KernelCircuitPublicInputs,
   NESTED_RECURSIVE_PROOF_LENGTH,
   NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
   type ParityPublicInputs,
-  type PrivateKernelEmptyInputData,
-  PrivateKernelEmptyInputs,
   type Proof,
   RECURSIVE_PROOF_LENGTH,
   type RootParityInputs,
@@ -36,13 +32,13 @@ import {
   type PublicBaseRollupInputs,
   type RootRollupInputs,
   type RootRollupPublicInputs,
+  type SingleTxBlockRootRollupInputs,
   type TubeInputs,
 } from '@aztec/circuits.js/rollup';
 import { createLogger } from '@aztec/foundation/log';
 import { sleep } from '@aztec/foundation/sleep';
 import { Timer } from '@aztec/foundation/timer';
 import {
-  ProtocolCircuitVks,
   type ServerProtocolArtifact,
   SimulatedServerCircuitArtifacts,
   convertBaseParityInputsToWitnessMap,
@@ -53,7 +49,6 @@ import {
   convertEmptyBlockRootRollupOutputsFromWitnessMap,
   convertMergeRollupInputsToWitnessMap,
   convertMergeRollupOutputsFromWitnessMap,
-  convertPrivateKernelEmptyInputsToWitnessMap,
   convertRootParityInputsToWitnessMap,
   convertRootParityOutputsFromWitnessMap,
   convertRootRollupInputsToWitnessMap,
@@ -62,10 +57,12 @@ import {
   convertSimulatedBlockRootRollupOutputsFromWitnessMap,
   convertSimulatedPrivateBaseRollupInputsToWitnessMap,
   convertSimulatedPrivateBaseRollupOutputsFromWitnessMap,
-  convertSimulatedPrivateKernelEmptyOutputsFromWitnessMap,
   convertSimulatedPublicBaseRollupInputsToWitnessMap,
   convertSimulatedPublicBaseRollupOutputsFromWitnessMap,
-} from '@aztec/noir-protocol-circuits-types';
+  convertSimulatedSingleTxBlockRootRollupInputsToWitnessMap,
+  convertSimulatedSingleTxBlockRootRollupOutputsFromWitnessMap,
+} from '@aztec/noir-protocol-circuits-types/server';
+import { ProtocolCircuitVks } from '@aztec/noir-protocol-circuits-types/vks';
 import { type SimulationProvider, WASMSimulatorWithBlobs, emitCircuitSimulationStats } from '@aztec/simulator';
 import { type TelemetryClient, trackSpan } from '@aztec/telemetry-client';
 
@@ -95,33 +92,6 @@ export class TestCircuitProver implements ServerCircuitProver {
     return this.instrumentation.tracer;
   }
 
-  public async getEmptyPrivateKernelProof(
-    inputs: PrivateKernelEmptyInputData,
-  ): Promise<
-    PublicInputsAndRecursiveProof<KernelCircuitPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
-  > {
-    const emptyNested = new EmptyNestedData(
-      makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
-      ProtocolCircuitVks['EmptyNestedArtifact'].keyAsFields,
-    );
-    const kernelInputs = new PrivateKernelEmptyInputs(
-      emptyNested,
-      inputs.header,
-      inputs.chainId,
-      inputs.version,
-      inputs.vkTreeRoot,
-      inputs.protocolContractTreeRoot,
-    );
-
-    return await this.simulate(
-      kernelInputs,
-      'PrivateKernelEmptyArtifact',
-      NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
-      convertPrivateKernelEmptyInputsToWitnessMap,
-      convertSimulatedPrivateKernelEmptyOutputsFromWitnessMap,
-    );
-  }
-
   /**
    * Simulates the base parity circuit from its inputs.
    * @param inputs - Inputs to the circuit.
@@ -236,6 +206,21 @@ export class TestCircuitProver implements ServerCircuitProver {
     );
   }
 
+  @trackSpan('TestCircuitProver.getSingleTxBlockRootRollupProof')
+  public async getSingleTxBlockRootRollupProof(
+    input: SingleTxBlockRootRollupInputs,
+  ): Promise<
+    PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
+  > {
+    return await this.simulate(
+      input,
+      'SingleTxBlockRootRollupArtifact',
+      NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
+      convertSimulatedSingleTxBlockRootRollupInputsToWitnessMap,
+      convertSimulatedSingleTxBlockRootRollupOutputsFromWitnessMap,
+    );
+  }
+
   /**
    * Simulates the empty block root rollup circuit from its inputs.
    * @param input - Inputs to the circuit.
@@ -334,7 +319,7 @@ export class TestCircuitProver implements ServerCircuitProver {
     const circuitName = mapProtocolArtifactNameToCircuitName(artifactName);
 
     let simulationProvider = this.simulationProvider ?? this.wasmSimulator;
-    if (artifactName == 'BlockRootRollupArtifact') {
+    if (['BlockRootRollupArtifact', 'SingleTxBlockRootRollupArtifact'].includes(artifactName)) {
       // TODO(#10323): temporarily force block root to use wasm while we simulate
       // the blob operations with an oracle. Appears to be no way to provide nativeACVM with a foreign call hander.
       simulationProvider = this.wasmSimulator;

package/src/verifier/bb_verifier.ts

@@ -3,11 +3,12 @@ import { type CircuitVerificationStats } from '@aztec/circuit-types/stats';
 import { type Proof, type VerificationKeyData } from '@aztec/circuits.js';
 import { runInDirectory } from '@aztec/foundation/fs';
 import { type LogFn, type Logger, createLogger } from '@aztec/foundation/log';
+import { ServerCircuitArtifacts } from '@aztec/noir-protocol-circuits-types/server';
 import {
   type ClientProtocolArtifact,
   type ProtocolArtifact,
-  ProtocolCircuitArtifacts,
-} from '@aztec/noir-protocol-circuits-types';
+  type ServerProtocolArtifact,
+} from '@aztec/noir-protocol-circuits-types/types';
 
 import { promises as fs } from 'fs';
 import * as path from 'path';
@@ -22,7 +23,7 @@ import {
   verifyProof,
 } from '../bb/execute.js';
 import { type BBConfig } from '../config.js';
-import { type UltraKeccakHonkProtocolArtifact, getUltraHonkFlavorForCircuit } from '../honk.js';
+import { type UltraKeccakHonkServerProtocolArtifact, getUltraHonkFlavorForCircuit } from '../honk.js';
 import { writeToOutputDirectory } from '../prover/client_ivc_proof_utils.js';
 import { isProtocolArtifactRecursive, mapProtocolArtifactNameToCircuitName } from '../stats.js';
 import { extractVkData } from '../verification_key/verification_key_data.js';
@@ -36,7 +37,7 @@ export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
 
   public static async new(
     config: BBConfig,
-    initialCircuits: ProtocolArtifact[] = [],
+    initialCircuits: ServerProtocolArtifact[] = [],
     logger = createLogger('bb-prover:verifier'),
   ) {
     await fs.mkdir(config.bbWorkingDirectory, { recursive: true });
@@ -54,7 +55,7 @@ export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
   }
 
   private static async generateVerificationKey(
-    circuit: ProtocolArtifact,
+    circuit: ServerProtocolArtifact,
     bbPath: string,
     workingDirectory: string,
     logFn: LogFn,
@@ -63,7 +64,7 @@ export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
       bbPath,
       workingDirectory,
       circuit,
-      ProtocolCircuitArtifacts[circuit],
+      ServerCircuitArtifacts[circuit],
       isProtocolArtifactRecursive(circuit),
       getUltraHonkFlavorForCircuit(circuit),
       logFn,
@@ -76,7 +77,7 @@ export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
     });
   }
 
-  public async getVerificationKeyData(circuit: ProtocolArtifact) {
+  public async getVerificationKeyData(circuit: ServerProtocolArtifact) {
     let promise = this.verificationKeys.get(circuit);
     if (!promise) {
       promise = BBCircuitVerifier.generateVerificationKey(
@@ -91,7 +92,7 @@ export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
     return vk.clone();
   }
 
-  public async verifyProofForCircuit(circuit: ProtocolArtifact, proof: Proof) {
+  public async verifyProofForCircuit(circuit: ServerProtocolArtifact, proof: Proof) {
     const operation = async (bbWorkingDirectory: string) => {
       const proofFileName = path.join(bbWorkingDirectory, PROOF_FILENAME);
       const verificationKeyPath = path.join(bbWorkingDirectory, VK_FILENAME);
@@ -129,12 +130,12 @@ export class BBCircuitVerifier implements ClientProtocolCircuitVerifier {
     await runInDirectory(this.config.bbWorkingDirectory, operation, this.config.bbSkipCleanup);
   }
 
-  public async generateSolidityContract(circuit: UltraKeccakHonkProtocolArtifact, contractName: string) {
+  public async generateSolidityContract(circuit: UltraKeccakHonkServerProtocolArtifact, contractName: string) {
     const result = await generateContractForCircuit(
       this.config.bbBinaryPath,
       this.config.bbWorkingDirectory,
       circuit,
-      ProtocolCircuitArtifacts[circuit],
+      ServerCircuitArtifacts[circuit],
       contractName,
       this.logger.debug,
     );

package/src/wasm/bb_wasm_private_kernel_prover.ts

@@ -0,0 +1,40 @@
+import { AztecClientBackend } from '@aztec/bb.js';
+import { ClientIvcProof } from '@aztec/circuits.js';
+import { createLogger } from '@aztec/foundation/log';
+import { Timer } from '@aztec/foundation/timer';
+import { type ArtifactProvider } from '@aztec/noir-protocol-circuits-types/types';
+
+import { serializeWitness } from '@noir-lang/noirc_abi';
+import { type WitnessMap } from '@noir-lang/types';
+import { ungzip } from 'pako';
+
+import { BBPrivateKernelProver } from '../prover/bb_private_kernel_prover.js';
+
+export abstract class BBWASMPrivateKernelProver extends BBPrivateKernelProver {
+  constructor(
+    protected override artifactProvider: ArtifactProvider,
+    private threads: number = 1,
+    protected override log = createLogger('bb-prover:wasm'),
+  ) {
+    super(artifactProvider, log);
+  }
+
+  public override async createClientIvcProof(acirs: Buffer[], witnessStack: WitnessMap[]): Promise<ClientIvcProof> {
+    const timer = new Timer();
+    this.log.info(`Generating ClientIVC proof...`);
+    const backend = new AztecClientBackend(
+      acirs.map(acir => ungzip(acir)),
+      { threads: this.threads },
+    );
+
+    const [proof, vk] = await backend.prove(witnessStack.map(witnessMap => ungzip(serializeWitness(witnessMap))));
+    await backend.destroy();
+    this.log.info(`Generated ClientIVC proof`, {
+      eventName: 'client-ivc-proof-generation',
+      duration: timer.ms(),
+      proofSize: proof.length,
+      vkSize: vk.length,
+    });
+    return new ClientIvcProof(Buffer.from(proof), Buffer.from(vk));
+  }
+}

package/src/wasm/bundle.ts

@@ -0,0 +1,10 @@
+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(threads = 1, log = createLogger('bb-prover:wasm:bundle')) {
+    super(new BundleArtifactProvider(), threads, log);
+  }
+}

package/src/wasm/lazy.ts

@@ -0,0 +1,10 @@
+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(threads = 1, log = createLogger('bb-prover:wasm:lazy')) {
+    super(new LazyArtifactProvider(), threads, log);
+  }
+}

package/dest/wasm/index.d.ts

@@ -1,19 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { type PrivateKernelProver, type PrivateKernelSimulateOutput } from '@aztec/circuit-types';
-import { ClientIvcProof, type PrivateKernelCircuitPublicInputs, type PrivateKernelInitCircuitPrivateInputs, type PrivateKernelInnerCircuitPrivateInputs, type PrivateKernelResetCircuitPrivateInputs, type PrivateKernelTailCircuitPrivateInputs, type PrivateKernelTailCircuitPublicInputs } from '@aztec/circuits.js';
-import { type WitnessMap } from '@noir-lang/noir_js';
-export declare class BBWasmPrivateKernelProver implements PrivateKernelProver {
-    private threads;
-    private log;
-    private simulator;
-    constructor(threads?: number, log?: import("@aztec/foundation/log").Logger);
-    simulateProofInit(inputs: PrivateKernelInitCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
-    simulateProofInner(inputs: PrivateKernelInnerCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
-    simulateProofReset(inputs: PrivateKernelResetCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
-    simulateProofTail(inputs: PrivateKernelTailCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
-    private simulate;
-    createClientIvcProof(acirs: Buffer[], witnessStack: WitnessMap[]): Promise<ClientIvcProof>;
-    computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number>;
-}
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/wasm/index.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,KAAK,mBAAmB,EAAE,KAAK,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AAClG,OAAO,EACL,cAAc,EACd,KAAK,gCAAgC,EACrC,KAAK,qCAAqC,EAC1C,KAAK,sCAAsC,EAC3C,KAAK,sCAAsC,EAC3C,KAAK,qCAAqC,EAC1C,KAAK,oCAAoC,EAC1C,MAAM,oBAAoB,CAAC;AAsB5B,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAIrD,qBAAa,yBAA0B,YAAW,mBAAmB;IAGvD,OAAO,CAAC,OAAO;IAAc,OAAO,CAAC,GAAG;IAFpD,OAAO,CAAC,SAAS,CAAuB;gBAEpB,OAAO,GAAE,MAAU,EAAU,GAAG,yCAAiC;IAExE,iBAAiB,CAC5B,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,kBAAkB,CAC7B,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,kBAAkB,CAC7B,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAW5D,iBAAiB,CAC5B,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC;YAiB/D,QAAQ;IAqChB,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC;IAmBhG,0BAA0B,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;CAGrF"}

package/dest/wasm/index.js

@@ -1,74 +0,0 @@
-import { AztecClientBackend } from '@aztec/bb.js';
-import { ClientIvcProof, } from '@aztec/circuits.js';
-import { createLogger } from '@aztec/foundation/log';
-import { Timer } from '@aztec/foundation/timer';
-import { ClientCircuitArtifacts, ClientCircuitVks, convertPrivateKernelInitInputsToWitnessMap, convertPrivateKernelInitOutputsFromWitnessMap, convertPrivateKernelInnerInputsToWitnessMap, convertPrivateKernelInnerOutputsFromWitnessMap, convertPrivateKernelResetInputsToWitnessMap, convertPrivateKernelResetOutputsFromWitnessMap, convertPrivateKernelTailForPublicOutputsFromWitnessMap, convertPrivateKernelTailInputsToWitnessMap, convertPrivateKernelTailOutputsFromWitnessMap, convertPrivateKernelTailToPublicInputsToWitnessMap, getPrivateKernelResetArtifactName, } from '@aztec/noir-protocol-circuits-types/client';
-import { WASMSimulator } from '@aztec/simulator/client';
-import { serializeWitness } from '@noir-lang/noirc_abi';
-import { ungzip } from 'pako';
-export class BBWasmPrivateKernelProver {
-    constructor(threads = 1, log = createLogger('bb-prover:wasm')) {
-        this.threads = threads;
-        this.log = log;
-        this.simulator = new WASMSimulator();
-    }
-    async simulateProofInit(inputs) {
-        return await this.simulate(inputs, 'PrivateKernelInitArtifact', convertPrivateKernelInitInputsToWitnessMap, convertPrivateKernelInitOutputsFromWitnessMap);
-    }
-    async simulateProofInner(inputs) {
-        return await this.simulate(inputs, 'PrivateKernelInnerArtifact', convertPrivateKernelInnerInputsToWitnessMap, convertPrivateKernelInnerOutputsFromWitnessMap);
-    }
-    async simulateProofReset(inputs) {
-        const variantInputs = inputs.trimToSizes();
-        const artifactName = getPrivateKernelResetArtifactName(inputs.dimensions);
-        return await this.simulate(variantInputs, artifactName, variantInputs => convertPrivateKernelResetInputsToWitnessMap(variantInputs, artifactName), output => convertPrivateKernelResetOutputsFromWitnessMap(output, artifactName));
-    }
-    async simulateProofTail(inputs) {
-        if (!inputs.isForPublic()) {
-            return await this.simulate(inputs, 'PrivateKernelTailArtifact', convertPrivateKernelTailInputsToWitnessMap, convertPrivateKernelTailOutputsFromWitnessMap);
-        }
-        return await this.simulate(inputs, 'PrivateKernelTailToPublicArtifact', convertPrivateKernelTailToPublicInputsToWitnessMap, convertPrivateKernelTailForPublicOutputsFromWitnessMap);
-    }
-    async simulate(inputs, circuitType, convertInputs, convertOutputs) {
-        this.log.debug(`Generating witness for ${circuitType}`);
-        const compiledCircuit = ClientCircuitArtifacts[circuitType];
-        const witnessMap = convertInputs(inputs);
-        const timer = new Timer();
-        const outputWitness = await this.simulator.simulateCircuit(witnessMap, compiledCircuit);
-        const output = convertOutputs(outputWitness);
-        this.log.debug(`Generated witness for ${circuitType}`, {
-            eventName: 'circuit-witness-generation',
-            circuitName: circuitType,
-            duration: timer.ms(),
-            inputSize: inputs.toBuffer().length,
-            outputSize: output.toBuffer().length,
-        });
-        const verificationKey = ClientCircuitVks[circuitType].keyAsFields;
-        const bytecode = Buffer.from(compiledCircuit.bytecode, 'base64');
-        const kernelOutput = {
-            publicInputs: output,
-            verificationKey,
-            outputWitness,
-            bytecode,
-        };
-        return kernelOutput;
-    }
-    async createClientIvcProof(acirs, witnessStack) {
-        const timer = new Timer();
-        this.log.info(`Generating ClientIVC proof...`);
-        const backend = new AztecClientBackend(acirs.map(acir => ungzip(acir)), { threads: this.threads });
-        const [proof, vk] = await backend.prove(witnessStack.map(witnessMap => ungzip(serializeWitness(witnessMap))));
-        await backend.destroy();
-        this.log.info(`Generated ClientIVC proof`, {
-            eventName: 'client-ivc-proof-generation',
-            duration: timer.ms(),
-            proofSize: proof.length,
-            vkSize: vk.length,
-        });
-        return new ClientIvcProof(Buffer.from(proof), Buffer.from(vk));
-    }
-    computeGateCountForCircuit(_bytecode, _circuitName) {
-        return Promise.resolve(0);
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvd2FzbS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFbEQsT0FBTyxFQUNMLGNBQWMsR0FPZixNQUFNLG9CQUFvQixDQUFDO0FBQzVCLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNyRCxPQUFPLEVBQUUsS0FBSyxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDaEQsT0FBTyxFQUNMLHNCQUFzQixFQUN0QixnQkFBZ0IsRUFFaEIsMENBQTBDLEVBQzFDLDZDQUE2QyxFQUM3QywyQ0FBMkMsRUFDM0MsOENBQThDLEVBQzlDLDJDQUEyQyxFQUMzQyw4Q0FBOEMsRUFDOUMsc0RBQXNELEVBQ3RELDBDQUEwQyxFQUMxQyw2Q0FBNkMsRUFDN0Msa0RBQWtELEVBQ2xELGlDQUFpQyxHQUNsQyxNQUFNLDRDQUE0QyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUl4RCxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN4RCxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRTlCLE1BQU0sT0FBTyx5QkFBeUI7SUFHcEMsWUFBb0IsVUFBa0IsQ0FBQyxFQUFVLE1BQU0sWUFBWSxDQUFDLGdCQUFnQixDQUFDO1FBQWpFLFlBQU8sR0FBUCxPQUFPLENBQVk7UUFBVSxRQUFHLEdBQUgsR0FBRyxDQUFpQztRQUY3RSxjQUFTLEdBQUcsSUFBSSxhQUFhLEVBQUUsQ0FBQztJQUVnRCxDQUFDO0lBRWxGLEtBQUssQ0FBQyxpQkFBaUIsQ0FDNUIsTUFBNkM7UUFFN0MsT0FBTyxNQUFNLElBQUksQ0FBQyxRQUFRLENBQ3hCLE1BQU0sRUFDTiwyQkFBMkIsRUFDM0IsMENBQTBDLEVBQzFDLDZDQUE2QyxDQUM5QyxDQUFDO0lBQ0osQ0FBQztJQUVNLEtBQUssQ0FBQyxrQkFBa0IsQ0FDN0IsTUFBOEM7UUFFOUMsT0FBTyxNQUFNLElBQUksQ0FBQyxRQUFRLENBQ3hCLE1BQU0sRUFDTiw0QkFBNEIsRUFDNUIsMkNBQTJDLEVBQzNDLDhDQUE4QyxDQUMvQyxDQUFDO0lBQ0osQ0FBQztJQUVNLEtBQUssQ0FBQyxrQkFBa0IsQ0FDN0IsTUFBOEM7UUFFOUMsTUFBTSxhQUFhLEdBQUcsTUFBTSxDQUFDLFdBQVcsRUFBRSxDQUFDO1FBQzNDLE1BQU0sWUFBWSxHQUFHLGlDQUFpQyxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsQ0FBQztRQUMxRSxPQUFPLE1BQU0sSUFBSSxDQUFDLFFBQVEsQ0FDeEIsYUFBYSxFQUNiLFlBQVksRUFDWixhQUFhLENBQUMsRUFBRSxDQUFDLDJDQUEyQyxDQUFDLGFBQWEsRUFBRSxZQUFZLENBQUMsRUFDekYsTUFBTSxDQUFDLEVBQUUsQ0FBQyw4Q0FBOEMsQ0FBQyxNQUFNLEVBQUUsWUFBWSxDQUFDLENBQy9FLENBQUM7SUFDSixDQUFDO0lBRU0sS0FBSyxDQUFDLGlCQUFpQixDQUM1QixNQUE2QztRQUU3QyxJQUFJLENBQUMsTUFBTSxDQUFDLFdBQVcsRUFBRSxFQUFFLENBQUM7WUFDMUIsT0FBTyxNQUFNLElBQUksQ0FBQyxRQUFRLENBQ3hCLE1BQU0sRUFDTiwyQkFBMkIsRUFDM0IsMENBQTBDLEVBQzFDLDZDQUE2QyxDQUM5QyxDQUFDO1FBQ0osQ0FBQztRQUNELE9BQU8sTUFBTSxJQUFJLENBQUMsUUFBUSxDQUN4QixNQUFNLEVBQ04sbUNBQW1DLEVBQ25DLGtEQUFrRCxFQUNsRCxzREFBc0QsQ0FDdkQsQ0FBQztJQUNKLENBQUM7SUFFTyxLQUFLLENBQUMsUUFBUSxDQUlwQixNQUFTLEVBQ1QsV0FBbUMsRUFDbkMsYUFBd0MsRUFDeEMsY0FBMEM7UUFFMUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsMEJBQTBCLFdBQVcsRUFBRSxDQUFDLENBQUM7UUFDeEQsTUFBTSxlQUFlLEdBQXdCLHNCQUFzQixDQUFDLFdBQVcsQ0FBQyxDQUFDO1FBRWpGLE1BQU0sVUFBVSxHQUFHLGFBQWEsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUN6QyxNQUFNLEtBQUssR0FBRyxJQUFJLEtBQUssRUFBRSxDQUFDO1FBQzFCLE1BQU0sYUFBYSxHQUFHLE1BQU0sSUFBSSxDQUFDLFNBQVMsQ0FBQyxlQUFlLENBQUMsVUFBVSxFQUFFLGVBQWUsQ0FBQyxDQUFDO1FBQ3hGLE1BQU0sTUFBTSxHQUFHLGNBQWMsQ0FBQyxhQUFhLENBQUMsQ0FBQztRQUU3QyxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyx5QkFBeUIsV0FBVyxFQUFFLEVBQUU7WUFDckQsU0FBUyxFQUFFLDRCQUE0QjtZQUN2QyxXQUFXLEVBQUUsV0FBVztZQUN4QixRQUFRLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRTtZQUNwQixTQUFTLEVBQUUsTUFBTSxDQUFDLFFBQVEsRUFBRSxDQUFDLE1BQU07WUFDbkMsVUFBVSxFQUFFLE1BQU0sQ0FBQyxRQUFRLEVBQUUsQ0FBQyxNQUFNO1NBQ3JDLENBQUMsQ0FBQztRQUVILE1BQU0sZUFBZSxHQUFHLGdCQUFnQixDQUFDLFdBQVcsQ0FBQyxDQUFDLFdBQVcsQ0FBQztRQUNsRSxNQUFNLFFBQVEsR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLGVBQWUsQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDLENBQUM7UUFFakUsTUFBTSxZQUFZLEdBQW1DO1lBQ25ELFlBQVksRUFBRSxNQUFNO1lBQ3BCLGVBQWU7WUFDZixhQUFhO1lBQ2IsUUFBUTtTQUNULENBQUM7UUFDRixPQUFPLFlBQVksQ0FBQztJQUN0QixDQUFDO0lBRUQsS0FBSyxDQUFDLG9CQUFvQixDQUFDLEtBQWUsRUFBRSxZQUEwQjtRQUNwRSxNQUFNLEtBQUssR0FBRyxJQUFJLEtBQUssRUFBRSxDQUFDO1FBQzFCLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLCtCQUErQixDQUFDLENBQUM7UUFDL0MsTUFBTSxPQUFPLEdBQUcsSUFBSSxrQkFBa0IsQ0FDcEMsS0FBSyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsQ0FBQyxFQUMvQixFQUFFLE9BQU8sRUFBRSxJQUFJLENBQUMsT0FBTyxFQUFFLENBQzFCLENBQUM7UUFFRixNQUFNLENBQUMsS0FBSyxFQUFFLEVBQUUsQ0FBQyxHQUFHLE1BQU0sT0FBTyxDQUFDLEtBQUssQ0FBQyxZQUFZLENBQUMsR0FBRyxDQUFDLFVBQVUsQ0FBQyxFQUFFLENBQUMsTUFBTSxDQUFDLGdCQUFnQixDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQzlHLE1BQU0sT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDO1FBQ3hCLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLDJCQUEyQixFQUFFO1lBQ3pDLFNBQVMsRUFBRSw2QkFBNkI7WUFDeEMsUUFBUSxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUU7WUFDcEIsU0FBUyxFQUFFLEtBQUssQ0FBQyxNQUFNO1lBQ3ZCLE1BQU0sRUFBRSxFQUFFLENBQUMsTUFBTTtTQUNsQixDQUFDLENBQUM7UUFDSCxPQUFPLElBQUksY0FBYyxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLEVBQUUsTUFBTSxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDO0lBQ2pFLENBQUM7SUFFRCwwQkFBMEIsQ0FBQyxTQUFpQixFQUFFLFlBQW9CO1FBQ2hFLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUM1QixDQUFDO0NBQ0YifQ==

package/src/wasm/index.ts

@@ -1,155 +0,0 @@
-import { AztecClientBackend } from '@aztec/bb.js';
-import { type PrivateKernelProver, type PrivateKernelSimulateOutput } from '@aztec/circuit-types';
-import {
-  ClientIvcProof,
-  type PrivateKernelCircuitPublicInputs,
-  type PrivateKernelInitCircuitPrivateInputs,
-  type PrivateKernelInnerCircuitPrivateInputs,
-  type PrivateKernelResetCircuitPrivateInputs,
-  type PrivateKernelTailCircuitPrivateInputs,
-  type PrivateKernelTailCircuitPublicInputs,
-} from '@aztec/circuits.js';
-import { createLogger } from '@aztec/foundation/log';
-import { Timer } from '@aztec/foundation/timer';
-import {
-  ClientCircuitArtifacts,
-  ClientCircuitVks,
-  type ClientProtocolArtifact,
-  convertPrivateKernelInitInputsToWitnessMap,
-  convertPrivateKernelInitOutputsFromWitnessMap,
-  convertPrivateKernelInnerInputsToWitnessMap,
-  convertPrivateKernelInnerOutputsFromWitnessMap,
-  convertPrivateKernelResetInputsToWitnessMap,
-  convertPrivateKernelResetOutputsFromWitnessMap,
-  convertPrivateKernelTailForPublicOutputsFromWitnessMap,
-  convertPrivateKernelTailInputsToWitnessMap,
-  convertPrivateKernelTailOutputsFromWitnessMap,
-  convertPrivateKernelTailToPublicInputsToWitnessMap,
-  getPrivateKernelResetArtifactName,
-} from '@aztec/noir-protocol-circuits-types/client';
-import { WASMSimulator } from '@aztec/simulator/client';
-import { type NoirCompiledCircuit } from '@aztec/types/noir';
-
-import { type WitnessMap } from '@noir-lang/noir_js';
-import { serializeWitness } from '@noir-lang/noirc_abi';
-import { ungzip } from 'pako';
-
-export class BBWasmPrivateKernelProver implements PrivateKernelProver {
-  private simulator = new WASMSimulator();
-
-  constructor(private threads: number = 1, private log = createLogger('bb-prover:wasm')) {}
-
-  public async simulateProofInit(
-    inputs: PrivateKernelInitCircuitPrivateInputs,
-  ): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>> {
-    return await this.simulate(
-      inputs,
-      'PrivateKernelInitArtifact',
-      convertPrivateKernelInitInputsToWitnessMap,
-      convertPrivateKernelInitOutputsFromWitnessMap,
-    );
-  }
-
-  public async simulateProofInner(
-    inputs: PrivateKernelInnerCircuitPrivateInputs,
-  ): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>> {
-    return await this.simulate(
-      inputs,
-      'PrivateKernelInnerArtifact',
-      convertPrivateKernelInnerInputsToWitnessMap,
-      convertPrivateKernelInnerOutputsFromWitnessMap,
-    );
-  }
-
-  public async simulateProofReset(
-    inputs: PrivateKernelResetCircuitPrivateInputs,
-  ): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>> {
-    const variantInputs = inputs.trimToSizes();
-    const artifactName = getPrivateKernelResetArtifactName(inputs.dimensions);
-    return await this.simulate(
-      variantInputs,
-      artifactName,
-      variantInputs => convertPrivateKernelResetInputsToWitnessMap(variantInputs, artifactName),
-      output => convertPrivateKernelResetOutputsFromWitnessMap(output, artifactName),
-    );
-  }
-
-  public async simulateProofTail(
-    inputs: PrivateKernelTailCircuitPrivateInputs,
-  ): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>> {
-    if (!inputs.isForPublic()) {
-      return await this.simulate(
-        inputs,
-        'PrivateKernelTailArtifact',
-        convertPrivateKernelTailInputsToWitnessMap,
-        convertPrivateKernelTailOutputsFromWitnessMap,
-      );
-    }
-    return await this.simulate(
-      inputs,
-      'PrivateKernelTailToPublicArtifact',
-      convertPrivateKernelTailToPublicInputsToWitnessMap,
-      convertPrivateKernelTailForPublicOutputsFromWitnessMap,
-    );
-  }
-
-  private async simulate<
-    I extends { toBuffer: () => Buffer },
-    O extends PrivateKernelCircuitPublicInputs | PrivateKernelTailCircuitPublicInputs,
-  >(
-    inputs: I,
-    circuitType: ClientProtocolArtifact,
-    convertInputs: (inputs: I) => WitnessMap,
-    convertOutputs: (outputs: WitnessMap) => O,
-  ): Promise<PrivateKernelSimulateOutput<O>> {
-    this.log.debug(`Generating witness for ${circuitType}`);
-    const compiledCircuit: NoirCompiledCircuit = ClientCircuitArtifacts[circuitType];
-
-    const witnessMap = convertInputs(inputs);
-    const timer = new Timer();
-    const outputWitness = await this.simulator.simulateCircuit(witnessMap, compiledCircuit);
-    const output = convertOutputs(outputWitness);
-
-    this.log.debug(`Generated witness for ${circuitType}`, {
-      eventName: 'circuit-witness-generation',
-      circuitName: circuitType,
-      duration: timer.ms(),
-      inputSize: inputs.toBuffer().length,
-      outputSize: output.toBuffer().length,
-    });
-
-    const verificationKey = ClientCircuitVks[circuitType].keyAsFields;
-    const bytecode = Buffer.from(compiledCircuit.bytecode, 'base64');
-
-    const kernelOutput: PrivateKernelSimulateOutput<O> = {
-      publicInputs: output,
-      verificationKey,
-      outputWitness,
-      bytecode,
-    };
-    return kernelOutput;
-  }
-
-  async createClientIvcProof(acirs: Buffer[], witnessStack: WitnessMap[]): Promise<ClientIvcProof> {
-    const timer = new Timer();
-    this.log.info(`Generating ClientIVC proof...`);
-    const backend = new AztecClientBackend(
-      acirs.map(acir => ungzip(acir)),
-      { threads: this.threads },
-    );
-
-    const [proof, vk] = await backend.prove(witnessStack.map(witnessMap => ungzip(serializeWitness(witnessMap))));
-    await backend.destroy();
-    this.log.info(`Generated ClientIVC proof`, {
-      eventName: 'client-ivc-proof-generation',
-      duration: timer.ms(),
-      proofSize: proof.length,
-      vkSize: vk.length,
-    });
-    return new ClientIvcProof(Buffer.from(proof), Buffer.from(vk));
-  }
-
-  computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number> {
-    return Promise.resolve(0);
-  }
-}