@aztec/bb-prover 0.0.0-test.0

package/dest/avm_proving_tests/avm_proving_tester.d.ts

@@ -0,0 +1,25 @@
+import { PublicTxSimulationTester, type TestEnqueuedCall } from '@aztec/simulator/public/fixtures';
+import { SimpleContractDataSource, WorldStateDB } from '@aztec/simulator/server';
+import type { AvmCircuitInputs } from '@aztec/stdlib/avm';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
+import { type BBResult, type BBSuccess } from '../bb/execute.js';
+export declare class AvmProvingTester extends PublicTxSimulationTester {
+    private bbWorkingDirectory;
+    private checkCircuitOnly;
+    constructor(bbWorkingDirectory: string, checkCircuitOnly: boolean, worldStateDB: WorldStateDB, contractDataSource: SimpleContractDataSource, merkleTrees: MerkleTreeWriteOperations);
+    static create(checkCircuitOnly?: boolean): Promise<AvmProvingTester>;
+    prove(avmCircuitInputs: AvmCircuitInputs): Promise<BBResult>;
+    verify(proofRes: BBSuccess): Promise<BBResult>;
+    simProveVerify(sender: AztecAddress, setupCalls: TestEnqueuedCall[], appCalls: TestEnqueuedCall[], teardownCall: TestEnqueuedCall | undefined, expectRevert: boolean | undefined, feePayer?: AztecAddress): Promise<void>;
+    simProveVerifyAppLogic(appCall: TestEnqueuedCall, expectRevert?: boolean): Promise<void>;
+}
+export declare class AvmProvingTesterV2 extends PublicTxSimulationTester {
+    private bbWorkingDirectory;
+    constructor(bbWorkingDirectory: string, worldStateDB: WorldStateDB, contractDataSource: SimpleContractDataSource, merkleTrees: MerkleTreeWriteOperations);
+    static create(): Promise<AvmProvingTesterV2>;
+    proveV2(avmCircuitInputs: AvmCircuitInputs): Promise<BBResult>;
+    verifyV2(proofRes: BBSuccess): Promise<BBResult>;
+    simProveVerifyV2(sender: AztecAddress, setupCalls: TestEnqueuedCall[], appCalls: TestEnqueuedCall[], teardownCall: TestEnqueuedCall | undefined, expectRevert: boolean | undefined, feePayer?: AztecAddress): Promise<void>;
+}
+//# sourceMappingURL=avm_proving_tester.d.ts.map

package/dest/avm_proving_tests/avm_proving_tester.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"avm_proving_tester.d.ts","sourceRoot":"","sources":["../../src/avm_proving_tests/avm_proving_tester.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,KAAK,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACnG,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AASjF,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,SAAS,EAMf,MAAM,kBAAkB,CAAC;AAK1B,qBAAa,gBAAiB,SAAQ,wBAAwB;IAE1D,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,gBAAgB;gBADhB,kBAAkB,EAAE,MAAM,EAC1B,gBAAgB,EAAE,OAAO,EACjC,YAAY,EAAE,YAAY,EAC1B,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB;WAKlB,MAAM,CAAC,gBAAgB,GAAE,OAAe;IASxD,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAe5D,MAAM,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC;IAgBvC,cAAc,CACzB,MAAM,EAAE,YAAY,EACpB,UAAU,EAAE,gBAAgB,EAAE,EAC9B,QAAQ,EAAE,gBAAgB,EAAE,EAC5B,YAAY,EAAE,gBAAgB,GAAG,SAAS,EAC1C,YAAY,EAAE,OAAO,GAAG,SAAS,EACjC,QAAQ,eAAS;IAWN,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,EAAE,YAAY,CAAC,EAAE,OAAO;CAWtF;AAED,qBAAa,kBAAmB,SAAQ,wBAAwB;IAE5D,OAAO,CAAC,kBAAkB;gBAAlB,kBAAkB,EAAE,MAAM,EAClC,YAAY,EAAE,YAAY,EAC1B,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB;WAKlB,MAAM;IAStB,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAU9D,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC;IAezC,gBAAgB,CAC3B,MAAM,EAAE,YAAY,EACpB,UAAU,EAAE,gBAAgB,EAAE,EAC9B,QAAQ,EAAE,gBAAgB,EAAE,EAC5B,YAAY,EAAE,gBAAgB,GAAG,SAAS,EAC1C,YAAY,EAAE,OAAO,GAAG,SAAS,EACjC,QAAQ,eAAS;CAYpB"}

