@aztec/pxe 0.37.0 → 0.38.0

package/dest/kernel_prover/bb_prover/bb_native_proof_creator.js

@@ -0,0 +1,437 @@
+import { Fr, Proof, makeEmptyProof, } from '@aztec/circuits.js';
+import { siloNoteHash } from '@aztec/circuits.js/hash';
+import { randomBytes, sha256 } from '@aztec/foundation/crypto';
+import { createDebugLogger } from '@aztec/foundation/log';
+import { Timer } from '@aztec/foundation/timer';
+import { ClientCircuitArtifacts, convertPrivateKernelInitInputsToWitnessMap, convertPrivateKernelInitOutputsFromWitnessMap, convertPrivateKernelInnerInputsToWitnessMap, convertPrivateKernelInnerOutputsFromWitnessMap, convertPrivateKernelTailForPublicOutputsFromWitnessMap, convertPrivateKernelTailOutputsFromWitnessMap, executeTail, executeTailForPublic, } from '@aztec/noir-protocol-circuits-types';
+import { WASMSimulator } from '@aztec/simulator';
+import { serializeWitness } from '@noir-lang/noirc_abi';
+import * as proc from 'child_process';
+import * as fs from 'fs/promises';
+/**
+ * Temporary implementation of ProofCreator using the native bb binary.
+ * Will be replaced by the WASM equivalent once ready
+ */
+const VK_FILENAME = 'vk';
+const VK_FIELDS_FILENAME = 'vk_fields.json';
+const PROOF_FILENAME = 'proof';
+//const PROOF_FIELDS_FILENAME = 'proof_fields.json';
+//const AGGREGATION_OBJECT_SIZE = 16;
+const CIRCUIT_SIZE_INDEX = 3;
+const CIRCUIT_PUBLIC_INPUTS_INDEX = 4;
+const CIRCUIT_RECURSIVE_INDEX = 5;
+var BB_RESULT;
+(function (BB_RESULT) {
+    BB_RESULT[BB_RESULT["SUCCESS"] = 0] = "SUCCESS";
+    BB_RESULT[BB_RESULT["FAILURE"] = 1] = "FAILURE";
+    BB_RESULT[BB_RESULT["ALREADY_PRESENT"] = 2] = "ALREADY_PRESENT";
+})(BB_RESULT || (BB_RESULT = {}));
+/**
+ * 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
+ */
+function executeBB(pathToBB, command, args, logger, resultParser = (code) => code === 0) {
+    return new Promise((resolve, reject) => {
+        // spawn the bb process
+        const bb = proc.spawn(pathToBB, [command, ...args]);
+        bb.stdout.on('data', data => {
+            const message = data.toString('utf-8').replace(/\n$/, '');
+            logger(message);
+        });
+        bb.stderr.on('data', data => {
+            const message = data.toString('utf-8').replace(/\n$/, '');
+            logger(message);
+        });
+        bb.on('close', (code) => {
+            if (resultParser(code)) {
+                resolve(BB_RESULT.SUCCESS);
+            }
+            else {
+                reject();
+            }
+        });
+    }).catch(_ => BB_RESULT.FAILURE);
+}
+/**
+ * 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 async function generateProof(pathToBB, workingDirectory, circuitName, bytecode, inputWitnessFile, log) {
+    // Check that the working directory exists
+    try {
+        await fs.access(workingDirectory);
+    }
+    catch (error) {
+        return { status: BB_RESULT.FAILURE, reason: `Working directory ${workingDirectory} does not exist` };
+    }
+    // The bytecode is written to e.g. /workingDirectory/BaseParityArtifact-bytecode
+    const bytecodePath = `${workingDirectory}/${circuitName}-bytecode`;
+    // The proof is written to e.g. /workingDirectory/proof
+    const outputPath = `${workingDirectory}`;
+    const binaryPresent = await fs
+        .access(pathToBB, fs.constants.R_OK)
+        .then(_ => true)
+        .catch(_ => false);
+    if (!binaryPresent) {
+        return { status: BB_RESULT.FAILURE, reason: `Failed to find bb binary at ${pathToBB}` };
+    }
+    try {
+        // Write the bytecode to the working directory
+        await fs.writeFile(bytecodePath, bytecode);
+        const args = ['-o', outputPath, '-b', bytecodePath, '-w', inputWitnessFile, '-v'];
+        const timer = new Timer();
+        const logFunction = (message) => {
+            log(`${circuitName} BB out - ${message}`);
+        };
+        const result = await executeBB(pathToBB, 'prove_output_all', args, logFunction);
+        const duration = timer.ms();
+        // cleanup the bytecode
+        await fs.rm(bytecodePath, { force: true });
+        if (result == BB_RESULT.SUCCESS) {
+            return {
+                status: BB_RESULT.SUCCESS,
+                duration,
+                proofPath: `${outputPath}`,
+                pkPath: undefined,
+                vkPath: `${outputPath}`,
+            };
+        }
+        // Not a great error message here but it is difficult to decipher what comes from bb
+        return { status: BB_RESULT.FAILURE, reason: `Failed to generate proof` };
+    }
+    catch (error) {
+        return { status: BB_RESULT.FAILURE, reason: `${error}` };
+    }
+}
+/**
+ * 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
+ */
+async function verifyProof(pathToBB, proofFullPath, verificationKeyPath, log) {
+    const binaryPresent = await fs
+        .access(pathToBB, fs.constants.R_OK)
+        .then(_ => true)
+        .catch(_ => false);
+    if (!binaryPresent) {
+        return { status: BB_RESULT.FAILURE, reason: `Failed to find bb binary at ${pathToBB}` };
+    }
+    try {
+        const args = ['-p', proofFullPath, '-k', verificationKeyPath];
+        const timer = new Timer();
+        const result = await executeBB(pathToBB, 'verify', args, log);
+        const duration = timer.ms();
+        if (result == BB_RESULT.SUCCESS) {
+            return { status: BB_RESULT.SUCCESS, duration };
+        }
+        // Not a great error message here but it is difficult to decipher what comes from bb
+        return { status: BB_RESULT.FAILURE, reason: `Failed to verify proof` };
+    }
+    catch (error) {
+        return { status: BB_RESULT.FAILURE, reason: `${error}` };
+    }
+}
+const bytecodeHashFilename = 'bytecode_hash';
+const bytecodeFilename = 'bytecode';
+/**
+ * Used for generating either a proving or verification key, will exit early if the key already exists
+ * It assumes the provided working directory is one where the caller wishes to maintain a permanent set of keys
+ * It is not considered a temporary directory
+ * @param pathToBB - The full path to the bb binary
+ * @param workingDirectory - The directory into which the key should be created
+ * @param circuitName - An identifier for the circuit
+ * @param compiledCircuit - The compiled circuit
+ * @param key - The type of key, either 'pk' or 'vk'
+ * @param log - A logging function
+ * @param force - Force the key to be regenerated even if it already exists
+ * @returns An instance of BBResult
+ */
+export async function generateKeyForNoirCircuit(pathToBB, workingDirectory, circuitName, compiledCircuit, key, log, force = false) {
+    const bytecode = Buffer.from(compiledCircuit.bytecode, 'base64');
+    // The key generation is written to e.g. /workingDirectory/pk/BaseParityArtifact/pk
+    // The bytecode hash file is also written here as /workingDirectory/pk/BaseParityArtifact/bytecode-hash
+    // The bytecode is written to e.g. /workingDirectory/pk/BaseParityArtifact/bytecode
+    // The bytecode is removed after the key is generated, leaving just the hash file
+    const circuitOutputDirectory = `${workingDirectory}/${key}/${circuitName}`;
+    const bytecodeHashPath = `${circuitOutputDirectory}/${bytecodeHashFilename}`;
+    const bytecodePath = `${circuitOutputDirectory}/${bytecodeFilename}`;
+    const bytecodeHash = sha256(bytecode);
+    const outputPath = `${circuitOutputDirectory}`;
+    // ensure the directory exists
+    await fs.mkdir(circuitOutputDirectory, { recursive: true });
+    // Generate the key if we have been told to, or there is no bytecode hash
+    let mustRegenerate = force ||
+        (await fs
+            .access(bytecodeHashPath, fs.constants.R_OK)
+            .then(_ => false)
+            .catch(_ => true));
+    if (!mustRegenerate) {
+        // Check to see if the bytecode hash has changed from the stored value
+        const data = await fs.readFile(bytecodeHashPath).catch(_ => Buffer.alloc(0));
+        mustRegenerate = data.length == 0 || !data.equals(bytecodeHash);
+    }
+    if (!mustRegenerate) {
+        // No need to generate, early out
+        return {
+            status: BB_RESULT.ALREADY_PRESENT,
+            duration: 0,
+            pkPath: key === 'pk' ? outputPath : undefined,
+            vkPath: key === 'vk' ? outputPath : undefined,
+            proofPath: undefined,
+        };
+    }
+    // Check we have access to bb
+    const binaryPresent = await fs
+        .access(pathToBB, fs.constants.R_OK)
+        .then(_ => true)
+        .catch(_ => false);
+    if (!binaryPresent) {
+        return { status: BB_RESULT.FAILURE, reason: `Failed to find bb binary at ${pathToBB}` };
+    }
+    // We are now going to generate the key
+    try {
+        // Write the bytecode to the working directory
+        await fs.writeFile(bytecodePath, bytecode);
+        // args are the output path and the input bytecode path
+        const args = ['-o', outputPath, '-b', bytecodePath];
+        const timer = new Timer();
+        let result = await executeBB(pathToBB, `write_${key}`, args, log);
+        // If we succeeded and the type of key if verification, have bb write the 'fields' version too
+        if (result == BB_RESULT.SUCCESS && key === 'vk') {
+            const asFieldsArgs = ['-k', `${outputPath}/${VK_FILENAME}`, '-o', `${outputPath}/${VK_FIELDS_FILENAME}`, '-v'];
+            result = await executeBB(pathToBB, `vk_as_fields`, asFieldsArgs, log);
+        }
+        const duration = timer.ms();
+        // Cleanup the bytecode file
+        await fs.rm(bytecodePath, { force: true });
+        if (result == BB_RESULT.SUCCESS) {
+            // Store the bytecode hash so we don't need to regenerate at a later time
+            await fs.writeFile(bytecodeHashPath, bytecodeHash);
+            return {
+                status: BB_RESULT.SUCCESS,
+                duration,
+                pkPath: key === 'pk' ? outputPath : undefined,
+                vkPath: key === 'vk' ? outputPath : undefined,
+                proofPath: undefined,
+            };
+        }
+        // Not a great error message here but it is difficult to decipher what comes from bb
+        return { status: BB_RESULT.FAILURE, reason: `Failed to generate key` };
+    }
+    catch (error) {
+        return { status: BB_RESULT.FAILURE, reason: `${error}` };
+    }
+}
+const KernelArtifactMapping = {
+    PrivateKernelInitArtifact: {
+        convertOutputs: convertPrivateKernelInitOutputsFromWitnessMap,
+    },
+    PrivateKernelInnerArtifact: {
+        convertOutputs: convertPrivateKernelInnerOutputsFromWitnessMap,
+    },
+    PrivateKernelTailArtifact: {
+        convertOutputs: convertPrivateKernelTailOutputsFromWitnessMap,
+    },
+    PrivateKernelTailToPublicArtifact: {
+        convertOutputs: convertPrivateKernelTailForPublicOutputsFromWitnessMap,
+    },
+};
+/**
+ * This proof creator implementation uses the native bb binary.
+ * This is a temporary implementation until we make the WASM version work.
+ */
+export class BBNativeProofCreator {
+    constructor(bbBinaryPath, bbWorkingDirectory, log = createDebugLogger('aztec:bb-native-prover')) {
+        this.bbBinaryPath = bbBinaryPath;
+        this.bbWorkingDirectory = bbWorkingDirectory;
+        this.log = log;
+        this.simulator = new WASMSimulator();
+        this.verificationKeys = new Map();
+    }
+    getSiloedCommitments(publicInputs) {
+        const contractAddress = publicInputs.callContext.storageContractAddress;
+        return Promise.resolve(publicInputs.newNoteHashes.map(commitment => siloNoteHash(contractAddress, commitment.value)));
+    }
+    async createProofInit(inputs) {
+        const witnessMap = convertPrivateKernelInitInputsToWitnessMap(inputs);
+        return await this.createSafeProof(witnessMap, 'PrivateKernelInitArtifact');
+    }
+    async createProofInner(inputs) {
+        const witnessMap = convertPrivateKernelInnerInputsToWitnessMap(inputs);
+        return await this.createSafeProof(witnessMap, 'PrivateKernelInnerArtifact');
+    }
+    async createProofTail(inputs) {
+        // if (!inputs.isForPublic()) {
+        //   const witnessMap = convertPrivateKernelTailInputsToWitnessMap(inputs);
+        //   return await this.createSafeProof(witnessMap, 'PrivateKernelTailArtifact');
+        // }
+        if (!inputs.isForPublic()) {
+            const result = await executeTail(inputs);
+            return {
+                publicInputs: result,
+                proof: makeEmptyProof(),
+            };
+        }
+        // const witnessMap = convertPrivateKernelTailToPublicInputsToWitnessMap(inputs);
+        // return await this.createSafeProof(witnessMap, 'PrivateKernelTailToPublicArtifact');
+        const result = await executeTailForPublic(inputs);
+        return {
+            publicInputs: result,
+            proof: makeEmptyProof(),
+        };
+    }
+    async createAppCircuitProof(partialWitness, bytecode) {
+        const directory = `${this.bbWorkingDirectory}/${randomBytes(8).toString('hex')}`;
+        await fs.mkdir(directory, { recursive: true });
+        this.log.debug(`Created directory: ${directory}`);
+        try {
+            this.log.debug(`Proving app circuit`);
+            const proof = await this.createProof(directory, partialWitness, bytecode, 'App');
+            return new Proof(proof);
+        }
+        finally {
+            await fs.rm(directory, { recursive: true, force: true });
+            this.log.debug(`Deleted directory: ${directory}`);
+        }
+    }
+    /**
+     * Verifies a proof, will generate the verification key if one is not cached internally
+     * @param circuitType - The type of circuit whose proof is to be verified
+     * @param proof - The proof to be verified
+     */
+    async verifyProof(circuitType, proof) {
+        // Create random directory to be used for temp files
+        const bbWorkingDirectory = `${this.bbWorkingDirectory}/${randomBytes(8).toString('hex')}`;
+        await fs.mkdir(bbWorkingDirectory, { recursive: true });
+        const proofFileName = `${bbWorkingDirectory}/proof`;
+        const verificationKeyPath = `${bbWorkingDirectory}/vk`;
+        const verificationKey = await this.getVerificationKeyDataForCircuit(circuitType);
+        this.log.debug(`Verifying with key: ${verificationKey.hash.toString()}`);
+        await fs.writeFile(proofFileName, proof.buffer);
+        await fs.writeFile(verificationKeyPath, verificationKey.keyAsBytes);
+        const logFunction = (message) => {
+            this.log.debug(`${circuitType} BB out - ${message}`);
+        };
+        const result = await verifyProof(this.bbBinaryPath, proofFileName, verificationKeyPath, logFunction);
+        await fs.rm(bbWorkingDirectory, { recursive: true, force: true });
+        if (result.status === BB_RESULT.FAILURE) {
+            const errorMessage = `Failed to verify ${circuitType} proof!`;
+            throw new Error(errorMessage);
+        }
+        this.log.info(`Successfully verified ${circuitType} proof in ${result.duration} ms`);
+    }
+    /**
+     * Returns the verification key data for a circuit, will generate and cache it if not cached internally
+     * @param circuitType - The type of circuit for which the verification key is required
+     * @returns The verification key data
+     */
+    async getVerificationKeyDataForCircuit(circuitType) {
+        let promise = this.verificationKeys.get(circuitType);
+        if (!promise) {
+            promise = generateKeyForNoirCircuit(this.bbBinaryPath, this.bbWorkingDirectory, circuitType, ClientCircuitArtifacts[circuitType], 'vk', this.log.debug).then(result => {
+                if (result.status === BB_RESULT.FAILURE) {
+                    throw new Error(`Failed to generate verification key for ${circuitType}, ${result.reason}`);
+                }
+                return this.convertVk(result.vkPath);
+            });
+            this.verificationKeys.set(circuitType, promise);
+        }
+        return await promise;
+    }
+    /**
+     * Reads the verification key data stored at the specified location and parses into a VerificationKeyData
+     * @param filePath - The directory containing the verification key data files
+     * @returns The verification key data
+     */
+    async convertVk(filePath) {
+        const [rawFields, rawBinary] = await Promise.all([
+            fs.readFile(`${filePath}/${VK_FIELDS_FILENAME}`, { encoding: 'utf-8' }),
+            fs.readFile(`${filePath}/${VK_FILENAME}`),
+        ]);
+        const fieldsJson = JSON.parse(rawFields);
+        const fields = fieldsJson.map(Fr.fromString);
+        // The first item is the hash, this is not part of the actual VK
+        const vkHash = fields[0];
+        const actualVk = fields.slice(1);
+        const vk = {
+            hash: vkHash,
+            keyAsFields: actualVk,
+            keyAsBytes: rawBinary,
+            numPublicInputs: Number(actualVk[CIRCUIT_PUBLIC_INPUTS_INDEX]),
+            circuitSize: Number(actualVk[CIRCUIT_SIZE_INDEX]),
+            isRecursive: actualVk[CIRCUIT_RECURSIVE_INDEX] == Fr.ONE,
+        };
+        return vk;
+    }
+    /**
+     * Ensures our verification key cache includes the key data located at the specified directory
+     * @param filePath - The directory containing the verification key data files
+     * @param circuitType - The type of circuit to which the verification key corresponds
+     */
+    async updateVerificationKeyAfterProof(filePath, circuitType) {
+        let promise = this.verificationKeys.get(circuitType);
+        if (!promise) {
+            promise = this.convertVk(filePath);
+            this.log.debug(`Updated verification key for circuit: ${circuitType}`);
+            this.verificationKeys.set(circuitType, promise);
+        }
+        await promise;
+    }
+    async createSafeProof(inputs, circuitType) {
+        const directory = `${this.bbWorkingDirectory}/${randomBytes(8).toString('hex')}`;
+        await fs.mkdir(directory, { recursive: true });
+        this.log.debug(`Created directory: ${directory}`);
+        try {
+            return await this.generateWitnessAndCreateProof(inputs, circuitType, directory);
+        }
+        finally {
+            await fs.rm(directory, { recursive: true, force: true });
+            this.log.debug(`Deleted directory: ${directory}`);
+        }
+    }
+    async generateWitnessAndCreateProof(inputs, circuitType, directory) {
+        this.log.debug(`Generating witness for ${circuitType}`);
+        const compiledCircuit = ClientCircuitArtifacts[circuitType];
+        const outputWitness = await this.simulator.simulateCircuit(inputs, compiledCircuit);
+        this.log.debug(`Generated witness for ${circuitType}`);
+        const publicInputs = KernelArtifactMapping[circuitType].convertOutputs(outputWitness);
+        const proofBuffer = await this.createProof(directory, outputWitness, Buffer.from(compiledCircuit.bytecode, 'base64'), circuitType);
+        const proofOutput = {
+            publicInputs,
+            proof: new Proof(proofBuffer),
+        };
+        return proofOutput;
+    }
+    async createProof(directory, partialWitness, bytecode, circuitType) {
+        const compressedBincodedWitness = serializeWitness(partialWitness);
+        const inputsWitnessFile = `${directory}/witness.gz`;
+        await fs.writeFile(inputsWitnessFile, compressedBincodedWitness);
+        this.log.debug(`Written ${inputsWitnessFile}`);
+        const provingResult = await generateProof(this.bbBinaryPath, directory, circuitType, bytecode, inputsWitnessFile, this.log.debug);
+        if (provingResult.status === BB_RESULT.FAILURE) {
+            this.log.error(`Failed to generate proof for ${circuitType}: ${provingResult.reason}`);
+            throw new Error(provingResult.reason);
+        }
+        if (circuitType !== 'App') {
+            await this.updateVerificationKeyAfterProof(directory, circuitType);
+        }
+        const proofFile = `${directory}/${PROOF_FILENAME}`;
+        return await fs.readFile(proofFile);
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmJfbmF0aXZlX3Byb29mX2NyZWF0b3IuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMva2VybmVsX3Byb3Zlci9iYl9wcm92ZXIvYmJfbmF0aXZlX3Byb29mX2NyZWF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLEVBQUUsRUFPRixLQUFLLEVBRUwsY0FBYyxHQUNmLE1BQU0sb0JBQW9CLENBQUM7QUFDNUIsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ3ZELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDL0QsT0FBTyxFQUFjLGlCQUFpQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFdEUsT0FBTyxFQUFFLEtBQUssRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ2hELE9BQU8sRUFDTCxzQkFBc0IsRUFFdEIsMENBQTBDLEVBQzFDLDZDQUE2QyxFQUM3QywyQ0FBMkMsRUFDM0MsOENBQThDLEVBQzlDLHNEQUFzRCxFQUN0RCw2Q0FBNkMsRUFDN0MsV0FBVyxFQUNYLG9CQUFvQixHQUNyQixNQUFNLHFDQUFxQyxDQUFDO0FBQzdDLE9BQU8sRUFBa0IsYUFBYSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFJakUsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDeEQsT0FBTyxLQUFLLElBQUksTUFBTSxlQUFlLENBQUM7QUFDdEMsT0FBTyxLQUFLLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFJbEM7OztHQUdHO0FBRUgsTUFBTSxXQUFXLEdBQUcsSUFBSSxDQUFDO0FBQ3pCLE1BQU0sa0JBQWtCLEdBQUcsZ0JBQWdCLENBQUM7QUFDNUMsTUFBTSxjQUFjLEdBQUcsT0FBTyxDQUFDO0FBQy9CLG9EQUFvRDtBQUVwRCxxQ0FBcUM7QUFDckMsTUFBTSxrQkFBa0IsR0FBRyxDQUFDLENBQUM7QUFDN0IsTUFBTSwyQkFBMkIsR0FBRyxDQUFDLENBQUM7QUFDdEMsTUFBTSx1QkFBdUIsR0FBRyxDQUFDLENBQUM7QUFFbEMsSUFBSyxTQUlKO0FBSkQsV0FBSyxTQUFTO0lBQ1osK0NBQU8sQ0FBQTtJQUNQLCtDQUFPLENBQUE7SUFDUCwrREFBZSxDQUFBO0FBQ2pCLENBQUMsRUFKSSxTQUFTLEtBQVQsU0FBUyxRQUliO0FBZUQ7Ozs7Ozs7O0dBUUc7QUFDSCxTQUFTLFNBQVMsQ0FDaEIsUUFBZ0IsRUFDaEIsT0FBZSxFQUNmLElBQWMsRUFDZCxNQUFhLEVBQ2IsZUFBZSxDQUFDLElBQVksRUFBRSxFQUFFLENBQUMsSUFBSSxLQUFLLENBQUM7SUFFM0MsT0FBTyxJQUFJLE9BQU8sQ0FBd0MsQ0FBQyxPQUFPLEVBQUUsTUFBTSxFQUFFLEVBQUU7UUFDNUUsdUJBQXVCO1FBQ3ZCLE1BQU0sRUFBRSxHQUFHLElBQUksQ0FBQyxLQUFLLENBQUMsUUFBUSxFQUFFLENBQUMsT0FBTyxFQUFFLEdBQUcsSUFBSSxDQUFDLENBQUMsQ0FBQztRQUNwRCxFQUFFLENBQUMsTUFBTSxDQUFDLEVBQUUsQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLEVBQUU7WUFDMUIsTUFBTSxPQUFPLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxPQUFPLENBQUMsQ0FBQyxPQUFPLENBQUMsS0FBSyxFQUFFLEVBQUUsQ0FBQyxDQUFDO1lBQzFELE1BQU0sQ0FBQyxPQUFPLENBQUMsQ0FBQztRQUNsQixDQUFDLENBQUMsQ0FBQztRQUNILEVBQUUsQ0FBQyxNQUFNLENBQUMsRUFBRSxDQUFDLE1BQU0sRUFBRSxJQUFJLENBQUMsRUFBRTtZQUMxQixNQUFNLE9BQU8sR0FBRyxJQUFJLENBQUMsUUFBUSxDQUFDLE9BQU8sQ0FBQyxDQUFDLE9BQU8sQ0FBQyxLQUFLLEVBQUUsRUFBRSxDQUFDLENBQUM7WUFDMUQsTUFBTSxDQUFDLE9BQU8sQ0FBQyxDQUFDO1FBQ2xCLENBQUMsQ0FBQyxDQUFDO1FBQ0gsRUFBRSxDQUFDLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxJQUFZLEVBQUUsRUFBRTtZQUM5QixJQUFJLFlBQVksQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDO2dCQUN2QixPQUFPLENBQUMsU0FBUyxDQUFDLE9BQU8sQ0FBQyxDQUFDO1lBQzdCLENBQUM7aUJBQU0sQ0FBQztnQkFDTixNQUFNLEVBQUUsQ0FBQztZQUNYLENBQUM7UUFDSCxDQUFDLENBQUMsQ0FBQztJQUNMLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLFNBQVMsQ0FBQyxPQUFPLENBQUMsQ0FBQztBQUNuQyxDQUFDO0FBRUQ7Ozs7Ozs7Ozs7R0FVRztBQUNILE1BQU0sQ0FBQyxLQUFLLFVBQVUsYUFBYSxDQUNqQyxRQUFnQixFQUNoQixnQkFBd0IsRUFDeEIsV0FBbUIsRUFDbkIsUUFBZ0IsRUFDaEIsZ0JBQXdCLEVBQ3hCLEdBQVU7SUFFViwwQ0FBMEM7SUFDMUMsSUFBSSxDQUFDO1FBQ0gsTUFBTSxFQUFFLENBQUMsTUFBTSxDQUFDLGdCQUFnQixDQUFDLENBQUM7SUFDcEMsQ0FBQztJQUFDLE9BQU8sS0FBSyxFQUFFLENBQUM7UUFDZixPQUFPLEVBQUUsTUFBTSxFQUFFLFNBQVMsQ0FBQyxPQUFPLEVBQUUsTUFBTSxFQUFFLHFCQUFxQixnQkFBZ0IsaUJBQWlCLEVBQUUsQ0FBQztJQUN2RyxDQUFDO0lBRUQsZ0ZBQWdGO0lBQ2hGLE1BQU0sWUFBWSxHQUFHLEdBQUcsZ0JBQWdCLElBQUksV0FBVyxXQUFXLENBQUM7SUFFbkUsdURBQXVEO0lBQ3ZELE1BQU0sVUFBVSxHQUFHLEdBQUcsZ0JBQWdCLEVBQUUsQ0FBQztJQUV6QyxNQUFNLGFBQWEsR0FBRyxNQUFNLEVBQUU7U0FDM0IsTUFBTSxDQUFDLFFBQVEsRUFBRSxFQUFFLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQztTQUNuQyxJQUFJLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUM7U0FDZixLQUFLLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUNyQixJQUFJLENBQUMsYUFBYSxFQUFFLENBQUM7UUFDbkIsT0FBTyxFQUFFLE1BQU0sRUFBRSxTQUFTLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSwrQkFBK0IsUUFBUSxFQUFFLEVBQUUsQ0FBQztJQUMxRixDQUFDO0lBRUQsSUFBSSxDQUFDO1FBQ0gsOENBQThDO1FBQzlDLE1BQU0sRUFBRSxDQUFDLFNBQVMsQ0FBQyxZQUFZLEVBQUUsUUFBUSxDQUFDLENBQUM7UUFDM0MsTUFBTSxJQUFJLEdBQUcsQ0FBQyxJQUFJLEVBQUUsVUFBVSxFQUFFLElBQUksRUFBRSxZQUFZLEVBQUUsSUFBSSxFQUFFLGdCQUFnQixFQUFFLElBQUksQ0FBQyxDQUFDO1FBQ2xGLE1BQU0sS0FBSyxHQUFHLElBQUksS0FBSyxFQUFFLENBQUM7UUFDMUIsTUFBTSxXQUFXLEdBQUcsQ0FBQyxPQUFlLEVBQUUsRUFBRTtZQUN0QyxHQUFHLENBQUMsR0FBRyxXQUFXLGFBQWEsT0FBTyxFQUFFLENBQUMsQ0FBQztRQUM1QyxDQUFDLENBQUM7UUFDRixNQUFNLE1BQU0sR0FBRyxNQUFNLFNBQVMsQ0FBQyxRQUFRLEVBQUUsa0JBQWtCLEVBQUUsSUFBSSxFQUFFLFdBQVcsQ0FBQyxDQUFDO1FBQ2hGLE1BQU0sUUFBUSxHQUFHLEtBQUssQ0FBQyxFQUFFLEVBQUUsQ0FBQztRQUM1Qix1QkFBdUI7UUFDdkIsTUFBTSxFQUFFLENBQUMsRUFBRSxDQUFDLFlBQVksRUFBRSxFQUFFLEtBQUssRUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUFDO1FBQzNDLElBQUksTUFBTSxJQUFJLFNBQVMsQ0FBQyxPQUFPLEVBQUUsQ0FBQztZQUNoQyxPQUFPO2dCQUNMLE1BQU0sRUFBRSxTQUFTLENBQUMsT0FBTztnQkFDekIsUUFBUTtnQkFDUixTQUFTLEVBQUUsR0FBRyxVQUFVLEVBQUU7Z0JBQzFCLE1BQU0sRUFBRSxTQUFTO2dCQUNqQixNQUFNLEVBQUUsR0FBRyxVQUFVLEVBQUU7YUFDeEIsQ0FBQztRQUNKLENBQUM7UUFDRCxvRkFBb0Y7UUFDcEYsT0FBTyxFQUFFLE1BQU0sRUFBRSxTQUFTLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSwwQkFBMEIsRUFBRSxDQUFDO0lBQzNFLENBQUM7SUFBQyxPQUFPLEtBQUssRUFBRSxDQUFDO1FBQ2YsT0FBTyxFQUFFLE1BQU0sRUFBRSxTQUFTLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxHQUFHLEtBQUssRUFBRSxFQUFFLENBQUM7SUFDM0QsQ0FBQztBQUNILENBQUM7QUFFRDs7Ozs7OztHQU9HO0FBQ0gsS0FBSyxVQUFVLFdBQVcsQ0FDeEIsUUFBZ0IsRUFDaEIsYUFBcUIsRUFDckIsbUJBQTJCLEVBQzNCLEdBQVU7SUFFVixNQUFNLGFBQWEsR0FBRyxNQUFNLEVBQUU7U0FDM0IsTUFBTSxDQUFDLFFBQVEsRUFBRSxFQUFFLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQztTQUNuQyxJQUFJLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUM7U0FDZixLQUFLLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUNyQixJQUFJLENBQUMsYUFBYSxFQUFFLENBQUM7UUFDbkIsT0FBTyxFQUFFLE1BQU0sRUFBRSxTQUFTLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSwrQkFBK0IsUUFBUSxFQUFFLEVBQUUsQ0FBQztJQUMxRixDQUFDO0lBRUQsSUFBSSxDQUFDO1FBQ0gsTUFBTSxJQUFJLEdBQUcsQ0FBQyxJQUFJLEVBQUUsYUFBYSxFQUFFLElBQUksRUFBRSxtQkFBbUIsQ0FBQyxDQUFDO1FBQzlELE1BQU0sS0FBSyxHQUFHLElBQUksS0FBSyxFQUFFLENBQUM7UUFDMUIsTUFBTSxNQUFNLEdBQUcsTUFBTSxTQUFTLENBQUMsUUFBUSxFQUFFLFFBQVEsRUFBRSxJQUFJLEVBQUUsR0FBRyxDQUFDLENBQUM7UUFDOUQsTUFBTSxRQUFRLEdBQUcsS0FBSyxDQUFDLEVBQUUsRUFBRSxDQUFDO1FBQzVCLElBQUksTUFBTSxJQUFJLFNBQVMsQ0FBQyxPQUFPLEVBQUUsQ0FBQztZQUNoQyxPQUFPLEVBQUUsTUFBTSxFQUFFLFNBQVMsQ0FBQyxPQUFPLEVBQUUsUUFBUSxFQUFFLENBQUM7UUFDakQsQ0FBQztRQUNELG9GQUFvRjtRQUNwRixPQUFPLEVBQUUsTUFBTSxFQUFFLFNBQVMsQ0FBQyxPQUFPLEVBQUUsTUFBTSxFQUFFLHdCQUF3QixFQUFFLENBQUM7SUFDekUsQ0FBQztJQUFDLE9BQU8sS0FBSyxFQUFFLENBQUM7UUFDZixPQUFPLEVBQUUsTUFBTSxFQUFFLFNBQVMsQ0FBQyxPQUFPLEVBQUUsTUFBTSxFQUFFLEdBQUcsS0FBSyxFQUFFLEVBQUUsQ0FBQztJQUMzRCxDQUFDO0FBQ0gsQ0FBQztBQUVELE1BQU0sb0JBQW9CLEdBQUcsZUFBZSxDQUFDO0FBQzdDLE1BQU0sZ0JBQWdCLEdBQUcsVUFBVSxDQUFDO0FBRXBDOzs7Ozs7Ozs7Ozs7R0FZRztBQUNILE1BQU0sQ0FBQyxLQUFLLFVBQVUseUJBQXlCLENBQzdDLFFBQWdCLEVBQ2hCLGdCQUF3QixFQUN4QixXQUFtQixFQUNuQixlQUFvQyxFQUNwQyxHQUFnQixFQUNoQixHQUFVLEVBQ1YsS0FBSyxHQUFHLEtBQUs7SUFFYixNQUFNLFFBQVEsR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLGVBQWUsQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDLENBQUM7SUFFakUsbUZBQW1GO0lBQ25GLHVHQUF1RztJQUN2RyxtRkFBbUY7SUFDbkYsaUZBQWlGO0lBQ2pGLE1BQU0sc0JBQXNCLEdBQUcsR0FBRyxnQkFBZ0IsSUFBSSxHQUFHLElBQUksV0FBVyxFQUFFLENBQUM7SUFDM0UsTUFBTSxnQkFBZ0IsR0FBRyxHQUFHLHNCQUFzQixJQUFJLG9CQUFvQixFQUFFLENBQUM7SUFDN0UsTUFBTSxZQUFZLEdBQUcsR0FBRyxzQkFBc0IsSUFBSSxnQkFBZ0IsRUFBRSxDQUFDO0lBQ3JFLE1BQU0sWUFBWSxHQUFHLE1BQU0sQ0FBQyxRQUFRLENBQUMsQ0FBQztJQUV0QyxNQUFNLFVBQVUsR0FBRyxHQUFHLHNCQUFzQixFQUFFLENBQUM7SUFFL0MsOEJBQThCO0lBQzlCLE1BQU0sRUFBRSxDQUFDLEtBQUssQ0FBQyxzQkFBc0IsRUFBRSxFQUFFLFNBQVMsRUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUFDO0lBRTVELHlFQUF5RTtJQUN6RSxJQUFJLGNBQWMsR0FDaEIsS0FBSztRQUNMLENBQUMsTUFBTSxFQUFFO2FBQ04sTUFBTSxDQUFDLGdCQUFnQixFQUFFLEVBQUUsQ0FBQyxTQUFTLENBQUMsSUFBSSxDQUFDO2FBQzNDLElBQUksQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLEtBQUssQ0FBQzthQUNoQixLQUFLLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDO0lBRXZCLElBQUksQ0FBQyxjQUFjLEVBQUUsQ0FBQztRQUNwQixzRUFBc0U7UUFDdEUsTUFBTSxJQUFJLEdBQVcsTUFBTSxFQUFFLENBQUMsUUFBUSxDQUFDLGdCQUFnQixDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQ3JGLGNBQWMsR0FBRyxJQUFJLENBQUMsTUFBTSxJQUFJLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsWUFBWSxDQUFDLENBQUM7SUFDbEUsQ0FBQztJQUVELElBQUksQ0FBQyxjQUFjLEVBQUUsQ0FBQztRQUNwQixpQ0FBaUM7UUFDakMsT0FBTztZQUNMLE1BQU0sRUFBRSxTQUFTLENBQUMsZUFBZTtZQUNqQyxRQUFRLEVBQUUsQ0FBQztZQUNYLE1BQU0sRUFBRSxHQUFHLEtBQUssSUFBSSxDQUFDLENBQUMsQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLFNBQVM7WUFDN0MsTUFBTSxFQUFFLEdBQUcsS0FBSyxJQUFJLENBQUMsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsU0FBUztZQUM3QyxTQUFTLEVBQUUsU0FBUztTQUNyQixDQUFDO0lBQ0osQ0FBQztJQUVELDZCQUE2QjtJQUM3QixNQUFNLGFBQWEsR0FBRyxNQUFNLEVBQUU7U0FDM0IsTUFBTSxDQUFDLFFBQVEsRUFBRSxFQUFFLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQztTQUNuQyxJQUFJLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUM7U0FDZixLQUFLLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUNyQixJQUFJLENBQUMsYUFBYSxFQUFFLENBQUM7UUFDbkIsT0FBTyxFQUFFLE1BQU0sRUFBRSxTQUFTLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSwrQkFBK0IsUUFBUSxFQUFFLEVBQUUsQ0FBQztJQUMxRixDQUFDO0lBRUQsdUNBQXVDO0lBQ3ZDLElBQUksQ0FBQztRQUNILDhDQUE4QztRQUM5QyxNQUFNLEVBQUUsQ0FBQyxTQUFTLENBQUMsWUFBWSxFQUFFLFFBQVEsQ0FBQyxDQUFDO1FBRTNDLHVEQUF1RDtRQUN2RCxNQUFNLElBQUksR0FBRyxDQUFDLElBQUksRUFBRSxVQUFVLEVBQUUsSUFBSSxFQUFFLFlBQVksQ0FBQyxDQUFDO1FBQ3BELE1BQU0sS0FBSyxHQUFHLElBQUksS0FBSyxFQUFFLENBQUM7UUFDMUIsSUFBSSxNQUFNLEdBQUcsTUFBTSxTQUFTLENBQUMsUUFBUSxFQUFFLFNBQVMsR0FBRyxFQUFFLEVBQUUsSUFBSSxFQUFFLEdBQUcsQ0FBQyxDQUFDO1FBQ2xFLDhGQUE4RjtRQUM5RixJQUFJLE1BQU0sSUFBSSxTQUFTLENBQUMsT0FBTyxJQUFJLEdBQUcsS0FBSyxJQUFJLEVBQUUsQ0FBQztZQUNoRCxNQUFNLFlBQVksR0FBRyxDQUFDLElBQUksRUFBRSxHQUFHLFVBQVUsSUFBSSxXQUFXLEVBQUUsRUFBRSxJQUFJLEVBQUUsR0FBRyxVQUFVLElBQUksa0JBQWtCLEVBQUUsRUFBRSxJQUFJLENBQUMsQ0FBQztZQUMvRyxNQUFNLEdBQUcsTUFBTSxTQUFTLENBQUMsUUFBUSxFQUFFLGNBQWMsRUFBRSxZQUFZLEVBQUUsR0FBRyxDQUFDLENBQUM7UUFDeEUsQ0FBQztRQUNELE1BQU0sUUFBUSxHQUFHLEtBQUssQ0FBQyxFQUFFLEVBQUUsQ0FBQztRQUM1Qiw0QkFBNEI7UUFDNUIsTUFBTSxFQUFFLENBQUMsRUFBRSxDQUFDLFlBQVksRUFBRSxFQUFFLEtBQUssRUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUFDO1FBQzNDLElBQUksTUFBTSxJQUFJLFNBQVMsQ0FBQyxPQUFPLEVBQUUsQ0FBQztZQUNoQyx5RUFBeUU7WUFDekUsTUFBTSxFQUFFLENBQUMsU0FBUyxDQUFDLGdCQUFnQixFQUFFLFlBQVksQ0FBQyxDQUFDO1lBQ25ELE9BQU87Z0JBQ0wsTUFBTSxFQUFFLFNBQVMsQ0FBQyxPQUFPO2dCQUN6QixRQUFRO2dCQUNSLE1BQU0sRUFBRSxHQUFHLEtBQUssSUFBSSxDQUFDLENBQUMsQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLFNBQVM7Z0JBQzdDLE1BQU0sRUFBRSxHQUFHLEtBQUssSUFBSSxDQUFDLENBQUMsQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLFNBQVM7Z0JBQzdDLFNBQVMsRUFBRSxTQUFTO2FBQ3JCLENBQUM7UUFDSixDQUFDO1FBQ0Qsb0ZBQW9GO1FBQ3BGLE9BQU8sRUFBRSxNQUFNLEVBQUUsU0FBUyxDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsd0JBQXdCLEVBQUUsQ0FBQztJQUN6RSxDQUFDO0lBQUMsT0FBTyxLQUFLLEVBQUUsQ0FBQztRQUNmLE9BQU8sRUFBRSxNQUFNLEVBQUUsU0FBUyxDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsR0FBRyxLQUFLLEVBQUUsRUFBRSxDQUFDO0lBQzNELENBQUM7QUFDSCxDQUFDO0FBZ0ZELE1BQU0scUJBQXFCLEdBQTREO0lBQ3JGLHlCQUF5QixFQUFFO1FBQ3pCLGNBQWMsRUFBRSw2Q0FBNkM7S0FDOUQ7SUFDRCwwQkFBMEIsRUFBRTtRQUMxQixjQUFjLEVBQUUsOENBQThDO0tBQy9EO0lBQ0QseUJBQXlCLEVBQUU7UUFDekIsY0FBYyxFQUFFLDZDQUE2QztLQUM5RDtJQUNELGlDQUFpQyxFQUFFO1FBQ2pDLGNBQWMsRUFBRSxzREFBc0Q7S0FDdkU7Q0FDRixDQUFDO0FBV0Y7OztHQUdHO0FBQ0gsTUFBTSxPQUFPLG9CQUFvQjtJQVEvQixZQUNVLFlBQW9CLEVBQ3BCLGtCQUEwQixFQUMxQixNQUFNLGlCQUFpQixDQUFDLHdCQUF3QixDQUFDO1FBRmpELGlCQUFZLEdBQVosWUFBWSxDQUFRO1FBQ3BCLHVCQUFrQixHQUFsQixrQkFBa0IsQ0FBUTtRQUMxQixRQUFHLEdBQUgsR0FBRyxDQUE4QztRQVZuRCxjQUFTLEdBQUcsSUFBSSxhQUFhLEVBQUUsQ0FBQztRQUVoQyxxQkFBZ0IsR0FBOEQsSUFBSSxHQUFHLEVBRzFGLENBQUM7SUFNRCxDQUFDO0lBRUcsb0JBQW9CLENBQUMsWUFBd0M7UUFDbEUsTUFBTSxlQUFlLEdBQUcsWUFBWSxDQUFDLFdBQVcsQ0FBQyxzQkFBc0IsQ0FBQztRQUV4RSxPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQ3BCLFlBQVksQ0FBQyxhQUFhLENBQUMsR0FBRyxDQUFDLFVBQVUsQ0FBQyxFQUFFLENBQUMsWUFBWSxDQUFDLGVBQWUsRUFBRSxVQUFVLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FDOUYsQ0FBQztJQUNKLENBQUM7SUFFTSxLQUFLLENBQUMsZUFBZSxDQUMxQixNQUE2QztRQUU3QyxNQUFNLFVBQVUsR0FBRywwQ0FBMEMsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUN0RSxPQUFPLE1BQU0sSUFBSSxDQUFDLGVBQWUsQ0FBQyxVQUFVLEVBQUUsMkJBQTJCLENBQUMsQ0FBQztJQUM3RSxDQUFDO0lBRU0sS0FBSyxDQUFDLGdCQUFnQixDQUMzQixNQUE4QztRQUU5QyxNQUFNLFVBQVUsR0FBRywyQ0FBMkMsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUN2RSxPQUFPLE1BQU0sSUFBSSxDQUFDLGVBQWUsQ0FBQyxVQUFVLEVBQUUsNEJBQTRCLENBQUMsQ0FBQztJQUM5RSxDQUFDO0lBRU0sS0FBSyxDQUFDLGVBQWUsQ0FDMUIsTUFBNkM7UUFFN0MsK0JBQStCO1FBQy9CLDJFQUEyRTtRQUMzRSxnRkFBZ0Y7UUFDaEYsSUFBSTtRQUVKLElBQUksQ0FBQyxNQUFNLENBQUMsV0FBVyxFQUFFLEVBQUUsQ0FBQztZQUMxQixNQUFNLE1BQU0sR0FBRyxNQUFNLFdBQVcsQ0FBQyxNQUFNLENBQUMsQ0FBQztZQUN6QyxPQUFPO2dCQUNMLFlBQVksRUFBRSxNQUFNO2dCQUNwQixLQUFLLEVBQUUsY0FBYyxFQUFFO2FBQ3hCLENBQUM7UUFDSixDQUFDO1FBQ0QsaUZBQWlGO1FBQ2pGLHNGQUFzRjtRQUN0RixNQUFNLE1BQU0sR0FBRyxNQUFNLG9CQUFvQixDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2xELE9BQU87WUFDTCxZQUFZLEVBQUUsTUFBTTtZQUNwQixLQUFLLEVBQUUsY0FBYyxFQUFFO1NBQ3hCLENBQUM7SUFDSixDQUFDO0lBRU0sS0FBSyxDQUFDLHFCQUFxQixDQUFDLGNBQXNDLEVBQUUsUUFBZ0I7UUFDekYsTUFBTSxTQUFTLEdBQUcsR0FBRyxJQUFJLENBQUMsa0JBQWtCLElBQUksV0FBVyxDQUFDLENBQUMsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxLQUFLLENBQUMsRUFBRSxDQUFDO1FBQ2pGLE1BQU0sRUFBRSxDQUFDLEtBQUssQ0FBQyxTQUFTLEVBQUUsRUFBRSxTQUFTLEVBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQztRQUMvQyxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxzQkFBc0IsU0FBUyxFQUFFLENBQUMsQ0FBQztRQUNsRCxJQUFJLENBQUM7WUFDSCxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxxQkFBcUIsQ0FBQyxDQUFDO1lBQ3RDLE1BQU0sS0FBSyxHQUFHLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxTQUFTLEVBQUUsY0FBYyxFQUFFLFFBQVEsRUFBRSxLQUFLLENBQUMsQ0FBQztZQUNqRixPQUFPLElBQUksS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFDO1FBQzFCLENBQUM7Z0JBQVMsQ0FBQztZQUNULE1BQU0sRUFBRSxDQUFDLEVBQUUsQ0FBQyxTQUFTLEVBQUUsRUFBRSxTQUFTLEVBQUUsSUFBSSxFQUFFLEtBQUssRUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUFDO1lBQ3pELElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLHNCQUFzQixTQUFTLEVBQUUsQ0FBQyxDQUFDO1FBQ3BELENBQUM7SUFDSCxDQUFDO0lBRUQ7Ozs7T0FJRztJQUNJLEtBQUssQ0FBQyxXQUFXLENBQUMsV0FBbUMsRUFBRSxLQUFZO1FBQ3hFLG9EQUFvRDtRQUNwRCxNQUFNLGtCQUFrQixHQUFHLEdBQUcsSUFBSSxDQUFDLGtCQUFrQixJQUFJLFdBQVcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQztRQUMxRixNQUFNLEVBQUUsQ0FBQyxLQUFLLENBQUMsa0JBQWtCLEVBQUUsRUFBRSxTQUFTLEVBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQztRQUV4RCxNQUFNLGFBQWEsR0FBRyxHQUFHLGtCQUFrQixRQUFRLENBQUM7UUFDcEQsTUFBTSxtQkFBbUIsR0FBRyxHQUFHLGtCQUFrQixLQUFLLENBQUM7UUFDdkQsTUFBTSxlQUFlLEdBQUcsTUFBTSxJQUFJLENBQUMsZ0NBQWdDLENBQUMsV0FBVyxDQUFDLENBQUM7UUFFakYsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsdUJBQXVCLGVBQWUsQ0FBQyxJQUFJLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxDQUFDO1FBRXpFLE1BQU0sRUFBRSxDQUFDLFNBQVMsQ0FBQyxhQUFhLEVBQUUsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2hELE1BQU0sRUFBRSxDQUFDLFNBQVMsQ0FBQyxtQkFBbUIsRUFBRSxlQUFlLENBQUMsVUFBVSxDQUFDLENBQUM7UUFFcEUsTUFBTSxXQUFXLEdBQUcsQ0FBQyxPQUFlLEVBQUUsRUFBRTtZQUN0QyxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxHQUFHLFdBQVcsYUFBYSxPQUFPLEVBQUUsQ0FBQyxDQUFDO1FBQ3ZELENBQUMsQ0FBQztRQUVGLE1BQU0sTUFBTSxHQUFHLE1BQU0sV0FBVyxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsYUFBYSxFQUFFLG1CQUFvQixFQUFFLFdBQVcsQ0FBQyxDQUFDO1FBRXRHLE1BQU0sRUFBRSxDQUFDLEVBQUUsQ0FBQyxrQkFBa0IsRUFBRSxFQUFFLFNBQVMsRUFBRSxJQUFJLEVBQUUsS0FBSyxFQUFFLElBQUksRUFBRSxDQUFDLENBQUM7UUFFbEUsSUFBSSxNQUFNLENBQUMsTUFBTSxLQUFLLFNBQVMsQ0FBQyxPQUFPLEVBQUUsQ0FBQztZQUN4QyxNQUFNLFlBQVksR0FBRyxvQkFBb0IsV0FBVyxTQUFTLENBQUM7WUFDOUQsTUFBTSxJQUFJLEtBQUssQ0FBQyxZQUFZLENBQUMsQ0FBQztRQUNoQyxDQUFDO1FBRUQsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMseUJBQXlCLFdBQVcsYUFBYSxNQUFNLENBQUMsUUFBUSxLQUFLLENBQUMsQ0FBQztJQUN2RixDQUFDO0lBRUQ7Ozs7T0FJRztJQUNLLEtBQUssQ0FBQyxnQ0FBZ0MsQ0FBQyxXQUFtQztRQUNoRixJQUFJLE9BQU8sR0FBRyxJQUFJLENBQUMsZ0JBQWdCLENBQUMsR0FBRyxDQUFDLFdBQVcsQ0FBQyxDQUFDO1FBQ3JELElBQUksQ0FBQyxPQUFPLEVBQUUsQ0FBQztZQUNiLE9BQU8sR0FBRyx5QkFBeUIsQ0FDakMsSUFBSSxDQUFDLFlBQVksRUFDakIsSUFBSSxDQUFDLGtCQUFrQixFQUN2QixXQUFXLEVBQ1gsc0JBQXNCLENBQUMsV0FBVyxDQUFDLEVBQ25DLElBQUksRUFDSixJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FDZixDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsRUFBRTtnQkFDZCxJQUFJLE1BQU0sQ0FBQyxNQUFNLEtBQUssU0FBUyxDQUFDLE9BQU8sRUFBRSxDQUFDO29CQUN4QyxNQUFNLElBQUksS0FBSyxDQUFDLDJDQUEyQyxXQUFXLEtBQUssTUFBTSxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUM7Z0JBQzlGLENBQUM7Z0JBQ0QsT0FBTyxJQUFJLENBQUMsU0FBUyxDQUFDLE1BQU0sQ0FBQyxNQUFPLENBQUMsQ0FBQztZQUN4QyxDQUFDLENBQUMsQ0FBQztZQUNILElBQUksQ0FBQyxnQkFBZ0IsQ0FBQyxHQUFHLENBQUMsV0FBVyxFQUFFLE9BQU8sQ0FBQyxDQUFDO1FBQ2xELENBQUM7UUFDRCxPQUFPLE1BQU0sT0FBTyxDQUFDO0lBQ3ZCLENBQUM7SUFFRDs7OztPQUlHO0lBQ0ssS0FBSyxDQUFDLFNBQVMsQ0FBQyxRQUFnQjtRQUN0QyxNQUFNLENBQUMsU0FBUyxFQUFFLFNBQVMsQ0FBQyxHQUFHLE1BQU0sT0FBTyxDQUFDLEdBQUcsQ0FBQztZQUMvQyxFQUFFLENBQUMsUUFBUSxDQUFDLEdBQUcsUUFBUSxJQUFJLGtCQUFrQixFQUFFLEVBQUUsRUFBRSxRQUFRLEVBQUUsT0FBTyxFQUFFLENBQUM7WUFDdkUsRUFBRSxDQUFDLFFBQVEsQ0FBQyxHQUFHLFFBQVEsSUFBSSxXQUFXLEVBQUUsQ0FBQztTQUMxQyxDQUFDLENBQUM7UUFDSCxNQUFNLFVBQVUsR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLFNBQVMsQ0FBQyxDQUFDO1FBQ3pDLE1BQU0sTUFBTSxHQUFHLFVBQVUsQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLFVBQVUsQ0FBQyxDQUFDO1FBQzdDLGdFQUFnRTtRQUNoRSxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDekIsTUFBTSxRQUFRLEdBQUcsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUNqQyxNQUFNLEVBQUUsR0FBd0I7WUFDOUIsSUFBSSxFQUFFLE1BQU07WUFDWixXQUFXLEVBQUUsUUFBK0Q7WUFDNUUsVUFBVSxFQUFFLFNBQVM7WUFDckIsZUFBZSxFQUFFLE1BQU0sQ0FBQyxRQUFRLENBQUMsMkJBQTJCLENBQUMsQ0FBQztZQUM5RCxXQUFXLEVBQUUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDO1lBQ2pELFdBQVcsRUFBRSxRQUFRLENBQUMsdUJBQXVCLENBQUMsSUFBSSxFQUFFLENBQUMsR0FBRztTQUN6RCxDQUFDO1FBQ0YsT0FBTyxFQUFFLENBQUM7SUFDWixDQUFDO0lBRUQ7Ozs7T0FJRztJQUNLLEtBQUssQ0FBQywrQkFBK0IsQ0FBQyxRQUFnQixFQUFFLFdBQW1DO1FBQ2pHLElBQUksT0FBTyxHQUFHLElBQUksQ0FBQyxnQkFBZ0IsQ0FBQyxHQUFHLENBQUMsV0FBVyxDQUFDLENBQUM7UUFDckQsSUFBSSxDQUFDLE9BQU8sRUFBRSxDQUFDO1lBQ2IsT0FBTyxHQUFHLElBQUksQ0FBQyxTQUFTLENBQUMsUUFBUSxDQUFDLENBQUM7WUFDbkMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMseUNBQXlDLFdBQVcsRUFBRSxDQUFDLENBQUM7WUFDdkUsSUFBSSxDQUFDLGdCQUFnQixDQUFDLEdBQUcsQ0FBQyxXQUFXLEVBQUUsT0FBTyxDQUFDLENBQUM7UUFDbEQsQ0FBQztRQUNELE1BQU0sT0FBTyxDQUFDO0lBQ2hCLENBQUM7SUFFTyxLQUFLLENBQUMsZUFBZSxDQUFJLE1BQWtCLEVBQUUsV0FBbUM7UUFDdEYsTUFBTSxTQUFTLEdBQUcsR0FBRyxJQUFJLENBQUMsa0JBQWtCLElBQUksV0FBVyxDQUFDLENBQUMsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxLQUFLLENBQUMsRUFBRSxDQUFDO1FBQ2pGLE1BQU0sRUFBRSxDQUFDLEtBQUssQ0FBQyxTQUFTLEVBQUUsRUFBRSxTQUFTLEVBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQztRQUMvQyxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxzQkFBc0IsU0FBUyxFQUFFLENBQUMsQ0FBQztRQUNsRCxJQUFJLENBQUM7WUFDSCxPQUFPLE1BQU0sSUFBSSxDQUFDLDZCQUE2QixDQUFDLE1BQU0sRUFBRSxXQUFXLEVBQUUsU0FBUyxDQUFDLENBQUM7UUFDbEYsQ0FBQztnQkFBUyxDQUFDO1lBQ1QsTUFBTSxFQUFFLENBQUMsRUFBRSxDQUFDLFNBQVMsRUFBRSxFQUFFLFNBQVMsRUFBRSxJQUFJLEVBQUUsS0FBSyxFQUFFLElBQUksRUFBRSxDQUFDLENBQUM7WUFDekQsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsc0JBQXNCLFNBQVMsRUFBRSxDQUFDLENBQUM7UUFDcEQsQ0FBQztJQUNILENBQUM7SUFFTyxLQUFLLENBQUMsNkJBQTZCLENBQ3pDLE1BQWtCLEVBQ2xCLFdBQW1DLEVBQ25DLFNBQWlCO1FBRWpCLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLDBCQUEwQixXQUFXLEVBQUUsQ0FBQyxDQUFDO1FBQ3hELE1BQU0sZUFBZSxHQUF3QixzQkFBc0IsQ0FBQyxXQUFXLENBQUMsQ0FBQztRQUVqRixNQUFNLGFBQWEsR0FBRyxNQUFNLElBQUksQ0FBQyxTQUFTLENBQUMsZUFBZSxDQUFDLE1BQU0sRUFBRSxlQUFlLENBQUMsQ0FBQztRQUVwRixJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyx5QkFBeUIsV0FBVyxFQUFFLENBQUMsQ0FBQztRQUV2RCxNQUFNLFlBQVksR0FBRyxxQkFBcUIsQ0FBQyxXQUFXLENBQUMsQ0FBQyxjQUFjLENBQUMsYUFBYSxDQUFNLENBQUM7UUFFM0YsTUFBTSxXQUFXLEdBQUcsTUFBTSxJQUFJLENBQUMsV0FBVyxDQUN4QyxTQUFTLEVBQ1QsYUFBYSxFQUNiLE1BQU0sQ0FBQyxJQUFJLENBQUMsZUFBZSxDQUFDLFFBQVEsRUFBRSxRQUFRLENBQUMsRUFDL0MsV0FBVyxDQUNaLENBQUM7UUFFRixNQUFNLFdBQVcsR0FBbUI7WUFDbEMsWUFBWTtZQUNaLEtBQUssRUFBRSxJQUFJLEtBQUssQ0FBQyxXQUFXLENBQUM7U0FDOUIsQ0FBQztRQUNGLE9BQU8sV0FBVyxDQUFDO0lBQ3JCLENBQUM7SUFFTyxLQUFLLENBQUMsV0FBVyxDQUN2QixTQUFpQixFQUNqQixjQUEwQixFQUMxQixRQUFnQixFQUNoQixXQUEyQztRQUUzQyxNQUFNLHlCQUF5QixHQUFHLGdCQUFnQixDQUFDLGNBQWMsQ0FBQyxDQUFDO1FBRW5FLE1BQU0saUJBQWlCLEdBQUcsR0FBRyxTQUFTLGFBQWEsQ0FBQztRQUVwRCxNQUFNLEVBQUUsQ0FBQyxTQUFTLENBQUMsaUJBQWlCLEVBQUUseUJBQXlCLENBQUMsQ0FBQztRQUVqRSxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxXQUFXLGlCQUFpQixFQUFFLENBQUMsQ0FBQztRQUUvQyxNQUFNLGFBQWEsR0FBRyxNQUFNLGFBQWEsQ0FDdkMsSUFBSSxDQUFDLFlBQVksRUFDakIsU0FBUyxFQUNULFdBQVcsRUFDWCxRQUFRLEVBQ1IsaUJBQWlCLEVBQ2pCLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUNmLENBQUM7UUFFRixJQUFJLGFBQWEsQ0FBQyxNQUFNLEtBQUssU0FBUyxDQUFDLE9BQU8sRUFBRSxDQUFDO1lBQy9DLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLGdDQUFnQyxXQUFXLEtBQUssYUFBYSxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUM7WUFDdkYsTUFBTSxJQUFJLEtBQUssQ0FBQyxhQUFhLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDeEMsQ0FBQztRQUVELElBQUksV0FBVyxLQUFLLEtBQUssRUFBRSxDQUFDO1lBQzFCLE1BQU0sSUFBSSxDQUFDLCtCQUErQixDQUFDLFNBQVMsRUFBRSxXQUFXLENBQUMsQ0FBQztRQUNyRSxDQUFDO1FBQ0QsTUFBTSxTQUFTLEdBQUcsR0FBRyxTQUFTLElBQUksY0FBYyxFQUFFLENBQUM7UUFDbkQsT0FBTyxNQUFNLEVBQUUsQ0FBQyxRQUFRLENBQUMsU0FBUyxDQUFDLENBQUM7SUFDdEMsQ0FBQztDQWdDRiJ9

package/dest/kernel_prover/{proof_creator.d.ts → interface/proof_creator.d.ts}

@@ -1,33 +1,21 @@
+/// <reference types="node" resolution-mode="require"/>
 import { type PrivateCircuitPublicInputs, type PrivateKernelCircuitPublicInputs, type PrivateKernelInitCircuitPrivateInputs, type PrivateKernelInnerCircuitPrivateInputs, type PrivateKernelTailCircuitPrivateInputs, type PrivateKernelTailCircuitPublicInputs, type Proof } from '@aztec/circuits.js';
 import { type Fr } from '@aztec/foundation/fields';
+import { type ACVMField } from '@aztec/simulator';
 /**
  * Represents the output of the proof creation process for init and inner private kernel circuit.
  * Contains the public inputs required for the init and inner private kernel circuit and the generated proof.
  */
-export interface ProofOutput {
+export type ProofOutput<PublicInputsType> = {
     /**
      * The public inputs required for the proof generation process.
      */
-    publicInputs: PrivateKernelCircuitPublicInputs;
+    publicInputs: PublicInputsType;
     /**
      * The zk-SNARK proof for the kernel execution.
      */
     proof: Proof;
-}
-/**
- * Represents the output of the proof creation process for final ordering private kernel circuit.
- * Contains the public inputs required for the final ordering private kernel circuit and the generated proof.
- */
-export interface ProofOutputFinal {
-    /**
-     * The public inputs required for the proof generation process.
-     */
-    publicInputs: PrivateKernelTailCircuitPublicInputs;
-    /**
-     * The zk-SNARK proof for the kernel execution.
-     */
-    proof: Proof;
-}
+};
 /**
  * ProofCreator provides functionality to create and validate proofs, and retrieve
  * siloed commitments necessary for maintaining transaction privacy and security on the network.
@@ -46,35 +34,28 @@ export interface ProofCreator {
      * @param privateKernelInputsInit - The private data structure for the initial iteration.
      * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
      */
-    createProofInit(privateKernelInputsInit: PrivateKernelInitCircuitPrivateInputs): Promise<ProofOutput>;
+    createProofInit(privateKernelInputsInit: PrivateKernelInitCircuitPrivateInputs): Promise<ProofOutput<PrivateKernelCircuitPublicInputs>>;
     /**
      * Creates a proof output for a given previous kernel data and private call data for an inner iteration.
      *
      * @param privateKernelInputsInner - The private input data structure for the inner iteration.
      * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
      */
-    createProofInner(privateKernelInputsInner: PrivateKernelInnerCircuitPrivateInputs): Promise<ProofOutput>;
+    createProofInner(privateKernelInputsInner: PrivateKernelInnerCircuitPrivateInputs): Promise<ProofOutput<PrivateKernelCircuitPublicInputs>>;
     /**
      * Creates a proof output based on the last inner kernel iteration kernel data for the final ordering iteration.
      *
      * @param privateKernelInputsTail - The private input data structure for the final ordering iteration.
      * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
      */
-    createProofTail(privateKernelInputsTail: PrivateKernelTailCircuitPrivateInputs): Promise<ProofOutputFinal>;
-}
-/**
- * The KernelProofCreator class is responsible for generating siloed commitments and zero-knowledge proofs
- * for private kernel circuit. It leverages Barretenberg to perform cryptographic operations and proof creation.
- * The class provides methods to compute commitments based on the given public inputs and to generate proofs based on
- * signed transaction requests, previous kernel data, private call data, and a flag indicating whether it's the first
- * iteration or not.
- */
-export declare class KernelProofCreator implements ProofCreator {
-    private log;
-    constructor(log?: import("@aztec/foundation/log").Logger);
-    getSiloedCommitments(publicInputs: PrivateCircuitPublicInputs): Promise<Fr[]>;
-    createProofInit(privateInputs: PrivateKernelInitCircuitPrivateInputs): Promise<ProofOutput>;
-    createProofInner(privateInputs: PrivateKernelInnerCircuitPrivateInputs): Promise<ProofOutput>;
-    createProofTail(privateInputs: PrivateKernelTailCircuitPrivateInputs): Promise<ProofOutputFinal>;
+    createProofTail(privateKernelInputsTail: PrivateKernelTailCircuitPrivateInputs): Promise<ProofOutput<PrivateKernelTailCircuitPublicInputs>>;
+    /**
+     * Creates a proof for an app circuit.
+     *
+     * @param partialWitness - The witness produced via circuit simulation
+     * @param bytecode - The circuit bytecode in gzipped bincode format
+     * @returns A Promise resolving to a Proof object
+     */
+    createAppCircuitProof(partialWitness: Map<number, ACVMField>, bytecode: Buffer): Promise<Proof>;
 }
 //# sourceMappingURL=proof_creator.d.ts.map

package/dest/kernel_prover/interface/proof_creator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof_creator.d.ts","sourceRoot":"","sources":["../../../src/kernel_prover/interface/proof_creator.ts"],"names":[],"mappings":";AAAA,OAAO,EACL,KAAK,0BAA0B,EAC/B,KAAK,gCAAgC,EACrC,KAAK,qCAAqC,EAC1C,KAAK,sCAAsC,EAC3C,KAAK,qCAAqC,EAC1C,KAAK,oCAAoC,EACzC,KAAK,KAAK,EACX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,gBAAgB,IAAI;IAC1C;;OAEG;IACH,YAAY,EAAE,gBAAgB,CAAC;IAC/B;;OAEG;IACH,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,oBAAoB,CAAC,YAAY,EAAE,0BAA0B,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IAE9E;;;;;OAKG;IACH,eAAe,CACb,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,WAAW,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1D;;;;;OAKG;IACH,gBAAgB,CACd,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,WAAW,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1D;;;;;OAKG;IACH,eAAe,CACb,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,WAAW,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAE9D;;;;;;OAMG;IACH,qBAAqB,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;CACjG"}

package/dest/kernel_prover/interface/proof_creator.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvb2ZfY3JlYXRvci5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9rZXJuZWxfcHJvdmVyL2ludGVyZmFjZS9wcm9vZl9jcmVhdG9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiIifQ==

package/dest/kernel_prover/kernel_prover.d.ts

@@ -1,6 +1,6 @@
-import { type TxRequest } from '@aztec/circuits.js';
+import { type PrivateKernelTailCircuitPublicInputs, type TxRequest } from '@aztec/circuits.js';
 import { type ExecutionResult } from '@aztec/simulator';
-import { type ProofCreator, type ProofOutputFinal } from './proof_creator.js';
+import { type ProofCreator, type ProofOutput } from './interface/proof_creator.js';
 import { type ProvingDataOracle } from './proving_data_oracle.js';
 /**
  * The KernelProver class is responsible for generating kernel proofs.
@@ -12,7 +12,7 @@ export declare class KernelProver {
     private oracle;
     private proofCreator;
     private log;
-    constructor(oracle: ProvingDataOracle, proofCreator?: ProofCreator);
+    constructor(oracle: ProvingDataOracle, proofCreator: ProofCreator);
     /**
      * Generate a proof for a given transaction request and execution result.
      * The function iterates through the nested executions in the execution result, creates private call data,
@@ -23,7 +23,7 @@ export declare class KernelProver {
      * @param executionResult - The execution result object containing nested executions and preimages.
      * @returns A Promise that resolves to a KernelProverOutput object containing proof, public inputs, and output notes.
      */
-    prove(txRequest: TxRequest, executionResult: ExecutionResult): Promise<ProofOutputFinal>;
+    prove(txRequest: TxRequest, executionResult: ExecutionResult): Promise<ProofOutput<PrivateKernelTailCircuitPublicInputs>>;
     private createPrivateCallData;
 }
 //# sourceMappingURL=kernel_prover.d.ts.map

