@aztec/noir-protocol-circuits-types 0.24.0

package/README.md

@@ -0,0 +1 @@
+# Noir Private Kernel

package/dest/index.d.ts

@@ -0,0 +1,69 @@
+import { BaseOrMergeRollupPublicInputs, BaseRollupInputs, MergeRollupInputs, PrivateKernelInitCircuitPrivateInputs, PrivateKernelInnerCircuitPrivateInputs, PrivateKernelInnerCircuitPublicInputs, PrivateKernelTailCircuitPrivateInputs, PrivateKernelTailCircuitPublicInputs, PublicKernelCircuitPrivateInputs, PublicKernelCircuitPublicInputs, RootRollupInputs, RootRollupPublicInputs } from '@aztec/circuits.js';
+import { NoirCompiledCircuit } from '@aztec/types/noir';
+/**
+ * The decoded inputs from the circuit.
+ */
+export type DecodedInputs = {
+    /**
+     * The inputs to the circuit
+     */
+    inputs: Record<string, any>;
+    /**
+     * The return value of the circuit
+     */
+    return_value: any;
+};
+export declare const PrivateKernelInitArtifact: NoirCompiledCircuit;
+export declare const PrivateKernelInnerArtifact: NoirCompiledCircuit;
+export declare const PrivateKernelOrderingArtifact: NoirCompiledCircuit;
+export declare const PublicKernelPrivatePreviousArtifact: NoirCompiledCircuit;
+export declare const PublicKernelPublicPreviousArtifact: NoirCompiledCircuit;
+/**
+ * Executes the init private kernel.
+ * @param privateKernelInitCircuitPrivateInputs - The private inputs to the initial private kernel.
+ * @returns The public inputs.
+ */
+export declare function executeInit(privateKernelInitCircuitPrivateInputs: PrivateKernelInitCircuitPrivateInputs): Promise<PrivateKernelInnerCircuitPublicInputs>;
+/**
+ * Executes the inner private kernel.
+ * @param privateKernelInnerCircuitPrivateInputs - The private inputs to the inner private kernel.
+ * @returns The public inputs.
+ */
+export declare function executeInner(privateKernelInnerCircuitPrivateInputs: PrivateKernelInnerCircuitPrivateInputs): Promise<PrivateKernelInnerCircuitPublicInputs>;
+/**
+ * Executes the tail private kernel.
+ * @param privateKernelInnerCircuitPrivateInputs - The private inputs to the tail private kernel.
+ * @returns The public inputs.
+ */
+export declare function executeTail(privateKernelInnerCircuitPrivateInputs: PrivateKernelTailCircuitPrivateInputs): Promise<PrivateKernelTailCircuitPublicInputs>;
+/**
+ * Executes the public kernel in the setup phase.
+ * @param publicKernelPrivateInputs - The public kernel setup circuit private inputs.
+ * @returns The public inputs.
+ */
+export declare function executePublicKernelSetup(publicKernelPrivateInputs: PublicKernelCircuitPrivateInputs): Promise<PublicKernelCircuitPublicInputs>;
+/**
+ * Executes the public kernel in the app logic phase.
+ * @param publicKernelPrivateInputs - The public kernel app logic circuit private inputs.
+ * @returns The public inputs.
+ */
+export declare function executePublicKernelAppLogic(publicKernelPrivateInputs: PublicKernelCircuitPrivateInputs): Promise<PublicKernelCircuitPublicInputs>;
+/**
+ * Executes the root rollup.
+ * @param rootRollupInputs - The root rollup inputs.
+ * @returns The public inputs.
+ */
+export declare function executeRootRollup(rootRollupInputs: RootRollupInputs): Promise<RootRollupPublicInputs>;
+/**
+ * Executes the merge rollup.
+ * @param mergeRollupInputs - The merge rollup inputs.
+ * @returns The public inputs.
+ */
+export declare function executeMergeRollup(mergeRollupInputs: MergeRollupInputs): Promise<BaseOrMergeRollupPublicInputs>;
+/**
+ * Executes the base rollup.
+ * @param mergeRollupInputs - The merge rollup inputs.
+ * @returns The public inputs.
+ */
+export declare function executeBaseRollup(baseRollupInputs: BaseRollupInputs): Promise<BaseOrMergeRollupPublicInputs>;
+//# sourceMappingURL=index.d.ts.map

package/dest/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,EAChB,iBAAiB,EACjB,qCAAqC,EACrC,sCAAsC,EACtC,qCAAqC,EACrC,qCAAqC,EACrC,oCAAoC,EACpC,gCAAgC,EAChC,+BAA+B,EAC/B,gBAAgB,EAChB,sBAAsB,EACvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAgDxD;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B;;OAEG;IACH,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B;;OAEG;IACH,YAAY,EAAE,GAAG,CAAC;CACnB,CAAC;AAEF,eAAO,MAAM,yBAAyB,qBAA+C,CAAC;AAEtF,eAAO,MAAM,0BAA0B,qBAAgD,CAAC;AAExF,eAAO,MAAM,6BAA6B,qBAA+C,CAAC;AAE1F,eAAO,MAAM,mCAAmC,qBAAyD,CAAC;AAE1G,eAAO,MAAM,kCAAkC,qBAAwD,CAAC;AAExG;;;;GAIG;AACH,wBAAsB,WAAW,CAC/B,qCAAqC,EAAE,qCAAqC,GAC3E,OAAO,CAAC,qCAAqC,CAAC,CAQhD;AAWD;;;;GAIG;AACH,wBAAsB,YAAY,CAChC,sCAAsC,EAAE,sCAAsC,GAC7E,OAAO,CAAC,qCAAqC,CAAC,CAQhD;AAED;;;;GAIG;AACH,wBAAsB,WAAW,CAC/B,sCAAsC,EAAE,qCAAqC,GAC5E,OAAO,CAAC,oCAAoC,CAAC,CAQ/C;AAED;;;;GAIG;AACH,wBAAsB,wBAAwB,CAC5C,yBAAyB,EAAE,gCAAgC,GAC1D,OAAO,CAAC,+BAA+B,CAAC,CAQ1C;AAED;;;;GAIG;AACH,wBAAsB,2BAA2B,CAC/C,yBAAyB,EAAE,gCAAgC,GAC1D,OAAO,CAAC,+BAA+B,CAAC,CAQ1C;AAED;;;;GAIG;AACH,wBAAsB,iBAAiB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAQ3G;AAED;;;;GAIG;AACH,wBAAsB,kBAAkB,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,OAAO,CAAC,6BAA6B,CAAC,CAQrH;AAED;;;;GAIG;AACH,wBAAsB,iBAAiB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,6BAA6B,CAAC,CAQlH"}

package/dest/index.js