package/dest/avm_proving_tests/avm_proving_tester.js

@@ -0,0 +1,105 @@
+import { PublicTxSimulationTester } from '@aztec/simulator/public/fixtures';
+import { SimpleContractDataSource, WorldStateDB } from '@aztec/simulator/server';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { makeAvmCircuitInputs } from '@aztec/stdlib/testing';
+import { VerificationKeyData } from '@aztec/stdlib/vks';
+import { NativeWorldStateService } from '@aztec/world-state';
+import fs from 'node:fs/promises';
+import { tmpdir } from 'node:os';
+import path from 'path';
+import { BB_RESULT, generateAvmProof, generateAvmProofV2, verifyAvmProof, verifyAvmProofV2 } from '../bb/execute.js';
+import { extractAvmVkData } from '../verification_key/verification_key_data.js';
+const BB_PATH = path.resolve('../../barretenberg/cpp/build/bin/bb');
+export class AvmProvingTester extends PublicTxSimulationTester {
+    bbWorkingDirectory;
+    checkCircuitOnly;
+    constructor(bbWorkingDirectory, checkCircuitOnly, worldStateDB, contractDataSource, merkleTrees){
+        super(worldStateDB, contractDataSource, merkleTrees), this.bbWorkingDirectory = bbWorkingDirectory, this.checkCircuitOnly = checkCircuitOnly;
+    }
+    static async create(checkCircuitOnly = false) {
+        const bbWorkingDirectory = await fs.mkdtemp(path.join(tmpdir(), 'bb-'));
+        const contractDataSource = new SimpleContractDataSource();
+        const merkleTrees = await (await NativeWorldStateService.tmp()).fork();
+        const worldStateDB = new WorldStateDB(merkleTrees, contractDataSource);
+        return new AvmProvingTester(bbWorkingDirectory, checkCircuitOnly, worldStateDB, contractDataSource, merkleTrees);
+    }
+    async prove(avmCircuitInputs) {
+        // Then we prove.
+        const proofRes = await generateAvmProof(BB_PATH, this.bbWorkingDirectory, avmCircuitInputs, this.logger, this.checkCircuitOnly);
+        if (proofRes.status === BB_RESULT.FAILURE) {
+            this.logger.error(`Proof generation failed: ${proofRes.reason}`);
+        }
+        return proofRes;
+    }
+    async verify(proofRes) {
+        if (this.checkCircuitOnly) {
+            // Skip verification if we're only checking the circuit.
+            // Check-circuit doesn't generate a proof to verify.
+            return proofRes;
+        }
+        // Then we test VK extraction and serialization.
+        const succeededRes = proofRes;
+        const vkData = await extractAvmVkData(succeededRes.vkPath);
+        VerificationKeyData.fromBuffer(vkData.toBuffer());
+        // Then we verify.
+        const rawVkPath = path.join(succeededRes.vkPath, 'vk');
+        return await verifyAvmProof(BB_PATH, succeededRes.proofPath, rawVkPath, this.logger);
+    }
+    async simProveVerify(sender, setupCalls, appCalls, teardownCall, expectRevert, feePayer = sender) {
+        const simRes = await this.simulateTx(sender, setupCalls, appCalls, teardownCall, feePayer);
+        expect(simRes.revertCode.isOK()).toBe(expectRevert ? false : true);
+        const avmCircuitInputs = simRes.avmProvingRequest.inputs;
+        const provingRes = await this.prove(avmCircuitInputs);
+        expect(provingRes.status).toEqual(BB_RESULT.SUCCESS);
+        const verificationRes = await this.verify(provingRes);
+        expect(verificationRes.status).toBe(BB_RESULT.SUCCESS);
+    }
+    async simProveVerifyAppLogic(appCall, expectRevert) {
+        const simRes = await this.simulateTx(/*sender=*/ AztecAddress.fromNumber(42), /*setupCalls=*/ [], [
+            appCall
+        ]);
+        expect(simRes.revertCode.isOK()).toBe(expectRevert ? false : true);
+        const avmCircuitInputs = simRes.avmProvingRequest.inputs;
+        const provingRes = await this.prove(avmCircuitInputs);
+        expect(provingRes.status).toEqual(BB_RESULT.SUCCESS);
+        const verificationRes = await this.verify(provingRes);
+        expect(verificationRes.status).toBe(BB_RESULT.SUCCESS);
+    }
+}
+export class AvmProvingTesterV2 extends PublicTxSimulationTester {
+    bbWorkingDirectory;
+    constructor(bbWorkingDirectory, worldStateDB, contractDataSource, merkleTrees){
+        super(worldStateDB, contractDataSource, merkleTrees), this.bbWorkingDirectory = bbWorkingDirectory;
+    }
+    static async create() {
+        const bbWorkingDirectory = await fs.mkdtemp(path.join(tmpdir(), 'bb-'));
+        const contractDataSource = new SimpleContractDataSource();
+        const merkleTrees = await (await NativeWorldStateService.tmp()).fork();
+        const worldStateDB = new WorldStateDB(merkleTrees, contractDataSource);
+        return new AvmProvingTesterV2(bbWorkingDirectory, worldStateDB, contractDataSource, merkleTrees);
+    }
+    async proveV2(avmCircuitInputs) {
+        // Then we prove.
+        const proofRes = await generateAvmProofV2(BB_PATH, this.bbWorkingDirectory, avmCircuitInputs, this.logger);
+        if (proofRes.status === BB_RESULT.FAILURE) {
+            this.logger.error(`Proof generation failed: ${proofRes.reason}`);
+        }
+        expect(proofRes.status).toEqual(BB_RESULT.SUCCESS);
+        return proofRes;
+    }
+    async verifyV2(proofRes) {
+        // TODO: Placeholder for now. They get ignored in C++.
+        const inputs = await makeAvmCircuitInputs();
+        const rawVkPath = path.join(proofRes.vkPath, 'vk');
+        return await verifyAvmProofV2(BB_PATH, this.bbWorkingDirectory, proofRes.proofPath, inputs.publicInputs, rawVkPath, this.logger);
+    }
+    async simProveVerifyV2(sender, setupCalls, appCalls, teardownCall, expectRevert, feePayer = sender) {
+        const simRes = await this.simulateTx(sender, setupCalls, appCalls, teardownCall, feePayer);
+        expect(simRes.revertCode.isOK()).toBe(expectRevert ? false : true);
+        const avmCircuitInputs = simRes.avmProvingRequest.inputs;
+        const provingRes = await this.proveV2(avmCircuitInputs);
+        expect(provingRes.status).toEqual(BB_RESULT.SUCCESS);
+        const verificationRes = await this.verifyV2(provingRes);
+        expect(verificationRes.status).toBe(BB_RESULT.SUCCESS);
+    }
+}

