@aztec/bb.js 0.0.1-alpha.7 → 0.0.1-commit.24de95ac

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/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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYXN5bmNfbWFwL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O0dBT0c7QUFDSCxNQUFNLENBQUMsS0FBSyxVQUFVLFFBQVEsQ0FBTyxHQUFRLEVBQUUsRUFBbUM7SUFDaEYsTUFBTSxPQUFPLEdBQVEsRUFBRSxDQUFDO0lBQ3hCLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxHQUFHLENBQUMsTUFBTSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUM7UUFDcEMsT0FBTyxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUNwQyxDQUFDO0lBQ0QsT0FBTyxPQUFPLENBQUM7QUFDakIsQ0FBQyJ9

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

@@ -0,0 +1,75 @@
+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 UltraHonkVerifierBackend {
+    protected backendOptions: BackendOptions;
+    protected circuitOptions: CircuitOptions;
+    protected api: Barretenberg;
+    constructor(backendOptions?: BackendOptions, circuitOptions?: CircuitOptions);
+    /** @ignore */
+    private instantiate;
+    verifyProof(proofData: ProofData & {
+        verificationKey: Uint8Array;
+    }, options?: UltraHonkBackendOptions): Promise<boolean>;
+    destroy(): Promise<void>;
+}
+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, options?: UltraHonkBackendOptions): 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, 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

@@ -0,0 +1 @@
+{"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;AAC1E,OAAO,EAAE,SAAS,EAAoC,MAAM,mBAAmB,CAAC;AAMhF,qBAAa,uBAAwB,SAAQ,KAAK;gBACpC,OAAO,EAAE,MAAM;CAG5B;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;IAIjC,SAAS,CAAC,cAAc,EAAE,cAAc;IACxC,SAAS,CAAC,cAAc,EAAE,cAAc;IAJ1C,SAAS,CAAC,GAAG,EAAG,YAAY,CAAC;gBAGjB,cAAc,GAAE,cAA+B,EAC/C,cAAc,GAAE,cAAqC;IAEjE,cAAc;YACA,WAAW;IAUnB,WAAW,CACf,SAAS,EAAE,SAAS,GAAG;QAAE,eAAe,EAAE,UAAU,CAAA;KAAE,EACtD,OAAO,CAAC,EAAE,uBAAuB,GAChC,OAAO,CAAC,OAAO,CAAC;IAenB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAMzB;AAED,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;IAUnB,aAAa,CAAC,iBAAiB,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,SAAS,CAAC;IAwBnG,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,OAAO,CAAC;IAwBtF,kBAAkB,CAAC,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,UAAU,CAAC;IAahF,+CAA+C;IACzC,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAAC;IAUvF,+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;IAsCvE,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAM/B;AAED,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,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IA8D3G,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC;IAS3D,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;IAgB1B,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAM/B"}

package/dest/browser/barretenberg/backend.js