package/dest/kernel_prover/kernel_prover.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"kernel_prover.d.ts","sourceRoot":"","sources":["../../src/kernel_prover/kernel_prover.ts"],"names":[],"mappings":"AAAA,OAAO,EAaL,KAAK,SAAS,EAIf,MAAM,oBAAoB,CAAC;AAM5B,OAAO,EAAE,KAAK,eAAe,EAAoC,MAAM,kBAAkB,CAAC;AAO1F,OAAO,EAAsB,KAAK,YAAY,EAAoB,KAAK,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACpH,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAElE;;;;;GAKG;AACH,qBAAa,YAAY;IAEX,OAAO,CAAC,MAAM;IAAqB,OAAO,CAAC,YAAY;IADnE,OAAO,CAAC,GAAG,CAA4C;gBACnC,MAAM,EAAE,iBAAiB,EAAU,YAAY,GAAE,YAAuC;IAE5G;;;;;;;;;OASG;IACG,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,eAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC;YA2GhF,qBAAqB;CAoDpC"}
+{"version":3,"file":"kernel_prover.d.ts","sourceRoot":"","sources":["../../src/kernel_prover/kernel_prover.ts"],"names":[],"mappings":"AAAA,OAAO,EAWL,KAAK,oCAAoC,EAEzC,KAAK,SAAS,EAIf,MAAM,oBAAoB,CAAC;AAK5B,OAAO,EAAE,KAAK,eAAe,EAAiE,MAAM,kBAAkB,CAAC;AAEvH,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAMnF,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAElE;;;;;GAKG;AACH,qBAAa,YAAY;IAGX,OAAO,CAAC,MAAM;IAAqB,OAAO,CAAC,YAAY;IAFnE,OAAO,CAAC,GAAG,CAA4C;gBAEnC,MAAM,EAAE,iBAAiB,EAAU,YAAY,EAAE,YAAY;IAEjF;;;;;;;;;OASG;IACG,KAAK,CACT,SAAS,EAAE,SAAS,EACpB,eAAe,EAAE,eAAe,GAC/B,OAAO,CAAC,WAAW,CAAC,oCAAoC,CAAC,CAAC;YAmF/C,qBAAqB;CA4CpC"}