package/dest/bb/cli.d.ts

@@ -0,0 +1,12 @@
+import type { LogFn } from '@aztec/foundation/log';
+import type { ProtocolArtifact } from '@aztec/noir-protocol-circuits-types/types';
+import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
+import { Command } from 'commander';
+export declare const ProtocolCircuitArtifacts: Record<ProtocolArtifact, NoirCompiledCircuit>;
+/**
+ * Returns commander program that defines the CLI.
+ * @param log - Console logger.
+ * @returns The CLI.
+ */
+export declare function getProgram(log: LogFn): Command;
+//# sourceMappingURL=cli.d.ts.map

package/dest/bb/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/bb/cli.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAGnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAC;AAClF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,gBAAgB,EAAE,mBAAmB,CAGlF,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO,CAa9C"}

package/dest/bb/cli.js

@@ -0,0 +1,19 @@
+import { ClientCircuitArtifacts } from '@aztec/noir-protocol-circuits-types/client/bundle';
+import { ServerCircuitArtifacts } from '@aztec/noir-protocol-circuits-types/server';
+import { Command } from 'commander';
+export const ProtocolCircuitArtifacts = {
+    ...ClientCircuitArtifacts,
+    ...ServerCircuitArtifacts
+};
+/**
+ * Returns commander program that defines the CLI.
+ * @param log - Console logger.
+ * @returns The CLI.
+ */ export function getProgram(log) {
+    const program = new Command('bb-cli');
+    program.description('CLI for interacting with Barretenberg.');
+    program.command('protocol-circuits').description('Lists the available protocol circuit artifacts').action(()=>{
+        log(Object.keys(ProtocolCircuitArtifacts).reduce((prev, x)=>prev.concat(`\n${x}`)));
+    });
+    return program;
+}

