@aztec-labs/simulator 6.0.0-nightly.20260829

package/README.md

@@ -0,0 +1,57 @@
+# Simulator
+
+## Responsibilities
+
+This library package is responsible for simulating function circuits compiled to ACIR / AVM.
+
+Simulating a function implies generating the partial witness and the public inputs of the function, as well as collecting all the data (such as created notes or nullifiers, or state changes) that are necessary for components upstream.
+
+It's able to simulate three different types of functions:
+
+### Private Functions
+
+Private functions are simulated and proved client-side, and verified client-side in the private kernel circuit.
+
+The public inputs of private functions are defined [here](../stdlib/src/structs/private_circuit_public_inputs.ts).
+
+They are run with the assistance of a DB oracle that provides any private data requested by the function.
+
+Private functions can call another private function, and can request to call a public function, but the public function execution will be performed by the sequencer asynchronously, thus having no access to the return values.
+
+### Public Functions
+
+Public functions are simulated and proved on the sequencer side, and verified by the public kernel circuit.
+
+The public inputs of public functions are defined [here](../stdlib/src/structs/avm/avm_circuit_public_inputs.ts).
+
+They are run with the assistance of an oracle that provides any value read from the public state tree.
+
+Public functions can call other public functions, but cannot call private functions.
+
+See the specifications of the [Aztec Virtual Machine (AVM) for public execution](./docs/avm/index.md).
+
+### Unconstrained Functions
+
+Unconstrained functions are useful to extract data for users that could produce very large execution traces - such as the summed balance of all of a user's notes.
+They are not proved, and are simulated client-side.
+
+They are run with the assistance of a DB oracle that provides any private data requested by the function.
+
+At the moment, unconstrained functions cannot call any other function.
+It would be possible to allow them to call other unconstrained functions.
+
+## Usage
+
+### Development
+
+Same steps as any other library. They are detailed [here](../README.md#development)
+
+### Testing
+
+Same steps as any other library. They are detailed [here](../README.md#tests)
+
+### Benchmarking
+
+```
+LOG_LEVEL=info yarn test src/public/public_tx_simulator/apps_tests/bench.test.ts
+```

package/dest/client.d.ts

@@ -0,0 +1,6 @@
+export * from './private/acvm/index.js';
+export { WASMSimulator } from './private/acvm_wasm.js';
+export type { ACVMSuccess } from './private/acvm_native.js';
+export { type CircuitSimulator, type DecodedError } from './private/circuit_simulator.js';
+export * from './common/index.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2xpZW50LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvY2xpZW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMseUJBQXlCLENBQUM7QUFDeEMsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3ZELFlBQVksRUFBRSxXQUFXLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM1RCxPQUFPLEVBQUUsS0FBSyxnQkFBZ0IsRUFBRSxLQUFLLFlBQVksRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQzFGLGNBQWMsbUJBQW1CLENBQUMifQ==

package/dest/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA,cAAc,yBAAyB,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC1F,cAAc,mBAAmB,CAAC"}

package/dest/client.js

@@ -0,0 +1,3 @@
+export * from './private/acvm/index.js';
+export { WASMSimulator } from './private/acvm_wasm.js';
+export * from './common/index.js';

package/dest/common/errors.d.ts

@@ -0,0 +1,51 @@
+import type { RawAssertionPayload } from '@aztec/noir-acvm_js';
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { BrilligFunctionId, DebugFileMap, DebugInfo, FunctionAbi, OpcodeLocation } from '@aztec-labs/stdlib/abi';
+import { type FailingFunction, type NoirCallStack, SimulationError, type SourceCodeLocation } from '@aztec-labs/stdlib/errors';
+/**
+ * An error that occurred during the execution of a function.
+ * @param message - the error message
+ * @param failingFunction - the Aztec function that failed
+ * @param noirCallStack - the internal call stack of the function that failed (within the failing Aztec function)
+ * @param options - additional error options (an optional "cause" entry allows for a recursive error stack where
+ *                  an error's cause may be an ExecutionError itself)
+ */
+export declare class ExecutionError extends Error {
+    /**
+     * The function that failed.
+     */
+    failingFunction: FailingFunction;
+    /**
+     * The noir call stack of the function that failed.
+     */
+    noirCallStack?: NoirCallStack | undefined;
+    constructor(message: string, 
+    /**
+     * The function that failed.
+     */
+    failingFunction: FailingFunction, 
+    /**
+     * The noir call stack of the function that failed.
+     */
+    noirCallStack?: NoirCallStack | undefined, options?: ErrorOptions);
+}
+/**
+ * Traverses the cause chain of an error.
+ * @param error - The error to start from.
+ * @param callback - A callback on every error, including the first one.
+ */
+export declare function traverseCauseChain(error: Error, callback: (error: Error) => void): void;
+/**
+ * Creates a simulation error from an error chain generated during the execution of a function.
+ * @param error - The error thrown during execution.
+ * @returns - A simulation error.
+ */
+export declare function createSimulationError(error: Error, revertData?: Fr[]): SimulationError;
+/**
+ * Resolves the source code locations from an array of opcode locations
+ */
+export declare function resolveOpcodeLocations(opcodeLocations: OpcodeLocation[], debug: DebugInfo, files: DebugFileMap, brilligFunctionId?: BrilligFunctionId): SourceCodeLocation[];
+export declare function resolveAssertionMessage(errorPayload: RawAssertionPayload, abi: FunctionAbi): string | undefined;
+export declare function resolveAssertionMessageFromRevertData(revertData: Fr[], abi: FunctionAbi): string | undefined;
+export declare function resolveAssertionMessageFromError(err: Error, abi: FunctionAbi): string;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29tbW9uL2Vycm9ycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRy9ELE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBRTlELE9BQU8sS0FBSyxFQUNWLGlCQUFpQixFQUNqQixZQUFZLEVBQ1osU0FBUyxFQUNULFdBQVcsRUFFWCxjQUFjLEVBQ2YsTUFBTSx3QkFBd0IsQ0FBQztBQUNoQyxPQUFPLEVBQ0wsS0FBSyxlQUFlLEVBQ3BCLEtBQUssYUFBYSxFQUNsQixlQUFlLEVBQ2YsS0FBSyxrQkFBa0IsRUFDeEIsTUFBTSwyQkFBMkIsQ0FBQztBQUVuQzs7Ozs7OztHQU9HO0FBQ0gscUJBQWEsY0FBZSxTQUFRLEtBQUs7SUFHckM7O09BRUc7SUFDSSxlQUFlLEVBQUUsZUFBZTtJQUN2Qzs7T0FFRztJQUNJLGFBQWEsQ0FBQztJQVR2QixZQUNFLE9BQU8sRUFBRSxNQUFNO0lBQ2Y7O09BRUc7SUFDSSxlQUFlLEVBQUUsZUFBZTtJQUN2Qzs7T0FFRztJQUNJLGFBQWEsQ0FBQywyQkFBZSxFQUNwQyxPQUFPLENBQUMsRUFBRSxZQUFZLEVBR3ZCO0NBQ0Y7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLGtCQUFrQixDQUFDLEtBQUssRUFBRSxLQUFLLEVBQUUsUUFBUSxFQUFFLENBQUMsS0FBSyxFQUFFLEtBQUssS0FBSyxJQUFJLFFBVWhGO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixxQkFBcUIsQ0FBQyxLQUFLLEVBQUUsS0FBSyxFQUFFLFVBQVUsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLGVBQWUsQ0FnQnRGO0FBRUQ7O0dBRUc7QUFDSCx3QkFBZ0Isc0JBQXNCLENBQ3BDLGVBQWUsRUFBRSxjQUFjLEVBQUUsRUFDakMsS0FBSyxFQUFFLFNBQVMsRUFDaEIsS0FBSyxFQUFFLFlBQVksRUFDbkIsaUJBQWlCLENBQUMsRUFBRSxpQkFBaUIsR0FDcEMsa0JBQWtCLEVBQUUsQ0FrQnRCO0FBd0VELHdCQUFnQix1QkFBdUIsQ0FBQyxZQUFZLEVBQUUsbUJBQW1CLEVBQUUsR0FBRyxFQUFFLFdBQVcsR0FBRyxNQUFNLEdBQUcsU0FBUyxDQVcvRztBQUVELHdCQUFnQixxQ0FBcUMsQ0FBQyxVQUFVLEVBQUUsRUFBRSxFQUFFLEVBQUUsR0FBRyxFQUFFLFdBQVcsR0FBRyxNQUFNLEdBQUcsU0FBUyxDQWM1RztBQUVELHdCQUFnQixnQ0FBZ0MsQ0FBQyxHQUFHLEVBQUUsS0FBSyxFQUFFLEdBQUcsRUFBRSxXQUFXLEdBQUcsTUFBTSxDQU1yRiJ9

package/dest/common/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/common/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAG/D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAE9D,OAAO,KAAK,EACV,iBAAiB,EACjB,YAAY,EACZ,SAAS,EACT,WAAW,EAEX,cAAc,EACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,eAAe,EACf,KAAK,kBAAkB,EACxB,MAAM,2BAA2B,CAAC;AAEnC;;;;;;;GAOG;AACH,qBAAa,cAAe,SAAQ,KAAK;IAGrC;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC;IATvB,YACE,OAAO,EAAE,MAAM;IACf;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC,2BAAe,EACpC,OAAO,CAAC,EAAE,YAAY,EAGvB;CACF;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,QAUhF;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,eAAe,CAgBtF;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,eAAe,EAAE,cAAc,EAAE,EACjC,KAAK,EAAE,SAAS,EAChB,KAAK,EAAE,YAAY,EACnB,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,kBAAkB,EAAE,CAkBtB;AAwED,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,mBAAmB,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAW/G;AAED,wBAAgB,qCAAqC,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAc5G;AAED,wBAAgB,gCAAgC,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAMrF"}

package/dest/common/errors.js

@@ -0,0 +1,154 @@
+import { abiDecodeError } from '@aztec/noir-noirc_abi';
+import { jsonStringify } from '@aztec-labs/foundation/json-rpc';
+import { SimulationError } from '@aztec-labs/stdlib/errors';
+/**
+ * An error that occurred during the execution of a function.
+ * @param message - the error message
+ * @param failingFunction - the Aztec function that failed
+ * @param noirCallStack - the internal call stack of the function that failed (within the failing Aztec function)
+ * @param options - additional error options (an optional "cause" entry allows for a recursive error stack where
+ *                  an error's cause may be an ExecutionError itself)
+ */ export class ExecutionError extends Error {
+    failingFunction;
+    noirCallStack;
+    constructor(message, /**
+     * The function that failed.
+     */ failingFunction, /**
+     * The noir call stack of the function that failed.
+     */ noirCallStack, options){
+        super(message, options), this.failingFunction = failingFunction, this.noirCallStack = noirCallStack;
+    }
+}
+/**
+ * Traverses the cause chain of an error.
+ * @param error - The error to start from.
+ * @param callback - A callback on every error, including the first one.
+ */ export function traverseCauseChain(error, callback) {
+    let currentError = error;
+    while(currentError){
+        callback(currentError);
+        if (currentError.cause && currentError.cause instanceof Error) {
+            currentError = currentError.cause;
+        } else {
+            currentError = undefined;
+        }
+    }
+}
+/**
+ * Creates a simulation error from an error chain generated during the execution of a function.
+ * @param error - The error thrown during execution.
+ * @returns - A simulation error.
+ */ export function createSimulationError(error, revertData) {
+    let rootCause = error;
+    let noirCallStack = undefined;
+    const aztecCallStack = [];
+    traverseCauseChain(error, (cause)=>{
+        rootCause = cause;
+        if (cause instanceof ExecutionError) {
+            aztecCallStack.push(cause.failingFunction);
+            if (cause.noirCallStack) {
+                noirCallStack = cause.noirCallStack;
+            }
+        }
+    });
+    return new SimulationError(rootCause.message, aztecCallStack, revertData, noirCallStack, {
+        cause: rootCause
+    });
+}
+/**
+ * Resolves the source code locations from an array of opcode locations
+ */ export function resolveOpcodeLocations(opcodeLocations, debug, files, brilligFunctionId) {
+    let locations = opcodeLocations.flatMap((opcodeLocation)=>getSourceCodeLocationsFromOpcodeLocation(opcodeLocation, debug, files, brilligFunctionId));
+    // Adds the acir call stack if the last location is a brillig opcode
+    if (locations.length > 0) {
+        const decomposedOpcodeLocation = opcodeLocations[opcodeLocations.length - 1].split('.');
+        if (decomposedOpcodeLocation.length === 2) {
+            const acirCallstackId = debug.acir_locations[decomposedOpcodeLocation[0]];
+            if (acirCallstackId !== undefined) {
+                const callStack = debug.location_tree.locations[acirCallstackId];
+                const acirCallstack = getCallStackFromLocationNode(callStack, debug.location_tree.locations, files);
+                locations = acirCallstack.concat(locations);
+            }
+        }
+    }
+    return locations;
+}
+function getCallStackFromLocationNode(callStack, locationTree, files) {
+    const result = [];
+    while(callStack.parent !== null){
+        const { file: fileId, span } = callStack.value;
+        const { path, source } = files[fileId];
+        const locationText = source.substring(span.start, span.end);
+        const precedingText = source.substring(0, span.start);
+        const previousLines = precedingText.split('\n');
+        // Lines and columns in stacks are one indexed.
+        const line = previousLines.length;
+        const column = previousLines[previousLines.length - 1].length + 1;
+        // Unshift since we are exploring child nodes first
+        result.unshift({
+            filePath: path,
+            line,
+            column,
+            fileSource: source,
+            locationText
+        });
+        callStack = locationTree[callStack.parent];
+    }
+    return result;
+}
+/**
+ * Extracts the call stack from the location of a failing opcode and the debug metadata.
+ * One opcode can point to multiple calls due to inlining.
+ */ function getSourceCodeLocationsFromOpcodeLocation(opcodeLocation, debug, files, brilligFunctionId) {
+    let callStackID = debug.acir_locations[opcodeLocation];
+    const brilligLocation = extractBrilligLocation(opcodeLocation);
+    if (brilligFunctionId !== undefined && brilligLocation !== undefined) {
+        callStackID = debug.brillig_locations[brilligFunctionId][brilligLocation];
+        if (callStackID === undefined) {
+            return [];
+        }
+    }
+    if (callStackID === undefined) {
+        return [];
+    }
+    const callStack = debug.location_tree.locations[callStackID];
+    return getCallStackFromLocationNode(callStack, debug.location_tree.locations, files);
+}
+/**
+ * Extracts a brillig location from an opcode location.
+ */ function extractBrilligLocation(opcodeLocation) {
+    const splitted = opcodeLocation.split('.');
+    if (splitted.length === 2) {
+        return splitted[1];
+    }
+    return undefined;
+}
+export function resolveAssertionMessage(errorPayload, abi) {
+    const decoded = abiDecodeError({
+        parameters: [],
+        error_types: abi.errorTypes,
+        return_type: null
+    }, errorPayload);
+    if (typeof decoded === 'string') {
+        return decoded;
+    } else {
+        return jsonStringify(decoded);
+    }
+}
+export function resolveAssertionMessageFromRevertData(revertData, abi) {
+    if (revertData.length == 0) {
+        return undefined;
+    }
+    const [errorSelector, ...errorData] = revertData;
+    return resolveAssertionMessage({
+        selector: errorSelector.toBigInt().toString(),
+        data: errorData.map((f)=>f.toString())
+    }, abi);
+}
+export function resolveAssertionMessageFromError(err, abi) {
+    if (typeof err === 'object' && err !== null && 'rawAssertionPayload' in err && err.rawAssertionPayload) {
+        return `Assertion failed: ${resolveAssertionMessage(err.rawAssertionPayload, abi)}`;
+    } else {
+        return err.message;
+    }
+}

package/dest/common/index.d.ts

@@ -0,0 +1,3 @@
+export * from './errors.js';
+export * from './stats/index.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb21tb24vaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxhQUFhLENBQUM7QUFDNUIsY0FBYyxrQkFBa0IsQ0FBQyJ9

package/dest/common/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/common/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC"}

package/dest/common/index.js

@@ -0,0 +1,2 @@
+export * from './errors.js';
+export * from './stats/index.js';

package/dest/common/stats/index.d.ts

@@ -0,0 +1,2 @@
+export * from './stats.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb21tb24vc3RhdHMvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxZQUFZLENBQUMifQ==

package/dest/common/stats/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/common/stats/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC"}

package/dest/common/stats/index.js

@@ -0,0 +1 @@
+export * from './stats.js';

package/dest/common/stats/stats.d.ts

@@ -0,0 +1,4 @@
+import type { Logger } from '@aztec-labs/foundation/log';
+import type { CircuitName } from '@aztec-labs/stdlib/stats';
+export declare function emitCircuitSimulationStats(circuitName: CircuitName, duration: number, inputSize: number, outputSize: number, logger: Logger): void;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RhdHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb21tb24vc3RhdHMvc3RhdHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUEwQixNQUFNLDBCQUEwQixDQUFDO0FBRXBGLHdCQUFnQiwwQkFBMEIsQ0FDeEMsV0FBVyxFQUFFLFdBQVcsRUFDeEIsUUFBUSxFQUFFLE1BQU0sRUFDaEIsU0FBUyxFQUFFLE1BQU0sRUFDakIsVUFBVSxFQUFFLE1BQU0sRUFDbEIsTUFBTSxFQUFFLE1BQU0sUUFXZiJ9

package/dest/common/stats/stats.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../../src/common/stats/stats.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAA0B,MAAM,0BAA0B,CAAC;AAEpF,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,WAAW,EACxB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,QAWf"}

package/dest/common/stats/stats.js

@@ -0,0 +1,10 @@
+export function emitCircuitSimulationStats(circuitName, duration, inputSize, outputSize, logger) {
+    const stats = {
+        eventName: 'circuit-simulation',
+        circuitName,
+        inputSize,
+        outputSize,
+        duration
+    };
+    logger.debug('Circuit simulation stats', stats);
+}

package/dest/private/acvm/acvm.d.ts

@@ -0,0 +1,43 @@
+import { type ExecutionError, type ForeignCallInput, type ForeignCallOutput } from '@aztec/noir-acvm_js';
+import { type Logger, type LoggerBindings } from '@aztec-labs/foundation/log';
+import type { FunctionDebugMetadata } from '@aztec-labs/stdlib/abi';
+import type { NoirCallStack } from '@aztec-labs/stdlib/errors';
+import type { ACVMWitness } from './acvm_types.js';
+/**
+ * The callback interface for the ACIR.
+ */
+export type ACIRCallback = Record<string, (...args: ForeignCallInput[]) => Promise<ForeignCallOutput[]>>;
+export type ACIRCallbackStats = {
+    times: number[];
+};
+/**
+ * The result of executing an ACIR.
+ */
+export interface ACIRExecutionResult {
+    /**
+     * An execution result contains two witnesses.
+     * 1. The partial witness of the execution.
+     * 2. The return witness which contains the given public return values within the full witness.
+     */
+    partialWitness: ACVMWitness;
+    returnWitness: ACVMWitness;
+    oracles?: Record<string, ACIRCallbackStats>;
+}
+/**
+ * The function call that executes an ACIR.
+ * @param acir - The ACIR circuit bytecode to execute.
+ * @param initialWitness - The initial witness map defining all of the inputs to `circuit`.
+ * @param callback - A callback to process any foreign calls from the circuit.
+ * @param logger - Optional logger for ACVM execution logs.
+ * @returns The solved witness calculated by executing the circuit on the provided inputs, as well as the return
+ * witness indices as specified by the circuit.
+ */
+export declare function acvm(acir: Buffer, initialWitness: ACVMWitness, callback: ACIRCallback, loggerOrBindings?: Logger | LoggerBindings): Promise<ACIRExecutionResult>;
+/**
+ * Extracts the call stack from an thrown by the acvm.
+ * @param error - The error to extract from.
+ * @param debug - The debug metadata of the function called.
+ * @returns The call stack, if available.
+ */
+export declare function extractCallStack(error: Error | ExecutionError, debug?: FunctionDebugMetadata): NoirCallStack | undefined;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWN2bS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3ByaXZhdGUvYWN2bS9hY3ZtLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxLQUFLLGNBQWMsRUFDbkIsS0FBSyxnQkFBZ0IsRUFDckIsS0FBSyxpQkFBaUIsRUFFdkIsTUFBTSxxQkFBcUIsQ0FBQztBQUU3QixPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQUUsS0FBSyxjQUFjLEVBQWlCLE1BQU0sNEJBQTRCLENBQUM7QUFDN0YsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNwRSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUcvRCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUVuRDs7R0FFRztBQUNILE1BQU0sTUFBTSxZQUFZLEdBQUcsTUFBTSxDQUFDLE1BQU0sRUFBRSxDQUFDLEdBQUcsSUFBSSxFQUFFLGdCQUFnQixFQUFFLEtBQUssT0FBTyxDQUFDLGlCQUFpQixFQUFFLENBQUMsQ0FBQyxDQUFDO0FBRXpHLE1BQU0sTUFBTSxpQkFBaUIsR0FBRztJQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsQ0FBQTtDQUFFLENBQUM7QUFFcEQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcsbUJBQW1CO0lBQ2xDOzs7O09BSUc7SUFDSCxjQUFjLEVBQUUsV0FBVyxDQUFDO0lBQzVCLGFBQWEsRUFBRSxXQUFXLENBQUM7SUFDM0IsT0FBTyxDQUFDLEVBQUUsTUFBTSxDQUFDLE1BQU0sRUFBRSxpQkFBaUIsQ0FBQyxDQUFDO0NBQzdDO0FBRUQ7Ozs7Ozs7O0dBUUc7QUFDSCx3QkFBc0IsSUFBSSxDQUN4QixJQUFJLEVBQUUsTUFBTSxFQUNaLGNBQWMsRUFBRSxXQUFXLEVBQzNCLFFBQVEsRUFBRSxZQUFZLEVBQ3RCLGdCQUFnQixDQUFDLEVBQUUsTUFBTSxHQUFHLGNBQWMsR0FDekMsT0FBTyxDQUFDLG1CQUFtQixDQUFDLENBdUM5QjtBQUVEOzs7OztHQUtHO0FBQ0gsd0JBQWdCLGdCQUFnQixDQUM5QixLQUFLLEVBQUUsS0FBSyxHQUFHLGNBQWMsRUFDN0IsS0FBSyxDQUFDLEVBQUUscUJBQXFCLEdBQzVCLGFBQWEsR0FBRyxTQUFTLENBYzNCIn0=

package/dest/private/acvm/acvm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acvm.d.ts","sourceRoot":"","sources":["../../../src/private/acvm/acvm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EAEvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAiB,MAAM,4BAA4B,CAAC;AAC7F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAG/D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,gBAAgB,EAAE,KAAK,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;AAEzG,MAAM,MAAM,iBAAiB,GAAG;IAAE,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAEpD;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,cAAc,EAAE,WAAW,CAAC;IAC5B,aAAa,EAAE,WAAW,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;CAC7C;AAED;;;;;;;;GAQG;AACH,wBAAsB,IAAI,CACxB,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,WAAW,EAC3B,QAAQ,EAAE,YAAY,EACtB,gBAAgB,CAAC,EAAE,MAAM,GAAG,cAAc,GACzC,OAAO,CAAC,mBAAmB,CAAC,CAuC9B;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,KAAK,GAAG,cAAc,EAC7B,KAAK,CAAC,EAAE,qBAAqB,GAC5B,aAAa,GAAG,SAAS,CAc3B"}

package/dest/private/acvm/acvm.js

@@ -0,0 +1,65 @@
+import { executeCircuitWithReturnWitness } from '@aztec/noir-acvm_js';
+import { resolveLogger } from '@aztec-labs/foundation/log';
+import { resolveOpcodeLocations, traverseCauseChain } from '../../common/errors.js';
+/**
+ * The function call that executes an ACIR.
+ * @param acir - The ACIR circuit bytecode to execute.
+ * @param initialWitness - The initial witness map defining all of the inputs to `circuit`.
+ * @param callback - A callback to process any foreign calls from the circuit.
+ * @param logger - Optional logger for ACVM execution logs.
+ * @returns The solved witness calculated by executing the circuit on the provided inputs, as well as the return
+ * witness indices as specified by the circuit.
+ */ export async function acvm(acir, initialWitness, callback, loggerOrBindings) {
+    const logger = resolveLogger('simulator:acvm', loggerOrBindings);
+    const solvedAndReturnWitness = await executeCircuitWithReturnWitness(acir, initialWitness, (name, args)=>{
+        try {
+            logger.debug(`Oracle callback ${name}`);
+            const oracleFunction = callback[name];
+            if (!oracleFunction) {
+                throw new Error(`Oracle callback ${name} not found`);
+            }
+            return oracleFunction.call(callback, ...args);
+        } catch (err) {
+            let typedError;
+            if (err instanceof Error) {
+                typedError = err;
+            } else {
+                typedError = new Error(`Error in oracle callback ${err}`);
+            }
+            logger.error(`Error in oracle callback ${name}: ${typedError.message}`);
+            throw typedError;
+        }
+    }).catch((err)=>{
+        // Wasm callbacks act as a boundary for stack traces, so we capture it here and complete the error if it happens.
+        const stack = new Error().stack;
+        traverseCauseChain(err, (cause)=>{
+            if (cause.stack) {
+                cause.stack += stack;
+            }
+        });
+        throw err;
+    });
+    return {
+        partialWitness: solvedAndReturnWitness.solvedWitness,
+        returnWitness: solvedAndReturnWitness.returnWitness
+    };
+}
+/**
+ * Extracts the call stack from an thrown by the acvm.
+ * @param error - The error to extract from.
+ * @param debug - The debug metadata of the function called.
+ * @returns The call stack, if available.
+ */ export function extractCallStack(error, debug) {
+    if (!('callStack' in error) || !error.callStack) {
+        return undefined;
+    }
+    const { callStack, brilligFunctionId } = error;
+    if (!debug) {
+        return callStack;
+    }
+    try {
+        return resolveOpcodeLocations(callStack, debug.debugSymbols, debug.files, brilligFunctionId);
+    } catch  {
+        return callStack;
+    }
+}

package/dest/private/acvm/acvm_types.d.ts

@@ -0,0 +1,10 @@
+import type { WitnessMap } from '@aztec/noir-acvm_js';
+/**
+ * ACVMField
+ */
+export type ACVMField = string;
+/**
+ * The format for witnesses of the ACVM.
+ */
+export type ACVMWitness = WitnessMap;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWN2bV90eXBlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3ByaXZhdGUvYWN2bS9hY3ZtX3R5cGVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRXREOztHQUVHO0FBQ0gsTUFBTSxNQUFNLFNBQVMsR0FBRyxNQUFNLENBQUM7QUFFL0I7O0dBRUc7QUFDSCxNQUFNLE1BQU0sV0FBVyxHQUFHLFVBQVUsQ0FBQyJ9

package/dest/private/acvm/acvm_types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acvm_types.d.ts","sourceRoot":"","sources":["../../../src/private/acvm/acvm_types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,UAAU,CAAC"}

package/dest/private/acvm/acvm_types.js

@@ -0,0 +1,3 @@
+/**
+ * The format for witnesses of the ACVM.
+ */ export { };

package/dest/private/acvm/deserialize.d.ts

@@ -0,0 +1,35 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { ACVMField, ACVMWitness } from './acvm_types.js';
+/**
+ * Converts a Noir BoundedVec of Fields into an Fr array. Note that BoundedVecs are structs, and therefore translated as
+ * two separate ACVMField values (an array and a single field).
+ *
+ * @param storage The array with the BoundedVec's storage (i.e. BoundedVec::storage())
+ * @param length The length of the BoundedVec (i.e. BoundedVec::len())
+ * @returns An array with the same content as the Noir version. Elements past the length are discarded.
+ */
+export declare function fromBoundedVec(storage: ACVMField[], length: ACVMField): Fr[];
+/**
+ * Converts a Noir BoundedVec of unsigned integers into a Buffer. Note that BoundedVecs are structs, and therefore
+ * translated as two separate ACVMField values (an array and a single field).
+ *
+ * @param storage The array with the BoundedVec's storage (i.e. BoundedVec::storage())
+ * @param length The length of the BoundedVec (i.e. BoundedVec::len())
+ * @param uintBitSize If it's an array of Noir u8's, put `8`, etc.
+ * @returns A buffer containing the unsigned integers tightly packed
+ */
+export declare function fromUintBoundedVec(storage: ACVMField[], length: ACVMField, uintBitSize: number): Buffer;
+/**
+ * Transforms a witness map to its field elements.
+ * @param witness - The witness to extract from.
+ * @returns The return values.
+ */
+export declare function witnessMapToFields(witness: ACVMWitness): Fr[];
+/**
+ * Converts an array of Noir unsigned integers to a single tightly-packed buffer.
+ * @param uintBitSize If it's an array of Noir u8's, put `8`, etc.
+ * @returns A buffer where each byte is correctly represented as a single byte in the buffer.
+ * Copy of the function in txe/src/util/encoding.ts.
+ */
+export declare function fromUintArray(obj: ACVMField[], uintBitSize: number): Buffer;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGVzZXJpYWxpemUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wcml2YXRlL2Fjdm0vZGVzZXJpYWxpemUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBR3pELE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxXQUFXLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUU5RDs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLGNBQWMsQ0FBQyxPQUFPLEVBQUUsU0FBUyxFQUFFLEVBQUUsTUFBTSxFQUFFLFNBQVMsR0FBRyxFQUFFLEVBQUUsQ0FFNUU7QUFFRDs7Ozs7Ozs7R0FRRztBQUNILHdCQUFnQixrQkFBa0IsQ0FBQyxPQUFPLEVBQUUsU0FBUyxFQUFFLEVBQUUsTUFBTSxFQUFFLFNBQVMsRUFBRSxXQUFXLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FPdkc7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLGtCQUFrQixDQUFDLE9BQU8sRUFBRSxXQUFXLEdBQUcsRUFBRSxFQUFFLENBRzdEO0FBRUQ7Ozs7O0dBS0c7QUFDSCx3QkFBZ0IsYUFBYSxDQUFDLEdBQUcsRUFBRSxTQUFTLEVBQUUsRUFBRSxXQUFXLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FNM0UifQ==

package/dest/private/acvm/deserialize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deserialize.d.ts","sourceRoot":"","sources":["../../../src/private/acvm/deserialize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAGzD,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9D;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,GAAG,EAAE,EAAE,CAE5E;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAOvG;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,WAAW,GAAG,EAAE,EAAE,CAG7D;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAM3E"}

package/dest/private/acvm/deserialize.js

@@ -0,0 +1,50 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { hexToBuffer } from '@aztec-labs/foundation/string';
+/**
+ * Converts a Noir BoundedVec of Fields into an Fr array. Note that BoundedVecs are structs, and therefore translated as
+ * two separate ACVMField values (an array and a single field).
+ *
+ * @param storage The array with the BoundedVec's storage (i.e. BoundedVec::storage())
+ * @param length The length of the BoundedVec (i.e. BoundedVec::len())
+ * @returns An array with the same content as the Noir version. Elements past the length are discarded.
+ */ export function fromBoundedVec(storage, length) {
+    return storage.slice(0, Fr.fromString(length).toNumber()).map(Fr.fromString);
+}
+/**
+ * Converts a Noir BoundedVec of unsigned integers into a Buffer. Note that BoundedVecs are structs, and therefore
+ * translated as two separate ACVMField values (an array and a single field).
+ *
+ * @param storage The array with the BoundedVec's storage (i.e. BoundedVec::storage())
+ * @param length The length of the BoundedVec (i.e. BoundedVec::len())
+ * @param uintBitSize If it's an array of Noir u8's, put `8`, etc.
+ * @returns A buffer containing the unsigned integers tightly packed
+ */ export function fromUintBoundedVec(storage, length, uintBitSize) {
+    if (uintBitSize % 8 !== 0) {
+        throw new Error(`u${uintBitSize} is not a supported type in Noir`);
+    }
+    const uintByteSize = uintBitSize / 8;
+    const boundedStorage = storage.slice(0, Fr.fromString(length).toNumber());
+    return Buffer.concat(boundedStorage.map((str)=>hexToBuffer(str).subarray(-uintByteSize)));
+}
+/**
+ * Transforms a witness map to its field elements.
+ * @param witness - The witness to extract from.
+ * @returns The return values.
+ */ export function witnessMapToFields(witness) {
+    const sortedKeys = [
+        ...witness.keys()
+    ].sort((a, b)=>a - b);
+    return sortedKeys.map((key)=>witness.get(key)).map(Fr.fromString);
+}
+/**
+ * Converts an array of Noir unsigned integers to a single tightly-packed buffer.
+ * @param uintBitSize If it's an array of Noir u8's, put `8`, etc.
+ * @returns A buffer where each byte is correctly represented as a single byte in the buffer.
+ * Copy of the function in txe/src/util/encoding.ts.
+ */ export function fromUintArray(obj, uintBitSize) {
+    if (uintBitSize % 8 !== 0) {
+        throw new Error(`u${uintBitSize} is not a supported type in Noir`);
+    }
+    const uintByteSize = uintBitSize / 8;
+    return Buffer.concat(obj.map((str)=>hexToBuffer(str).slice(-uintByteSize)));
+}

package/dest/private/acvm/index.d.ts

@@ -0,0 +1,5 @@
+export { extractCallStack, type ACIRCallback, type ACIRCallbackStats, type ACIRExecutionResult } from './acvm.js';
+export * from './acvm_types.js';
+export * from './deserialize.js';
+export * from './serialize.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wcml2YXRlL2Fjdm0vaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLGdCQUFnQixFQUFFLEtBQUssWUFBWSxFQUFFLEtBQUssaUJBQWlCLEVBQUUsS0FBSyxtQkFBbUIsRUFBRSxNQUFNLFdBQVcsQ0FBQztBQUNsSCxjQUFjLGlCQUFpQixDQUFDO0FBQ2hDLGNBQWMsa0JBQWtCLENBQUM7QUFDakMsY0FBYyxnQkFBZ0IsQ0FBQyJ9

package/dest/private/acvm/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/private/acvm/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,KAAK,YAAY,EAAE,KAAK,iBAAiB,EAAE,KAAK,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAClH,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC"}

package/dest/private/acvm/index.js

@@ -0,0 +1,4 @@
+export { extractCallStack } from './acvm.js';
+export * from './acvm_types.js';
+export * from './deserialize.js';
+export * from './serialize.js';

package/dest/private/acvm/serialize.d.ts

@@ -0,0 +1,41 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { EthAddress } from '@aztec-labs/foundation/eth-address';
+import type { AztecAddress } from '@aztec-labs/stdlib/aztec-address';
+import type { ACVMField } from './acvm_types.js';
+/**
+ * Converts a value to an ACVM field.
+ * @param value - The value to convert.
+ * @returns The ACVM field.
+ */
+export declare function toACVMField(value: AztecAddress | EthAddress | Fr | Buffer | boolean | number | bigint | ACVMField): ACVMField;
+/**
+ * Converts a single value or an array of single values into the equivalent ACVM field representation.
+ */
+export declare function toACVMFieldSingleOrArray(value: Fr | Fr[]): string | string[];
+/**
+ * Inserts a list of ACVM fields to a witness.
+ * @param witnessStartIndex - The index where to start inserting the fields.
+ * @param fields - The fields to insert.
+ * @returns The witness.
+ */
+export declare function toACVMWitness(witnessStartIndex: number, fields: Parameters<typeof toACVMField>[0][]): Map<number, string>;
+export declare function bufferToU8Array(buffer: Buffer): ACVMField[];
+export declare function bufferToBoundedVec(buffer: Buffer, maxLen: number): [ACVMField[], ACVMField];
+/**
+ * Converts a ForeignCallArray into a tuple which represents a nr BoundedVec.
+ * If the input array is shorter than the maxLen, it pads the result with zeros,
+ * so that nr can correctly coerce this result into a BoundedVec.
+ * @param bVecStorage - The array underlying the BoundedVec.
+ * @param maxLen - the max length of the BoundedVec.
+ * @returns a tuple representing a BoundedVec.
+ */
+export declare function arrayToBoundedVec(bVecStorage: ACVMField[], maxLen: number): [ACVMField[], ACVMField];
+/**
+ * Converts an array of arrays representing Noir BoundedVec of nested arrays into its Noir serialized form.
+ * @param bVecStorage - The array underlying the BoundedVec.
+ * @param maxLen - The max length of the BoundedVec (max num of the nested arrays in the BoundedVec).
+ * @param nestedArrayLength - The length of the nested arrays (each nested array has to have the same length).
+ * @returns Serialized BoundedVec following Noir intrinsic serialization.
+ */
+export declare function arrayOfArraysToBoundedVecOfArrays(bVecStorage: ACVMField[][], maxLen: number, nestedArrayLength: number): [ACVMField[], ACVMField];
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VyaWFsaXplLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHJpdmF0ZS9hY3ZtL3NlcmlhbGl6ZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDckUsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFFckUsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFnQmpEOzs7O0dBSUc7QUFDSCx3QkFBZ0IsV0FBVyxDQUN6QixLQUFLLEVBQUUsWUFBWSxHQUFHLFVBQVUsR0FBRyxFQUFFLEdBQUcsTUFBTSxHQUFHLE9BQU8sR0FBRyxNQUFNLEdBQUcsTUFBTSxHQUFHLFNBQVMsR0FDckYsU0FBUyxDQVlYO0FBRUQ7O0dBRUc7QUFDSCx3QkFBZ0Isd0JBQXdCLENBQUMsS0FBSyxFQUFFLEVBQUUsR0FBRyxFQUFFLEVBQUUscUJBRXhEO0FBRUQ7Ozs7O0dBS0c7QUFDSCx3QkFBZ0IsYUFBYSxDQUFDLGlCQUFpQixFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsVUFBVSxDQUFDLE9BQU8sV0FBVyxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsdUJBS25HO0FBRUQsd0JBQWdCLGVBQWUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFNBQVMsRUFBRSxDQUUzRDtBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLEdBQUcsQ0FBQyxTQUFTLEVBQUUsRUFBRSxTQUFTLENBQUMsQ0FHM0Y7QUFFRDs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLGlCQUFpQixDQUFDLFdBQVcsRUFBRSxTQUFTLEVBQUUsRUFBRSxNQUFNLEVBQUUsTUFBTSxHQUFHLENBQUMsU0FBUyxFQUFFLEVBQUUsU0FBUyxDQUFDLENBU3BHO0FBRUQ7Ozs7OztHQU1HO0FBQ0gsd0JBQWdCLGlDQUFpQyxDQUMvQyxXQUFXLEVBQUUsU0FBUyxFQUFFLEVBQUUsRUFDMUIsTUFBTSxFQUFFLE1BQU0sRUFDZCxpQkFBaUIsRUFBRSxNQUFNLEdBQ3hCLENBQUMsU0FBUyxFQUFFLEVBQUUsU0FBUyxDQUFDLENBc0IxQiJ9

package/dest/private/acvm/serialize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../../src/private/acvm/serialize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAErE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAgBjD;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,YAAY,GAAG,UAAU,GAAG,EAAE,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GACrF,SAAS,CAYX;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,qBAExD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,iBAAiB,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,uBAKnG;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE,CAE3D;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,SAAS,EAAE,EAAE,SAAS,CAAC,CAG3F;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,SAAS,EAAE,EAAE,SAAS,CAAC,CASpG;AAED;;;;;;GAMG;AACH,wBAAgB,iCAAiC,CAC/C,WAAW,EAAE,SAAS,EAAE,EAAE,EAC1B,MAAM,EAAE,MAAM,EACd,iBAAiB,EAAE,MAAM,GACxB,CAAC,SAAS,EAAE,EAAE,SAAS,CAAC,CAsB1B"}