@aztec/bb.js 0.0.1-alpha.7 → 0.0.1-commit.5daedc8

package/README.md

@@ -1,120 +1,91 @@
 # bb.js
 
-Prover/verifier executable and API for barretenberg. Default cli arguments are appropriate for running within Noir
-project structures.
+Prover/verifier library for barretenberg. It bundles support for the following:
 
-## Performance and limitations
+- x86_64 on linux.
+- aarch64 on linux.
+- x86_64 on macos.
+- aarch64 on macos.
+- Single-threaded WASM.
+- Multi-threaded WASM.
 
-Max circuit size is 2^19 gates (524,288). This is due to the underlying WASM 4GB memory limit. This should improve
-with future proving systems, and/or introduction of wasm64.
-
-If running from terminal, or within browser where you can set shared memory COOP/COEP headers, multithreading is enabled.
-Note there are two independent WASM builds, one with threading enabled and one without. This is because the shared
-memory flag is set within the WASM itself. If you're running in a context where you can't have shared memory, we want
-to fallback to single threaded performance.
-
-Performance for 2^19 (small witness generation phase):
-
-- 16 core (not hyperthreads) x86: ~13s.
-- 10 core M1 Mac Pro: ~18s.
-
-Linear scaling was observed up to 32 cores.
-
-Witness generation phase is not multithreaded, and an interesting 512k circuit can take ~12s. This results in:
-
-- 16 core (not hyperthreads) x86: ~26s.
-- 10 core M1 Mac Pro: (TBD)
-
-## Using as a standalone binary
-
-### Installing
-
-To install the package globally for running as a terminal application:
-
-```
-npm install -g @aztec/bb.js@alpha
-```
-
-This will install `bb.js` into your path.
-
-### Usage
-
-Run `bb.js` for further usage information, you'll see e.g.
-
-```
-% bb.js
-Usage: bb.js [options] [command]
-
-Options:
-  -v, --verbose               enable verbose logging (default: false)
-  -h, --help                  display help for command
-
-Commands:
-  prove_and_verify [options]  Generate a proof and verify it. Process exits with success or failure code.
-  prove [options]             Generate a proof and write it to a file.
-  gates [options]             Print gate count to standard output.
-  verify [options]            Verify a proof. Process exists with success or failure code.
-  contract [options]          Output solidity verification key contract.
-  write_vk [options]          Output verification key.
-  proof_as_fields [options]   Return the proof as fields elements
-  vk_as_fields [options]      Return the verifiation key represented as fields elements. Also return the verification key hash.
-  help [command]              display help for command
-```
-
-## Using as a library
+If running within node.js on a support os/architecture we will use appropriate native code.
+If running within node.js on an unsupported architecture we will fallback to multi-threaded WASM.
+If running within the browser and served without COOP/COEP headers, we use the single-threaded WASM.
+If running within the browser served with COOP/COEP headers, we use the multi-threaded WASM.
 
 ### Installing
 
-To install as a package to be used as a library:
-
 ```
-npm install @aztec/bb.js@alpha
+npm install @aztec/bb.js
 ```
 
 or with yarn
 
 ```
-yarn add @aztec/bb.js@alpha
+yarn add @aztec/bb.js
 ```
 
 ### Usage
 
-To create a multithreaded version of the API:
+To create the API and do a blake2s hash:
 
 ```typescript
-const api = await newBarretenbergApiAsync(/* num_threads */);
-// Use.
+import { Crs, Barretenberg, RawBuffer } from './index.js';
+
+const api = await Barretenberg.new({ threads: 1 });
 const input = Buffer.from('hello world!');
 const result = await api.blake2s(input);
 await api.destroy();
 ```
 
-All methods are asynchronous. If no threads are specified, will default to number of cores with a maximum of 16.
+All methods are asynchronous. If no threads are specified, will default to number of cores with a maximum of 32.
 If `1` is specified, fallback to non multi-threaded wasm that doesn't need shared memory.
 
-You can also create a synchronous version of the api that also has no multi-threading. This is only useful in the
-browser if you don't call any multi-threaded functions. It's probably best to just always use async version of the api
-unless you're really trying to avoid the small overhead of worker communication.
+See `src/main.ts` for larger example of how to use.
+
+### Browser Context
+
+It's recommended to use a dynamic import. This allows the developer to pick the time at which the package (several MB
+in size) is loaded and keeps page load times responsive.
 
 ```typescript
-const api = await newBarretenbergApiSync();
-// Use.
-const input = Buffer.from('hello world!');
-const result = api.blake2s(input);
-await api.destroy();
+const { Barretenberg, RawBuffer, Crs } = await import('@aztec/bb.js');
 ```
 