package/dest/bb/execute.d.ts

@@ -0,0 +1,140 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import type { LogFn, Logger } from '@aztec/foundation/log';
+import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
+import type { UltraHonkFlavor } from '../honk.js';
+export declare const VK_FILENAME = "vk";
+export declare const VK_FIELDS_FILENAME = "vk_fields.json";
+export declare const PROOF_FILENAME = "proof";
+export declare const PROOF_FIELDS_FILENAME = "proof_fields.json";
+export declare const AVM_INPUTS_FILENAME = "avm_inputs.bin";
+export declare const AVM_BYTECODE_FILENAME = "avm_bytecode.bin";
+export declare const AVM_PUBLIC_INPUTS_FILENAME = "avm_public_inputs.bin";
+export declare const AVM_HINTS_FILENAME = "avm_hints.bin";
+export declare enum BB_RESULT {
+    SUCCESS = 0,
+    FAILURE = 1,
+    ALREADY_PRESENT = 2
+}
+export type BBSuccess = {
+    status: BB_RESULT.SUCCESS | BB_RESULT.ALREADY_PRESENT;
+    durationMs: number;
+    /** Full path of the public key. */
+    pkPath?: string;
+    /** Base directory for the VKs (raw, fields). */
+    vkPath?: string;
+    /** Full path of the proof. */
+    proofPath?: string;
+    /** Full path of the contract. */
+    contractPath?: string;
+    /** The number of gates in the circuit. */
+    circuitSize?: number;
+};
+export type BBFailure = {
+    status: BB_RESULT.FAILURE;
+    reason: string;
+    retry?: boolean;
+};
+export type BBResult = BBSuccess | BBFailure;
+export type VerificationFunction = typeof verifyProof | typeof verifyAvmProof;
+type BBExecResult = {
+    status: BB_RESULT;
+    exitCode: number;
+    signal: string | undefined;
+};
+/**
+ * Invokes the Barretenberg binary with the provided command and args
+ * @param pathToBB - The path to the BB binary
+ * @param command - The command to execute
+ * @param args - The arguments to pass
+ * @param logger - A log function
+ * @param resultParser - An optional handler for detecting success or failure
+ * @returns The completed partial witness outputted from the circuit
+ */
+export declare function executeBB(pathToBB: string, command: string, args: string[], logger: LogFn, resultParser?: (code: number) => boolean): Promise<BBExecResult>;
+export declare function executeBbClientIvcProof(pathToBB: string, workingDirectory: string, bytecodeStackPath: string, witnessStackPath: string, log: LogFn): Promise<BBFailure | BBSuccess>;
+/**
+ * Used for generating proofs of noir circuits.
+ * It is assumed that the working directory is a temporary and/or random directory used solely for generating this proof.
+ * @param pathToBB - The full path to the bb binary
+ * @param workingDirectory - A working directory for use by bb
+ * @param circuitName - An identifier for the circuit
+ * @param bytecode - The compiled circuit bytecode
+ * @param inputWitnessFile - The circuit input witness
+ * @param log - A logging function
+ * @returns An object containing a result indication, the location of the proof and the duration taken
+ */
+export declare function generateProof(pathToBB: string, workingDirectory: string, circuitName: string, bytecode: Buffer, recursive: boolean, inputWitnessFile: string, flavor: UltraHonkFlavor, log: LogFn): Promise<BBFailure | BBSuccess>;
+/**
+ * Used for generating proofs of the tube circuit
+ * It is assumed that the working directory is a temporary and/or random directory used solely for generating this proof.
+ * @param pathToBB - The full path to the bb binary
+ * @param workingDirectory - A working directory for use by bb
+ * @param circuitName - An identifier for the circuit
+ * @param bytecode - The compiled circuit bytecode
+ * @param inputWitnessFile - The circuit input witness
+ * @param log - A logging function
+ * @returns An object containing a result indication, the location of the proof and the duration taken
+ */
+export declare function generateTubeProof(pathToBB: string, workingDirectory: string, log: LogFn): Promise<BBFailure | BBSuccess>;
+/**
+ * Used for generating AVM proofs.
+ * It is assumed that the working directory is a temporary and/or random directory used solely for generating this proof.
+ * @param pathToBB - The full path to the bb binary
+ * @param workingDirectory - A working directory for use by bb
+ * @param input - The inputs for the public function to be proven
+ * @param log - A logging function
+ * @returns An object containing a result indication, the location of the proof and the duration taken
+ */
+export declare function generateAvmProofV2(pathToBB: string, workingDirectory: string, input: AvmCircuitInputs, logger: Logger): Promise<BBFailure | BBSuccess>;
+/**
+ * Used for generating AVM proofs (or doing check-circuit).
+ * It is assumed that the working directory is a temporary and/or random directory used solely for generating this proof.
+ * @param pathToBB - The full path to the bb binary
+ * @param workingDirectory - A working directory for use by bb
+ * @param bytecode - The AVM bytecode for the public function to be proven (expected to be decompressed)
+ * @param log - A logging function
+ * @returns An object containing a result indication, the location of the proof and the duration taken
+ */
+export declare function generateAvmProof(pathToBB: string, workingDirectory: string, _input: AvmCircuitInputs, logger: Logger, checkCircuitOnly?: boolean): Promise<BBFailure | BBSuccess>;
+/**
+ * Used for verifying proofs of noir circuits
+ * @param pathToBB - The full path to the bb binary
+ * @param proofFullPath - The full path to the proof to be verified
+ * @param verificationKeyPath - The full path to the circuit verification key
+ * @param log - A logging function
+ * @returns An object containing a result indication and duration taken
+ */
+export declare function verifyProof(pathToBB: string, proofFullPath: string, verificationKeyPath: string, ultraHonkFlavor: UltraHonkFlavor, log: Logger): Promise<BBFailure | BBSuccess>;
+/**
+ * Used for verifying proofs of the AVM
+ * @param pathToBB - The full path to the bb binary
+ * @param proofFullPath - The full path to the proof to be verified
+ * @param verificationKeyPath - The full path to the circuit verification key
+ * @param log - A logging function
+ * @returns An object containing a result indication and duration taken
+ */
+export declare function verifyAvmProof(pathToBB: string, proofFullPath: string, verificationKeyPath: string, logger: Logger): Promise<BBFailure | BBSuccess>;
+export declare function verifyAvmProofV2(pathToBB: string, workingDirectory: string, proofFullPath: string, publicInputs: AvmCircuitPublicInputs, verificationKeyPath: string, logger: Logger): Promise<BBFailure | BBSuccess>;
+/**
+ * Verifies a ClientIvcProof
+ * TODO(#7370) The verification keys should be supplied separately
+ * @param pathToBB - The full path to the bb binary
+ * @param targetPath - The path to the folder with the proof, accumulator, and verification keys
+ * @param log - A logging function
+ * @returns An object containing a result indication and duration taken
+ */
+export declare function verifyClientIvcProof(pathToBB: string, proofPath: string, keyPath: string, log: LogFn): Promise<BBFailure | BBSuccess>;
+export declare function generateContractForVerificationKey(pathToBB: string, vkFilePath: string, contractPath: string, log: LogFn): Promise<BBFailure | BBSuccess>;
+/**
+ * Compute bb gate count for a given circuit
+ * @param pathToBB - The full path to the bb binary
+ * @param workingDirectory - A temporary directory for writing the bytecode
+ * @param circuitName - The name of the circuit
+ * @param bytecode - The bytecode of the circuit
+ * @param flavor - The flavor of the backend - mega_honk or ultra_honk variants
+ * @returns An object containing the status, gate count, and time taken
+ */
+export declare function computeGateCountForCircuit(pathToBB: string, workingDirectory: string, circuitName: string, bytecode: Buffer, flavor: UltraHonkFlavor | 'mega_honk', log: LogFn): Promise<BBFailure | BBSuccess>;
+export {};
+//# sourceMappingURL=execute.d.ts.map