@@ -0,0 +1,301 @@
+import { Barretenberg } from './index.js';
+import { uint8ArrayToHex, hexToUint8Array } from '../proof/index.js';
+import { fromChonkProof, toChonkProof } from '../cbind/generated/api_types.js';
+import { ungzip } from 'pako';
+import { Buffer } from 'buffer';
+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 {
+    constructor(backendOptions = { threads: 1 }, circuitOptions = { recursive: false }) {
+        this.backendOptions = backendOptions;
+        this.circuitOptions = circuitOptions;
+    }
+    /** @ignore */
+    async instantiate() {
+        if (!this.api) {
+            const api = await Barretenberg.new(this.backendOptions);
+            const honkRecursion = true;
+            await api.initSRSForCircuitSize(0);
+            this.api = api;
+        }
+    }
+    async verifyProof(proofData, options) {
+        await this.instantiate();
+        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;
+    }
+    destroy() {
+        if (!this.api) {
+            return Promise.resolve();
+        }
+        return this.api.destroy();
+    }
+}
+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);
+            this.api = api;
+        }
+    }
+    async generateProof(compressedWitness, options) {
+        await this.instantiate();
+        const witness = ungzip(compressedWitness);
+        const { proof, publicInputs } = await this.api.circuitProve({
+            witness,
+            circuit: {
+                name: 'circuit',
+                bytecode: Buffer.from(this.acirUncompressedBytecode),
+                verificationKey: Buffer.from([]), // 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) {
+        await this.instantiate();
+        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) {
+        await this.instantiate();
+        const vkResult = await this.api.circuitComputeVk({
+            circuit: {
+                name: 'circuit',
+                bytecode: Buffer.from(this.acirUncompressedBytecode),
+            },
+            settings: getProofSettingsFromOptions(options),
+        });
+        return vkResult.bytes;
+    }
+    /** @description Returns a solidity verifier */
+    async getSolidityVerifier(vk, options) {
+        await this.instantiate();
+        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) {
+        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 vkResult = await this.api.circuitComputeVk({
+            circuit: {
+                name: 'circuit',
+                bytecode: Buffer.from(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),
+        };
+    }
+    async destroy() {
+        if (!this.api) {
+            return;
+        }
+        await this.api.destroy();
+    }
+}
+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.initSRSChonk();
+            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();
+        // 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] || Buffer.from([]);
+            const vk = vksBuf[i] || Buffer.from([]);
+            const functionName = `unknown_wasm_${i}`;
+            // Load the circuit
+            this.api.chonkLoad({
+                circuit: {
+                    name: functionName,
+                    bytecode: Buffer.from(bytecode),
+                    verificationKey: Buffer.from(vk),
+                },
+            });
+            // Accumulate with witness
+            this.api.chonkAccumulate({
+                witness: Buffer.from(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) {
+        await this.instantiate();
+        const result = await this.api.chonkVerify({
+            proof: toChonkProof(new Decoder({ useRecords: false }).decode(proof)),
+            vk: Buffer.from(vk),
+        });
+        return result.valid;
+    }
+    async gates() {
+        await this.instantiate();
+        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;
+    }
+    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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmFja2VuZC5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9iYXJyZXRlbmJlcmcvYmFja2VuZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQWtCLFlBQVksRUFBa0IsTUFBTSxZQUFZLENBQUM7QUFDMUUsT0FBTyxFQUFhLGVBQWUsRUFBRSxlQUFlLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNoRixPQUFPLEVBQUUsY0FBYyxFQUFFLFlBQVksRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQy9FLE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxNQUFNLENBQUM7QUFDOUIsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLFFBQVEsQ0FBQztBQUNoQyxPQUFPLEVBQUUsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLFVBQVUsQ0FBQztBQUU1QyxNQUFNLE9BQU8sdUJBQXdCLFNBQVEsS0FBSztJQUNoRCxZQUFZLE9BQWU7UUFDekIsS0FBSyxDQUFDLE9BQU8sQ0FBQyxDQUFDO0lBQ2pCLENBQUM7Q0FDRjtBQTRCRCxTQUFTLDJCQUEyQixDQUFDLE9BQWlDO0lBTXBFLE9BQU87UUFDTCxlQUFlLEVBQUUsS0FBSztRQUN0QixjQUFjLEVBQ1osT0FBTyxFQUFFLE1BQU0sSUFBSSxPQUFPLEVBQUUsUUFBUTtZQUNsQyxDQUFDLENBQUMsUUFBUTtZQUNWLENBQUMsQ0FBQyxPQUFPLEVBQUUsUUFBUSxJQUFJLE9BQU8sRUFBRSxVQUFVO2dCQUN4QyxDQUFDLENBQUMsVUFBVTtnQkFDWixDQUFDLENBQUMsV0FBVztRQUNuQixzREFBc0Q7UUFDdEQsU0FBUyxFQUFFLE9BQU8sRUFBRSxNQUFNLElBQUksT0FBTyxFQUFFLFFBQVEsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxLQUFLO1FBQzlELHlCQUF5QixFQUFFLEtBQUs7S0FDakMsQ0FBQztBQUNKLENBQUM7QUFFRCxNQUFNLE9BQU8sd0JBQXdCO0lBR25DLFlBQ1ksaUJBQWlDLEVBQUUsT0FBTyxFQUFFLENBQUMsRUFBRSxFQUMvQyxpQkFBaUMsRUFBRSxTQUFTLEVBQUUsS0FBSyxFQUFFO1FBRHJELG1CQUFjLEdBQWQsY0FBYyxDQUFpQztRQUMvQyxtQkFBYyxHQUFkLGNBQWMsQ0FBdUM7SUFDOUQsQ0FBQztJQUNKLGNBQWM7SUFDTixLQUFLLENBQUMsV0FBVztRQUN2QixJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsRUFBRSxDQUFDO1lBQ2QsTUFBTSxHQUFHLEdBQUcsTUFBTSxZQUFZLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxjQUFjLENBQUMsQ0FBQztZQUN4RCxNQUFNLGFBQWEsR0FBRyxJQUFJLENBQUM7WUFDM0IsTUFBTSxHQUFHLENBQUMscUJBQXFCLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFFbkMsSUFBSSxDQUFDLEdBQUcsR0FBRyxHQUFHLENBQUM7UUFDakIsQ0FBQztJQUNILENBQUM7SUFFRCxLQUFLLENBQUMsV0FBVyxDQUNmLFNBQXNELEVBQ3RELE9BQWlDO1FBRWpDLE1BQU0sSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1FBRXpCLE1BQU0sUUFBUSxHQUFpQixFQUFFLENBQUM7UUFDbEMsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLFNBQVMsQ0FBQyxLQUFLLENBQUMsTUFBTSxFQUFFLENBQUMsSUFBSSxFQUFFLEVBQUUsQ0FBQztZQUNwRCxRQUFRLENBQUMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLENBQUMsRUFBRSxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUMsQ0FBQztRQUNsRCxDQUFDO1FBQ0QsTUFBTSxFQUFFLFFBQVEsRUFBRSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxhQUFhLENBQUM7WUFDaEQsZUFBZSxFQUFFLFNBQVMsQ0FBQyxlQUFlO1lBQzFDLFlBQVksRUFBRSxTQUFTLENBQUMsWUFBWSxDQUFDLEdBQUcsQ0FBQyxlQUFlLENBQUM7WUFDekQsS0FBSyxFQUFFLFFBQVE7WUFDZixRQUFRLEVBQUUsMkJBQTJCLENBQUMsT0FBTyxDQUFDO1NBQy9DLENBQUMsQ0FBQztRQUNILE9BQU8sUUFBUSxDQUFDO0lBQ2xCLENBQUM7SUFDRCxPQUFPO1FBQ0wsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQztZQUNkLE9BQU8sT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDO1FBQzNCLENBQUM7UUFDRCxPQUFPLElBQUksQ0FBQyxHQUFHLENBQUMsT0FBTyxFQUFFLENBQUM7SUFDNUIsQ0FBQztDQUNGO0FBRUQsTUFBTSxPQUFPLGdCQUFnQjtJQVMzQixZQUNFLFlBQW9CLEVBQ1YsaUJBQWlDLEVBQUUsT0FBTyxFQUFFLENBQUMsRUFBRSxFQUMvQyxpQkFBaUMsRUFBRSxTQUFTLEVBQUUsS0FBSyxFQUFFO1FBRHJELG1CQUFjLEdBQWQsY0FBYyxDQUFpQztRQUMvQyxtQkFBYyxHQUFkLGNBQWMsQ0FBdUM7UUFFL0QsSUFBSSxDQUFDLHdCQUF3QixHQUFHLGdCQUFnQixDQUFDLFlBQVksQ0FBQyxDQUFDO0lBQ2pFLENBQUM7SUFDRCxjQUFjO0lBQ04sS0FBSyxDQUFDLFdBQVc7UUFDdkIsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQztZQUNkLE1BQU0sR0FBRyxHQUFHLE1BQU0sWUFBWSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsY0FBYyxDQUFDLENBQUM7WUFDeEQsTUFBTSxhQUFhLEdBQUcsSUFBSSxDQUFDO1lBQzNCLE1BQU0sR0FBRyxDQUFDLFdBQVcsQ0FBQyxJQUFJLENBQUMsd0JBQXdCLEVBQUUsSUFBSSxDQUFDLGNBQWMsQ0FBQyxTQUFTLEVBQUUsYUFBYSxDQUFDLENBQUM7WUFFbkcsSUFBSSxDQUFDLEdBQUcsR0FBRyxHQUFHLENBQUM7UUFDakIsQ0FBQztJQUNILENBQUM7SUFFRCxLQUFLLENBQUMsYUFBYSxDQUFDLGlCQUE2QixFQUFFLE9BQWlDO1FBQ2xGLE1BQU0sSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1FBRXpCLE1BQU0sT0FBTyxHQUFHLE1BQU0sQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDO1FBQzFDLE1BQU0sRUFBRSxLQUFLLEVBQUUsWUFBWSxFQUFFLEdBQUcsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLFlBQVksQ0FBQztZQUMxRCxPQUFPO1lBQ1AsT0FBTyxFQUFFO2dCQUNQLElBQUksRUFBRSxTQUFTO2dCQUNmLFFBQVEsRUFBRSxNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyx3QkFBd0IsQ0FBQztnQkFDcEQsZUFBZSxFQUFFLE1BQU0sQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLEVBQUUsZ0NBQWdDO2FBQ25FO1lBQ0QsUUFBUSxFQUFFLDJCQUEyQixDQUFDLE9BQU8sQ0FBQztTQUMvQyxDQUFDLENBQUM7UUFDSCxPQUFPLENBQUMsR0FBRyxDQUFDLG9DQUFvQyxZQUFZLENBQUMsTUFBTSxzQkFBc0IsS0FBSyxDQUFDLE1BQU0sVUFBVSxDQUFDLENBQUM7UUFFakgscUdBQXFHO1FBQ3JHLE1BQU0sU0FBUyxHQUFHLElBQUksVUFBVSxDQUFDLEtBQUssQ0FBQyxNQUFNLEdBQUcsRUFBRSxDQUFDLENBQUM7UUFDcEQsS0FBSyxDQUFDLE9BQU8sQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsRUFBRTtZQUN0QixTQUFTLENBQUMsR0FBRyxDQUFDLEVBQUUsRUFBRSxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUM7UUFDNUIsQ0FBQyxDQUFDLENBQUM7UUFFSCxPQUFPLEVBQUUsS0FBSyxFQUFFLFNBQVMsRUFBRSxZQUFZLEVBQUUsWUFBWSxDQUFDLEdBQUcsQ0FBQyxlQUFlLENBQUMsRUFBRSxDQUFDO0lBQy9FLENBQUM7SUFFRCxLQUFLLENBQUMsV0FBVyxDQUFDLFNBQW9CLEVBQUUsT0FBaUM7UUFDdkUsTUFBTSxJQUFJLENBQUMsV0FBVyxFQUFFLENBQUM7UUFFekIsTUFBTSxRQUFRLEdBQWlCLEVBQUUsQ0FBQztRQUNsQyxLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsU0FBUyxDQUFDLEtBQUssQ0FBQyxNQUFNLEVBQUUsQ0FBQyxJQUFJLEVBQUUsRUFBRSxDQUFDO1lBQ3BELFFBQVEsQ0FBQyxJQUFJLENBQUMsU0FBUyxDQUFDLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQyxFQUFFLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FBQyxDQUFDO1FBQ2xELENBQUM7UUFDRCxzRUFBc0U7UUFDdEUsTUFBTSxRQUFRLEdBQUcsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLGdCQUFnQixDQUFDO1lBQy9DLE9BQU8sRUFBRTtnQkFDUCxJQUFJLEVBQUUsU0FBUztnQkFDZixRQUFRLEVBQUUsSUFBSSxDQUFDLHdCQUF3QjthQUN4QztZQUNELFFBQVEsRUFBRSwyQkFBMkIsQ0FBQyxPQUFPLENBQUM7U0FDL0MsQ0FBQyxDQUFDO1FBQ0gsTUFBTSxFQUFFLFFBQVEsRUFBRSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxhQUFhLENBQUM7WUFDaEQsZUFBZSxFQUFFLFFBQVEsQ0FBQyxLQUFLO1lBQy9CLFlBQVksRUFBRSxTQUFTLENBQUMsWUFBWSxDQUFDLEdBQUcsQ0FBQyxlQUFlLENBQUM7WUFDekQsS0FBSyxFQUFFLFFBQVE7WUFDZixRQUFRLEVBQUUsMkJBQTJCLENBQUMsT0FBTyxDQUFDO1NBQy9DLENBQUMsQ0FBQztRQUNILE9BQU8sUUFBUSxDQUFDO0lBQ2xCLENBQUM7SUFFRCxLQUFLLENBQUMsa0JBQWtCLENBQUMsT0FBaUM7UUFDeEQsTUFBTSxJQUFJLENBQUMsV0FBVyxFQUFFLENBQUM7UUFFekIsTUFBTSxRQUFRLEdBQUcsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLGdCQUFnQixDQUFDO1lBQy9DLE9BQU8sRUFBRTtnQkFDUCxJQUFJLEVBQUUsU0FBUztnQkFDZixRQUFRLEVBQUUsTUFBTSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsd0JBQXdCLENBQUM7YUFDckQ7WUFDRCxRQUFRLEVBQUUsMkJBQTJCLENBQUMsT0FBTyxDQUFDO1NBQy9DLENBQUMsQ0FBQztRQUNILE9BQU8sUUFBUSxDQUFDLEtBQUssQ0FBQztJQUN4QixDQUFDO0lBRUQsK0NBQStDO0lBQy9DLEtBQUssQ0FBQyxtQkFBbUIsQ0FBQyxFQUFjLEVBQUUsT0FBaUM7UUFDekUsTUFBTSxJQUFJLENBQUMsV0FBVyxFQUFFLENBQUM7UUFDekIsTUFBTSxNQUFNLEdBQUcsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLDRCQUE0QixDQUFDO1lBQ3pELGVBQWUsRUFBRSxFQUFFO1lBQ25CLFFBQVEsRUFBRSwyQkFBMkIsQ0FBQyxPQUFPLENBQUM7U0FDL0MsQ0FBQyxDQUFDO1FBQ0gsT0FBTyxNQUFNLENBQUMsWUFBWSxDQUFDO0lBQzdCLENBQUM7SUFFRCw4SkFBOEo7SUFDOUosS0FBSyxDQUFDLCtCQUErQjtJQUNuQyw2REFBNkQ7SUFDN0QsTUFBa0I7SUFDbEIsNkRBQTZEO0lBQzdELGtCQUEwQjtRQUUxQixNQUFNLElBQUksQ0FBQyxXQUFXLEVBQUUsQ0FBQztRQUN6QixpSEFBaUg7UUFDakgsb0dBQW9HO1FBQ3BHLCtCQUErQjtRQUMvQix3R0FBd0c7UUFDeEcseUJBQXlCO1FBQ3pCLDZEQUE2RDtRQUM3RCxxR0FBcUc7UUFFckcsMkVBQTJFO1FBQzNFLDBCQUEwQjtRQUMxQixNQUFNLFFBQVEsR0FBRyxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsZ0JBQWdCLENBQUM7WUFDL0MsT0FBTyxFQUFFO2dCQUNQLElBQUksRUFBRSxTQUFTO2dCQUNmLFFBQVEsRUFBRSxNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyx3QkFBd0IsQ0FBQzthQUNyRDtZQUNELFFBQVEsRUFBRSwyQkFBMkIsQ0FBQyxFQUFFLENBQUM7U0FDMUMsQ0FBQyxDQUFDO1FBRUgsc0RBQXNEO1FBQ3RELE1BQU0sVUFBVSxHQUFhLEVBQUUsQ0FBQztRQUNoQyxLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsUUFBUSxDQUFDLEtBQUssQ0FBQyxNQUFNLEVBQUUsQ0FBQyxJQUFJLEVBQUUsRUFBRSxDQUFDO1lBQ25ELE1BQU0sS0FBSyxHQUFHLFFBQVEsQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLENBQUMsRUFBRSxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUM7WUFDOUMsVUFBVSxDQUFDLElBQUksQ0FBQyxlQUFlLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQztRQUMxQyxDQUFDO1FBRUQsT0FBTztZQUNMLHNEQUFzRDtZQUN0RCxhQUFhLEVBQUUsRUFBRTtZQUNqQixVQUFVO1lBQ1YsbUdBQW1HO1lBQ25HLHNHQUFzRztZQUN0RyxjQUFjO1lBQ2QsTUFBTSxFQUFFLGVBQWUsQ0FBQyxRQUFRLENBQUMsSUFBSSxDQUFDO1NBQ3ZDLENBQUM7SUFDSixDQUFDO0lBRUQsS0FBSyxDQUFDLE9BQU87UUFDWCxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsRUFBRSxDQUFDO1lBQ2QsT0FBTztRQUNULENBQUM7UUFDRCxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsT0FBTyxFQUFFLENBQUM7SUFDM0IsQ0FBQztDQUNGO0FBRUQsTUFBTSxPQUFPLGtCQUFrQjtJQVE3QixZQUNZLE9BQXFCLEVBQ3JCLFVBQTBCLEVBQUUsT0FBTyxFQUFFLENBQUMsRUFBRTtRQUR4QyxZQUFPLEdBQVAsT0FBTyxDQUFjO1FBQ3JCLFlBQU8sR0FBUCxPQUFPLENBQWlDO0lBQ2pELENBQUM7SUFFSixjQUFjO0lBQ04sS0FBSyxDQUFDLFdBQVc7UUFDdkIsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQztZQUNkLE1BQU0sR0FBRyxHQUFHLE1BQU0sWUFBWSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsT0FBTyxDQUFDLENBQUM7WUFDakQsTUFBTSxHQUFHLENBQUMsWUFBWSxFQUFFLENBQUM7WUFDekIsSUFBSSxDQUFDLEdBQUcsR0FBRyxHQUFHLENBQUM7UUFDakIsQ0FBQztJQUNILENBQUM7SUFFRCxLQUFLLENBQUMsS0FBSyxDQUFDLFVBQXdCLEVBQUUsU0FBdUIsRUFBRTtRQUM3RCxJQUFJLE1BQU0sQ0FBQyxNQUFNLEtBQUssQ0FBQyxJQUFJLElBQUksQ0FBQyxPQUFPLENBQUMsTUFBTSxLQUFLLFVBQVUsQ0FBQyxNQUFNLEVBQUUsQ0FBQztZQUNyRSxNQUFNLElBQUksdUJBQXVCLENBQUMsdURBQXVELENBQUMsQ0FBQztRQUM3RixDQUFDO1FBQ0QsSUFBSSxNQUFNLENBQUMsTUFBTSxLQUFLLENBQUMsSUFBSSxNQUFNLENBQUMsTUFBTSxLQUFLLFVBQVUsQ0FBQyxNQUFNLEVBQUUsQ0FBQztZQUMvRCxpRkFBaUY7WUFDakYsTUFBTSxJQUFJLHVCQUF1QixDQUFDLGlEQUFpRCxDQUFDLENBQUM7UUFDdkYsQ0FBQztRQUNELE1BQU0sSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1FBRXpCLDhDQUE4QztRQUM5QyxJQUFJLENBQUMsR0FBRyxDQUFDLFVBQVUsQ0FBQyxFQUFFLFdBQVcsRUFBRSxJQUFJLENBQUMsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUM7UUFFMUQsNkNBQTZDO1FBQzdDLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDO1lBQzdDLE1BQU0sUUFBUSxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFDakMsTUFBTSxPQUFPLEdBQUcsVUFBVSxDQUFDLENBQUMsQ0FBQyxJQUFJLE1BQU0sQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLENBQUM7WUFDakQsTUFBTSxFQUFFLEdBQUcsTUFBTSxDQUFDLENBQUMsQ0FBQyxJQUFJLE1BQU0sQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLENBQUM7WUFDeEMsTUFBTSxZQUFZLEdBQUcsZ0JBQWdCLENBQUMsRUFBRSxDQUFDO1lBRXpDLG1CQUFtQjtZQUNuQixJQUFJLENBQUMsR0FBRyxDQUFDLFNBQVMsQ0FBQztnQkFDakIsT0FBTyxFQUFFO29CQUNQLElBQUksRUFBRSxZQUFZO29CQUNsQixRQUFRLEVBQUUsTUFBTSxDQUFDLElBQUksQ0FBQyxRQUFRLENBQUM7b0JBQy9CLGVBQWUsRUFBRSxNQUFNLENBQUMsSUFBSSxDQUFDLEVBQUUsQ0FBQztpQkFDakM7YUFDRixDQUFDLENBQUM7WUFFSCwwQkFBMEI7WUFDMUIsSUFBSSxDQUFDLEdBQUcsQ0FBQyxlQUFlLENBQUM7Z0JBQ3ZCLE9BQU8sRUFBRSxNQUFNLENBQUMsSUFBSSxDQUFDLE9BQU8sQ0FBQzthQUM5QixDQUFDLENBQUM7UUFDTCxDQUFDO1FBRUQsaUVBQWlFO1FBQ2pFLE1BQU0sV0FBVyxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxVQUFVLENBQUMsRUFBRSxDQUFDLENBQUM7UUFDbEQsbURBQW1EO1FBQ25ELE1BQU0sS0FBSyxHQUFHLElBQUksT0FBTyxDQUFDLEVBQUUsVUFBVSxFQUFFLEtBQUssRUFBRSxDQUFDLENBQUMsTUFBTSxDQUFDLGNBQWMsQ0FBQyxXQUFXLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQztRQUMzRixrQkFBa0I7UUFDbEIsTUFBTSxRQUFRLEdBQUcsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLGlCQUFpQixDQUFDO1lBQ2hELE9BQU8sRUFBRTtnQkFDUCxJQUFJLEVBQUUsUUFBUTtnQkFDZCxRQUFRLEVBQUUsSUFBSSxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsT0FBTyxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUM7YUFDaEQ7U0FDRixDQUFDLENBQUM7UUFFSCxNQUFNLFdBQVcsR0FBRztZQUNsQixXQUFXLENBQUMsS0FBSyxDQUFDLFNBQVM7WUFDM0IsV0FBVyxDQUFDLEtBQUssQ0FBQyxXQUFXLENBQUMsVUFBVTtZQUN4QyxXQUFXLENBQUMsS0FBSyxDQUFDLFdBQVcsQ0FBQyxVQUFVLENBQUMsV0FBVztZQUNwRCxXQUFXLENBQUMsS0FBSyxDQUFDLFdBQVcsQ0FBQyxVQUFVLENBQUMsUUFBUTtZQUNqRCxXQUFXLENBQUMsS0FBSyxDQUFDLFdBQVcsQ0FBQyxlQUFlO1NBQzlDLENBQUMsSUFBSSxFQUFFLENBQUM7UUFFVCxrRkFBa0Y7UUFDbEYsSUFBSSxDQUFDLENBQUMsTUFBTSxJQUFJLENBQUMsTUFBTSxDQUFDLEtBQUssRUFBRSxRQUFRLENBQUMsS0FBSyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQ2hELE1BQU0sSUFBSSx1QkFBdUIsQ0FBQyx5REFBeUQsQ0FBQyxDQUFDO1FBQy9GLENBQUM7UUFDRCxPQUFPLENBQUMsV0FBVyxFQUFFLEtBQUssRUFBRSxRQUFRLENBQUMsS0FBSyxDQUFDLENBQUM7SUFDOUMsQ0FBQztJQUVELEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBaUIsRUFBRSxFQUFjO1FBQzVDLE1BQU0sSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1FBQ3pCLE1BQU0sTUFBTSxHQUFHLE1BQU0sSUFBSSxDQUFDLEdBQUcsQ0FBQyxXQUFXLENBQUM7WUFDeEMsS0FBSyxFQUFFLFlBQVksQ0FBQyxJQUFJLE9BQU8sQ0FBQyxFQUFFLFVBQVUsRUFBRSxLQUFLLEVBQUUsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQztZQUNyRSxFQUFFLEVBQUUsTUFBTSxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUM7U0FDcEIsQ0FBQyxDQUFDO1FBQ0gsT0FBTyxNQUFNLENBQUMsS0FBSyxDQUFDO0lBQ3RCLENBQUM7SUFFRCxLQUFLLENBQUMsS0FBSztRQUNULE1BQU0sSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1FBQ3pCLE1BQU0sWUFBWSxHQUFhLEVBQUUsQ0FBQztRQUNsQyxLQUFLLE1BQU0sR0FBRyxJQUFJLElBQUksQ0FBQyxPQUFPLEVBQUUsQ0FBQztZQUMvQixNQUFNLEtBQUssR0FBRyxNQUFNLElBQUksQ0FBQyxHQUFHLENBQUMsVUFBVSxDQUFDO2dCQUN0QyxPQUFPLEVBQUU7b0JBQ1AsSUFBSSxFQUFFLFNBQVM7b0JBQ2YsUUFBUSxFQUFFLEdBQUc7aUJBQ2Q7Z0JBQ0QscUJBQXFCLEVBQUUsS0FBSzthQUM3QixDQUFDLENBQUM7WUFDSCxZQUFZLENBQUMsSUFBSSxDQUFDLEtBQUssQ0FBQyxXQUFXLENBQUMsQ0FBQztRQUN2QyxDQUFDO1FBQ0QsT0FBTyxZQUFZLENBQUM7SUFDdEIsQ0FBQztJQUVELEtBQUssQ0FBQyxPQUFPO1FBQ1gsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQztZQUNkLE9BQU87UUFDVCxDQUFDO1FBQ0QsTUFBTSxJQUFJLENBQUMsR0FBRyxDQUFDLE9BQU8sRUFBRSxDQUFDO0lBQzNCLENBQUM7Q0FDRjtBQUVELHlEQUF5RDtBQUN6RCxTQUFTLGdCQUFnQixDQUFDLHFCQUE2QjtJQUNyRCxNQUFNLGtCQUFrQixHQUFHLFlBQVksQ0FBQyxxQkFBcUIsQ0FBQyxDQUFDO0lBQy9ELE9BQU8sTUFBTSxDQUFDLGtCQUFrQixDQUFDLENBQUM7QUFDcEMsQ0FBQztBQUVELG1FQUFtRTtBQUNuRSxzRUFBc0U7QUFDdEUsU0FBUyxZQUFZLENBQUMsS0FBYTtJQUNqQyxJQUFJLE9BQU8sTUFBTSxLQUFLLFdBQVcsRUFBRSxDQUFDO1FBQ2xDLHNCQUFzQjtRQUN0QixNQUFNLENBQUMsR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLEtBQUssRUFBRSxRQUFRLENBQUMsQ0FBQztRQUN2QyxPQUFPLElBQUksVUFBVSxDQUFDLENBQUMsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLFVBQVUsRUFBRSxDQUFDLENBQUMsVUFBVSxDQUFDLENBQUM7SUFDOUQsQ0FBQztTQUFNLElBQUksT0FBTyxJQUFJLEtBQUssVUFBVSxFQUFFLENBQUM7UUFDdEMsc0JBQXNCO1FBQ3RCLE9BQU8sVUFBVSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDNUQsQ0FBQztTQUFNLENBQUM7UUFDTixNQUFNLElBQUksS0FBSyxDQUFDLDhDQUE4QyxDQUFDLENBQUM7SUFDbEUsQ0FBQztBQUNILENBQUMifQ==