-See `src/main.ts` for one example of how to use.
+### Multithreading in browser
+
+Multithreading in bb.js requires [`SharedArrayBuffer`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/SharedArrayBuffer) to be enabled. It is only enabled in browsers if COOP and COEP headers are set by the server. Read more [here](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/SharedArrayBuffer#security_requirements).
+
+You can configure your server to set these headers for pages that perform proof generation. See [this example project](https://github.com/saleel/gitclaim/blob/main/app/next.config.mjs#L48-L67) that implements multi-threaded browser proving, which contains the below Next.js config:
+
+```typescript
+{
+  ...
+  async headers() {
+    return [
+      {
+        source: '/:path*',
+        headers: [
+          { key: 'Cross-Origin-Embedder-Policy', value: 'require-corp' },
+          { key: 'Cross-Origin-Opener-Policy', value: 'same-origin' },
+        ],
+      },
+    ];
+  },
+}
+```
 
-## Development
+Note that adding COOP and COEP headers will disable loading of external scripts, which might be required by your application.
 
-Create a symlink to the root script `bb.js-dev` in your path. You can now run the current state of the code from
-anywhere in your filesystem with no `yarn build` required.
+You can enable these headers for specific pages that perform proof generation, but this may be challenging, especially in single-page applications. One workaround is to move the proof generation to a separate page, load it in an invisible iframe within your main application, and then use `postMessage` to communicate between the pages for generating proofs.
 
-If you change the C++ code run `yarn build:wasm`.
+## Debugging
 
-To run the tests run `yarn test`.
+Got an unhelpful stack trace in wasm? Run:
 
-To run a continuous "stress test" run `yarn simple_test` to do 10 full pk/proof/vk iterations.
+```
+BUILD_CPP=1 NO_STRIP=1 ./script/copy_wasm.sh
+```
 
-To run the same test in the browser run `yarn serve`, navigate to appropriate URL and open the console.
+This will drop unstripped wasms into the dest folder. Run your test again to get a trace.

package/dest/{async_map → browser/async_map}/index.d.ts

@@ -7,4 +7,4 @@
  * 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
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9hc3luY19tYXAvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7R0FPRztBQUNILHdCQUFzQixRQUFRLENBQUMsQ0FBQyxFQUFFLENBQUMsRUFBRSxHQUFHLEVBQUUsQ0FBQyxFQUFFLEVBQUUsRUFBRSxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLE9BQU8sQ0FBQyxDQUFDLENBQUMsR0FBRyxPQUFPLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FNaEcifQ==

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

@@ -0,0 +1 @@
+{"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/{async_map → browser/async_map}/index.js

@@ -13,4 +13,4 @@ export async function asyncMap(arr, fn) {
     }
     return results;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXN5bmNfbWFwL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O0dBT0c7QUFDSCxNQUFNLENBQUMsS0FBSyxVQUFVLFFBQVEsQ0FBTyxHQUFRLEVBQUUsRUFBbUM7SUFDaEYsTUFBTSxPQUFPLEdBQVEsRUFBRSxDQUFDO0lBQ3hCLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxHQUFHLENBQUMsTUFBTSxFQUFFLEVBQUUsQ0FBQyxFQUFFO1FBQ25DLE9BQU8sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUM7S0FDbkM7SUFDRCxPQUFPLE9BQU8sQ0FBQztBQUNqQixDQUFDIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYXN5bmNfbWFwL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O0dBT0c7QUFDSCxNQUFNLENBQUMsS0FBSyxVQUFVLFFBQVEsQ0FBTyxHQUFRLEVBQUUsRUFBbUMsRUFBZ0I7SUFDaEcsTUFBTSxPQUFPLEdBQVEsRUFBRSxDQUFDO0lBQ3hCLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxHQUFHLENBQUMsTUFBTSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUM7UUFDcEMsT0FBTyxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUNwQyxDQUFDO0lBQ0QsT0FBTyxPQUFPLENBQUM7QUFBQSxDQUNoQiJ9

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

@@ -0,0 +1,61 @@
+import { Barretenberg } 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 UltraHonkVerifierBackend {
+    private api;
+    constructor(api: Barretenberg);
+    verifyProof(proofData: ProofData & {
+        verificationKey: Uint8Array;
+    }, options?: UltraHonkBackendOptions): Promise<boolean>;
+}
+export declare class UltraHonkBackend {
+    private api;
+    private acirUncompressedBytecode;
+    constructor(acirBytecode: string, api: Barretenberg);
+    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, options?: UltraHonkBackendOptions): Promise<string>;
+    generateRecursiveProofArtifacts(_proof: Uint8Array, _numOfPublicInputs: number): Promise<{
+        proofAsFields: string[];
+        vkAsFields: string[];
+        vkHash: string;
+    }>;
+}
+export declare class AztecClientBackend {
+    private acirBuf;
+    private api;
+    constructor(acirBuf: Uint8Array[], api: Barretenberg);
+    prove(witnessBuf: Uint8Array[], vksBuf?: Uint8Array[]): Promise<[Uint8Array[], Uint8Array, Uint8Array]>;
+    verify(proof: Uint8Array, vk: Uint8Array): Promise<boolean>;
+    gates(): Promise<number[]>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmFja2VuZC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2JhcnJldGVuYmVyZy9iYWNrZW5kLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFDMUMsT0FBTyxFQUFFLFNBQVMsRUFBb0MsTUFBTSxtQkFBbUIsQ0FBQztBQUtoRixxQkFBYSx1QkFBd0IsU0FBUSxLQUFLO0lBQ2hELFlBQVksT0FBTyxFQUFFLE1BQU0sRUFFMUI7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLHVCQUF1QixHQUFHO0lBQ3BDOzs7T0FHRztJQUNILE1BQU0sQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUNqQjs7O09BR0c7SUFDSCxRQUFRLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDbkI7OztPQUdHO0lBQ0gsUUFBUSxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQ25COzs7T0FHRztJQUNILFVBQVUsQ0FBQyxFQUFFLE9BQU8sQ0FBQztDQUN0QixDQUFDO0FBc0JGLHFCQUFhLHdCQUF3QjtJQUN2QixPQUFPLENBQUMsR0FBRztJQUF2QixZQUFvQixHQUFHLEVBQUUsWUFBWSxFQUFJO0lBRW5DLFdBQVcsQ0FDZixTQUFTLEVBQUUsU0FBUyxHQUFHO1FBQUUsZUFBZSxFQUFFLFVBQVUsQ0FBQTtLQUFFLEVBQ3RELE9BQU8sQ0FBQyxFQUFFLHVCQUF1QixHQUNoQyxPQUFPLENBQUMsT0FBTyxDQUFDLENBWWxCO0NBQ0Y7QUFFRCxxQkFBYSxnQkFBZ0I7SUFVekIsT0FBTyxDQUFDLEdBQUc7SUFKYixPQUFPLENBQUMsd0JBQXdCLENBQWE7SUFFN0MsWUFDRSxZQUFZLEVBQUUsTUFBTSxFQUNaLEdBQUcsRUFBRSxZQUFZLEVBRzFCO0lBRUssYUFBYSxDQUFDLGlCQUFpQixFQUFFLFVBQVUsRUFBRSxPQUFPLENBQUMsRUFBRSx1QkFBdUIsR0FBRyxPQUFPLENBQUMsU0FBUyxDQUFDLENBb0J4RztJQUVLLFdBQVcsQ0FBQyxTQUFTLEVBQUUsU0FBUyxFQUFFLE9BQU8sQ0FBQyxFQUFFLHVCQUF1QixHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FvQjNGO0lBRUssa0JBQWtCLENBQUMsT0FBTyxDQUFDLEVBQUUsdUJBQXVCLEdBQUcsT0FBTyxDQUFDLFVBQVUsQ0FBQyxDQVMvRTtJQUVELCtDQUErQztJQUN6QyxtQkFBbUIsQ0FBQyxFQUFFLEVBQUUsVUFBVSxFQUFFLE9BQU8sQ0FBQyxFQUFFLHVCQUF1QixHQUFHLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FNNUY7SUFHSywrQkFBK0IsQ0FFbkMsTUFBTSxFQUFFLFVBQVUsRUFFbEIsa0JBQWtCLEVBQUUsTUFBTSxHQUN6QixPQUFPLENBQUM7UUFBRSxhQUFhLEVBQUUsTUFBTSxFQUFFLENBQUM7UUFBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLENBQUM7UUFBQyxNQUFNLEVBQUUsTUFBTSxDQUFBO0tBQUUsQ0FBQyxDQW1DNUU7Q0FDRjtBQUVELHFCQUFhLGtCQUFrQjtJQU8zQixPQUFPLENBQUMsT0FBTztJQUNmLE9BQU8sQ0FBQyxHQUFHO0lBRmIsWUFDVSxPQUFPLEVBQUUsVUFBVSxFQUFFLEVBQ3JCLEdBQUcsRUFBRSxZQUFZLEVBQ3ZCO0lBRUUsS0FBSyxDQUFDLFVBQVUsRUFBRSxVQUFVLEVBQUUsRUFBRSxNQUFNLEdBQUUsVUFBVSxFQUFPLEdBQUcsT0FBTyxDQUFDLENBQUMsVUFBVSxFQUFFLEVBQUUsVUFBVSxFQUFFLFVBQVUsQ0FBQyxDQUFDLENBMkRoSDtJQUVLLE1BQU0sQ0FBQyxLQUFLLEVBQUUsVUFBVSxFQUFFLEVBQUUsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQU1oRTtJQUVLLEtBQUssSUFBSSxPQUFPLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FhL0I7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"backend.d.ts","sourceRoot":"","sources":["../../../src/barretenberg/backend.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAoC,MAAM,mBAAmB,CAAC;AAKhF,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,YAAY,OAAO,EAAE,MAAM,EAE1B;CACF;AAED;;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;AAsBF,qBAAa,wBAAwB;IACvB,OAAO,CAAC,GAAG;IAAvB,YAAoB,GAAG,EAAE,YAAY,EAAI;IAEnC,WAAW,CACf,SAAS,EAAE,SAAS,GAAG;QAAE,eAAe,EAAE,UAAU,CAAA;KAAE,EACtD,OAAO,CAAC,EAAE,uBAAuB,GAChC,OAAO,CAAC,OAAO,CAAC,CAYlB;CACF;AAED,qBAAa,gBAAgB;IAUzB,OAAO,CAAC,GAAG;IAJb,OAAO,CAAC,wBAAwB,CAAa;IAE7C,YACE,YAAY,EAAE,MAAM,EACZ,GAAG,EAAE,YAAY,EAG1B;IAEK,aAAa,CAAC,iBAAiB,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,SAAS,CAAC,CAoBxG;IAEK,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,OAAO,CAAC,CAoB3F;IAEK,kBAAkB,CAAC,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,UAAU,CAAC,CAS/E;IAED,+CAA+C;IACzC,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAAC,CAM5F;IAGK,+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,CAmC5E;CACF;AAED,qBAAa,kBAAkB;IAO3B,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,GAAG;IAFb,YACU,OAAO,EAAE,UAAU,EAAE,EACrB,GAAG,EAAE,YAAY,EACvB;IAEE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,MAAM,GAAE,UAAU,EAAO,GAAG,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CA2DhH;IAEK,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAMhE;IAEK,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAa/B;CACF"}

package/dest/browser/barretenberg/backend.js

@@ -0,0 +1,250 @@
+import { uint8ArrayToHex, hexToUint8Array } from '../proof/index.js';
+import { fromChonkProof, toChonkProof } from '../cbind/generated/api_types.js';
+import { ungzip } from 'pako';
+import { Decoder, Encoder } from 'msgpackr';
+export class AztecClientBackendError extends Error {
+    constructor(message) {
+        super(message);
+    }
+}
+function getProofSettingsFromOptions(options) {
+    return {
+        ipaAccumulation: false,
+        oracleHashType: options?.keccak || options?.keccakZK
+            ? 'keccak'
+            : options?.starknet || options?.starknetZK
+                ? 'starknet'
+                : 'poseidon2',
+        // TODO no current way to target non-zk poseidon2 hash
+        disableZk: options?.keccak || options?.starknet ? true : false,
+        optimizedSolidityVerifier: false,
+    };
+}
+export class UltraHonkVerifierBackend {
+    api;
+    constructor(api) {
+        this.api = api;
+    }
+    async verifyProof(proofData, options) {
+        const proofFrs = [];
+        for (let i = 0; i < proofData.proof.length; i += 32) {
+            proofFrs.push(proofData.proof.slice(i, i + 32));
+        }
+        const { verified } = await this.api.circuitVerify({
+            verificationKey: proofData.verificationKey,
+            publicInputs: proofData.publicInputs.map(hexToUint8Array),
+            proof: proofFrs,
+            settings: getProofSettingsFromOptions(options),
+        });
+        return verified;
+    }
+}
+export class UltraHonkBackend {
+    api;
+    // These type assertions are used so that we don't
+    // have to initialize `api` in the constructor.
+    // These are initialized asynchronously in the `init` function,
+    // constructors cannot be asynchronous which is why we do this.
+    acirUncompressedBytecode;
+    constructor(acirBytecode, api) {
+        this.api = api;
+        this.acirUncompressedBytecode = acirToUint8Array(acirBytecode);
+    }
+    async generateProof(compressedWitness, options) {
+        const witness = ungzip(compressedWitness);
+        const { proof, publicInputs } = await this.api.circuitProve({
+            witness,
+            circuit: {
+                name: 'circuit',
+                bytecode: this.acirUncompressedBytecode,
+                verificationKey: new Uint8Array(0), // Empty VK - lower performance.
+            },
+            settings: getProofSettingsFromOptions(options),
+        });
+        console.log(`Generated proof for circuit with ${publicInputs.length} public inputs and ${proof.length} fields.`);
+        // We return ProofData as a flat buffer and an array of strings to match the current ProofData class.
+        const flatProof = new Uint8Array(proof.length * 32);
+        proof.forEach((fr, i) => {
+            flatProof.set(fr, i * 32);
+        });
+        return { proof: flatProof, publicInputs: publicInputs.map(uint8ArrayToHex) };
+    }
+    async verifyProof(proofData, options) {
+        const proofFrs = [];
+        for (let i = 0; i < proofData.proof.length; i += 32) {
+            proofFrs.push(proofData.proof.slice(i, i + 32));
+        }
+        // TODO reconsider API - computing the VK at this point is not optimal
+        const vkResult = await this.api.circuitComputeVk({
+            circuit: {
+                name: 'circuit',
+                bytecode: this.acirUncompressedBytecode,
+            },
+            settings: getProofSettingsFromOptions(options),
+        });
+        const { verified } = await this.api.circuitVerify({
+            verificationKey: vkResult.bytes,
+            publicInputs: proofData.publicInputs.map(hexToUint8Array),
+            proof: proofFrs,
+            settings: getProofSettingsFromOptions(options),
+        });
+        return verified;
+    }
+    async getVerificationKey(options) {
+        const vkResult = await this.api.circuitComputeVk({
+            circuit: {
+                name: 'circuit',
+                bytecode: this.acirUncompressedBytecode,
+            },
+            settings: getProofSettingsFromOptions(options),
+        });
+        return vkResult.bytes;
+    }
+    /** @description Returns a solidity verifier */
+    async getSolidityVerifier(vk, options) {
+        const result = await this.api.circuitWriteSolidityVerifier({
+            verificationKey: vk,
+            settings: getProofSettingsFromOptions(options),
+        });
+        return result.solidityCode;
+    }
+    // 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) {
+        // 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 vkResult = await this.api.circuitComputeVk({
+            circuit: {
+                name: 'circuit',
+                bytecode: this.acirUncompressedBytecode,
+            },
+            settings: getProofSettingsFromOptions({}),
+        });
+        // Convert VK bytes to field elements (32-byte chunks)
+        const vkAsFields = [];
+        for (let i = 0; i < vkResult.bytes.length; i += 32) {
+            const chunk = vkResult.bytes.slice(i, i + 32);
+            vkAsFields.push(uint8ArrayToHex(chunk));
+        }
+        return {
+            // TODO(https://github.com/noir-lang/noir/issues/5661)
+            proofAsFields: [],
+            vkAsFields,
+            // 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: uint8ArrayToHex(vkResult.hash),
+        };
+    }
+}
+export class AztecClientBackend {
+    acirBuf;
+    api;
+    // These type assertions are used so that we don't
+    // have to initialize `api` in the constructor.
+    // These are initialized asynchronously in the `init` function,
+    // constructors cannot be asynchronous which is why we do this.
+    constructor(acirBuf, api) {
+        this.acirBuf = acirBuf;
+        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!');
+        }
+        // Queue IVC start with the number of circuits
+        this.api.chonkStart({ numCircuits: this.acirBuf.length });
+        // Queue load and accumulate for each circuit
+        for (let i = 0; i < this.acirBuf.length; i++) {
+            const bytecode = this.acirBuf[i];
+            const witness = witnessBuf[i] || new Uint8Array(0);
+            const vk = vksBuf[i] || new Uint8Array(0);
+            const functionName = `unknown_wasm_${i}`;
+            // Load the circuit
+            this.api.chonkLoad({
+                circuit: {
+                    name: functionName,
+                    bytecode: bytecode,
+                    verificationKey: vk,
+                },
+            });
+            // Accumulate with witness
+            this.api.chonkAccumulate({
+                witness,
+            });
+        }
+        // Generate the proof (and wait for all previous steps to finish)
+        const proveResult = await this.api.chonkProve({});
+        // The API currently expects a msgpack-encoded API.
+        const proof = new Encoder({ useRecords: false }).encode(fromChonkProof(proveResult.proof));
+        // Generate the VK
+        const vkResult = await this.api.chonkComputeIvcVk({
+            circuit: {
+                name: 'hiding',
+                bytecode: this.acirBuf[this.acirBuf.length - 1],
+            },
+        });
+        const proofFields = [
+            proveResult.proof.megaProof,
+            proveResult.proof.goblinProof.mergeProof,
+            proveResult.proof.goblinProof.eccvmProof.preIpaProof,
+            proveResult.proof.goblinProof.eccvmProof.ipaProof,
+            proveResult.proof.goblinProof.translatorProof,
+        ].flat();
+        // Note: Verification may not work correctly until we properly serialize the proof
+        if (!(await this.verify(proof, vkResult.bytes))) {
+            throw new AztecClientBackendError('Failed to verify the private (Chonk) transaction proof!');
+        }
+        return [proofFields, proof, vkResult.bytes];
+    }
+    async verify(proof, vk) {
+        const result = await this.api.chonkVerify({
+            proof: toChonkProof(new Decoder({ useRecords: false }).decode(proof)),
+            vk,
+        });
+        return result.valid;
+    }
+    async gates() {
+        const circuitSizes = [];
+        for (const buf of this.acirBuf) {
+            const gates = await this.api.chonkStats({
+                circuit: {
+                    name: 'circuit',
+                    bytecode: buf,
+                },
+                includeGatesPerOpcode: false,
+            });
+            circuitSizes.push(gates.circuitSize);
+        }
+        return circuitSizes;
+    }
+}
+// Converts bytecode from a base64 string to a Uint8Array
+function acirToUint8Array(base64EncodedBytecode) {
+    const compressedByteCode = base64Decode(base64EncodedBytecode);
+    return ungzip(compressedByteCode);
+}
+// Base64 decode using atob (works in both browser and Node.js 18+)
+function base64Decode(input) {
+    if (typeof atob === 'function') {
+        return Uint8Array.from(atob(input), c => c.charCodeAt(0));
+    }
+    else {
+        throw new Error('atob is not available. Node.js 18+ or browser required.');
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmFja2VuZC5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9iYXJyZXRlbmJlcmcvYmFja2VuZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQWEsZUFBZSxFQUFFLGVBQWUsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2hGLE9BQU8sRUFBRSxjQUFjLEVBQUUsWUFBWSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDL0UsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLE1BQU0sQ0FBQztBQUM5QixPQUFPLEVBQUUsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLFVBQVUsQ0FBQztBQUU1QyxNQUFNLE9BQU8sdUJBQXdCLFNBQVEsS0FBSztJQUNoRCxZQUFZLE9BQWUsRUFBRTtRQUMzQixLQUFLLENBQUMsT0FBTyxDQUFDLENBQUM7SUFBQSxDQUNoQjtDQUNGO0FBNEJELFNBQVMsMkJBQTJCLENBQUMsT0FBaUMsRUFLcEU7SUFDQSxPQUFPO1FBQ0wsZUFBZSxFQUFFLEtBQUs7UUFDdEIsY0FBYyxFQUNaLE9BQU8sRUFBRSxNQUFNLElBQUksT0FBTyxFQUFFLFFBQVE7WUFDbEMsQ0FBQyxDQUFDLFFBQVE7WUFDVixDQUFDLENBQUMsT0FBTyxFQUFFLFFBQVEsSUFBSSxPQUFPLEVBQUUsVUFBVTtnQkFDeEMsQ0FBQyxDQUFDLFVBQVU7Z0JBQ1osQ0FBQyxDQUFDLFdBQVc7UUFDbkIsc0RBQXNEO1FBQ3RELFNBQVMsRUFBRSxPQUFPLEVBQUUsTUFBTSxJQUFJLE9BQU8sRUFBRSxRQUFRLENBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsS0FBSztRQUM5RCx5QkFBeUIsRUFBRSxLQUFLO0tBQ2pDLENBQUM7QUFBQSxDQUNIO0FBRUQsTUFBTSxPQUFPLHdCQUF3QjtJQUNmLEdBQUc7SUFBdkIsWUFBb0IsR0FBaUIsRUFBRTttQkFBbkIsR0FBRztJQUFpQixDQUFDO0lBRXpDLEtBQUssQ0FBQyxXQUFXLENBQ2YsU0FBc0QsRUFDdEQsT0FBaUMsRUFDZjtRQUNsQixNQUFNLFFBQVEsR0FBaUIsRUFBRSxDQUFDO1FBQ2xDLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxTQUFTLENBQUMsS0FBSyxDQUFDLE1BQU0sRUFBRSxDQUFDLElBQUksRUFBRSxFQUFFLENBQUM7WUFDcEQsUUFBUSxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFDLEVBQUUsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUM7UUFDbEQsQ0FBQztRQUNELE1BQU0sRUFBRSxRQUFRLEVBQUUsR0FBRyxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsYUFBYSxDQUFDO1lBQ2hELGVBQWUsRUFBRSxTQUFTLENBQUMsZUFBZTtZQUMxQyxZQUFZLEVBQUUsU0FBUyxDQUFDLFlBQVksQ0FBQyxHQUFHLENBQUMsZUFBZSxDQUFDO1lBQ3pELEtBQUssRUFBRSxRQUFRO1lBQ2YsUUFBUSxFQUFFLDJCQUEyQixDQUFDLE9BQU8sQ0FBQztTQUMvQyxDQUFDLENBQUM7UUFDSCxPQUFPLFFBQVEsQ0FBQztJQUFBLENBQ2pCO0NBQ0Y7QUFFRCxNQUFNLE9BQU8sZ0JBQWdCO0lBVWpCLEdBQUc7SUFUYixrREFBa0Q7SUFDbEQsK0NBQStDO0lBQy9DLCtEQUErRDtJQUMvRCwrREFBK0Q7SUFFdkQsd0JBQXdCLENBQWE7SUFFN0MsWUFDRSxZQUFvQixFQUNaLEdBQWlCLEVBQ3pCO21CQURRLEdBQUc7UUFFWCxJQUFJLENBQUMsd0JBQXdCLEdBQUcsZ0JBQWdCLENBQUMsWUFBWSxDQUFDLENBQUM7SUFBQSxDQUNoRTtJQUVELEtBQUssQ0FBQyxhQUFhLENBQUMsaUJBQTZCLEVBQUUsT0FBaUMsRUFBc0I7UUFDeEcsTUFBTSxPQUFPLEdBQUcsTUFBTSxDQUFDLGlCQUFpQixDQUFDLENBQUM7UUFDMUMsTUFBTSxFQUFFLEtBQUssRUFBRSxZQUFZLEVBQUUsR0FBRyxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsWUFBWSxDQUFDO1lBQzFELE9BQU87WUFDUCxPQUFPLEVBQUU7Z0JBQ1AsSUFBSSxFQUFFLFNBQVM7Z0JBQ2YsUUFBUSxFQUFFLElBQUksQ0FBQyx3QkFBd0I7Z0JBQ3ZDLGVBQWUsRUFBRSxJQUFJLFVBQVUsQ0FBQyxDQUFDLENBQUMsRUFBRSxnQ0FBZ0M7YUFDckU7WUFDRCxRQUFRLEVBQUUsMkJBQTJCLENBQUMsT0FBTyxDQUFDO1NBQy9DLENBQUMsQ0FBQztRQUNILE9BQU8sQ0FBQyxHQUFHLENBQUMsb0NBQW9DLFlBQVksQ0FBQyxNQUFNLHNCQUFzQixLQUFLLENBQUMsTUFBTSxVQUFVLENBQUMsQ0FBQztRQUVqSCxxR0FBcUc7UUFDckcsTUFBTSxTQUFTLEdBQUcsSUFBSSxVQUFVLENBQUMsS0FBSyxDQUFDLE1BQU0sR0FBRyxFQUFFLENBQUMsQ0FBQztRQUNwRCxLQUFLLENBQUMsT0FBTyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7WUFDdkIsU0FBUyxDQUFDLEdBQUcsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDO1FBQUEsQ0FDM0IsQ0FBQyxDQUFDO1FBRUgsT0FBTyxFQUFFLEtBQUssRUFBRSxTQUFTLEVBQUUsWUFBWSxFQUFFLFlBQVksQ0FBQyxHQUFHLENBQUMsZUFBZSxDQUFDLEVBQUUsQ0FBQztJQUFBLENBQzlFO0lBRUQsS0FBSyxDQUFDLFdBQVcsQ0FBQyxTQUFvQixFQUFFLE9BQWlDLEVBQW9CO1FBQzNGLE1BQU0sUUFBUSxHQUFpQixFQUFFLENBQUM7UUFDbEMsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLFNBQVMsQ0FBQyxLQUFLLENBQUMsTUFBTSxFQUFFLENBQUMsSUFBSSxFQUFFLEVBQUUsQ0FBQztZQUNwRCxRQUFRLENBQUMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLENBQUMsRUFBRSxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUMsQ0FBQztRQUNsRCxDQUFDO1FBQ0Qsc0VBQXNFO1FBQ3RFLE1BQU0sUUFBUSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxnQkFBZ0IsQ0FBQztZQUMvQyxPQUFPLEVBQUU7Z0JBQ1AsSUFBSSxFQUFFLFNBQVM7Z0JBQ2YsUUFBUSxFQUFFLElBQUksQ0FBQyx3QkFBd0I7YUFDeEM7WUFDRCxRQUFRLEVBQUUsMkJBQTJCLENBQUMsT0FBTyxDQUFDO1NBQy9DLENBQUMsQ0FBQztRQUNILE1BQU0sRUFBRSxRQUFRLEVBQUUsR0FBRyxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsYUFBYSxDQUFDO1lBQ2hELGVBQWUsRUFBRSxRQUFRLENBQUMsS0FBSztZQUMvQixZQUFZLEVBQUUsU0FBUyxDQUFDLFlBQVksQ0FBQyxHQUFHLENBQUMsZUFBZSxDQUFDO1lBQ3pELEtBQUssRUFBRSxRQUFRO1lBQ2YsUUFBUSxFQUFFLDJCQUEyQixDQUFDLE9BQU8sQ0FBQztTQUMvQyxDQUFDLENBQUM7UUFDSCxPQUFPLFFBQVEsQ0FBQztJQUFBLENBQ2pCO0lBRUQsS0FBSyxDQUFDLGtCQUFrQixDQUFDLE9BQWlDLEVBQXVCO1FBQy9FLE1BQU0sUUFBUSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxnQkFBZ0IsQ0FBQztZQUMvQyxPQUFPLEVBQUU7Z0JBQ1AsSUFBSSxFQUFFLFNBQVM7Z0JBQ2YsUUFBUSxFQUFFLElBQUksQ0FBQyx3QkFBd0I7YUFDeEM7WUFDRCxRQUFRLEVBQUUsMkJBQTJCLENBQUMsT0FBTyxDQUFDO1NBQy9DLENBQUMsQ0FBQztRQUNILE9BQU8sUUFBUSxDQUFDLEtBQUssQ0FBQztJQUFBLENBQ3ZCO0lBRUQsK0NBQStDO0lBQy9DLEtBQUssQ0FBQyxtQkFBbUIsQ0FBQyxFQUFjLEVBQUUsT0FBaUMsRUFBbUI7UUFDNUYsTUFBTSxNQUFNLEdBQUcsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLDRCQUE0QixDQUFDO1lBQ3pELGVBQWUsRUFBRSxFQUFFO1lBQ25CLFFBQVEsRUFBRSwyQkFBMkIsQ0FBQyxPQUFPLENBQUM7U0FDL0MsQ0FBQyxDQUFDO1FBQ0gsT0FBTyxNQUFNLENBQUMsWUFBWSxDQUFDO0lBQUEsQ0FDNUI7SUFFRCw4SkFBOEo7SUFDOUosS0FBSyxDQUFDLCtCQUErQjtJQUNuQyw2REFBNkQ7SUFDN0QsTUFBa0I7SUFDbEIsNkRBQTZEO0lBQzdELGtCQUEwQixFQUNrRDtRQUM1RSxpSEFBaUg7UUFDakgsb0dBQW9HO1FBQ3BHLCtCQUErQjtRQUMvQix3R0FBd0c7UUFDeEcseUJBQXlCO1FBQ3pCLDZEQUE2RDtRQUM3RCxxR0FBcUc7UUFFckcsMkVBQTJFO1FBQzNFLDBCQUEwQjtRQUMxQixNQUFNLFFBQVEsR0FBRyxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsZ0JBQWdCLENBQUM7WUFDL0MsT0FBTyxFQUFFO2dCQUNQLElBQUksRUFBRSxTQUFTO2dCQUNmLFFBQVEsRUFBRSxJQUFJLENBQUMsd0JBQXdCO2FBQ3hDO1lBQ0QsUUFBUSxFQUFFLDJCQUEyQixDQUFDLEVBQUUsQ0FBQztTQUMxQyxDQUFDLENBQUM7UUFFSCxzREFBc0Q7UUFDdEQsTUFBTSxVQUFVLEdBQWEsRUFBRSxDQUFDO1FBQ2hDLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxRQUFRLENBQUMsS0FBSyxDQUFDLE1BQU0sRUFBRSxDQUFDLElBQUksRUFBRSxFQUFFLENBQUM7WUFDbkQsTUFBTSxLQUFLLEdBQUcsUUFBUSxDQUFDLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQyxFQUFFLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FBQztZQUM5QyxVQUFVLENBQUMsSUFBSSxDQUFDLGVBQWUsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDO1FBQzFDLENBQUM7UUFFRCxPQUFPO1lBQ0wsc0RBQXNEO1lBQ3RELGFBQWEsRUFBRSxFQUFFO1lBQ2pCLFVBQVU7WUFDVixtR0FBbUc7WUFDbkcsc0dBQXNHO1lBQ3RHLGNBQWM7WUFDZCxNQUFNLEVBQUUsZUFBZSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUM7U0FDdkMsQ0FBQztJQUFBLENBQ0g7Q0FDRjtBQUVELE1BQU0sT0FBTyxrQkFBa0I7SUFPbkIsT0FBTztJQUNQLEdBQUc7SUFQYixrREFBa0Q7SUFDbEQsK0NBQStDO0lBQy9DLCtEQUErRDtJQUMvRCwrREFBK0Q7SUFFL0QsWUFDVSxPQUFxQixFQUNyQixHQUFpQixFQUN6Qjt1QkFGUSxPQUFPO21CQUNQLEdBQUc7SUFDVixDQUFDO0lBRUosS0FBSyxDQUFDLEtBQUssQ0FBQyxVQUF3QixFQUFFLE1BQU0sR0FBaUIsRUFBRSxFQUFtRDtRQUNoSCxJQUFJLE1BQU0sQ0FBQyxNQUFNLEtBQUssQ0FBQyxJQUFJLElBQUksQ0FBQyxPQUFPLENBQUMsTUFBTSxLQUFLLFVBQVUsQ0FBQyxNQUFNLEVBQUUsQ0FBQztZQUNyRSxNQUFNLElBQUksdUJBQXVCLENBQUMsdURBQXVELENBQUMsQ0FBQztRQUM3RixDQUFDO1FBQ0QsSUFBSSxNQUFNLENBQUMsTUFBTSxLQUFLLENBQUMsSUFBSSxNQUFNLENBQUMsTUFBTSxLQUFLLFVBQVUsQ0FBQyxNQUFNLEVBQUUsQ0FBQztZQUMvRCxpRkFBaUY7WUFDakYsTUFBTSxJQUFJLHVCQUF1QixDQUFDLGlEQUFpRCxDQUFDLENBQUM7UUFDdkYsQ0FBQztRQUVELDhDQUE4QztRQUM5QyxJQUFJLENBQUMsR0FBRyxDQUFDLFVBQVUsQ0FBQyxFQUFFLFdBQVcsRUFBRSxJQUFJLENBQUMsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUM7UUFFMUQsNkNBQTZDO1FBQzdDLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDO1lBQzdDLE1BQU0sUUFBUSxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFDakMsTUFBTSxPQUFPLEdBQUcsVUFBVSxDQUFDLENBQUMsQ0FBQyxJQUFJLElBQUksVUFBVSxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQ25ELE1BQU0sRUFBRSxHQUFHLE1BQU0sQ0FBQyxDQUFDLENBQUMsSUFBSSxJQUFJLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQztZQUMxQyxNQUFNLFlBQVksR0FBRyxnQkFBZ0IsQ0FBQyxFQUFFLENBQUM7WUFFekMsbUJBQW1CO1lBQ25CLElBQUksQ0FBQyxHQUFHLENBQUMsU0FBUyxDQUFDO2dCQUNqQixPQUFPLEVBQUU7b0JBQ1AsSUFBSSxFQUFFLFlBQVk7b0JBQ2xCLFFBQVEsRUFBRSxRQUFRO29CQUNsQixlQUFlLEVBQUUsRUFBRTtpQkFDcEI7YUFDRixDQUFDLENBQUM7WUFFSCwwQkFBMEI7WUFDMUIsSUFBSSxDQUFDLEdBQUcsQ0FBQyxlQUFlLENBQUM7Z0JBQ3ZCLE9BQU87YUFDUixDQUFDLENBQUM7UUFDTCxDQUFDO1FBRUQsaUVBQWlFO1FBQ2pFLE1BQU0sV0FBVyxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxVQUFVLENBQUMsRUFBRSxDQUFDLENBQUM7UUFDbEQsbURBQW1EO1FBQ25ELE1BQU0sS0FBSyxHQUFHLElBQUksT0FBTyxDQUFDLEVBQUUsVUFBVSxFQUFFLEtBQUssRUFBRSxDQUFDLENBQUMsTUFBTSxDQUFDLGNBQWMsQ0FBQyxXQUFXLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQztRQUMzRixrQkFBa0I7UUFDbEIsTUFBTSxRQUFRLEdBQUcsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLGlCQUFpQixDQUFDO1lBQ2hELE9BQU8sRUFBRTtnQkFDUCxJQUFJLEVBQUUsUUFBUTtnQkFDZCxRQUFRLEVBQUUsSUFBSSxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsT0FBTyxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUM7YUFDaEQ7U0FDRixDQUFDLENBQUM7UUFFSCxNQUFNLFdBQVcsR0FBRztZQUNsQixXQUFXLENBQUMsS0FBSyxDQUFDLFNBQVM7WUFDM0IsV0FBVyxDQUFDLEtBQUssQ0FBQyxXQUFXLENBQUMsVUFBVTtZQUN4QyxXQUFXLENBQUMsS0FBSyxDQUFDLFdBQVcsQ0FBQyxVQUFVLENBQUMsV0FBVztZQUNwRCxXQUFXLENBQUMsS0FBSyxDQUFDLFdBQVcsQ0FBQyxVQUFVLENBQUMsUUFBUTtZQUNqRCxXQUFXLENBQUMsS0FBSyxDQUFDLFdBQVcsQ0FBQyxlQUFlO1NBQzlDLENBQUMsSUFBSSxFQUFFLENBQUM7UUFFVCxrRkFBa0Y7UUFDbEYsSUFBSSxDQUFDLENBQUMsTUFBTSxJQUFJLENBQUMsTUFBTSxDQUFDLEtBQUssRUFBRSxRQUFRLENBQUMsS0FBSyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQ2hELE1BQU0sSUFBSSx1QkFBdUIsQ0FBQyx5REFBeUQsQ0FBQyxDQUFDO1FBQy9GLENBQUM7UUFDRCxPQUFPLENBQUMsV0FBVyxFQUFFLEtBQUssRUFBRSxRQUFRLENBQUMsS0FBSyxDQUFDLENBQUM7SUFBQSxDQUM3QztJQUVELEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBaUIsRUFBRSxFQUFjLEVBQW9CO1FBQ2hFLE1BQU0sTUFBTSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxXQUFXLENBQUM7WUFDeEMsS0FBSyxFQUFFLFlBQVksQ0FBQyxJQUFJLE9BQU8sQ0FBQyxFQUFFLFVBQVUsRUFBRSxLQUFLLEVBQUUsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQztZQUNyRSxFQUFFO1NBQ0gsQ0FBQyxDQUFDO1FBQ0gsT0FBTyxNQUFNLENBQUMsS0FBSyxDQUFDO0lBQUEsQ0FDckI7SUFFRCxLQUFLLENBQUMsS0FBSyxHQUFzQjtRQUMvQixNQUFNLFlBQVksR0FBYSxFQUFFLENBQUM7UUFDbEMsS0FBSyxNQUFNLEdBQUcsSUFBSSxJQUFJLENBQUMsT0FBTyxFQUFFLENBQUM7WUFDL0IsTUFBTSxLQUFLLEdBQUcsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLFVBQVUsQ0FBQztnQkFDdEMsT0FBTyxFQUFFO29CQUNQLElBQUksRUFBRSxTQUFTO29CQUNmLFFBQVEsRUFBRSxHQUFHO2lCQUNkO2dCQUNELHFCQUFxQixFQUFFLEtBQUs7YUFDN0IsQ0FBQyxDQUFDO1lBQ0gsWUFBWSxDQUFDLElBQUksQ0FBQyxLQUFLLENBQUMsV0FBVyxDQUFDLENBQUM7UUFDdkMsQ0FBQztRQUNELE9BQU8sWUFBWSxDQUFDO0lBQUEsQ0FDckI7Q0FDRjtBQUVELHlEQUF5RDtBQUN6RCxTQUFTLGdCQUFnQixDQUFDLHFCQUE2QixFQUFjO0lBQ25FLE1BQU0sa0JBQWtCLEdBQUcsWUFBWSxDQUFDLHFCQUFxQixDQUFDLENBQUM7SUFDL0QsT0FBTyxNQUFNLENBQUMsa0JBQWtCLENBQUMsQ0FBQztBQUFBLENBQ25DO0FBRUQsbUVBQW1FO0FBQ25FLFNBQVMsWUFBWSxDQUFDLEtBQWEsRUFBYztJQUMvQyxJQUFJLE9BQU8sSUFBSSxLQUFLLFVBQVUsRUFBRSxDQUFDO1FBQy9CLE9BQU8sVUFBVSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDNUQsQ0FBQztTQUFNLENBQUM7UUFDTixNQUFNLElBQUksS0FBSyxDQUFDLHlEQUF5RCxDQUFDLENBQUM7SUFDN0UsQ0FBQztBQUFBLENBQ0YifQ==

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

@@ -0,0 +1,65 @@
+import { AsyncApi } from '../cbind/generated/async.js';
+import { SyncApi } from '../cbind/generated/sync.js';
+import { IMsgpackBackendSync, IMsgpackBackendAsync } from '../bb_backends/interface.js';
+import { BackendOptions } from '../bb_backends/index.js';
+export { UltraHonkBackend, UltraHonkVerifierBackend, AztecClientBackend } from './backend.js';
+export * from '../bb_backends/index.js';
+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 AsyncApi {
+    private options;
+    constructor(backend: IMsgpackBackendAsync, options: BackendOptions);
+    /**
+     * Constructs an instance of Barretenberg.
+     *
+     * If options.backend is set: uses that specific backend (throws if unavailable)
+     * If options.backend is unset: tries backends in order with fallback:
+     *   1. NativeUnixSocket (if bb binary available)
+     *   2. WasmWorker (in browser) or Wasm (in Node.js)
+     */
+    static new(options?: BackendOptions): Promise<Barretenberg>;
+    initSRSChonk(srsSize?: number): Promise<void>;
+    getDefaultSrsSize(): number;
+    acirGetCircuitSizes(bytecode: Uint8Array, recursive: boolean, honkRecursion: boolean): Promise<[number, number]>;
+    destroy(): Promise<void>;
+    /**
+     * Initialize the singleton instance of Barretenberg.
+     * @param options Backend configuration options
+     */
+    static initSingleton(options?: BackendOptions): Promise<Barretenberg>;
+    static destroySingleton(): Promise<void>;
+    /**
+     * Get the singleton instance of Barretenberg.
+     * Must call initSingleton() first.
+     */
+    static getSingleton(): Barretenberg;
+}
+export declare class BarretenbergSync extends SyncApi {
+    constructor(backend: IMsgpackBackendSync);
+    /**
+     * Create a new BarretenbergSync instance.
+     *
+     * If options.backend is set: uses that specific backend (throws if unavailable)
+     * If options.backend is unset: tries backends in order with fallback:
+     *   1. NativeSharedMem (if bb binary + NAPI module available)
+     *   2. Wasm
+     *
+     * Supported backends: Wasm, NativeSharedMem
+     * Not supported: WasmWorker (no workers in sync), NativeUnixSocket (async only)
+     */
+    static new(options?: BackendOptions): Promise<BarretenbergSync>;
+    /**
+     * Initialize the singleton instance.
+     * @param options Backend configuration options
+     */
+    static initSingleton(options?: BackendOptions): Promise<BarretenbergSync>;
+    static destroySingleton(): void;
+    static getSingleton(): BarretenbergSync;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9iYXJyZXRlbmJlcmcvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ3ZELE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUNyRCxPQUFPLEVBQUUsbUJBQW1CLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUN4RixPQUFPLEVBQUUsY0FBYyxFQUFlLE1BQU0seUJBQXlCLENBQUM7QUFHdEUsT0FBTyxFQUFFLGdCQUFnQixFQUFFLHdCQUF3QixFQUFFLGtCQUFrQixFQUFFLE1BQU0sY0FBYyxDQUFDO0FBQzlGLGNBQWMseUJBQXlCLENBQUM7QUFFeEMsTUFBTSxNQUFNLGNBQWMsR0FBRztJQUMzQiw0REFBNEQ7SUFDNUQsU0FBUyxFQUFFLE9BQU8sQ0FBQztDQUNwQixDQUFDO0FBRUY7OztHQUdHO0FBQ0gscUJBQWEsWUFBYSxTQUFRLFFBQVE7SUFDeEMsT0FBTyxDQUFDLE9BQU8sQ0FBaUI7SUFFaEMsWUFBWSxPQUFPLEVBQUUsb0JBQW9CLEVBQUUsT0FBTyxFQUFFLGNBQWMsRUFHakU7SUFFRDs7Ozs7OztPQU9HO0lBQ0gsT0FBYSxHQUFHLENBQUMsT0FBTyxHQUFFLGNBQW1CLHlCQTJCNUM7SUFFSyxZQUFZLENBQUMsT0FBTyxTQUEyQixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FTcEU7SUFFRCxpQkFBaUIsSUFBSSxNQUFNLENBTzFCO0lBRUssbUJBQW1CLENBQ3ZCLFFBQVEsRUFBRSxVQUFVLEVBQ3BCLFNBQVMsRUFBRSxPQUFPLEVBQ2xCLGFBQWEsRUFBRSxPQUFPLEdBQ3JCLE9BQU8sQ0FBQyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsQ0FBQyxDQVkzQjtJQUVLLE9BQU8sa0JBRVo7SUFFRDs7O09BR0c7SUFDSCxPQUFhLGFBQWEsQ0FBQyxPQUFPLEdBQUUsY0FBbUIseUJBYXREO0lBRUQsT0FBYSxnQkFBZ0Isa0JBTTVCO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLFlBQVksaUJBS2xCO0NBQ0Y7QUFRRCxxQkFBYSxnQkFBaUIsU0FBUSxPQUFPO0lBQzNDLFlBQVksT0FBTyxFQUFFLG1CQUFtQixFQUV2QztJQUVEOzs7Ozs7Ozs7O09BVUc7SUFDSCxPQUFhLEdBQUcsQ0FBQyxPQUFPLEdBQUUsY0FBbUIsNkJBZTVDO0lBRUQ7OztPQUdHO0lBQ0gsT0FBYSxhQUFhLENBQUMsT0FBTyxHQUFFLGNBQW1CLDZCQU90RDtJQUVELE1BQU0sQ0FBQyxnQkFBZ0IsU0FNdEI7SUFFRCxNQUFNLENBQUMsWUFBWSxxQkFLbEI7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/barretenberg/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACxF,OAAO,EAAE,cAAc,EAAe,MAAM,yBAAyB,CAAC;AAGtE,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAC9F,cAAc,yBAAyB,CAAC;AAExC,MAAM,MAAM,cAAc,GAAG;IAC3B,4DAA4D;IAC5D,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF;;;GAGG;AACH,qBAAa,YAAa,SAAQ,QAAQ;IACxC,OAAO,CAAC,OAAO,CAAiB;IAEhC,YAAY,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,EAGjE;IAED;;;;;;;OAOG;IACH,OAAa,GAAG,CAAC,OAAO,GAAE,cAAmB,yBA2B5C;IAEK,YAAY,CAAC,OAAO,SAA2B,GAAG,OAAO,CAAC,IAAI,CAAC,CASpE;IAED,iBAAiB,IAAI,MAAM,CAO1B;IAEK,mBAAmB,CACvB,QAAQ,EAAE,UAAU,EACpB,SAAS,EAAE,OAAO,EAClB,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAY3B;IAEK,OAAO,kBAEZ;IAED;;;OAGG;IACH,OAAa,aAAa,CAAC,OAAO,GAAE,cAAmB,yBAatD;IAED,OAAa,gBAAgB,kBAM5B;IAED;;;OAGG;IACH,MAAM,CAAC,YAAY,iBAKlB;CACF;AAQD,qBAAa,gBAAiB,SAAQ,OAAO;IAC3C,YAAY,OAAO,EAAE,mBAAmB,EAEvC;IAED;;;;;;;;;;OAUG;IACH,OAAa,GAAG,CAAC,OAAO,GAAE,cAAmB,6BAe5C;IAED;;;OAGG;IACH,OAAa,aAAa,CAAC,OAAO,GAAE,cAAmB,6BAOtD;IAED,MAAM,CAAC,gBAAgB,SAMtB;IAED,MAAM,CAAC,YAAY,qBAKlB;CACF"}