package/dest/bb/execute.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execute.d.ts","sourceRoot":"","sources":["../../src/bb/execute.ts"],"names":[],"mappings":";;AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAMlF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAGlD,eAAO,MAAM,WAAW,OAAO,CAAC;AAChC,eAAO,MAAM,kBAAkB,mBAAmB,CAAC;AACnD,eAAO,MAAM,cAAc,UAAU,CAAC;AACtC,eAAO,MAAM,qBAAqB,sBAAsB,CAAC;AACzD,eAAO,MAAM,mBAAmB,mBAAmB,CAAC;AACpD,eAAO,MAAM,qBAAqB,qBAAqB,CAAC;AACxD,eAAO,MAAM,0BAA0B,0BAA0B,CAAC;AAClE,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAElD,oBAAY,SAAS;IACnB,OAAO,IAAA;IACP,OAAO,IAAA;IACP,eAAe,IAAA;CAChB;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,eAAe,CAAC;IACtD,UAAU,EAAE,MAAM,CAAC;IACnB,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iCAAiC;IACjC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,0CAA0C;IAC1C,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;AAE7C,MAAM,MAAM,oBAAoB,GAAG,OAAO,WAAW,GAAG,OAAO,cAAc,CAAC;AAE9E,KAAK,YAAY,GAAG;IAClB,MAAM,EAAE,SAAS,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B,CAAC;AAEF;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CACvB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EAAE,EACd,MAAM,EAAE,KAAK,EACb,YAAY,UAAU,MAAM,YAAe,GAC1C,OAAO,CAAC,YAAY,CAAC,CAyBvB;AAGD,wBAAsB,uBAAuB,CAC3C,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,MAAM,EACzB,gBAAgB,EAAE,MAAM,EACxB,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAgEhC;AAgBD;;;;;;;;;;GAUG;AACH,wBAAsB,aAAa,CACjC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,OAAO,EAClB,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,eAAe,EACvB,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAiEhC;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,iBAAiB,CACrC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAwDhC;AAED;;;;;;;;GAQG;AACH,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA+DhC;AAED;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,MAAM,EACd,gBAAgB,GAAE,OAAe,GAChC,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAyEhC;AAED;;;;;;;GAOG;AACH,wBAAsB,WAAW,CAC/B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,MAAM,EAC3B,eAAe,EAAE,eAAe,EAChC,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAShC;AAED;;;;;;;GAOG;AACH,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,MAAM,EAC3B,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAEhC;AAED,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,sBAAsB,EACpC,mBAAmB,EAAE,MAAM,EAC3B,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAmBhC;AAED;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA2BhC;AAuDD,wBAAsB,kCAAkC,CACtD,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA8ChC;AAED;;;;;;;;GAQG;AACH,wBAAsB,0BAA0B,CAC9C,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,eAAe,GAAG,WAAW,EACrC,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA0DhC"}