@@ -0,0 +1,268 @@
+import { createBlackBoxSolver, executeCircuitWithBlackBoxSolver } from '@noir-lang/acvm_js';
+import { abiDecode, abiEncode } from '@noir-lang/noirc_abi';
+import PrivateKernelInitJson from './target/private_kernel_init.json' assert { type: 'json' };
+import PrivateKernelInitSimulatedJson from './target/private_kernel_init_simulated.json' assert { type: 'json' };
+import PrivateKernelInnerJson from './target/private_kernel_inner.json' assert { type: 'json' };
+import PrivateKernelInnerSimulatedJson from './target/private_kernel_inner_simulated.json' assert { type: 'json' };
+import PrivateKernelTailJson from './target/private_kernel_tail.json' assert { type: 'json' };
+import PrivateKernelTailSimulatedJson from './target/private_kernel_tail_simulated.json' assert { type: 'json' };
+import PublicKernelPublicPreviousJson from './target/public_kernel_app_logic.json' assert { type: 'json' };
+import PublicKernelPublicPreviousSimulatedJson from './target/public_kernel_app_logic_simulated.json' assert { type: 'json' };
+import PublicKernelPrivatePreviousJson from './target/public_kernel_setup.json' assert { type: 'json' };
+import PublicKernelPrivatePreviousSimulatedJson from './target/public_kernel_setup_simulated.json' assert { type: 'json' };
+import BaseRollupSimulatedJson from './target/rollup_base_simulated.json' assert { type: 'json' };
+import MergeRollupJson from './target/rollup_merge.json' assert { type: 'json' };
+import RootRollupJson from './target/rollup_root.json' assert { type: 'json' };
+import { mapBaseOrMergeRollupPublicInputsFromNoir, mapBaseRollupInputsToNoir, mapMergeRollupInputsToNoir, mapPrivateKernelInitCircuitPrivateInputsToNoir, mapPrivateKernelInnerCircuitPrivateInputsToNoir, mapPrivateKernelInnerCircuitPublicInputsFromNoir, mapPrivateKernelTailCircuitPrivateInputsToNoir, mapPrivateKernelTailCircuitPublicInputsFromNoir, mapPublicKernelCircuitPrivateInputsToNoir, mapPublicKernelCircuitPublicInputsFromNoir, mapRootRollupInputsToNoir, mapRootRollupPublicInputsFromNoir, } from './type_conversion.js';
+export const PrivateKernelInitArtifact = PrivateKernelInitJson;
+export const PrivateKernelInnerArtifact = PrivateKernelInnerJson;
+export const PrivateKernelOrderingArtifact = PrivateKernelTailJson;
+export const PublicKernelPrivatePreviousArtifact = PublicKernelPrivatePreviousJson;
+export const PublicKernelPublicPreviousArtifact = PublicKernelPublicPreviousJson;
+/**
+ * Executes the init private kernel.
+ * @param privateKernelInitCircuitPrivateInputs - The private inputs to the initial private kernel.
+ * @returns The public inputs.
+ */
+export async function executeInit(privateKernelInitCircuitPrivateInputs) {
+    const params = {
+        input: mapPrivateKernelInitCircuitPrivateInputsToNoir(privateKernelInitCircuitPrivateInputs),
+    };
+    const returnType = await executePrivateKernelInitWithACVM(params);
+    return mapPrivateKernelInnerCircuitPublicInputsFromNoir(returnType);
+}
+let solver;
+const getSolver = () => {
+    if (!solver) {
+        solver = createBlackBoxSolver();
+    }
+    return solver;
+};
+/**
+ * Executes the inner private kernel.
+ * @param privateKernelInnerCircuitPrivateInputs - The private inputs to the inner private kernel.
+ * @returns The public inputs.
+ */
+export async function executeInner(privateKernelInnerCircuitPrivateInputs) {
+    const params = {
+        input: mapPrivateKernelInnerCircuitPrivateInputsToNoir(privateKernelInnerCircuitPrivateInputs),
+    };
+    const returnType = await executePrivateKernelInnerWithACVM(params);
+    return mapPrivateKernelInnerCircuitPublicInputsFromNoir(returnType);
+}
+/**
+ * Executes the tail private kernel.
+ * @param privateKernelInnerCircuitPrivateInputs - The private inputs to the tail private kernel.
+ * @returns The public inputs.
+ */
+export async function executeTail(privateKernelInnerCircuitPrivateInputs) {
+    const params = {
+        input: mapPrivateKernelTailCircuitPrivateInputsToNoir(privateKernelInnerCircuitPrivateInputs),
+    };
+    const returnType = await executePrivateKernelTailWithACVM(params);
+    return mapPrivateKernelTailCircuitPublicInputsFromNoir(returnType);
+}
+/**
+ * Executes the public kernel in the setup phase.
+ * @param publicKernelPrivateInputs - The public kernel setup circuit private inputs.
+ * @returns The public inputs.
+ */
+export async function executePublicKernelSetup(publicKernelPrivateInputs) {
+    const params = {
+        input: mapPublicKernelCircuitPrivateInputsToNoir(publicKernelPrivateInputs),
+    };
+    const returnType = await executePublicKernelSetupWithACVM(params);
+    return mapPublicKernelCircuitPublicInputsFromNoir(returnType);
+}
+/**
+ * Executes the public kernel in the app logic phase.
+ * @param publicKernelPrivateInputs - The public kernel app logic circuit private inputs.
+ * @returns The public inputs.
+ */
+export async function executePublicKernelAppLogic(publicKernelPrivateInputs) {
+    const params = {
+        input: mapPublicKernelCircuitPrivateInputsToNoir(publicKernelPrivateInputs),
+    };
+    const returnType = await executePublicKernelAppLogicWithACVM(params);
+    return mapPublicKernelCircuitPublicInputsFromNoir(returnType);
+}
+/**
+ * Executes the root rollup.
+ * @param rootRollupInputs - The root rollup inputs.
+ * @returns The public inputs.
+ */
+export async function executeRootRollup(rootRollupInputs) {
+    const params = {
+        inputs: mapRootRollupInputsToNoir(rootRollupInputs),
+    };
+    const returnType = await executeRootRollupWithACVM(params);
+    return mapRootRollupPublicInputsFromNoir(returnType);
+}
+/**
+ * Executes the merge rollup.
+ * @param mergeRollupInputs - The merge rollup inputs.
+ * @returns The public inputs.
+ */
+export async function executeMergeRollup(mergeRollupInputs) {
+    const params = {
+        inputs: mapMergeRollupInputsToNoir(mergeRollupInputs),
+    };
+    const returnType = await executeMergeRollupWithACVM(params);
+    return mapBaseOrMergeRollupPublicInputsFromNoir(returnType);
+}
+/**
+ * Executes the base rollup.
+ * @param mergeRollupInputs - The merge rollup inputs.
+ * @returns The public inputs.
+ */
+export async function executeBaseRollup(baseRollupInputs) {
+    const params = {
+        inputs: mapBaseRollupInputsToNoir(baseRollupInputs),
+    };
+    const returnType = await executeBaseRollupWithACVM(params);
+    return mapBaseOrMergeRollupPublicInputsFromNoir(returnType);
+}
+/**
+ * Executes the init private kernel with the given inputs using the acvm.
+ *
+ */
+async function executePrivateKernelInitWithACVM(input) {
+    const initialWitnessMap = abiEncode(PrivateKernelInitSimulatedJson.abi, input);
+    // Execute the circuit on those initial witness values
+    //
+    // Decode the bytecode from base64 since the acvm does not know about base64 encoding
+    const decodedBytecode = Buffer.from(PrivateKernelInitSimulatedJson.bytecode, 'base64');
+    //
+    // Execute the circuit
+    const _witnessMap = await executeCircuitWithBlackBoxSolver(await getSolver(), decodedBytecode, initialWitnessMap, () => {
+        throw Error('unexpected oracle during execution');
+    });
+    // Decode the witness map into two fields, the return values and the inputs
+    const decodedInputs = abiDecode(PrivateKernelInitSimulatedJson.abi, _witnessMap);
+    // Cast the inputs as the return type
+    return decodedInputs.return_value;
+}
+/**
+ * Executes the inner private kernel with the given inputs using the acvm.
+ */
+async function executePrivateKernelInnerWithACVM(input) {
+    const initialWitnessMap = abiEncode(PrivateKernelInnerSimulatedJson.abi, input);
+    // Execute the circuit on those initial witness values
+    //
+    // Decode the bytecode from base64 since the acvm does not know about base64 encoding
+    const decodedBytecode = Buffer.from(PrivateKernelInnerSimulatedJson.bytecode, 'base64');
+    //
+    // Execute the circuit
+    const _witnessMap = await executeCircuitWithBlackBoxSolver(await getSolver(), decodedBytecode, initialWitnessMap, () => {
+        throw Error('unexpected oracle during execution');
+    });
+    // Decode the witness map into two fields, the return values and the inputs
+    const decodedInputs = abiDecode(PrivateKernelInnerSimulatedJson.abi, _witnessMap);
+    // Cast the inputs as the return type
+    return decodedInputs.return_value;
+}
+/**
+ * Executes the ordering private kernel with the given inputs using the acvm.
+ */
+async function executePrivateKernelTailWithACVM(input) {
+    const initialWitnessMap = abiEncode(PrivateKernelTailSimulatedJson.abi, input);
+    // Execute the circuit on those initial witness values
+    //
+    // Decode the bytecode from base64 since the acvm does not know about base64 encoding
+    const decodedBytecode = Buffer.from(PrivateKernelTailSimulatedJson.bytecode, 'base64');
+    //
+    // Execute the circuit
+    const _witnessMap = await executeCircuitWithBlackBoxSolver(await getSolver(), decodedBytecode, initialWitnessMap, () => {
+        throw Error('unexpected oracle during execution');
+    });
+    // Decode the witness map into two fields, the return values and the inputs
+    const decodedInputs = abiDecode(PrivateKernelTailSimulatedJson.abi, _witnessMap);
+    // Cast the inputs as the return type
+    return decodedInputs.return_value;
+}
+/**
+ * Executes the public kernel with private previous kernel with the given inputs
+ */
+async function executePublicKernelSetupWithACVM(input) {
+    const initialWitnessMap = abiEncode(PublicKernelPrivatePreviousSimulatedJson.abi, input);
+    const decodedBytecode = Buffer.from(PublicKernelPrivatePreviousSimulatedJson.bytecode, 'base64');
+    // Execute the circuit
+    const _witnessMap = await executeCircuitWithBlackBoxSolver(await getSolver(), decodedBytecode, initialWitnessMap, () => {
+        throw Error('unexpected oracle during execution');
+    });
+    // Decode the witness map into two fields, the return values and the inputs
+    const decodedInputs = abiDecode(PublicKernelPrivatePreviousSimulatedJson.abi, _witnessMap);
+    // Cast the inputs as the return type
+    return decodedInputs.return_value;
+}
+/**
+ * Executes the ordering private kernel with the given inputs using the acvm.
+ */
+async function executePublicKernelAppLogicWithACVM(input) {
+    const initialWitnessMap = abiEncode(PublicKernelPublicPreviousSimulatedJson.abi, input);
+    const decodedBytecode = Buffer.from(PublicKernelPublicPreviousSimulatedJson.bytecode, 'base64');
+    // Execute the circuit
+    const _witnessMap = await executeCircuitWithBlackBoxSolver(await getSolver(), decodedBytecode, initialWitnessMap, () => {
+        throw Error('unexpected oracle during execution');
+    });
+    // Decode the witness map into two fields, the return values and the inputs
+    const decodedInputs = abiDecode(PublicKernelPublicPreviousSimulatedJson.abi, _witnessMap);
+    // Cast the inputs as the return type
+    return decodedInputs.return_value;
+}
+/**
+ * Executes the root rollup with the given inputs using the acvm.
+ */
+async function executeRootRollupWithACVM(input) {
+    const initialWitnessMap = abiEncode(RootRollupJson.abi, input);
+    // Execute the circuit on those initial witness values
+    //
+    // Decode the bytecode from base64 since the acvm does not know about base64 encoding
+    const decodedBytecode = Buffer.from(RootRollupJson.bytecode, 'base64');
+    //
+    // Execute the circuit
+    const _witnessMap = await executeCircuitWithBlackBoxSolver(await getSolver(), decodedBytecode, initialWitnessMap, () => {
+        throw Error('unexpected oracle during execution');
+    });
+    const decodedInputs = abiDecode(RootRollupJson.abi, _witnessMap);
+    // Cast the inputs as the return type
+    return decodedInputs.return_value;
+}
+/**
+ * Executes the merge rollup with the given inputs using the acvm.
+ */
+async function executeMergeRollupWithACVM(input) {
+    const initialWitnessMap = abiEncode(MergeRollupJson.abi, input);
+    // Execute the circuit on those initial witness values
+    //
+    // Decode the bytecode from base64 since the acvm does not know about base64 encoding
+    const decodedBytecode = Buffer.from(MergeRollupJson.bytecode, 'base64');
+    //
+    // Execute the circuit
+    const _witnessMap = await executeCircuitWithBlackBoxSolver(await getSolver(), decodedBytecode, initialWitnessMap, () => {
+        throw Error('unexpected oracle during execution');
+    });
+    const decodedInputs = abiDecode(MergeRollupJson.abi, _witnessMap);
+    // Cast the inputs as the return type
+    return decodedInputs.return_value;
+}
+/**
+ * Executes the base rollup with the given inputs using the acvm.
+ */
+async function executeBaseRollupWithACVM(input) {
+    const initialWitnessMap = abiEncode(BaseRollupSimulatedJson.abi, input);
+    // Execute the circuit on those initial witness values
+    //
+    // Decode the bytecode from base64 since the acvm does not know about base64 encoding
+    const decodedBytecode = Buffer.from(BaseRollupSimulatedJson.bytecode, 'base64');
+    //
+    // Execute the circuit
+    const _witnessMap = await executeCircuitWithBlackBoxSolver(await getSolver(), decodedBytecode, initialWitnessMap, () => {
+        throw Error('unexpected oracle during execution');
+    });
+    // Decode the witness map into two fields, the return values and the inputs
+    const decodedInputs = abiDecode(BaseRollupSimulatedJson.abi, _witnessMap);
+    // Cast the inputs as the return type
+    return decodedInputs.return_value;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBZ0JBLE9BQU8sRUFBOEIsb0JBQW9CLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUN4SCxPQUFPLEVBQU8sU0FBUyxFQUFFLFNBQVMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBRWpFLE9BQU8scUJBQXFCLE1BQU0sbUNBQW1DLENBQUMsU0FBUyxJQUFJLEVBQUUsTUFBTSxFQUFFLENBQUM7QUFDOUYsT0FBTyw4QkFBOEIsTUFBTSw2Q0FBNkMsQ0FBQyxTQUFTLElBQUksRUFBRSxNQUFNLEVBQUUsQ0FBQztBQUNqSCxPQUFPLHNCQUFzQixNQUFNLG9DQUFvQyxDQUFDLFNBQVMsSUFBSSxFQUFFLE1BQU0sRUFBRSxDQUFDO0FBQ2hHLE9BQU8sK0JBQStCLE1BQU0sOENBQThDLENBQUMsU0FBUyxJQUFJLEVBQUUsTUFBTSxFQUFFLENBQUM7QUFDbkgsT0FBTyxxQkFBcUIsTUFBTSxtQ0FBbUMsQ0FBQyxTQUFTLElBQUksRUFBRSxNQUFNLEVBQUUsQ0FBQztBQUM5RixPQUFPLDhCQUE4QixNQUFNLDZDQUE2QyxDQUFDLFNBQVMsSUFBSSxFQUFFLE1BQU0sRUFBRSxDQUFDO0FBQ2pILE9BQU8sOEJBQThCLE1BQU0sdUNBQXVDLENBQUMsU0FBUyxJQUFJLEVBQUUsTUFBTSxFQUFFLENBQUM7QUFDM0csT0FBTyx1Q0FBdUMsTUFBTSxpREFBaUQsQ0FBQyxTQUFTLElBQUksRUFBRSxNQUFNLEVBQUUsQ0FBQztBQUM5SCxPQUFPLCtCQUErQixNQUFNLG1DQUFtQyxDQUFDLFNBQVMsSUFBSSxFQUFFLE1BQU0sRUFBRSxDQUFDO0FBQ3hHLE9BQU8sd0NBQXdDLE1BQU0sNkNBQTZDLENBQUMsU0FBUyxJQUFJLEVBQUUsTUFBTSxFQUFFLENBQUM7QUFDM0gsT0FBTyx1QkFBdUIsTUFBTSxxQ0FBcUMsQ0FBQyxTQUFTLElBQUksRUFBRSxNQUFNLEVBQUUsQ0FBQztBQUNsRyxPQUFPLGVBQWUsTUFBTSw0QkFBNEIsQ0FBQyxTQUFTLElBQUksRUFBRSxNQUFNLEVBQUUsQ0FBQztBQUNqRixPQUFPLGNBQWMsTUFBTSwyQkFBMkIsQ0FBQyxTQUFTLElBQUksRUFBRSxNQUFNLEVBQUUsQ0FBQztBQUMvRSxPQUFPLEVBQ0wsd0NBQXdDLEVBQ3hDLHlCQUF5QixFQUN6QiwwQkFBMEIsRUFDMUIsOENBQThDLEVBQzlDLCtDQUErQyxFQUMvQyxnREFBZ0QsRUFDaEQsOENBQThDLEVBQzlDLCtDQUErQyxFQUMvQyx5Q0FBeUMsRUFDekMsMENBQTBDLEVBQzFDLHlCQUF5QixFQUN6QixpQ0FBaUMsR0FDbEMsTUFBTSxzQkFBc0IsQ0FBQztBQStCOUIsTUFBTSxDQUFDLE1BQU0seUJBQXlCLEdBQUcscUJBQTRDLENBQUM7QUFFdEYsTUFBTSxDQUFDLE1BQU0sMEJBQTBCLEdBQUcsc0JBQTZDLENBQUM7QUFFeEYsTUFBTSxDQUFDLE1BQU0sNkJBQTZCLEdBQUcscUJBQTRDLENBQUM7QUFFMUYsTUFBTSxDQUFDLE1BQU0sbUNBQW1DLEdBQUcsK0JBQXNELENBQUM7QUFFMUcsTUFBTSxDQUFDLE1BQU0sa0NBQWtDLEdBQUcsOEJBQXFELENBQUM7QUFFeEc7Ozs7R0FJRztBQUNILE1BQU0sQ0FBQyxLQUFLLFVBQVUsV0FBVyxDQUMvQixxQ0FBNEU7SUFFNUUsTUFBTSxNQUFNLEdBQWtCO1FBQzVCLEtBQUssRUFBRSw4Q0FBOEMsQ0FBQyxxQ0FBcUMsQ0FBQztLQUM3RixDQUFDO0lBRUYsTUFBTSxVQUFVLEdBQUcsTUFBTSxnQ0FBZ0MsQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUVsRSxPQUFPLGdEQUFnRCxDQUFDLFVBQVUsQ0FBQyxDQUFDO0FBQ3RFLENBQUM7QUFFRCxJQUFJLE1BQTJDLENBQUM7QUFFaEQsTUFBTSxTQUFTLEdBQUcsR0FBd0MsRUFBRTtJQUMxRCxJQUFJLENBQUMsTUFBTSxFQUFFLENBQUM7UUFDWixNQUFNLEdBQUcsb0JBQW9CLEVBQUUsQ0FBQztJQUNsQyxDQUFDO0lBQ0QsT0FBTyxNQUFNLENBQUM7QUFDaEIsQ0FBQyxDQUFDO0FBRUY7Ozs7R0FJRztBQUNILE1BQU0sQ0FBQyxLQUFLLFVBQVUsWUFBWSxDQUNoQyxzQ0FBOEU7SUFFOUUsTUFBTSxNQUFNLEdBQW1CO1FBQzdCLEtBQUssRUFBRSwrQ0FBK0MsQ0FBQyxzQ0FBc0MsQ0FBQztLQUMvRixDQUFDO0lBRUYsTUFBTSxVQUFVLEdBQUcsTUFBTSxpQ0FBaUMsQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUVuRSxPQUFPLGdEQUFnRCxDQUFDLFVBQVUsQ0FBQyxDQUFDO0FBQ3RFLENBQUM7QUFFRDs7OztHQUlHO0FBQ0gsTUFBTSxDQUFDLEtBQUssVUFBVSxXQUFXLENBQy9CLHNDQUE2RTtJQUU3RSxNQUFNLE1BQU0sR0FBa0I7UUFDNUIsS0FBSyxFQUFFLDhDQUE4QyxDQUFDLHNDQUFzQyxDQUFDO0tBQzlGLENBQUM7SUFFRixNQUFNLFVBQVUsR0FBRyxNQUFNLGdDQUFnQyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0lBRWxFLE9BQU8sK0NBQStDLENBQUMsVUFBVSxDQUFDLENBQUM7QUFDckUsQ0FBQztBQUVEOzs7O0dBSUc7QUFDSCxNQUFNLENBQUMsS0FBSyxVQUFVLHdCQUF3QixDQUM1Qyx5QkFBMkQ7SUFFM0QsTUFBTSxNQUFNLEdBQXlCO1FBQ25DLEtBQUssRUFBRSx5Q0FBeUMsQ0FBQyx5QkFBeUIsQ0FBQztLQUM1RSxDQUFDO0lBRUYsTUFBTSxVQUFVLEdBQUcsTUFBTSxnQ0FBZ0MsQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUVsRSxPQUFPLDBDQUEwQyxDQUFDLFVBQVUsQ0FBQyxDQUFDO0FBQ2hFLENBQUM7QUFFRDs7OztHQUlHO0FBQ0gsTUFBTSxDQUFDLEtBQUssVUFBVSwyQkFBMkIsQ0FDL0MseUJBQTJEO0lBRTNELE1BQU0sTUFBTSxHQUFrQztRQUM1QyxLQUFLLEVBQUUseUNBQXlDLENBQUMseUJBQXlCLENBQUM7S0FDNUUsQ0FBQztJQUVGLE1BQU0sVUFBVSxHQUFHLE1BQU0sbUNBQW1DLENBQUMsTUFBTSxDQUFDLENBQUM7SUFFckUsT0FBTywwQ0FBMEMsQ0FBQyxVQUFVLENBQUMsQ0FBQztBQUNoRSxDQUFDO0FBRUQ7Ozs7R0FJRztBQUNILE1BQU0sQ0FBQyxLQUFLLFVBQVUsaUJBQWlCLENBQUMsZ0JBQWtDO0lBQ3hFLE1BQU0sTUFBTSxHQUF3QjtRQUNsQyxNQUFNLEVBQUUseUJBQXlCLENBQUMsZ0JBQWdCLENBQUM7S0FDcEQsQ0FBQztJQUVGLE1BQU0sVUFBVSxHQUFHLE1BQU0seUJBQXlCLENBQUMsTUFBTSxDQUFDLENBQUM7SUFFM0QsT0FBTyxpQ0FBaUMsQ0FBQyxVQUFVLENBQUMsQ0FBQztBQUN2RCxDQUFDO0FBRUQ7Ozs7R0FJRztBQUNILE1BQU0sQ0FBQyxLQUFLLFVBQVUsa0JBQWtCLENBQUMsaUJBQW9DO0lBQzNFLE1BQU0sTUFBTSxHQUF5QjtRQUNuQyxNQUFNLEVBQUUsMEJBQTBCLENBQUMsaUJBQWlCLENBQUM7S0FDdEQsQ0FBQztJQUVGLE1BQU0sVUFBVSxHQUFHLE1BQU0sMEJBQTBCLENBQUMsTUFBTSxDQUFDLENBQUM7SUFFNUQsT0FBTyx3Q0FBd0MsQ0FBQyxVQUFVLENBQUMsQ0FBQztBQUM5RCxDQUFDO0FBRUQ7Ozs7R0FJRztBQUNILE1BQU0sQ0FBQyxLQUFLLFVBQVUsaUJBQWlCLENBQUMsZ0JBQWtDO0lBQ3hFLE1BQU0sTUFBTSxHQUF3QjtRQUNsQyxNQUFNLEVBQUUseUJBQXlCLENBQUMsZ0JBQWdCLENBQUM7S0FDcEQsQ0FBQztJQUVGLE1BQU0sVUFBVSxHQUFHLE1BQU0seUJBQXlCLENBQUMsTUFBTSxDQUFDLENBQUM7SUFFM0QsT0FBTyx3Q0FBd0MsQ0FBQyxVQUFVLENBQUMsQ0FBQztBQUM5RCxDQUFDO0FBRUQ7OztHQUdHO0FBQ0gsS0FBSyxVQUFVLGdDQUFnQyxDQUFDLEtBQW9CO0lBQ2xFLE1BQU0saUJBQWlCLEdBQUcsU0FBUyxDQUFDLDhCQUE4QixDQUFDLEdBQVUsRUFBRSxLQUFZLENBQUMsQ0FBQztJQUU3RixzREFBc0Q7SUFDdEQsRUFBRTtJQUNGLHFGQUFxRjtJQUNyRixNQUFNLGVBQWUsR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLDhCQUE4QixDQUFDLFFBQVEsRUFBRSxRQUFRLENBQUMsQ0FBQztJQUN2RixFQUFFO0lBQ0Ysc0JBQXNCO0lBQ3RCLE1BQU0sV0FBVyxHQUFHLE1BQU0sZ0NBQWdDLENBQ3hELE1BQU0sU0FBUyxFQUFFLEVBQ2pCLGVBQWUsRUFDZixpQkFBaUIsRUFDakIsR0FBRyxFQUFFO1FBQ0gsTUFBTSxLQUFLLENBQUMsb0NBQW9DLENBQUMsQ0FBQztJQUNwRCxDQUFDLENBQ0YsQ0FBQztJQUVGLDJFQUEyRTtJQUMzRSxNQUFNLGFBQWEsR0FBa0IsU0FBUyxDQUFDLDhCQUE4QixDQUFDLEdBQVUsRUFBRSxXQUFXLENBQUMsQ0FBQztJQUV2RyxxQ0FBcUM7SUFDckMsT0FBTyxhQUFhLENBQUMsWUFBOEIsQ0FBQztBQUN0RCxDQUFDO0FBRUQ7O0dBRUc7QUFDSCxLQUFLLFVBQVUsaUNBQWlDLENBQUMsS0FBcUI7SUFDcEUsTUFBTSxpQkFBaUIsR0FBRyxTQUFTLENBQUMsK0JBQStCLENBQUMsR0FBVSxFQUFFLEtBQVksQ0FBQyxDQUFDO0lBRTlGLHNEQUFzRDtJQUN0RCxFQUFFO0lBQ0YscUZBQXFGO0lBQ3JGLE1BQU0sZUFBZSxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsK0JBQStCLENBQUMsUUFBUSxFQUFFLFFBQVEsQ0FBQyxDQUFDO0lBQ3hGLEVBQUU7SUFDRixzQkFBc0I7SUFDdEIsTUFBTSxXQUFXLEdBQUcsTUFBTSxnQ0FBZ0MsQ0FDeEQsTUFBTSxTQUFTLEVBQUUsRUFDakIsZUFBZSxFQUNmLGlCQUFpQixFQUNqQixHQUFHLEVBQUU7UUFDSCxNQUFNLEtBQUssQ0FBQyxvQ0FBb0MsQ0FBQyxDQUFDO0lBQ3BELENBQUMsQ0FDRixDQUFDO0lBRUYsMkVBQTJFO0lBQzNFLE1BQU0sYUFBYSxHQUFrQixTQUFTLENBQUMsK0JBQStCLENBQUMsR0FBVSxFQUFFLFdBQVcsQ0FBQyxDQUFDO0lBRXhHLHFDQUFxQztJQUNyQyxPQUFPLGFBQWEsQ0FBQyxZQUErQixDQUFDO0FBQ3ZELENBQUM7QUFFRDs7R0FFRztBQUNILEtBQUssVUFBVSxnQ0FBZ0MsQ0FBQyxLQUFvQjtJQUNsRSxNQUFNLGlCQUFpQixHQUFHLFNBQVMsQ0FBQyw4QkFBOEIsQ0FBQyxHQUFVLEVBQUUsS0FBWSxDQUFDLENBQUM7SUFFN0Ysc0RBQXNEO0lBQ3RELEVBQUU7SUFDRixxRkFBcUY7SUFDckYsTUFBTSxlQUFlLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyw4QkFBOEIsQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDLENBQUM7SUFDdkYsRUFBRTtJQUNGLHNCQUFzQjtJQUN0QixNQUFNLFdBQVcsR0FBRyxNQUFNLGdDQUFnQyxDQUN4RCxNQUFNLFNBQVMsRUFBRSxFQUNqQixlQUFlLEVBQ2YsaUJBQWlCLEVBQ2pCLEdBQUcsRUFBRTtRQUNILE1BQU0sS0FBSyxDQUFDLG9DQUFvQyxDQUFDLENBQUM7SUFDcEQsQ0FBQyxDQUNGLENBQUM7SUFFRiwyRUFBMkU7SUFDM0UsTUFBTSxhQUFhLEdBQWtCLFNBQVMsQ0FBQyw4QkFBOEIsQ0FBQyxHQUFVLEVBQUUsV0FBVyxDQUFDLENBQUM7SUFFdkcscUNBQXFDO0lBQ3JDLE9BQU8sYUFBYSxDQUFDLFlBQThCLENBQUM7QUFDdEQsQ0FBQztBQUVEOztHQUVHO0FBQ0gsS0FBSyxVQUFVLGdDQUFnQyxDQUFDLEtBQTJCO0lBQ3pFLE1BQU0saUJBQWlCLEdBQUcsU0FBUyxDQUFDLHdDQUF3QyxDQUFDLEdBQVUsRUFBRSxLQUFZLENBQUMsQ0FBQztJQUN2RyxNQUFNLGVBQWUsR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLHdDQUF3QyxDQUFDLFFBQVEsRUFBRSxRQUFRLENBQUMsQ0FBQztJQUNqRyxzQkFBc0I7SUFDdEIsTUFBTSxXQUFXLEdBQUcsTUFBTSxnQ0FBZ0MsQ0FDeEQsTUFBTSxTQUFTLEVBQUUsRUFDakIsZUFBZSxFQUNmLGlCQUFpQixFQUNqQixHQUFHLEVBQUU7UUFDSCxNQUFNLEtBQUssQ0FBQyxvQ0FBb0MsQ0FBQyxDQUFDO0lBQ3BELENBQUMsQ0FDRixDQUFDO0lBRUYsMkVBQTJFO0lBQzNFLE1BQU0sYUFBYSxHQUFrQixTQUFTLENBQUMsd0NBQXdDLENBQUMsR0FBVSxFQUFFLFdBQVcsQ0FBQyxDQUFDO0lBQ2pILHFDQUFxQztJQUNyQyxPQUFPLGFBQWEsQ0FBQyxZQUFxQyxDQUFDO0FBQzdELENBQUM7QUFFRDs7R0FFRztBQUNILEtBQUssVUFBVSxtQ0FBbUMsQ0FDaEQsS0FBb0M7SUFFcEMsTUFBTSxpQkFBaUIsR0FBRyxTQUFTLENBQUMsdUNBQXVDLENBQUMsR0FBVSxFQUFFLEtBQVksQ0FBQyxDQUFDO0lBQ3RHLE1BQU0sZUFBZSxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsdUNBQXVDLENBQUMsUUFBUSxFQUFFLFFBQVEsQ0FBQyxDQUFDO0lBQ2hHLHNCQUFzQjtJQUN0QixNQUFNLFdBQVcsR0FBRyxNQUFNLGdDQUFnQyxDQUN4RCxNQUFNLFNBQVMsRUFBRSxFQUNqQixlQUFlLEVBQ2YsaUJBQWlCLEVBQ2pCLEdBQUcsRUFBRTtRQUNILE1BQU0sS0FBSyxDQUFDLG9DQUFvQyxDQUFDLENBQUM7SUFDcEQsQ0FBQyxDQUNGLENBQUM7SUFFRiwyRUFBMkU7SUFDM0UsTUFBTSxhQUFhLEdBQWtCLFNBQVMsQ0FBQyx1Q0FBdUMsQ0FBQyxHQUFVLEVBQUUsV0FBVyxDQUFDLENBQUM7SUFFaEgscUNBQXFDO0lBQ3JDLE9BQU8sYUFBYSxDQUFDLFlBQThDLENBQUM7QUFDdEUsQ0FBQztBQUVEOztHQUVHO0FBQ0gsS0FBSyxVQUFVLHlCQUF5QixDQUFDLEtBQTBCO0lBQ2pFLE1BQU0saUJBQWlCLEdBQUcsU0FBUyxDQUFDLGNBQWMsQ0FBQyxHQUFVLEVBQUUsS0FBWSxDQUFDLENBQUM7SUFFN0Usc0RBQXNEO0lBQ3RELEVBQUU7SUFDRixxRkFBcUY7SUFDckYsTUFBTSxlQUFlLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyxjQUFjLENBQUMsUUFBUSxFQUFFLFFBQVEsQ0FBQyxDQUFDO0lBQ3ZFLEVBQUU7SUFDRixzQkFBc0I7SUFDdEIsTUFBTSxXQUFXLEdBQUcsTUFBTSxnQ0FBZ0MsQ0FDeEQsTUFBTSxTQUFTLEVBQUUsRUFDakIsZUFBZSxFQUNmLGlCQUFpQixFQUNqQixHQUFHLEVBQUU7UUFDSCxNQUFNLEtBQUssQ0FBQyxvQ0FBb0MsQ0FBQyxDQUFDO0lBQ3BELENBQUMsQ0FDRixDQUFDO0lBRUYsTUFBTSxhQUFhLEdBQWtCLFNBQVMsQ0FBQyxjQUFjLENBQUMsR0FBVSxFQUFFLFdBQVcsQ0FBQyxDQUFDO0lBRXZGLHFDQUFxQztJQUNyQyxPQUFPLGFBQWEsQ0FBQyxZQUFvQyxDQUFDO0FBQzVELENBQUM7QUFFRDs7R0FFRztBQUNILEtBQUssVUFBVSwwQkFBMEIsQ0FBQyxLQUEyQjtJQUNuRSxNQUFNLGlCQUFpQixHQUFHLFNBQVMsQ0FBQyxlQUFlLENBQUMsR0FBVSxFQUFFLEtBQVksQ0FBQyxDQUFDO0lBRTlFLHNEQUFzRDtJQUN0RCxFQUFFO0lBQ0YscUZBQXFGO0lBQ3JGLE1BQU0sZUFBZSxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsZUFBZSxDQUFDLFFBQVEsRUFBRSxRQUFRLENBQUMsQ0FBQztJQUN4RSxFQUFFO0lBQ0Ysc0JBQXNCO0lBQ3RCLE1BQU0sV0FBVyxHQUFHLE1BQU0sZ0NBQWdDLENBQ3hELE1BQU0sU0FBUyxFQUFFLEVBQ2pCLGVBQWUsRUFDZixpQkFBaUIsRUFDakIsR0FBRyxFQUFFO1FBQ0gsTUFBTSxLQUFLLENBQUMsb0NBQW9DLENBQUMsQ0FBQztJQUNwRCxDQUFDLENBQ0YsQ0FBQztJQUVGLE1BQU0sYUFBYSxHQUFrQixTQUFTLENBQUMsZUFBZSxDQUFDLEdBQVUsRUFBRSxXQUFXLENBQUMsQ0FBQztJQUV4RixxQ0FBcUM7SUFDckMsT0FBTyxhQUFhLENBQUMsWUFBcUMsQ0FBQztBQUM3RCxDQUFDO0FBRUQ7O0dBRUc7QUFDSCxLQUFLLFVBQVUseUJBQXlCLENBQUMsS0FBMEI7SUFDakUsTUFBTSxpQkFBaUIsR0FBRyxTQUFTLENBQUMsdUJBQXVCLENBQUMsR0FBVSxFQUFFLEtBQVksQ0FBQyxDQUFDO0lBRXRGLHNEQUFzRDtJQUN0RCxFQUFFO0lBQ0YscUZBQXFGO0lBQ3JGLE1BQU0sZUFBZSxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsdUJBQXVCLENBQUMsUUFBUSxFQUFFLFFBQVEsQ0FBQyxDQUFDO0lBQ2hGLEVBQUU7SUFDRixzQkFBc0I7SUFDdEIsTUFBTSxXQUFXLEdBQUcsTUFBTSxnQ0FBZ0MsQ0FDeEQsTUFBTSxTQUFTLEVBQUUsRUFDakIsZUFBZSxFQUNmLGlCQUFpQixFQUNqQixHQUFHLEVBQUU7UUFDSCxNQUFNLEtBQUssQ0FBQyxvQ0FBb0MsQ0FBQyxDQUFDO0lBQ3BELENBQUMsQ0FDRixDQUFDO0lBRUYsMkVBQTJFO0lBQzNFLE1BQU0sYUFBYSxHQUFrQixTQUFTLENBQUMsdUJBQXVCLENBQUMsR0FBVSxFQUFFLFdBQVcsQ0FBQyxDQUFDO0lBRWhHLHFDQUFxQztJQUNyQyxPQUFPLGFBQWEsQ0FBQyxZQUFvQyxDQUFDO0FBQzVELENBQUMifQ==

package/dest/scripts/generate_ts_from_abi.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=generate_ts_from_abi.d.ts.map

package/dest/scripts/generate_ts_from_abi.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate_ts_from_abi.d.ts","sourceRoot":"","sources":["../../src/scripts/generate_ts_from_abi.ts"],"names":[],"mappings":""}

package/dest/scripts/generate_ts_from_abi.js

@@ -0,0 +1,180 @@
+import { createConsoleLogger } from '@aztec/foundation/log';
+import fs from 'fs/promises';
+const log = createConsoleLogger('aztec:noir-contracts');
+const noirPrimitiveTypesToTsTypes = new Map();
+/**
+ * Typescript does not allow us to check for equality of non-primitive types
+ * easily, so we create a addIfUnique function that will only add an item
+ * to the map if it is not already there by using JSON.stringify.
+ * @param item - The item to add to the map.
+ */
+function addIfUnique(item) {
+    const key = JSON.stringify(item);
+    if (!noirPrimitiveTypesToTsTypes.has(key)) {
+        noirPrimitiveTypesToTsTypes.set(key, item);
+    }
+}
+/**
+ * Converts an ABI type to a TypeScript type.
+ * @param type - The ABI type to convert.
+ * @returns The typescript code to define the type.
+ */
+function abiTypeToTs(type) {
+    switch (type.kind) {
+        case 'integer': {
+            let tsIntType = '';
+            if (type.sign === 'signed') {
+                tsIntType = `i${type.width}`;
+            }
+            else {
+                tsIntType = `u${type.width}`;
+            }
+            addIfUnique({ aliasName: tsIntType, tsType: 'string' });
+            return tsIntType;
+        }
+        case 'boolean':
+            return `boolean`;
+        case 'array':
+            return `FixedLengthArray<${abiTypeToTs(type.type)}, ${type.length}>`;
+        case 'struct':
+            return getLastComponentOfPath(type.path);
+        case 'field':
+            addIfUnique({ aliasName: 'Field', tsType: 'string' });
+            return 'Field';
+        default:
+            throw new Error(`Unknown ABI type ${type}`);
+    }
+}
+/**
+ * Returns the last component of a path, e.g. "foo::bar::baz" -\> "baz"
+ * Note: that if we have a path such as "Baz", we will return "Baz".
+ *
+ * Since these paths corresponds to structs, we can assume that we
+ * cannot have "foo::bar::".
+ *
+ * We also make the assumption that since these paths are coming from
+ * Noir, then we will not have two paths that look like this:
+ * - foo::bar::Baz
+ * - cat::dog::Baz
+ * ie the last component of the path (struct name) is enough to uniquely identify
+ * the whole path.
+ *
+ * TODO: We should double check this assumption when we use type aliases,
+ * I expect that `foo::bar::Baz as Dog` would effectively give `foo::bar::Dog`
+ * @param str - The path to get the last component of.
+ * @returns The last component of the path.
+ */
+function getLastComponentOfPath(str) {
+    const parts = str.split('::');
+    const lastPart = parts[parts.length - 1];
+    return lastPart;
+}
+/**
+ * Generates TypeScript interfaces for the structs used in the ABI.
+ * @param type - The ABI type to generate the interface for.
+ * @param output - The set of structs that we have already generated bindings for.
+ * @returns The TypeScript code to define the struct.
+ */
+function generateStructInterfaces(type, output) {
+    let result = '';
+    // Edge case to handle the array of structs case.
+    if (type.kind === 'array' &&
+        ((type.type.kind === 'struct' && !output.has(getLastComponentOfPath(type.type.path))) || type.type.kind === 'array')) {
+        result += generateStructInterfaces(type.type, output);
+    }
+    if (type.kind !== 'struct') {
+        return result;
+    }
+    // List of structs encountered while viewing this type that we need to generate
+    // bindings for.
+    const typesEncountered = new Set();
+    // Codegen the struct and then its fields, so that the structs fields
+    // are defined before the struct itself.
+    let codeGeneratedStruct = '';
+    let codeGeneratedStructFields = '';
+    const structName = getLastComponentOfPath(type.path);
+    if (!output.has(structName)) {
+        codeGeneratedStruct += `export interface ${structName} {\n`;
+        for (const field of type.fields) {
+            codeGeneratedStruct += `  ${field.name}: ${abiTypeToTs(field.type)};\n`;
+            typesEncountered.add(field.type);
+        }
+        codeGeneratedStruct += `}\n\n`;
+        output.add(structName);
+        // Generate code for the encountered structs in the field above
+        for (const type of typesEncountered) {
+            codeGeneratedStructFields += generateStructInterfaces(type, output);
+        }
+    }
+    return codeGeneratedStructFields + '\n' + codeGeneratedStruct;
+}
+/**
+ * Generates a TypeScript interface for the ABI.
+ * @param abiObj - The ABI to generate the interface for.
+ * @returns The TypeScript code to define the interface.
+ */
+function generateTsInterface(abiObj) {
+    let result = ``;
+    const outputStructs = new Set();
+    // Define structs for composite types
+    for (const param of abiObj.parameters) {
+        result += generateStructInterfaces(param.type, outputStructs);
+    }
+    // Generating Return type, if it exists
+    //
+    if (abiObj.return_type != null) {
+        result += generateStructInterfaces(abiObj.return_type.abi_type, outputStructs);
+        result += `export type ReturnType = ${abiTypeToTs(abiObj.return_type.abi_type)};\n`;
+    }
+    // Generating Input type
+    result += '\nexport interface InputType {\n';
+    for (const param of abiObj.parameters) {
+        result += `  ${param.name}: ${abiTypeToTs(param.type)};\n`;
+    }
+    result += '}';
+    // Add the primitive Noir types that do not have a 1-1 mapping to TypeScript.
+    let primitiveTypeAliases = '';
+    for (const [, value] of noirPrimitiveTypesToTsTypes) {
+        primitiveTypeAliases += `\nexport type ${value.aliasName} = ${value.tsType};`;
+    }
+    const fixedLengthArray = '\nexport type FixedLengthArray<T, L extends number> = L extends 0 ? never[]: T[] & { length: L }';
+    return (`/* Autogenerated file, do not edit! */\n\n/* eslint-disable */\n` +
+        fixedLengthArray +
+        '\n' +
+        primitiveTypeAliases +
+        '\n' +
+        result);
+}
+const circuits = [
+    'private_kernel_init',
+    'private_kernel_inner',
+    'private_kernel_tail',
+    'public_kernel_setup',
+    'public_kernel_app_logic',
+    'rollup_base',
+    'rollup_merge',
+    'rollup_root',
+];
+const main = async () => {
+    try {
+        await fs.access('./src/types/');
+    }
+    catch (error) {
+        await fs.mkdir('./src/types', { recursive: true });
+    }
+    for (const circuit of circuits) {
+        const rawData = await fs.readFile(`./src/target/${circuit}.json`, 'utf-8');
+        const abiObj = JSON.parse(rawData);
+        const generatedInterface = generateTsInterface(abiObj.abi);
+        const outputFile = `./src/types/${circuit}_types.ts`;
+        await fs.writeFile(outputFile, generatedInterface);
+    }
+};
+try {
+    await main();
+}
+catch (err) {
+    log(`Error generating types ${err}`);
+    process.exit(1);
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXJhdGVfdHNfZnJvbV9hYmkuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2NyaXB0cy9nZW5lcmF0ZV90c19mcm9tX2FiaS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUc1RCxPQUFPLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFFN0IsTUFBTSxHQUFHLEdBQUcsbUJBQW1CLENBQUMsc0JBQXNCLENBQUMsQ0FBQztBQTBCeEQsTUFBTSwyQkFBMkIsR0FBRyxJQUFJLEdBQUcsRUFBOEIsQ0FBQztBQUUxRTs7Ozs7R0FLRztBQUNILFNBQVMsV0FBVyxDQUFDLElBQXdCO0lBQzNDLE1BQU0sR0FBRyxHQUFHLElBQUksQ0FBQyxTQUFTLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDakMsSUFBSSxDQUFDLDJCQUEyQixDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDO1FBQzFDLDJCQUEyQixDQUFDLEdBQUcsQ0FBQyxHQUFHLEVBQUUsSUFBSSxDQUFDLENBQUM7SUFDN0MsQ0FBQztBQUNILENBQUM7QUFFRDs7OztHQUlHO0FBQ0gsU0FBUyxXQUFXLENBQUMsSUFBYTtJQUNoQyxRQUFRLElBQUksQ0FBQyxJQUFJLEVBQUUsQ0FBQztRQUNsQixLQUFLLFNBQVMsQ0FBQyxDQUFDLENBQUM7WUFDZixJQUFJLFNBQVMsR0FBRyxFQUFFLENBQUM7WUFDbkIsSUFBSSxJQUFJLENBQUMsSUFBSSxLQUFLLFFBQVEsRUFBRSxDQUFDO2dCQUMzQixTQUFTLEdBQUcsSUFBSSxJQUFJLENBQUMsS0FBSyxFQUFFLENBQUM7WUFDL0IsQ0FBQztpQkFBTSxDQUFDO2dCQUNOLFNBQVMsR0FBRyxJQUFJLElBQUksQ0FBQyxLQUFLLEVBQUUsQ0FBQztZQUMvQixDQUFDO1lBQ0QsV0FBVyxDQUFDLEVBQUUsU0FBUyxFQUFFLFNBQVMsRUFBRSxNQUFNLEVBQUUsUUFBUSxFQUFFLENBQUMsQ0FBQztZQUN4RCxPQUFPLFNBQVMsQ0FBQztRQUNuQixDQUFDO1FBQ0QsS0FBSyxTQUFTO1lBQ1osT0FBTyxTQUFTLENBQUM7UUFDbkIsS0FBSyxPQUFPO1lBQ1YsT0FBTyxvQkFBb0IsV0FBVyxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsS0FBSyxJQUFJLENBQUMsTUFBTSxHQUFHLENBQUM7UUFDdkUsS0FBSyxRQUFRO1lBQ1gsT0FBTyxzQkFBc0IsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDM0MsS0FBSyxPQUFPO1lBQ1YsV0FBVyxDQUFDLEVBQUUsU0FBUyxFQUFFLE9BQU8sRUFBRSxNQUFNLEVBQUUsUUFBUSxFQUFFLENBQUMsQ0FBQztZQUN0RCxPQUFPLE9BQU8sQ0FBQztRQUNqQjtZQUNFLE1BQU0sSUFBSSxLQUFLLENBQUMsb0JBQW9CLElBQUksRUFBRSxDQUFDLENBQUM7SUFDaEQsQ0FBQztBQUNILENBQUM7QUFFRDs7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBa0JHO0FBQ0gsU0FBUyxzQkFBc0IsQ0FBQyxHQUFXO0lBQ3pDLE1BQU0sS0FBSyxHQUFHLEdBQUcsQ0FBQyxLQUFLLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDOUIsTUFBTSxRQUFRLEdBQUcsS0FBSyxDQUFDLEtBQUssQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDLENBQUM7SUFDekMsT0FBTyxRQUFRLENBQUM7QUFDbEIsQ0FBQztBQUVEOzs7OztHQUtHO0FBQ0gsU0FBUyx3QkFBd0IsQ0FBQyxJQUFhLEVBQUUsTUFBbUI7SUFDbEUsSUFBSSxNQUFNLEdBQUcsRUFBRSxDQUFDO0lBRWhCLGlEQUFpRDtJQUNqRCxJQUNFLElBQUksQ0FBQyxJQUFJLEtBQUssT0FBTztRQUNyQixDQUFDLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxJQUFJLEtBQUssUUFBUSxJQUFJLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQyxzQkFBc0IsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsSUFBSSxJQUFJLENBQUMsSUFBSSxDQUFDLElBQUksS0FBSyxPQUFPLENBQUMsRUFDcEgsQ0FBQztRQUNELE1BQU0sSUFBSSx3QkFBd0IsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLE1BQU0sQ0FBQyxDQUFDO0lBQ3hELENBQUM7SUFFRCxJQUFJLElBQUksQ0FBQyxJQUFJLEtBQUssUUFBUSxFQUFFLENBQUM7UUFDM0IsT0FBTyxNQUFNLENBQUM7SUFDaEIsQ0FBQztJQUVELCtFQUErRTtJQUMvRSxnQkFBZ0I7SUFDaEIsTUFBTSxnQkFBZ0IsR0FBRyxJQUFJLEdBQUcsRUFBVyxDQUFDO0lBRTVDLHFFQUFxRTtJQUNyRSx3Q0FBd0M7SUFDeEMsSUFBSSxtQkFBbUIsR0FBRyxFQUFFLENBQUM7SUFDN0IsSUFBSSx5QkFBeUIsR0FBRyxFQUFFLENBQUM7SUFFbkMsTUFBTSxVQUFVLEdBQUcsc0JBQXNCLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFDO0lBQ3JELElBQUksQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLFVBQVUsQ0FBQyxFQUFFLENBQUM7UUFDNUIsbUJBQW1CLElBQUksb0JBQW9CLFVBQVUsTUFBTSxDQUFDO1FBQzVELEtBQUssTUFBTSxLQUFLLElBQUksSUFBSSxDQUFDLE1BQU0sRUFBRSxDQUFDO1lBQ2hDLG1CQUFtQixJQUFJLEtBQUssS0FBSyxDQUFDLElBQUksS0FBSyxXQUFXLENBQUMsS0FBSyxDQUFDLElBQUksQ0FBQyxLQUFLLENBQUM7WUFDeEUsZ0JBQWdCLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUNuQyxDQUFDO1FBQ0QsbUJBQW1CLElBQUksT0FBTyxDQUFDO1FBQy9CLE1BQU0sQ0FBQyxHQUFHLENBQUMsVUFBVSxDQUFDLENBQUM7UUFFdkIsK0RBQStEO1FBQy9ELEtBQUssTUFBTSxJQUFJLElBQUksZ0JBQWdCLEVBQUUsQ0FBQztZQUNwQyx5QkFBeUIsSUFBSSx3QkFBd0IsQ0FBQyxJQUFJLEVBQUUsTUFBTSxDQUFDLENBQUM7UUFDdEUsQ0FBQztJQUNILENBQUM7SUFFRCxPQUFPLHlCQUF5QixHQUFHLElBQUksR0FBRyxtQkFBbUIsQ0FBQztBQUNoRSxDQUFDO0FBRUQ7Ozs7R0FJRztBQUNILFNBQVMsbUJBQW1CLENBQUMsTUFBdUI7SUFDbEQsSUFBSSxNQUFNLEdBQUcsRUFBRSxDQUFDO0lBQ2hCLE1BQU0sYUFBYSxHQUFHLElBQUksR0FBRyxFQUFVLENBQUM7SUFFeEMscUNBQXFDO0lBQ3JDLEtBQUssTUFBTSxLQUFLLElBQUksTUFBTSxDQUFDLFVBQVUsRUFBRSxDQUFDO1FBQ3RDLE1BQU0sSUFBSSx3QkFBd0IsQ0FBQyxLQUFLLENBQUMsSUFBSSxFQUFFLGFBQWEsQ0FBQyxDQUFDO0lBQ2hFLENBQUM7SUFFRCx1Q0FBdUM7SUFDdkMsRUFBRTtJQUNGLElBQUksTUFBTSxDQUFDLFdBQVcsSUFBSSxJQUFJLEVBQUUsQ0FBQztRQUMvQixNQUFNLElBQUksd0JBQXdCLENBQUMsTUFBTSxDQUFDLFdBQVcsQ0FBQyxRQUFRLEVBQUUsYUFBYSxDQUFDLENBQUM7UUFDL0UsTUFBTSxJQUFJLDRCQUE0QixXQUFXLENBQUMsTUFBTSxDQUFDLFdBQVcsQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDO0lBQ3RGLENBQUM7SUFFRCx3QkFBd0I7SUFDeEIsTUFBTSxJQUFJLGtDQUFrQyxDQUFDO0lBQzdDLEtBQUssTUFBTSxLQUFLLElBQUksTUFBTSxDQUFDLFVBQVUsRUFBRSxDQUFDO1FBQ3RDLE1BQU0sSUFBSSxLQUFLLEtBQUssQ0FBQyxJQUFJLEtBQUssV0FBVyxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDO0lBQzdELENBQUM7SUFDRCxNQUFNLElBQUksR0FBRyxDQUFDO0lBRWQsNkVBQTZFO0lBQzdFLElBQUksb0JBQW9CLEdBQUcsRUFBRSxDQUFDO0lBQzlCLEtBQUssTUFBTSxDQUFDLEVBQUUsS0FBSyxDQUFDLElBQUksMkJBQTJCLEVBQUUsQ0FBQztRQUNwRCxvQkFBb0IsSUFBSSxpQkFBaUIsS0FBSyxDQUFDLFNBQVMsTUFBTSxLQUFLLENBQUMsTUFBTSxHQUFHLENBQUM7SUFDaEYsQ0FBQztJQUVELE1BQU0sZ0JBQWdCLEdBQ3BCLGtHQUFrRyxDQUFDO0lBRXJHLE9BQU8sQ0FDTCxrRUFBa0U7UUFDbEUsZ0JBQWdCO1FBQ2hCLElBQUk7UUFDSixvQkFBb0I7UUFDcEIsSUFBSTtRQUNKLE1BQU0sQ0FDUCxDQUFDO0FBQ0osQ0FBQztBQUVELE1BQU0sUUFBUSxHQUFHO0lBQ2YscUJBQXFCO0lBQ3JCLHNCQUFzQjtJQUN0QixxQkFBcUI7SUFDckIscUJBQXFCO0lBQ3JCLHlCQUF5QjtJQUN6QixhQUFhO0lBQ2IsY0FBYztJQUNkLGFBQWE7Q0FDZCxDQUFDO0FBRUYsTUFBTSxJQUFJLEdBQUcsS0FBSyxJQUFJLEVBQUU7SUFDdEIsSUFBSSxDQUFDO1FBQ0gsTUFBTSxFQUFFLENBQUMsTUFBTSxDQUFDLGNBQWMsQ0FBQyxDQUFDO0lBQ2xDLENBQUM7SUFBQyxPQUFPLEtBQUssRUFBRSxDQUFDO1FBQ2YsTUFBTSxFQUFFLENBQUMsS0FBSyxDQUFDLGFBQWEsRUFBRSxFQUFFLFNBQVMsRUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUFDO0lBQ3JELENBQUM7SUFFRCxLQUFLLE1BQU0sT0FBTyxJQUFJLFFBQVEsRUFBRSxDQUFDO1FBQy9CLE1BQU0sT0FBTyxHQUFHLE1BQU0sRUFBRSxDQUFDLFFBQVEsQ0FBQyxnQkFBZ0IsT0FBTyxPQUFPLEVBQUUsT0FBTyxDQUFDLENBQUM7UUFDM0UsTUFBTSxNQUFNLEdBQXdCLElBQUksQ0FBQyxLQUFLLENBQUMsT0FBTyxDQUFDLENBQUM7UUFDeEQsTUFBTSxrQkFBa0IsR0FBRyxtQkFBbUIsQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUM7UUFFM0QsTUFBTSxVQUFVLEdBQUcsZUFBZSxPQUFPLFdBQVcsQ0FBQztRQUNyRCxNQUFNLEVBQUUsQ0FBQyxTQUFTLENBQUMsVUFBVSxFQUFFLGtCQUFrQixDQUFDLENBQUM7SUFDckQsQ0FBQztBQUNILENBQUMsQ0FBQztBQUVGLElBQUksQ0FBQztJQUNILE1BQU0sSUFBSSxFQUFFLENBQUM7QUFDZixDQUFDO0FBQUMsT0FBTyxHQUFZLEVBQUUsQ0FBQztJQUN0QixHQUFHLENBQUMsMEJBQTBCLEdBQUcsRUFBRSxDQUFDLENBQUM7SUFDckMsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsQ0FBQztBQUNsQixDQUFDIn0=