@aztec/bb.js 0.87.4 → 0.87.5

package/src/main.ts

@@ -1,13 +1,15 @@
 #!/usr/bin/env node
 import 'source-map-support/register.js';
-import { Crs, Barretenberg, RawBuffer } from './index.js';
-import { createDebugLogger, initLogger } from './log/index.js';
+import { Crs, GrumpkinCrs, Barretenberg, RawBuffer } from './index.js';
+import createDebug from 'debug';
 import { readFileSync, writeFileSync } from 'fs';
 import { gunzipSync } from 'zlib';
 import { Command } from 'commander';
+import { Timer, writeBenchmark } from './benchmark/index.js';
+import path from 'path';
 import { UltraHonkBackendOptions } from './barretenberg/backend.js';
-
-let debug: (msg: string) => void;
+createDebug.log = console.error.bind(console);
+const debug = createDebug('bb.js');
 
 const threads = +process.env.HARDWARE_CONCURRENCY! || undefined;
 
@@ -25,6 +27,16 @@ function getBytecode(bytecodePath: string): Uint8Array {
   return Uint8Array.from(decompressed);
 }
 
+function base64ToUint8Array(base64: string) {
+  const binaryString = atob(base64);
+  const len = binaryString.length;
+  const bytes = new Uint8Array(len);
+  for (let i = 0; i < len; i++) {
+    bytes[i] = binaryString.charCodeAt(i);
+  }
+  return bytes;
+}
+
 // TODO(https://github.com/AztecProtocol/barretenberg/issues/1126): split this into separate Plonk and Honk functions as their gate count differs
 async function getGatesUltra(bytecodePath: string, recursive: boolean, honkRecursion: boolean, api: Barretenberg) {
   const { total } = await computeCircuitSize(bytecodePath, recursive, honkRecursion, api);
@@ -45,9 +57,7 @@ async function computeCircuitSize(bytecodePath: string, recursive: boolean, honk
 }
 
 async function initUltraHonk(bytecodePath: string, crsPath: string) {
-  const api = await Barretenberg.new({
-    threads,
-  });
+  const api = await Barretenberg.new({ threads });
 
   // TODO(https://github.com/AztecProtocol/barretenberg/issues/1248): Get rid of this call to avoid building the circuit twice.
   // TODO(https://github.com/AztecProtocol/barretenberg/issues/1126): use specific UltraHonk function
@@ -65,6 +75,20 @@ async function initUltraHonk(bytecodePath: string, crsPath: string) {
   return { api, circuitSize, dyadicCircuitSize };
 }
 
+async function initClientIVC(crsPath: string) {
+  const api = await Barretenberg.new({ threads });
+
+  debug('Loading CRS for ClientIVC');
+  const crs = await Crs.new(2 ** 21 + 1, crsPath);
+  const grumpkinCrs = await GrumpkinCrs.new(2 ** 16 + 1, crsPath);
+
+  // Load CRS into wasm global CRS state.
+  // TODO: Make RawBuffer be default behavior, and have a specific Vector type for when wanting length prefixed.
+  await api.srsInitSrs(new RawBuffer(crs.getG1Data()), crs.numPoints, new RawBuffer(crs.getG2Data()));
+  await api.srsInitGrumpkinSrs(new RawBuffer(grumpkinCrs.getG1Data()), grumpkinCrs.numPoints);
+  return { api };
+}
+
 async function initLite(crsPath: string) {
   const api = await Barretenberg.new({ threads: 1 });
 
@@ -160,12 +184,10 @@ export async function proveUltraHonk(
     const acirProveUltraHonk = options?.keccak
       ? api.acirProveUltraKeccakHonk.bind(api)
       : options?.keccakZK
-        ? api.acirProveUltraKeccakZkHonk.bind(api)
+        ? api.acirProveUltraKeccakZKHonk.bind(api)
         : options?.starknet
           ? api.acirProveUltraStarknetHonk.bind(api)
-          : options?.starknetZK
-            ? api.acirProveUltraStarknetZkHonk.bind(api)
-            : api.acirProveUltraHonk.bind(api);
+          : api.acirProveUltraHonk.bind(api);
     const proof = await acirProveUltraHonk(bytecode, witness);
 
     if (outputPath === '-') {
@@ -194,12 +216,10 @@ export async function writeVkUltraHonk(
     const acirWriteVkUltraHonk = options?.keccak
       ? api.acirWriteVkUltraKeccakHonk.bind(api)
       : options?.keccakZK
-        ? api.acirWriteVkUltraKeccakZkHonk.bind(api)
+        ? api.acirWriteVkUltraKeccakZKHonk.bind(api)
         : options?.starknet
           ? api.acirWriteVkUltraStarknetHonk.bind(api)
-          : options?.starknetZK
-            ? api.acirWriteVkUltraStarknetZkHonk.bind(api)
-            : api.acirWriteVkUltraHonk.bind(api);
+          : api.acirWriteVkUltraHonk.bind(api);
     const vk = await acirWriteVkUltraHonk(bytecode);
 
     if (outputPath === '-') {
@@ -225,12 +245,10 @@ export async function verifyUltraHonk(
     const acirVerifyUltraHonk = options?.keccak
       ? api.acirVerifyUltraKeccakHonk.bind(api)
       : options?.keccakZK
-        ? api.acirVerifyUltraKeccakZkHonk.bind(api)
+        ? api.acirVerifyUltraKeccakZKHonk.bind(api)
         : options?.starknet
           ? api.acirVerifyUltraStarknetHonk.bind(api)
-          : options?.starknetZK
-            ? api.acirVerifyUltraStarknetZkHonk.bind(api)
-            : api.acirVerifyUltraHonk.bind(api);
+          : api.acirVerifyUltraHonk.bind(api);
     const verified = await acirVerifyUltraHonk(
       Uint8Array.from(readFileSync(proofPath)),
       new RawBuffer(readFileSync(vkPath)),
@@ -288,8 +306,9 @@ program.option('-v, --verbose', 'enable verbose logging', false);
 program.option('-c, --crs-path <path>', 'set crs path', './crs');
 
 function handleGlobalOptions() {
-  initLogger({ useStdErr: true, level: program.opts().verbose ? 'debug' : 'info' });
-  debug = createDebugLogger('bb');
+  if (program.opts().verbose) {
+    createDebug.enable('bb.js*');
+  }
   return { crsPath: program.opts().crsPath };
 }
 
@@ -371,8 +390,8 @@ program
   .option('-b, --bytecode-path <path>', 'Specify the bytecode path', './target/program.json')
   .option('-o, --output-path <path>', 'Specify the path to write the contract', './target/contract.sol')
   .requiredOption('-k, --vk-path <path>', 'Path to a verification key.')
-  .action(async ({ bytecodePath, outputPath, vkPath }) => {
-    const { crsPath } = handleGlobalOptions();
+  .action(async ({ bytecodePath, outputPath, vkPath, crsPath }) => {
+    handleGlobalOptions();
     await contractUltraHonk(bytecodePath, vkPath, crsPath, outputPath);
   });
 
@@ -417,7 +436,6 @@ program
   .option('-o, --output-path <path>', 'Specify the proof output path', './proofs/proof')
   .action(async ({ bytecodePath, witnessPath, outputPath }) => {
     const { crsPath } = handleGlobalOptions();
-    debug(`Creating UltraHonk proof bytecode=${bytecodePath}`);
     await proveUltraHonk(bytecodePath, witnessPath, crsPath, outputPath);
   });
 
@@ -427,8 +445,8 @@ program
   .option('-b, --bytecode-path <path>', 'Specify the bytecode path', './target/program.json')
   .option('-w, --witness-path <path>', 'Specify the witness path', './target/witness.gz')
   .option('-o, --output-path <path>', 'Specify the proof output path', './proofs/proof')
-  .action(async ({ bytecodePath, witnessPath, outputPath }) => {
-    const { crsPath } = handleGlobalOptions();
+  .action(async ({ bytecodePath, witnessPath, outputPath, crsPath }) => {
+    handleGlobalOptions();
     await proveUltraHonk(bytecodePath, witnessPath, crsPath, outputPath, { keccak: true });
   });
 
@@ -439,8 +457,8 @@ program
   .option('-r, --recursive', 'Create a SNARK friendly proof', false)
   .option('-w, --witness-path <path>', 'Specify the witness path', './target/witness.gz')
   .option('-o, --output-path <path>', 'Specify the proof output path', './proofs/proof')
-  .action(async ({ bytecodePath, witnessPath, outputPath }) => {
-    const { crsPath } = handleGlobalOptions();
+  .action(async ({ bytecodePath, recursive, witnessPath, outputPath, crsPath }) => {
+    handleGlobalOptions();
     await proveUltraHonk(bytecodePath, witnessPath, crsPath, outputPath, { starknet: true });
   });
 
@@ -451,7 +469,6 @@ program
   .requiredOption('-o, --output-path <path>', 'Specify the path to write the key')
   .action(async ({ bytecodePath, outputPath }) => {
     const { crsPath } = handleGlobalOptions();
-    debug(`Writing verification key to ${outputPath}`);
     await writeVkUltraHonk(bytecodePath, crsPath, outputPath);
   });
 
@@ -460,8 +477,8 @@ program
   .description('Output verification key.')
   .option('-b, --bytecode-path <path>', 'Specify the bytecode path', './target/program.json')
   .requiredOption('-o, --output-path <path>', 'Specify the path to write the key')
-  .action(async ({ bytecodePath, outputPath }) => {
-    const { crsPath } = handleGlobalOptions();
+  .action(async ({ bytecodePath, outputPath, crsPath }) => {
+    handleGlobalOptions();
     await writeVkUltraHonk(bytecodePath, crsPath, outputPath, { keccak: true });
   });
 
@@ -471,8 +488,8 @@ program
   .option('-b, --bytecode-path <path>', 'Specify the bytecode path', './target/program.json')
   .option('-r, --recursive', 'Create a SNARK friendly proof', false)
   .requiredOption('-o, --output-path <path>', 'Specify the path to write the key')
-  .action(async ({ bytecodePath, outputPath }) => {
-    const { crsPath } = handleGlobalOptions();
+  .action(async ({ bytecodePath, recursive, outputPath, crsPath }) => {
+    handleGlobalOptions();
     await writeVkUltraHonk(bytecodePath, crsPath, outputPath, { starknet: true });
   });
 

package/dest/browser/async_map/index.d.ts

@@ -1,10 +0,0 @@
-/**
- * Much the same as Array.map, only it takes an async fn as an element handler, and ensures that each element handler
- * is executed sequentially.
- * The pattern of `await Promise.all(arr.map(async e => { ... }))` only works if one's happy with each element handler
- * being run concurrently.
- * If one required sequential execution of async fn's, the only alternative was regular loops with mutable state vars.
- * The equivalent with asyncMap: `await asyncMap(arr, async e => { ... })`.
- */
-export declare function asyncMap<T, U>(arr: T[], fn: (e: T, i: number) => Promise<U>): Promise<U[]>;
-//# sourceMappingURL=index.d.ts.map

package/dest/browser/async_map/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/async_map/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,wBAAsB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAMhG"}

package/dest/browser/async_map/index.js

@@ -1,16 +0,0 @@
-/**
- * Much the same as Array.map, only it takes an async fn as an element handler, and ensures that each element handler
- * is executed sequentially.
- * The pattern of `await Promise.all(arr.map(async e => { ... }))` only works if one's happy with each element handler
- * being run concurrently.
- * If one required sequential execution of async fn's, the only alternative was regular loops with mutable state vars.
- * The equivalent with asyncMap: `await asyncMap(arr, async e => { ... })`.
- */
-export async function asyncMap(arr, fn) {
-    const results = [];
-    for (let i = 0; i < arr.length; ++i) {
-        results.push(await fn(arr[i], i));
-    }
-    return results;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYXN5bmNfbWFwL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O0dBT0c7QUFDSCxNQUFNLENBQUMsS0FBSyxVQUFVLFFBQVEsQ0FBTyxHQUFRLEVBQUUsRUFBbUM7SUFDaEYsTUFBTSxPQUFPLEdBQVEsRUFBRSxDQUFDO0lBQ3hCLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxHQUFHLENBQUMsTUFBTSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUM7UUFDcEMsT0FBTyxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUNwQyxDQUFDO0lBQ0QsT0FBTyxPQUFPLENBQUM7QUFDakIsQ0FBQyJ9

package/dest/browser/barretenberg/backend.d.ts

@@ -1,63 +0,0 @@
-import { BackendOptions, Barretenberg, CircuitOptions } from './index.js';
-import { ProofData } from '../proof/index.js';
-export declare class AztecClientBackendError extends Error {
-    constructor(message: string);
-}
-/**
- * Options for the UltraHonkBackend.
- */
-export type UltraHonkBackendOptions = {
-    /** Selecting this option will use the keccak hash function instead of poseidon
-     * when generating challenges in the proof.
-     * Use this when you want to verify the created proof on an EVM chain.
-     */
-    keccak?: boolean;
-    /** Selecting this option will use the keccak hash function instead of poseidon
-     * when generating challenges in the proof.
-     * Use this when you want to verify the created proof on an EVM chain.
-     */
-    keccakZK?: boolean;
-    /** Selecting this option will use the poseidon/stark252 hash function instead of poseidon
-     * when generating challenges in the proof.
-     * Use this when you want to verify the created proof on an Starknet chain with Garaga.
-     */
-    starknet?: boolean;
-    /** Selecting this option will use the poseidon/stark252 hash function instead of poseidon
-     * when generating challenges in the proof.
-     * Use this when you want to verify the created proof on an Starknet chain with Garaga.
-     */
-    starknetZK?: boolean;
-};
-export declare class UltraHonkBackend {
-    protected backendOptions: BackendOptions;
-    protected circuitOptions: CircuitOptions;
-    protected api: Barretenberg;
-    protected acirUncompressedBytecode: Uint8Array;
-    constructor(acirBytecode: string, backendOptions?: BackendOptions, circuitOptions?: CircuitOptions);
-    /** @ignore */
-    private instantiate;
-    generateProof(compressedWitness: Uint8Array, options?: UltraHonkBackendOptions): Promise<ProofData>;
-    verifyProof(proofData: ProofData, options?: UltraHonkBackendOptions): Promise<boolean>;
-    getVerificationKey(options?: UltraHonkBackendOptions): Promise<Uint8Array>;
-    /** @description Returns a solidity verifier */
-    getSolidityVerifier(vk?: Uint8Array): Promise<string>;
-    generateRecursiveProofArtifacts(_proof: Uint8Array, _numOfPublicInputs: number): Promise<{
-        proofAsFields: string[];
-        vkAsFields: string[];
-        vkHash: string;
-    }>;
-    destroy(): Promise<void>;
-}
-export declare class AztecClientBackend {
-    protected acirBuf: Uint8Array[];
-    protected options: BackendOptions;
-    protected api: Barretenberg;
-    constructor(acirBuf: Uint8Array[], options?: BackendOptions);
-    /** @ignore */
-    private instantiate;
-    prove(witnessBuf: Uint8Array[], vksBuf?: Uint8Array[]): Promise<[Uint8Array, Uint8Array]>;
-    verify(proof: Uint8Array, vk: Uint8Array): Promise<boolean>;
-    gates(): Promise<number[]>;
-    destroy(): Promise<void>;
-}
-//# sourceMappingURL=backend.d.ts.map

package/dest/browser/barretenberg/backend.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"backend.d.ts","sourceRoot":"","sources":["../../../src/barretenberg/backend.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE1E,OAAO,EAGL,SAAS,EAIV,MAAM,mBAAmB,CAAC;AAI3B,qBAAa,uBAAwB,SAAQ,KAAK;gBACpC,OAAO,EAAE,MAAM;CAG5B;AAmBD;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC;;;OAGG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;OAGG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;OAGG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;OAGG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,CAAC;AAEF,qBAAa,gBAAgB;IAWzB,SAAS,CAAC,cAAc,EAAE,cAAc;IACxC,SAAS,CAAC,cAAc,EAAE,cAAc;IAN1C,SAAS,CAAC,GAAG,EAAG,YAAY,CAAC;IAC7B,SAAS,CAAC,wBAAwB,EAAE,UAAU,CAAC;gBAG7C,YAAY,EAAE,MAAM,EACV,cAAc,GAAE,cAA+B,EAC/C,cAAc,GAAE,cAAqC;IAIjE,cAAc;YACA,WAAW;IAYnB,aAAa,CAAC,iBAAiB,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,SAAS,CAAC;IAuCnG,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,OAAO,CAAC;IA4BtF,kBAAkB,CAAC,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,UAAU,CAAC;IAahF,+CAA+C;IACzC,mBAAmB,CAAC,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAOrD,+BAA+B,CAEnC,MAAM,EAAE,UAAU,EAElB,kBAAkB,EAAE,MAAM,GACzB,OAAO,CAAC;QAAE,aAAa,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IA0BvE,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAM/B;AAmCD,qBAAa,kBAAkB;IAS3B,SAAS,CAAC,OAAO,EAAE,UAAU,EAAE;IAC/B,SAAS,CAAC,OAAO,EAAE,cAAc;IAJnC,SAAS,CAAC,GAAG,EAAG,YAAY,CAAC;gBAGjB,OAAO,EAAE,UAAU,EAAE,EACrB,OAAO,GAAE,cAA+B;IAGpD,cAAc;YACA,WAAW;IAQnB,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,MAAM,GAAE,UAAU,EAAO,GAAG,OAAO,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAkB7F,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC;IAK3D,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;IAQ1B,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAM/B"}

package/dest/browser/barretenberg/backend.js

@@ -1,236 +0,0 @@
-import { Barretenberg } from './index.js';
-import { RawBuffer } from '../types/raw_buffer.js';
-import { deflattenFields, flattenFieldsAsArray, reconstructHonkProof, splitHonkProof, PAIRING_POINTS_SIZE, } from '../proof/index.js';
-import { Encoder } from 'msgpackr/pack';
-import { ungzip } from 'pako';
-export class AztecClientBackendError extends Error {
-    constructor(message) {
-        super(message);
-    }
-}
-// Utility for parsing gate counts from buffer
-// TODO: Where should this logic live? Should go away with move to msgpack.
-function parseBigEndianU32Array(buffer) {
-    const dv = new DataView(buffer.buffer, buffer.byteOffset, buffer.byteLength);
-    let offset = 0;
-    const count = buffer.byteLength >>> 2; // default is entire buffer length / 4
-    const out = new Array(count);
-    for (let i = 0; i < count; i++) {
-        out[i] = dv.getUint32(offset, false);
-        offset += 4;
-    }
-    return out;
-}
-export class UltraHonkBackend {
-    constructor(acirBytecode, backendOptions = { threads: 1 }, circuitOptions = { recursive: false }) {
-        this.backendOptions = backendOptions;
-        this.circuitOptions = circuitOptions;
-        this.acirUncompressedBytecode = acirToUint8Array(acirBytecode);
-    }
-    /** @ignore */
-    async instantiate() {
-        if (!this.api) {
-            const api = await Barretenberg.new(this.backendOptions);
-            const honkRecursion = true;
-            await api.acirInitSRS(this.acirUncompressedBytecode, this.circuitOptions.recursive, honkRecursion);
-            // We don't init a proving key here in the Honk API
-            // await api.acirInitProvingKey(this.acirComposer, this.acirUncompressedBytecode);
-            this.api = api;
-        }
-    }
-    async generateProof(compressedWitness, options) {
-        await this.instantiate();
-        const proveUltraHonk = options?.keccak
-            ? this.api.acirProveUltraKeccakHonk.bind(this.api)
-            : options?.keccakZK
-                ? this.api.acirProveUltraKeccakZkHonk.bind(this.api)
-                : options?.starknet
-                    ? this.api.acirProveUltraStarknetHonk.bind(this.api)
-                    : options?.starknetZK
-                        ? this.api.acirProveUltraStarknetZkHonk.bind(this.api)
-                        : this.api.acirProveUltraHonk.bind(this.api);
-        const proofWithPublicInputs = await proveUltraHonk(this.acirUncompressedBytecode, ungzip(compressedWitness));
-        // Write VK to get the number of public inputs
-        const writeVKUltraHonk = options?.keccak
-            ? this.api.acirWriteVkUltraKeccakHonk.bind(this.api)
-            : options?.keccakZK
-                ? this.api.acirWriteVkUltraKeccakZkHonk.bind(this.api)
-                : options?.starknet
-                    ? this.api.acirWriteVkUltraStarknetHonk.bind(this.api)
-                    : options?.starknetZK
-                        ? this.api.acirWriteVkUltraStarknetZkHonk.bind(this.api)
-                        : this.api.acirWriteVkUltraHonk.bind(this.api);
-        const vk = await writeVKUltraHonk(this.acirUncompressedBytecode);
-        const vkAsFields = await this.api.acirVkAsFieldsUltraHonk(new RawBuffer(vk));
-        // Item at index 1 in VK is the number of public inputs
-        const publicInputsSizeIndex = 1; // index into VK for numPublicInputs
-        const numPublicInputs = Number(vkAsFields[publicInputsSizeIndex].toString()) - PAIRING_POINTS_SIZE;
-        const { proof, publicInputs: publicInputsBytes } = splitHonkProof(proofWithPublicInputs, numPublicInputs);
-        const publicInputs = deflattenFields(publicInputsBytes);
-        return { proof, publicInputs };
-    }
-    async verifyProof(proofData, options) {
-        await this.instantiate();
-        const proof = reconstructHonkProof(flattenFieldsAsArray(proofData.publicInputs), proofData.proof);
-        const writeVkUltraHonk = options?.keccak
-            ? this.api.acirWriteVkUltraKeccakHonk.bind(this.api)
-            : options?.keccakZK
-                ? this.api.acirWriteVkUltraKeccakZkHonk.bind(this.api)
-                : options?.starknet
-                    ? this.api.acirWriteVkUltraStarknetHonk.bind(this.api)
-                    : options?.starknetZK
-                        ? this.api.acirWriteVkUltraStarknetZkHonk.bind(this.api)
-                        : this.api.acirWriteVkUltraHonk.bind(this.api);
-        const verifyUltraHonk = options?.keccak
-            ? this.api.acirVerifyUltraKeccakHonk.bind(this.api)
-            : options?.keccakZK
-                ? this.api.acirVerifyUltraKeccakZkHonk.bind(this.api)
-                : options?.starknet
-                    ? this.api.acirVerifyUltraStarknetHonk.bind(this.api)
-                    : options?.starknetZK
-                        ? this.api.acirVerifyUltraStarknetZkHonk.bind(this.api)
-                        : this.api.acirVerifyUltraHonk.bind(this.api);
-        const vkBuf = await writeVkUltraHonk(this.acirUncompressedBytecode);
-        return await verifyUltraHonk(proof, new RawBuffer(vkBuf));
-    }
-    async getVerificationKey(options) {
-        await this.instantiate();
-        return options?.keccak
-            ? await this.api.acirWriteVkUltraKeccakHonk(this.acirUncompressedBytecode)
-            : options?.keccakZK
-                ? await this.api.acirWriteVkUltraKeccakZkHonk(this.acirUncompressedBytecode)
-                : options?.starknet
-                    ? await this.api.acirWriteVkUltraStarknetHonk(this.acirUncompressedBytecode)
-                    : options?.starknetZK
-                        ? await this.api.acirWriteVkUltraStarknetZkHonk(this.acirUncompressedBytecode)
-                        : await this.api.acirWriteVkUltraHonk(this.acirUncompressedBytecode);
-    }
-    /** @description Returns a solidity verifier */
-    async getSolidityVerifier(vk) {
-        await this.instantiate();
-        const vkBuf = vk ?? (await this.api.acirWriteVkUltraKeccakHonk(this.acirUncompressedBytecode));
-        return await this.api.acirHonkSolidityVerifier(this.acirUncompressedBytecode, new RawBuffer(vkBuf));
-    }
-    // TODO(https://github.com/noir-lang/noir/issues/5661): Update this to handle Honk recursive aggregation in the browser once it is ready in the backend itself
-    async generateRecursiveProofArtifacts(
-    // eslint-disable-next-line @typescript-eslint/no-unused-vars
-    _proof, 
-    // eslint-disable-next-line @typescript-eslint/no-unused-vars
-    _numOfPublicInputs) {
-        await this.instantiate();
-        // TODO(https://github.com/noir-lang/noir/issues/5661): This needs to be updated to handle recursive aggregation.
-        // There is still a proofAsFields method but we could consider getting rid of it as the proof itself
-        // is a list of field elements.
-        // UltraHonk also does not have public inputs directly prepended to the proof and they are still instead
-        // inserted at an offset.
-        // const proof = reconstructProofWithPublicInputs(proofData);
-        // const proofAsFields = (await this.api.acirProofAsFieldsUltraHonk(proof)).slice(numOfPublicInputs);
-        // TODO: perhaps we should put this in the init function. Need to benchmark
-        // TODO how long it takes.
-        const vkBuf = await this.api.acirWriteVkUltraHonk(this.acirUncompressedBytecode);
-        const vk = await this.api.acirVkAsFieldsUltraHonk(vkBuf);
-        return {
-            // TODO(https://github.com/noir-lang/noir/issues/5661)
-            proofAsFields: [],
-            vkAsFields: vk.map(vk => vk.toString()),
-            // We use an empty string for the vk hash here as it is unneeded as part of the recursive artifacts
-            // The user can be expected to hash the vk inside their circuit to check whether the vk is the circuit
-            // they expect
-            vkHash: '',
-        };
-    }
-    async destroy() {
-        if (!this.api) {
-            return;
-        }
-        await this.api.destroy();
-    }
-}
-function serializeAztecClientExecutionSteps(acirBuf, witnessBuf, vksBuf) {
-    const steps = [];
-    for (let i = 0; i < acirBuf.length; i++) {
-        const bytecode = acirBuf[i];
-        // Witnesses are not provided at all for gates info.
-        const witness = witnessBuf[i] || Buffer.from([]);
-        // VKs are optional for proving (deprecated feature) or not provided at all for gates info.
-        const vk = vksBuf[i] || Buffer.from([]);
-        const functionName = `unknown_wasm_${i}`;
-        steps.push({
-            bytecode,
-            witness,
-            vk,
-            functionName,
-        });
-    }
-    return new Encoder({ useRecords: false }).pack(steps);
-}
-export class AztecClientBackend {
-    constructor(acirBuf, options = { threads: 1 }) {
-        this.acirBuf = acirBuf;
-        this.options = options;
-    }
-    /** @ignore */
-    async instantiate() {
-        if (!this.api) {
-            const api = await Barretenberg.new(this.options);
-            await api.initSRSClientIVC();
-            this.api = api;
-        }
-    }
-    async prove(witnessBuf, vksBuf = []) {
-        if (vksBuf.length !== 0 && this.acirBuf.length !== witnessBuf.length) {
-            throw new AztecClientBackendError('Witness and bytecodes must have the same stack depth!');
-        }
-        if (vksBuf.length !== 0 && vksBuf.length !== witnessBuf.length) {
-            // NOTE: we allow 0 as an explicit 'I have no VKs'. This is a deprecated feature.
-            throw new AztecClientBackendError('Witness and VKs must have the same stack depth!');
-        }
-        await this.instantiate();
-        const ivcInputsBuf = serializeAztecClientExecutionSteps(this.acirBuf, witnessBuf, vksBuf);
-        const proofAndVk = await this.api.acirProveAztecClient(ivcInputsBuf);
-        const [proof, vk] = proofAndVk;
-        if (!(await this.verify(proof, vk))) {
-            throw new AztecClientBackendError('Failed to verify the private (ClientIVC) transaction proof!');
-        }
-        return proofAndVk;
-    }
-    async verify(proof, vk) {
-        await this.instantiate();
-        return this.api.acirVerifyAztecClient(proof, vk);
-    }
-    async gates() {
-        // call function on API
-        await this.instantiate();
-        const ivcInputsBuf = serializeAztecClientExecutionSteps(this.acirBuf, [], []);
-        const resultBuffer = await this.api.acirGatesAztecClient(ivcInputsBuf);
-        return parseBigEndianU32Array(resultBuffer);
-    }
-    async destroy() {
-        if (!this.api) {
-            return;
-        }
-        await this.api.destroy();
-    }
-}
-// Converts bytecode from a base64 string to a Uint8Array
-function acirToUint8Array(base64EncodedBytecode) {
-    const compressedByteCode = base64Decode(base64EncodedBytecode);
-    return ungzip(compressedByteCode);
-}
-// Since this is a simple function, we can use feature detection to
-// see if we are in the nodeJs environment or the browser environment.
-function base64Decode(input) {
-    if (typeof Buffer !== 'undefined') {
-        // Node.js environment
-        const b = Buffer.from(input, 'base64');
-        return new Uint8Array(b.buffer, b.byteOffset, b.byteLength);
-    }
-    else if (typeof atob === 'function') {
-        // Browser environment
-        return Uint8Array.from(atob(input), c => c.charCodeAt(0));
-    }
-    else {
-        throw new Error('No implementation found for base64 decoding.');
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmFja2VuZC5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9iYXJyZXRlbmJlcmcvYmFja2VuZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQWtCLFlBQVksRUFBa0IsTUFBTSxZQUFZLENBQUM7QUFDMUUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ25ELE9BQU8sRUFDTCxlQUFlLEVBQ2Ysb0JBQW9CLEVBRXBCLG9CQUFvQixFQUNwQixjQUFjLEVBQ2QsbUJBQW1CLEdBQ3BCLE1BQU0sbUJBQW1CLENBQUM7QUFDM0IsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUN4QyxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRTlCLE1BQU0sT0FBTyx1QkFBd0IsU0FBUSxLQUFLO0lBQ2hELFlBQVksT0FBZTtRQUN6QixLQUFLLENBQUMsT0FBTyxDQUFDLENBQUM7SUFDakIsQ0FBQztDQUNGO0FBRUQsOENBQThDO0FBQzlDLDJFQUEyRTtBQUMzRSxTQUFTLHNCQUFzQixDQUFDLE1BQWtCO0lBQ2hELE1BQU0sRUFBRSxHQUFHLElBQUksUUFBUSxDQUFDLE1BQU0sQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLFVBQVUsRUFBRSxNQUFNLENBQUMsVUFBVSxDQUFDLENBQUM7SUFFN0UsSUFBSSxNQUFNLEdBQUcsQ0FBQyxDQUFDO0lBQ2YsTUFBTSxLQUFLLEdBQUcsTUFBTSxDQUFDLFVBQVUsS0FBSyxDQUFDLENBQUMsQ0FBQyxzQ0FBc0M7SUFFN0UsTUFBTSxHQUFHLEdBQWEsSUFBSSxLQUFLLENBQUMsS0FBSyxDQUFDLENBQUM7SUFDdkMsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLEtBQUssRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDO1FBQy9CLEdBQUcsQ0FBQyxDQUFDLENBQUMsR0FBRyxFQUFFLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxLQUFLLENBQUMsQ0FBQztRQUNyQyxNQUFNLElBQUksQ0FBQyxDQUFDO0lBQ2QsQ0FBQztJQUVELE9BQU8sR0FBRyxDQUFDO0FBQ2IsQ0FBQztBQTRCRCxNQUFNLE9BQU8sZ0JBQWdCO0lBUzNCLFlBQ0UsWUFBb0IsRUFDVixpQkFBaUMsRUFBRSxPQUFPLEVBQUUsQ0FBQyxFQUFFLEVBQy9DLGlCQUFpQyxFQUFFLFNBQVMsRUFBRSxLQUFLLEVBQUU7UUFEckQsbUJBQWMsR0FBZCxjQUFjLENBQWlDO1FBQy9DLG1CQUFjLEdBQWQsY0FBYyxDQUF1QztRQUUvRCxJQUFJLENBQUMsd0JBQXdCLEdBQUcsZ0JBQWdCLENBQUMsWUFBWSxDQUFDLENBQUM7SUFDakUsQ0FBQztJQUNELGNBQWM7SUFDTixLQUFLLENBQUMsV0FBVztRQUN2QixJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsRUFBRSxDQUFDO1lBQ2QsTUFBTSxHQUFHLEdBQUcsTUFBTSxZQUFZLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxjQUFjLENBQUMsQ0FBQztZQUN4RCxNQUFNLGFBQWEsR0FBRyxJQUFJLENBQUM7WUFDM0IsTUFBTSxHQUFHLENBQUMsV0FBVyxDQUFDLElBQUksQ0FBQyx3QkFBd0IsRUFBRSxJQUFJLENBQUMsY0FBYyxDQUFDLFNBQVMsRUFBRSxhQUFhLENBQUMsQ0FBQztZQUVuRyxtREFBbUQ7WUFDbkQsa0ZBQWtGO1lBQ2xGLElBQUksQ0FBQyxHQUFHLEdBQUcsR0FBRyxDQUFDO1FBQ2pCLENBQUM7SUFDSCxDQUFDO0lBRUQsS0FBSyxDQUFDLGFBQWEsQ0FBQyxpQkFBNkIsRUFBRSxPQUFpQztRQUNsRixNQUFNLElBQUksQ0FBQyxXQUFXLEVBQUUsQ0FBQztRQUV6QixNQUFNLGNBQWMsR0FBRyxPQUFPLEVBQUUsTUFBTTtZQUNwQyxDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyx3QkFBd0IsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQztZQUNsRCxDQUFDLENBQUMsT0FBTyxFQUFFLFFBQVE7Z0JBQ2pCLENBQUMsQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLDBCQUEwQixDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDO2dCQUNwRCxDQUFDLENBQUMsT0FBTyxFQUFFLFFBQVE7b0JBQ2pCLENBQUMsQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLDBCQUEwQixDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDO29CQUNwRCxDQUFDLENBQUMsT0FBTyxFQUFFLFVBQVU7d0JBQ25CLENBQUMsQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLDRCQUE0QixDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDO3dCQUN0RCxDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxrQkFBa0IsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBRXJELE1BQU0scUJBQXFCLEdBQUcsTUFBTSxjQUFjLENBQUMsSUFBSSxDQUFDLHdCQUF3QixFQUFFLE1BQU0sQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDLENBQUM7UUFFN0csOENBQThDO1FBQzlDLE1BQU0sZ0JBQWdCLEdBQUcsT0FBTyxFQUFFLE1BQU07WUFDdEMsQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsMEJBQTBCLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUM7WUFDcEQsQ0FBQyxDQUFDLE9BQU8sRUFBRSxRQUFRO2dCQUNqQixDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyw0QkFBNEIsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQztnQkFDdEQsQ0FBQyxDQUFDLE9BQU8sRUFBRSxRQUFRO29CQUNqQixDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyw0QkFBNEIsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQztvQkFDdEQsQ0FBQyxDQUFDLE9BQU8sRUFBRSxVQUFVO3dCQUNuQixDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyw4QkFBOEIsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQzt3QkFDeEQsQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsb0JBQW9CLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQztRQUV2RCxNQUFNLEVBQUUsR0FBRyxNQUFNLGdCQUFnQixDQUFDLElBQUksQ0FBQyx3QkFBd0IsQ0FBQyxDQUFDO1FBQ2pFLE1BQU0sVUFBVSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyx1QkFBdUIsQ0FBQyxJQUFJLFNBQVMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDO1FBRTdFLHVEQUF1RDtRQUN2RCxNQUFNLHFCQUFxQixHQUFHLENBQUMsQ0FBQyxDQUFDLG9DQUFvQztRQUNyRSxNQUFNLGVBQWUsR0FBRyxNQUFNLENBQUMsVUFBVSxDQUFDLHFCQUFxQixDQUFDLENBQUMsUUFBUSxFQUFFLENBQUMsR0FBRyxtQkFBbUIsQ0FBQztRQUVuRyxNQUFNLEVBQUUsS0FBSyxFQUFFLFlBQVksRUFBRSxpQkFBaUIsRUFBRSxHQUFHLGNBQWMsQ0FBQyxxQkFBcUIsRUFBRSxlQUFlLENBQUMsQ0FBQztRQUMxRyxNQUFNLFlBQVksR0FBRyxlQUFlLENBQUMsaUJBQWlCLENBQUMsQ0FBQztRQUV4RCxPQUFPLEVBQUUsS0FBSyxFQUFFLFlBQVksRUFBRSxDQUFDO0lBQ2pDLENBQUM7SUFFRCxLQUFLLENBQUMsV0FBVyxDQUFDLFNBQW9CLEVBQUUsT0FBaUM7UUFDdkUsTUFBTSxJQUFJLENBQUMsV0FBVyxFQUFFLENBQUM7UUFFekIsTUFBTSxLQUFLLEdBQUcsb0JBQW9CLENBQUMsb0JBQW9CLENBQUMsU0FBUyxDQUFDLFlBQVksQ0FBQyxFQUFFLFNBQVMsQ0FBQyxLQUFLLENBQUMsQ0FBQztRQUVsRyxNQUFNLGdCQUFnQixHQUFHLE9BQU8sRUFBRSxNQUFNO1lBQ3RDLENBQUMsQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLDBCQUEwQixDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDO1lBQ3BELENBQUMsQ0FBQyxPQUFPLEVBQUUsUUFBUTtnQkFDakIsQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsNEJBQTRCLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUM7Z0JBQ3RELENBQUMsQ0FBQyxPQUFPLEVBQUUsUUFBUTtvQkFDakIsQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsNEJBQTRCLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUM7b0JBQ3RELENBQUMsQ0FBQyxPQUFPLEVBQUUsVUFBVTt3QkFDbkIsQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsOEJBQThCLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUM7d0JBQ3hELENBQUMsQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLG9CQUFvQixDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUM7UUFDdkQsTUFBTSxlQUFlLEdBQUcsT0FBTyxFQUFFLE1BQU07WUFDckMsQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMseUJBQXlCLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUM7WUFDbkQsQ0FBQyxDQUFDLE9BQU8sRUFBRSxRQUFRO2dCQUNqQixDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQywyQkFBMkIsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQztnQkFDckQsQ0FBQyxDQUFDLE9BQU8sRUFBRSxRQUFRO29CQUNqQixDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQywyQkFBMkIsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQztvQkFDckQsQ0FBQyxDQUFDLE9BQU8sRUFBRSxVQUFVO3dCQUNuQixDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyw2QkFBNkIsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQzt3QkFDdkQsQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsbUJBQW1CLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQztRQUV0RCxNQUFNLEtBQUssR0FBRyxNQUFNLGdCQUFnQixDQUFDLElBQUksQ0FBQyx3QkFBd0IsQ0FBQyxDQUFDO1FBQ3BFLE9BQU8sTUFBTSxlQUFlLENBQUMsS0FBSyxFQUFFLElBQUksU0FBUyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUM7SUFDNUQsQ0FBQztJQUVELEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxPQUFpQztRQUN4RCxNQUFNLElBQUksQ0FBQyxXQUFXLEVBQUUsQ0FBQztRQUN6QixPQUFPLE9BQU8sRUFBRSxNQUFNO1lBQ3BCLENBQUMsQ0FBQyxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsMEJBQTBCLENBQUMsSUFBSSxDQUFDLHdCQUF3QixDQUFDO1lBQzFFLENBQUMsQ0FBQyxPQUFPLEVBQUUsUUFBUTtnQkFDakIsQ0FBQyxDQUFDLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyw0QkFBNEIsQ0FBQyxJQUFJLENBQUMsd0JBQXdCLENBQUM7Z0JBQzVFLENBQUMsQ0FBQyxPQUFPLEVBQUUsUUFBUTtvQkFDakIsQ0FBQyxDQUFDLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyw0QkFBNEIsQ0FBQyxJQUFJLENBQUMsd0JBQXdCLENBQUM7b0JBQzVFLENBQUMsQ0FBQyxPQUFPLEVBQUUsVUFBVTt3QkFDbkIsQ0FBQyxDQUFDLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyw4QkFBOEIsQ0FBQyxJQUFJLENBQUMsd0JBQXdCLENBQUM7d0JBQzlFLENBQUMsQ0FBQyxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsb0JBQW9CLENBQUMsSUFBSSxDQUFDLHdCQUF3QixDQUFDLENBQUM7SUFDL0UsQ0FBQztJQUVELCtDQUErQztJQUMvQyxLQUFLLENBQUMsbUJBQW1CLENBQUMsRUFBZTtRQUN2QyxNQUFNLElBQUksQ0FBQyxXQUFXLEVBQUUsQ0FBQztRQUN6QixNQUFNLEtBQUssR0FBRyxFQUFFLElBQUksQ0FBQyxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsMEJBQTBCLENBQUMsSUFBSSxDQUFDLHdCQUF3QixDQUFDLENBQUMsQ0FBQztRQUMvRixPQUFPLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyx3QkFBd0IsQ0FBQyxJQUFJLENBQUMsd0JBQXdCLEVBQUUsSUFBSSxTQUFTLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQztJQUN0RyxDQUFDO0lBRUQsOEpBQThKO0lBQzlKLEtBQUssQ0FBQywrQkFBK0I7SUFDbkMsNkRBQTZEO0lBQzdELE1BQWtCO0lBQ2xCLDZEQUE2RDtJQUM3RCxrQkFBMEI7UUFFMUIsTUFBTSxJQUFJLENBQUMsV0FBVyxFQUFFLENBQUM7UUFDekIsaUhBQWlIO1FBQ2pILG9HQUFvRztRQUNwRywrQkFBK0I7UUFDL0Isd0dBQXdHO1FBQ3hHLHlCQUF5QjtRQUN6Qiw2REFBNkQ7UUFDN0QscUdBQXFHO1FBRXJHLDJFQUEyRTtRQUMzRSwwQkFBMEI7UUFDMUIsTUFBTSxLQUFLLEdBQUcsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLG9CQUFvQixDQUFDLElBQUksQ0FBQyx3QkFBd0IsQ0FBQyxDQUFDO1FBQ2pGLE1BQU0sRUFBRSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyx1QkFBdUIsQ0FBQyxLQUFLLENBQUMsQ0FBQztRQUV6RCxPQUFPO1lBQ0wsc0RBQXNEO1lBQ3RELGFBQWEsRUFBRSxFQUFFO1lBQ2pCLFVBQVUsRUFBRSxFQUFFLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLFFBQVEsRUFBRSxDQUFDO1lBQ3ZDLG1HQUFtRztZQUNuRyxzR0FBc0c7WUFDdEcsY0FBYztZQUNkLE1BQU0sRUFBRSxFQUFFO1NBQ1gsQ0FBQztJQUNKLENBQUM7SUFFRCxLQUFLLENBQUMsT0FBTztRQUNYLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxFQUFFLENBQUM7WUFDZCxPQUFPO1FBQ1QsQ0FBQztRQUNELE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxPQUFPLEVBQUUsQ0FBQztJQUMzQixDQUFDO0NBQ0Y7QUFZRCxTQUFTLGtDQUFrQyxDQUN6QyxPQUFxQixFQUNyQixVQUF3QixFQUN4QixNQUFvQjtJQUVwQixNQUFNLEtBQUssR0FBK0IsRUFBRSxDQUFDO0lBQzdDLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxPQUFPLENBQUMsTUFBTSxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7UUFDeEMsTUFBTSxRQUFRLEdBQUcsT0FBTyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQzVCLG9EQUFvRDtRQUNwRCxNQUFNLE9BQU8sR0FBRyxVQUFVLENBQUMsQ0FBQyxDQUFDLElBQUksTUFBTSxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUMsQ0FBQztRQUNqRCwyRkFBMkY7UUFDM0YsTUFBTSxFQUFFLEdBQUcsTUFBTSxDQUFDLENBQUMsQ0FBQyxJQUFJLE1BQU0sQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLENBQUM7UUFDeEMsTUFBTSxZQUFZLEdBQUcsZ0JBQWdCLENBQUMsRUFBRSxDQUFDO1FBQ3pDLEtBQUssQ0FBQyxJQUFJLENBQUM7WUFDVCxRQUFRO1lBQ1IsT0FBTztZQUNQLEVBQUU7WUFDRixZQUFZO1NBQ2IsQ0FBQyxDQUFDO0lBQ0wsQ0FBQztJQUNELE9BQU8sSUFBSSxPQUFPLENBQUMsRUFBRSxVQUFVLEVBQUUsS0FBSyxFQUFFLENBQUMsQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUM7QUFDeEQsQ0FBQztBQUVELE1BQU0sT0FBTyxrQkFBa0I7SUFRN0IsWUFDWSxPQUFxQixFQUNyQixVQUEwQixFQUFFLE9BQU8sRUFBRSxDQUFDLEVBQUU7UUFEeEMsWUFBTyxHQUFQLE9BQU8sQ0FBYztRQUNyQixZQUFPLEdBQVAsT0FBTyxDQUFpQztJQUNqRCxDQUFDO0lBRUosY0FBYztJQUNOLEtBQUssQ0FBQyxXQUFXO1FBQ3ZCLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxFQUFFLENBQUM7WUFDZCxNQUFNLEdBQUcsR0FBRyxNQUFNLFlBQVksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLE9BQU8sQ0FBQyxDQUFDO1lBQ2pELE1BQU0sR0FBRyxDQUFDLGdCQUFnQixFQUFFLENBQUM7WUFDN0IsSUFBSSxDQUFDLEdBQUcsR0FBRyxHQUFHLENBQUM7UUFDakIsQ0FBQztJQUNILENBQUM7SUFFRCxLQUFLLENBQUMsS0FBSyxDQUFDLFVBQXdCLEVBQUUsU0FBdUIsRUFBRTtRQUM3RCxJQUFJLE1BQU0sQ0FBQyxNQUFNLEtBQUssQ0FBQyxJQUFJLElBQUksQ0FBQyxPQUFPLENBQUMsTUFBTSxLQUFLLFVBQVUsQ0FBQyxNQUFNLEVBQUUsQ0FBQztZQUNyRSxNQUFNLElBQUksdUJBQXVCLENBQUMsdURBQXVELENBQUMsQ0FBQztRQUM3RixDQUFDO1FBQ0QsSUFBSSxNQUFNLENBQUMsTUFBTSxLQUFLLENBQUMsSUFBSSxNQUFNLENBQUMsTUFBTSxLQUFLLFVBQVUsQ0FBQyxNQUFNLEVBQUUsQ0FBQztZQUMvRCxpRkFBaUY7WUFDakYsTUFBTSxJQUFJLHVCQUF1QixDQUFDLGlEQUFpRCxDQUFDLENBQUM7UUFDdkYsQ0FBQztRQUNELE1BQU0sSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1FBQ3pCLE1BQU0sWUFBWSxHQUFHLGtDQUFrQyxDQUFDLElBQUksQ0FBQyxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sQ0FBQyxDQUFDO1FBQzFGLE1BQU0sVUFBVSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxvQkFBb0IsQ0FBQyxZQUFZLENBQUMsQ0FBQztRQUNyRSxNQUFNLENBQUMsS0FBSyxFQUFFLEVBQUUsQ0FBQyxHQUFHLFVBQVUsQ0FBQztRQUMvQixJQUFJLENBQUMsQ0FBQyxNQUFNLElBQUksQ0FBQyxNQUFNLENBQUMsS0FBSyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQztZQUNwQyxNQUFNLElBQUksdUJBQXVCLENBQUMsNkRBQTZELENBQUMsQ0FBQztRQUNuRyxDQUFDO1FBQ0QsT0FBTyxVQUFVLENBQUM7SUFDcEIsQ0FBQztJQUVELEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBaUIsRUFBRSxFQUFjO1FBQzVDLE1BQU0sSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1FBQ3pCLE9BQU8sSUFBSSxDQUFDLEdBQUcsQ0FBQyxxQkFBcUIsQ0FBQyxLQUFLLEVBQUUsRUFBRSxDQUFDLENBQUM7SUFDbkQsQ0FBQztJQUVELEtBQUssQ0FBQyxLQUFLO1FBQ1QsdUJBQXVCO1FBQ3ZCLE1BQU0sSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1FBQ3pCLE1BQU0sWUFBWSxHQUFHLGtDQUFrQyxDQUFDLElBQUksQ0FBQyxPQUFPLEVBQUUsRUFBRSxFQUFFLEVBQUUsQ0FBQyxDQUFDO1FBQzlFLE1BQU0sWUFBWSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxvQkFBb0IsQ0FBQyxZQUFZLENBQUMsQ0FBQztRQUN2RSxPQUFPLHNCQUFzQixDQUFDLFlBQVksQ0FBQyxDQUFDO0lBQzlDLENBQUM7SUFFRCxLQUFLLENBQUMsT0FBTztRQUNYLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxFQUFFLENBQUM7WUFDZCxPQUFPO1FBQ1QsQ0FBQztRQUNELE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxPQUFPLEVBQUUsQ0FBQztJQUMzQixDQUFDO0NBQ0Y7QUFFRCx5REFBeUQ7QUFDekQsU0FBUyxnQkFBZ0IsQ0FBQyxxQkFBNkI7SUFDckQsTUFBTSxrQkFBa0IsR0FBRyxZQUFZLENBQUMscUJBQXFCLENBQUMsQ0FBQztJQUMvRCxPQUFPLE1BQU0sQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDO0FBQ3BDLENBQUM7QUFFRCxtRUFBbUU7QUFDbkUsc0VBQXNFO0FBQ3RFLFNBQVMsWUFBWSxDQUFDLEtBQWE7SUFDakMsSUFBSSxPQUFPLE1BQU0sS0FBSyxXQUFXLEVBQUUsQ0FBQztRQUNsQyxzQkFBc0I7UUFDdEIsTUFBTSxDQUFDLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyxLQUFLLEVBQUUsUUFBUSxDQUFDLENBQUM7UUFDdkMsT0FBTyxJQUFJLFVBQVUsQ0FBQyxDQUFDLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxDQUFDO0lBQzlELENBQUM7U0FBTSxJQUFJLE9BQU8sSUFBSSxLQUFLLFVBQVUsRUFBRSxDQUFDO1FBQ3RDLHNCQUFzQjtRQUN0QixPQUFPLFVBQVUsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQzVELENBQUM7U0FBTSxDQUFDO1FBQ04sTUFBTSxJQUFJLEtBQUssQ0FBQyw4Q0FBOEMsQ0FBQyxDQUFDO0lBQ2xFLENBQUM7QUFDSCxDQUFDIn0=

package/dest/browser/barretenberg/index.d.ts

@@ -1,53 +0,0 @@
-import { BarretenbergApi, BarretenbergApiSync } from '../barretenberg_api/index.js';
-import { BarretenbergWasmMain, BarretenbergWasmMainWorker } from '../barretenberg_wasm/barretenberg_wasm_main/index.js';
-export { BarretenbergVerifier } from './verifier.js';
-export { UltraHonkBackend, AztecClientBackend } from './backend.js';
-export type BackendOptions = {
-    /** @description Number of threads to run the backend worker on */
-    threads?: number;
-    /** @description Initial and Maximum memory to be alloted to the backend worker */
-    memory?: {
-        initial?: number;
-        maximum?: number;
-    };
-    /** @description Path to download CRS files */
-    crsPath?: string;
-    /** @description Path to download WASM files */
-    wasmPath?: string;
-    /** @description Logging function */
-    logger?: (msg: string) => void;
-};
-export type CircuitOptions = {
-    /** @description Whether to produce SNARK friendly proofs */
-    recursive: boolean;
-};
-/**
- * The main class library consumers interact with.
- * It extends the generated api, and provides a static constructor "new" to compose components.
- */
-export declare class Barretenberg extends BarretenbergApi {
-    private worker;
-    private options;
-    private constructor();
-    /**
-     * Constructs an instance of Barretenberg.
-     * Launches it within a worker. This is necessary as it blocks waiting on child threads to complete,
-     * and blocking the main thread in the browser is not allowed.
-     * It threads > 1 (defaults to hardware availability), child threads will be created on their own workers.
-     */
-    static new(options?: BackendOptions): Promise<Barretenberg>;
-    getNumThreads(): Promise<number>;
-    initSRSForCircuitSize(circuitSize: number): Promise<void>;
-    initSRSClientIVC(): Promise<void>;
-    acirInitSRS(bytecode: Uint8Array, recursive: boolean, honkRecursion: boolean): Promise<void>;
-    destroy(): Promise<void>;
-    getWasm(): BarretenbergWasmMainWorker;
-}
-export declare class BarretenbergSync extends BarretenbergApiSync {
-    private constructor();
-    private static new;
-    static initSingleton(wasmPath?: string, logger?: (msg: string) => void): Promise<BarretenbergSync>;
-    static getSingleton(): BarretenbergSync;
-    getWasm(): BarretenbergWasmMain;
-}
-//# sourceMappingURL=index.d.ts.map

package/dest/browser/barretenberg/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/barretenberg/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAEpF,OAAO,EAAE,oBAAoB,EAAE,0BAA0B,EAAE,MAAM,sDAAsD,CAAC;AAOxH,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAEpE,MAAM,MAAM,cAAc,GAAG;IAC3B,kEAAkE;IAClE,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,kFAAkF;IAClF,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAEhD,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,oCAAoC;IACpC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,4DAA4D;IAC5D,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF;;;GAGG;AACH,qBAAa,YAAa,SAAQ,eAAe;IAI7C,OAAO,CAAC,MAAM;IAHhB,OAAO,CAAC,OAAO,CAAiB;IAEhC,OAAO;IASP;;;;;OAKG;WACU,GAAG,CAAC,OAAO,GAAE,cAAmB;IAcvC,aAAa;IAIb,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAOzD,gBAAgB,IAAI,OAAO,CAAC,IAAI,CAAC;IAWjC,WAAW,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAM5F,OAAO;IAKb,OAAO;CAGR;AAKD,qBAAa,gBAAiB,SAAQ,mBAAmB;IACvD,OAAO;mBAIc,GAAG;WAOX,aAAa,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,GAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAwC;IAS/G,MAAM,CAAC,YAAY;IAOnB,OAAO;CAGR"}