@aztec/simulator 0.76.4 → 0.77.0-testnet-ignition.17

package/README.md

@@ -12,7 +12,7 @@ It's able to simulate three different types of functions:
 
 Private functions are simulated and proved client-side, and verified client-side in the private kernel circuit.
 
-The public inputs of private functions is defined [here](../circuits.js/src/structs/private_circuit_public_inputs.ts).
+The public inputs of private functions is 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.
 
@@ -22,7 +22,7 @@ Private functions can call another private function, and can request to call a p
 
 Public functions are simulated and proved on the sequencer side, and verified by the public kernel circuit.
 
-The public inputs of public functions is defined [here](../circuits.js/src/structs/avm_circuit_public_inputs.ts).
+The public inputs of public functions is 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.
 
@@ -35,7 +35,7 @@ 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. 
+At the moment, unconstrained functions cannot call any other function.
 It would be possible to allow them to call other unconstrained functions.
 
 ## Usage

package/dest/client.d.ts

@@ -0,0 +1,5 @@
+export * from './private/index.js';
+export { WASMSimulator } from './private/providers/acvm_wasm.js';
+export { type SimulationProvider } from './private/providers/simulation_provider.js';
+export * from './common/index.js';
+//# sourceMappingURL=client.d.ts.map

package/dest/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACjE,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AACrF,cAAc,mBAAmB,CAAC"}

package/dest/client.js

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

package/dest/{public → common}/db_interfaces.d.ts

@@ -1,10 +1,10 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { type NullifierMembershipWitness } from '@aztec/circuit-types';
-import { type ContractInstanceWithAddress, type FunctionSelector, type L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/circuits.js';
-import { type AztecAddress } from '@aztec/foundation/aztec-address';
-import { type Fr } from '@aztec/foundation/fields';
-import { type MessageLoadOracleInputs } from '../common/message_load_oracle_inputs.js';
+import type { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
+import type { Fr } from '@aztec/foundation/fields';
+import type { FunctionSelector } from '@aztec/stdlib/abi';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
+import type { NullifierMembershipWitness } from '@aztec/stdlib/trees';
+import type { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
 /**
  * Database interface for providing access to public state.
  */
@@ -21,38 +21,13 @@ export interface PublicStateDB {
      * @param contract - Owner of the storage.
      * @param slot - Slot to read in the contract storage.
      * @param newValue - The new value to store.
-     * @returns The slot of the written leaf in the public data tree.
      */
-    storageWrite(contract: AztecAddress, slot: Fr, newValue: Fr): Promise<bigint>;
-    /**
-     * Mark the uncommitted changes in this TX as a checkpoint.
-     */
-    checkpoint(): Promise<void>;
-    /**
-     * Rollback to the last checkpoint.
-     */
-    rollbackToCheckpoint(): Promise<void>;
-    /**
-     * Commit the changes in this TX. Includes all changes since the last commit,
-     * even if they haven't been covered by a checkpoint.
-     */
-    commit(): Promise<void>;
-    /**
-     * Rollback to the last commit.
-     */
-    rollbackToCommit(): Promise<void>;
+    storageWrite(contract: AztecAddress, slot: Fr, newValue: Fr): Promise<void>;
 }
 /**
  * Database interface for providing access to public contract data.
  */
 export interface PublicContractsDB {
-    /**
-     * Returns the brillig (public bytecode) of a function.
-     * @param address - The contract address that owns this function.
-     * @param selector - The selector for the function.
-     * @returns The bytecode or undefined if not found.
-     */
-    getBytecode(address: AztecAddress, selector: FunctionSelector): Promise<Buffer | undefined>;
     /**
      * Returns a publicly deployed contract instance.
      * @param address - Address of the contract.

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

@@ -0,0 +1 @@
+{"version":3,"file":"db_interfaces.d.ts","sourceRoot":"","sources":["../../src/common/db_interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AAEtE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE/E;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;OAKG;IACH,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IAE3D;;;;;OAKG;IACH,YAAY,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC7E;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;;OAIG;IACH,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,2BAA2B,GAAG,SAAS,CAAC,CAAC;IAE7F,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;CAC9G;AAED,6GAA6G;AAC7G,MAAM,WAAW,aAAa;IAC5B;;;;;;;OAOG;IACH,0BAA0B,CACxB,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE,EACf,MAAM,EAAE,EAAE,GACT,OAAO,CAAC,uBAAuB,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC;IAErE;;;OAGG;IACH,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC;IAE/D;;;;OAIG;IACH,kBAAkB,CAAC,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAEhE;;;;OAIG;IACH,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC;IAE/D;;;;OAIG;IACH,iBAAiB,CAAC,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAE9D;;;;OAIG;IACH,0CAA0C,CAAC,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAAC;CAC5G"}

package/dest/common/db_interfaces.js

@@ -0,0 +1 @@
+/** Database interface for providing access to commitment tree, l1 to l2 message tree, and nullifier tree. */ export { };

package/dest/common/debug_fn_name.d.ts

@@ -1,4 +1,5 @@
-import { type AztecAddress, type Fr } from '@aztec/circuits.js';
-import { type WorldStateDB } from '../public/public_db_sources.js';
+import type { Fr } from '@aztec/foundation/fields';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { WorldStateDB } from '../public/public_db_sources.js';
 export declare function getPublicFunctionDebugName(db: WorldStateDB, contractAddress: AztecAddress, calldata: Fr[]): Promise<string>;
 //# sourceMappingURL=debug_fn_name.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"debug_fn_name.d.ts","sourceRoot":"","sources":["../../src/common/debug_fn_name.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,EAAE,EAAoB,MAAM,oBAAoB,CAAC;AAElF,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAEnE,wBAAsB,0BAA0B,CAC9C,EAAE,EAAE,YAAY,EAChB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,EAAE,EAAE,GACb,OAAO,CAAC,MAAM,CAAC,CAOjB"}
+{"version":3,"file":"debug_fn_name.d.ts","sourceRoot":"","sources":["../../src/common/debug_fn_name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAEnE,wBAAsB,0BAA0B,CAC9C,EAAE,EAAE,YAAY,EAChB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,EAAE,EAAE,GACb,OAAO,CAAC,MAAM,CAAC,CAOjB"}

package/dest/common/debug_fn_name.js

@@ -1,9 +1,6 @@
-import { FunctionSelector } from '@aztec/circuits.js';
+import { FunctionSelector } from '@aztec/stdlib/abi';
 export async function getPublicFunctionDebugName(db, contractAddress, calldata) {
     // Public function is dispatched and therefore the target function is passed in the first argument.
-    const targetFunction = calldata[0] !== undefined
-        ? await db.getDebugFunctionName(contractAddress, FunctionSelector.fromField(calldata[0]))
-        : `<calldata[0] undefined> (Contract Address: ${contractAddress})`;
+    const targetFunction = calldata[0] !== undefined ? await db.getDebugFunctionName(contractAddress, FunctionSelector.fromField(calldata[0])) : `<calldata[0] undefined> (Contract Address: ${contractAddress})`;
     return `${targetFunction}`;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGVidWdfZm5fbmFtZS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb21tb24vZGVidWdfZm5fbmFtZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQThCLGdCQUFnQixFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFJbEYsTUFBTSxDQUFDLEtBQUssVUFBVSwwQkFBMEIsQ0FDOUMsRUFBZ0IsRUFDaEIsZUFBNkIsRUFDN0IsUUFBYztJQUVkLG1HQUFtRztJQUNuRyxNQUFNLGNBQWMsR0FDbEIsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLFNBQVM7UUFDdkIsQ0FBQyxDQUFDLE1BQU0sRUFBRSxDQUFDLG9CQUFvQixDQUFDLGVBQWUsRUFBRSxnQkFBZ0IsQ0FBQyxTQUFTLENBQUMsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDekYsQ0FBQyxDQUFDLDhDQUE4QyxlQUFlLEdBQUcsQ0FBQztJQUN2RSxPQUFPLEdBQUcsY0FBYyxFQUFFLENBQUM7QUFDN0IsQ0FBQyJ9

package/dest/common/errors.d.ts

@@ -1,7 +1,7 @@
-import { type FailingFunction, type NoirCallStack, SimulationError, type SourceCodeLocation } from '@aztec/circuit-types';
-import { type Fr } from '@aztec/circuits.js';
-import type { BrilligFunctionId, FunctionAbi, FunctionDebugMetadata, OpcodeLocation } from '@aztec/foundation/abi';
-import { type RawAssertionPayload } from '@noir-lang/acvm_js';
+import type { Fr } from '@aztec/foundation/fields';
+import type { BrilligFunctionId, FunctionAbi, FunctionDebugMetadata, OpcodeLocation } from '@aztec/stdlib/abi';
+import { type FailingFunction, type NoirCallStack, SimulationError, type SourceCodeLocation } from '@aztec/stdlib/errors';
+import type { RawAssertionPayload } from '@noir-lang/acvm_js';
 /**
  * An error that occurred during the execution of a function.
  * @param message - the error message

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

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/common/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,eAAe,EACf,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGnH,OAAO,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAG9D;;;;;;;GAOG;AACH,qBAAa,cAAe,SAAQ,KAAK;IAGrC;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC;gBARrB,OAAO,EAAE,MAAM;IACf;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC,2BAAe,EACpC,OAAO,CAAC,EAAE,YAAY;CAIzB;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;AAuDD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,eAAe,EAAE,cAAc,EAAE,EACjC,KAAK,EAAE,qBAAqB,EAC5B,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,kBAAkB,EAAE,CAItB;AAED,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"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/common/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC/G,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,eAAe,EACf,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAG9D;;;;;;;GAOG;AACH,qBAAa,cAAe,SAAQ,KAAK;IAGrC;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC;gBARrB,OAAO,EAAE,MAAM;IACf;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC,2BAAe,EACpC,OAAO,CAAC,EAAE,YAAY;CAIzB;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;AAuDD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,eAAe,EAAE,cAAc,EAAE,EACjC,KAAK,EAAE,qBAAqB,EAC5B,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,kBAAkB,EAAE,CAItB;AAED,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

@@ -1,5 +1,5 @@
-import { SimulationError, } from '@aztec/circuit-types';
 import { jsonStringify } from '@aztec/foundation/json-rpc';
+import { SimulationError } from '@aztec/stdlib/errors';
 import { abiDecodeError } from '@noir-lang/noirc_abi';
 /**
  * An error that occurred during the execution of a function.
@@ -8,35 +8,28 @@ import { abiDecodeError } from '@noir-lang/noirc_abi';
  * @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 {
-    constructor(message, 
-    /**
+ */ export class ExecutionError extends Error {
+    failingFunction;
+    noirCallStack;
+    constructor(message, /**
      * The function that failed.
-     */
-    failingFunction, 
-    /**
+     */ failingFunction, /**
      * The noir call stack of the function that failed.
-     */
-    noirCallStack, options) {
-        super(message, options);
-        this.failingFunction = failingFunction;
-        this.noirCallStack = noirCallStack;
+     */ 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) {
+ */ export function traverseCauseChain(error, callback) {
     let currentError = error;
-    while (currentError) {
+    while(currentError){
         callback(currentError);
         if (currentError.cause && currentError.cause instanceof Error) {
             currentError = currentError.cause;
-        }
-        else {
+        } else {
             currentError = undefined;
         }
     }
@@ -45,12 +38,11 @@ export function traverseCauseChain(error, callback) {
  * 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) {
+ */ export function createSimulationError(error, revertData) {
     let rootCause = error;
     let noirCallStack = undefined;
     const aztecCallStack = [];
-    traverseCauseChain(error, cause => {
+    traverseCauseChain(error, (cause)=>{
         rootCause = cause;
         if (cause instanceof ExecutionError) {
             aztecCallStack.push(cause.failingFunction);
@@ -59,14 +51,15 @@ export function createSimulationError(error, revertData) {
             }
         }
     });
-    return new SimulationError(rootCause.message, aztecCallStack, revertData, noirCallStack, { cause: rootCause });
+    return new SimulationError(rootCause.message, aztecCallStack, revertData, noirCallStack, {
+        cause: rootCause
+    });
 }
 /**
  * Extracts a brillig location from an opcode location.
  * @param opcodeLocation - The opcode location to extract from. It should be in the format `acirLocation.brilligLocation` or `acirLocation`.
  * @returns The brillig location if the opcode location contains one.
- */
-function extractBrilligLocation(opcodeLocation) {
+ */ function extractBrilligLocation(opcodeLocation) {
     const splitted = opcodeLocation.split('.');
     if (splitted.length === 2) {
         return splitted[1];
@@ -76,8 +69,7 @@ function extractBrilligLocation(opcodeLocation) {
 /**
  * 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, brilligFunctionId) {
+ */ function getSourceCodeLocationsFromOpcodeLocation(opcodeLocation, debug, brilligFunctionId) {
     const { debugSymbols, files } = debug;
     let callStack = debugSymbols.locations[opcodeLocation] || [];
     if (callStack.length === 0) {
@@ -86,7 +78,7 @@ function getSourceCodeLocationsFromOpcodeLocation(opcodeLocation, debug, brillig
             callStack = debugSymbols.brillig_locations[brilligFunctionId][brilligLocation] || [];
         }
     }
-    return callStack.map(call => {
+    return callStack.map((call)=>{
         const { file: fileId, span } = call;
         const { path, source } = files[fileId];
         const locationText = source.substring(span.start, span.end);
@@ -100,7 +92,7 @@ function getSourceCodeLocationsFromOpcodeLocation(opcodeLocation, debug, brillig
             line,
             column,
             fileSource: source,
-            locationText,
+            locationText
         };
     });
 }
@@ -109,17 +101,18 @@ function getSourceCodeLocationsFromOpcodeLocation(opcodeLocation, debug, brillig
  * @param opcodeLocations - The opcode locations that caused the error.
  * @param debug - The debug metadata of the function.
  * @returns The source code locations.
- */
-export function resolveOpcodeLocations(opcodeLocations, debug, brilligFunctionId) {
-    return opcodeLocations.flatMap(opcodeLocation => getSourceCodeLocationsFromOpcodeLocation(opcodeLocation, debug, brilligFunctionId));
+ */ export function resolveOpcodeLocations(opcodeLocations, debug, brilligFunctionId) {
+    return opcodeLocations.flatMap((opcodeLocation)=>getSourceCodeLocationsFromOpcodeLocation(opcodeLocation, debug, brilligFunctionId));
 }
 export function resolveAssertionMessage(errorPayload, abi) {
-    const decoded = abiDecodeError({ parameters: [], error_types: abi.errorTypes, return_type: null }, // eslint-disable-line camelcase
-    errorPayload);
+    const decoded = abiDecodeError({
+        parameters: [],
+        error_types: abi.errorTypes,
+        return_type: null
+    }, errorPayload);
     if (typeof decoded === 'string') {
         return decoded;
-    }
-    else {
+    } else {
         return jsonStringify(decoded);
     }
 }
@@ -130,15 +123,13 @@ export function resolveAssertionMessageFromRevertData(revertData, abi) {
     const [errorSelector, ...errorData] = revertData;
     return resolveAssertionMessage({
         selector: errorSelector.toBigInt().toString(),
-        data: errorData.map(f => f.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 {
+    } else {
         return err.message;
     }
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JzLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbW1vbi9lcnJvcnMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUdMLGVBQWUsR0FFaEIsTUFBTSxzQkFBc0IsQ0FBQztBQUc5QixPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFHM0QsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBRXREOzs7Ozs7O0dBT0c7QUFDSCxNQUFNLE9BQU8sY0FBZSxTQUFRLEtBQUs7SUFDdkMsWUFDRSxPQUFlO0lBQ2Y7O09BRUc7SUFDSSxlQUFnQztJQUN2Qzs7T0FFRztJQUNJLGFBQTZCLEVBQ3BDLE9BQXNCO1FBRXRCLEtBQUssQ0FBQyxPQUFPLEVBQUUsT0FBTyxDQUFDLENBQUM7UUFQakIsb0JBQWUsR0FBZixlQUFlLENBQWlCO1FBSWhDLGtCQUFhLEdBQWIsYUFBYSxDQUFnQjtJQUl0QyxDQUFDO0NBQ0Y7QUFFRDs7OztHQUlHO0FBQ0gsTUFBTSxVQUFVLGtCQUFrQixDQUFDLEtBQVksRUFBRSxRQUFnQztJQUMvRSxJQUFJLFlBQVksR0FBc0IsS0FBSyxDQUFDO0lBQzVDLE9BQU8sWUFBWSxFQUFFLENBQUM7UUFDcEIsUUFBUSxDQUFDLFlBQVksQ0FBQyxDQUFDO1FBQ3ZCLElBQUksWUFBWSxDQUFDLEtBQUssSUFBSSxZQUFZLENBQUMsS0FBSyxZQUFZLEtBQUssRUFBRSxDQUFDO1lBQzlELFlBQVksR0FBRyxZQUFZLENBQUMsS0FBSyxDQUFDO1FBQ3BDLENBQUM7YUFBTSxDQUFDO1lBQ04sWUFBWSxHQUFHLFNBQVMsQ0FBQztRQUMzQixDQUFDO0lBQ0gsQ0FBQztBQUNILENBQUM7QUFFRDs7OztHQUlHO0FBQ0gsTUFBTSxVQUFVLHFCQUFxQixDQUFDLEtBQVksRUFBRSxVQUFpQjtJQUNuRSxJQUFJLFNBQVMsR0FBRyxLQUFLLENBQUM7SUFDdEIsSUFBSSxhQUFhLEdBQThCLFNBQVMsQ0FBQztJQUN6RCxNQUFNLGNBQWMsR0FBc0IsRUFBRSxDQUFDO0lBRTdDLGtCQUFrQixDQUFDLEtBQUssRUFBRSxLQUFLLENBQUMsRUFBRTtRQUNoQyxTQUFTLEdBQUcsS0FBSyxDQUFDO1FBQ2xCLElBQUksS0FBSyxZQUFZLGNBQWMsRUFBRSxDQUFDO1lBQ3BDLGNBQWMsQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLGVBQWUsQ0FBQyxDQUFDO1lBQzNDLElBQUksS0FBSyxDQUFDLGFBQWEsRUFBRSxDQUFDO2dCQUN4QixhQUFhLEdBQUcsS0FBSyxDQUFDLGFBQWEsQ0FBQztZQUN0QyxDQUFDO1FBQ0gsQ0FBQztJQUNILENBQUMsQ0FBQyxDQUFDO0lBRUgsT0FBTyxJQUFJLGVBQWUsQ0FBQyxTQUFTLENBQUMsT0FBTyxFQUFFLGNBQWMsRUFBRSxVQUFVLEVBQUUsYUFBYSxFQUFFLEVBQUUsS0FBSyxFQUFFLFNBQVMsRUFBRSxDQUFDLENBQUM7QUFDakgsQ0FBQztBQUVEOzs7O0dBSUc7QUFDSCxTQUFTLHNCQUFzQixDQUFDLGNBQXNCO0lBQ3BELE1BQU0sUUFBUSxHQUFHLGNBQWMsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUFDLENBQUM7SUFDM0MsSUFBSSxRQUFRLENBQUMsTUFBTSxLQUFLLENBQUMsRUFBRSxDQUFDO1FBQzFCLE9BQU8sUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ3JCLENBQUM7SUFDRCxPQUFPLFNBQVMsQ0FBQztBQUNuQixDQUFDO0FBRUQ7OztHQUdHO0FBQ0gsU0FBUyx3Q0FBd0MsQ0FDL0MsY0FBc0IsRUFDdEIsS0FBNEIsRUFDNUIsaUJBQXFDO0lBRXJDLE1BQU0sRUFBRSxZQUFZLEVBQUUsS0FBSyxFQUFFLEdBQUcsS0FBSyxDQUFDO0lBRXRDLElBQUksU0FBUyxHQUFHLFlBQVksQ0FBQyxTQUFTLENBQUMsY0FBYyxDQUFDLElBQUksRUFBRSxDQUFDO0lBQzdELElBQUksU0FBUyxDQUFDLE1BQU0sS0FBSyxDQUFDLEVBQUUsQ0FBQztRQUMzQixNQUFNLGVBQWUsR0FBRyxzQkFBc0IsQ0FBQyxjQUFjLENBQUMsQ0FBQztRQUMvRCxJQUFJLGlCQUFpQixLQUFLLFNBQVMsSUFBSSxlQUFlLEtBQUssU0FBUyxFQUFFLENBQUM7WUFDckUsU0FBUyxHQUFHLFlBQVksQ0FBQyxpQkFBaUIsQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDLGVBQWUsQ0FBQyxJQUFJLEVBQUUsQ0FBQztRQUN2RixDQUFDO0lBQ0gsQ0FBQztJQUNELE9BQU8sU0FBUyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsRUFBRTtRQUMxQixNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsR0FBRyxJQUFJLENBQUM7UUFFcEMsTUFBTSxFQUFFLElBQUksRUFBRSxNQUFNLEVBQUUsR0FBRyxLQUFLLENBQUMsTUFBTSxDQUFDLENBQUM7UUFFdkMsTUFBTSxZQUFZLEdBQUcsTUFBTSxDQUFDLFNBQVMsQ0FBQyxJQUFJLENBQUMsS0FBSyxFQUFFLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQztRQUM1RCxNQUFNLGFBQWEsR0FBRyxNQUFNLENBQUMsU0FBUyxDQUFDLENBQUMsRUFBRSxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUM7UUFDdEQsTUFBTSxhQUFhLEdBQUcsYUFBYSxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUNoRCwrQ0FBK0M7UUFDL0MsTUFBTSxJQUFJLEdBQUcsYUFBYSxDQUFDLE1BQU0sQ0FBQztRQUNsQyxNQUFNLE1BQU0sR0FBRyxhQUFhLENBQUMsYUFBYSxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDO1FBRWxFLE9BQU87WUFDTCxRQUFRLEVBQUUsSUFBSTtZQUNkLElBQUk7WUFDSixNQUFNO1lBQ04sVUFBVSxFQUFFLE1BQU07WUFDbEIsWUFBWTtTQUNiLENBQUM7SUFDSixDQUFDLENBQUMsQ0FBQztBQUNMLENBQUM7QUFFRDs7Ozs7R0FLRztBQUNILE1BQU0sVUFBVSxzQkFBc0IsQ0FDcEMsZUFBaUMsRUFDakMsS0FBNEIsRUFDNUIsaUJBQXFDO0lBRXJDLE9BQU8sZUFBZSxDQUFDLE9BQU8sQ0FBQyxjQUFjLENBQUMsRUFBRSxDQUM5Qyx3Q0FBd0MsQ0FBQyxjQUFjLEVBQUUsS0FBSyxFQUFFLGlCQUFpQixDQUFDLENBQ25GLENBQUM7QUFDSixDQUFDO0FBRUQsTUFBTSxVQUFVLHVCQUF1QixDQUFDLFlBQWlDLEVBQUUsR0FBZ0I7SUFDekYsTUFBTSxPQUFPLEdBQUcsY0FBYyxDQUM1QixFQUFFLFVBQVUsRUFBRSxFQUFFLEVBQUUsV0FBVyxFQUFFLEdBQUcsQ0FBQyxVQUFVLEVBQUUsV0FBVyxFQUFFLElBQUksRUFBRSxFQUFFLGdDQUFnQztJQUNwRyxZQUFZLENBQ2IsQ0FBQztJQUVGLElBQUksT0FBTyxPQUFPLEtBQUssUUFBUSxFQUFFLENBQUM7UUFDaEMsT0FBTyxPQUFPLENBQUM7SUFDakIsQ0FBQztTQUFNLENBQUM7UUFDTixPQUFPLGFBQWEsQ0FBQyxPQUFPLENBQUMsQ0FBQztJQUNoQyxDQUFDO0FBQ0gsQ0FBQztBQUVELE1BQU0sVUFBVSxxQ0FBcUMsQ0FBQyxVQUFnQixFQUFFLEdBQWdCO0lBQ3RGLElBQUksVUFBVSxDQUFDLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQztRQUMzQixPQUFPLFNBQVMsQ0FBQztJQUNuQixDQUFDO0lBRUQsTUFBTSxDQUFDLGFBQWEsRUFBRSxHQUFHLFNBQVMsQ0FBQyxHQUFHLFVBQVUsQ0FBQztJQUVqRCxPQUFPLHVCQUF1QixDQUM1QjtRQUNFLFFBQVEsRUFBRSxhQUFhLENBQUMsUUFBUSxFQUFFLENBQUMsUUFBUSxFQUFFO1FBQzdDLElBQUksRUFBRSxTQUFTLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLFFBQVEsRUFBRSxDQUFDO0tBQ3ZDLEVBQ0QsR0FBRyxDQUNKLENBQUM7QUFDSixDQUFDO0FBRUQsTUFBTSxVQUFVLGdDQUFnQyxDQUFDLEdBQVUsRUFBRSxHQUFnQjtJQUMzRSxJQUFJLE9BQU8sR0FBRyxLQUFLLFFBQVEsSUFBSSxHQUFHLEtBQUssSUFBSSxJQUFJLHFCQUFxQixJQUFJLEdBQUcsSUFBSSxHQUFHLENBQUMsbUJBQW1CLEVBQUUsQ0FBQztRQUN2RyxPQUFPLHFCQUFxQix1QkFBdUIsQ0FBQyxHQUFHLENBQUMsbUJBQTBDLEVBQUUsR0FBRyxDQUFDLEVBQUUsQ0FBQztJQUM3RyxDQUFDO1NBQU0sQ0FBQztRQUNOLE9BQU8sR0FBRyxDQUFDLE9BQU8sQ0FBQztJQUNyQixDQUFDO0FBQ0gsQ0FBQyJ9

package/dest/common/index.d.ts

@@ -1,3 +1,4 @@
-export * from './hashed_values_cache.js';
 export * from './errors.js';
+export * from './stats/index.js';
+export * from './message_load_oracle_inputs.js';
 //# sourceMappingURL=index.d.ts.map

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

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

package/dest/common/index.js

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

package/dest/common/message_load_oracle_inputs.d.ts

@@ -1,5 +1,5 @@
-import { type SiblingPath } from '@aztec/circuit-types';
-import { Fr } from '@aztec/circuits.js';
+import { Fr } from '@aztec/foundation/fields';
+import type { SiblingPath } from '@aztec/foundation/trees';
 export declare class MessageLoadOracleInputs<N extends number> {
     /** The index of the message commitment in the merkle tree. */
     index: bigint;

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

@@ -1 +1 @@
-{"version":3,"file":"message_load_oracle_inputs.d.ts","sourceRoot":"","sources":["../../src/common/message_load_oracle_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,EAAE,EAAE,MAAM,oBAAoB,CAAC;AAExC,qBAAa,uBAAuB,CAAC,CAAC,SAAS,MAAM;IAEjD,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;;IAHlC,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAGpC,QAAQ,IAAI,EAAE,EAAE;CAGjB"}
+{"version":3,"file":"message_load_oracle_inputs.d.ts","sourceRoot":"","sources":["../../src/common/message_load_oracle_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAE3D,qBAAa,uBAAuB,CAAC,CAAC,SAAS,MAAM;IAEjD,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;;IAHlC,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAGpC,QAAQ,IAAI,EAAE,EAAE;CAGjB"}

package/dest/common/message_load_oracle_inputs.js

@@ -1,15 +1,15 @@
-import { Fr } from '@aztec/circuits.js';
+import { Fr } from '@aztec/foundation/fields';
 export class MessageLoadOracleInputs {
-    constructor(
-    /** The index of the message commitment in the merkle tree. */
-    index, 
-    /** The path in the merkle tree to the message. */
-    siblingPath) {
+    index;
+    siblingPath;
+    constructor(/** The index of the message commitment in the merkle tree. */ index, /** The path in the merkle tree to the message. */ siblingPath){
         this.index = index;
         this.siblingPath = siblingPath;
     }
     toFields() {
-        return [new Fr(this.index), ...this.siblingPath.toFields()];
+        return [
+            new Fr(this.index),
+            ...this.siblingPath.toFields()
+        ];
     }
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVzc2FnZV9sb2FkX29yYWNsZV9pbnB1dHMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29tbW9uL21lc3NhZ2VfbG9hZF9vcmFjbGVfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUV4QyxNQUFNLE9BQU8sdUJBQXVCO0lBQ2xDO0lBQ0UsOERBQThEO0lBQ3ZELEtBQWE7SUFDcEIsa0RBQWtEO0lBQzNDLFdBQTJCO1FBRjNCLFVBQUssR0FBTCxLQUFLLENBQVE7UUFFYixnQkFBVyxHQUFYLFdBQVcsQ0FBZ0I7SUFDakMsQ0FBQztJQUVKLFFBQVE7UUFDTixPQUFPLENBQUMsSUFBSSxFQUFFLENBQUMsSUFBSSxDQUFDLEtBQUssQ0FBQyxFQUFFLEdBQUcsSUFBSSxDQUFDLFdBQVcsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDO0lBQzlELENBQUM7Q0FDRiJ9

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/{stats → common/stats}/stats.d.ts

@@ -1,4 +1,4 @@
-import { type CircuitName } from '@aztec/circuit-types/stats';
-import { type Logger } from '@aztec/foundation/log';
+import type { Logger } from '@aztec/foundation/log';
+import type { CircuitName } from '@aztec/stdlib/stats';
 export declare function emitCircuitSimulationStats(circuitName: CircuitName, duration: number, inputSize: number, outputSize: number, logger: Logger): void;
 //# sourceMappingURL=stats.d.ts.map

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,uBAAuB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAA0B,MAAM,qBAAqB,CAAC;AAE/E,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/{acvm → private/acvm}/acvm.d.ts

@@ -1,10 +1,10 @@
 /// <reference types="node" resolution-mode="require"/>
 /// <reference types="node" resolution-mode="require"/>
-import { type NoirCallStack } from '@aztec/circuit-types';
-import type { FunctionDebugMetadata } from '@aztec/foundation/abi';
+import type { FunctionDebugMetadata } from '@aztec/stdlib/abi';
+import type { NoirCallStack } from '@aztec/stdlib/errors';
 import { type ExecutionError, type ForeignCallInput, type ForeignCallOutput } from '@noir-lang/acvm_js';
-import { type ACVMWitness } from './acvm_types.js';
-import { type ORACLE_NAMES } from './oracle/index.js';
+import type { ACVMWitness } from './acvm_types.js';
+import type { ORACLE_NAMES } from './oracle/index.js';
 /**
  * The callback interface for the ACIR.
  */

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":";;AACA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEtD;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAC/B,YAAY,EACZ,CACE,GAAG,IAAI,EAAE,gBAAgB,EAAE,KAEzB,IAAI,GACJ,OAAO,CAAC,IAAI,CAAC,GACb,iBAAiB,GACjB,iBAAiB,EAAE,GACnB,OAAO,CAAC,iBAAiB,CAAC,GAC1B,OAAO,CAAC,iBAAiB,EAAE,CAAC,CACjC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,cAAc,EAAE,WAAW,CAAC;IAC5B,aAAa,EAAE,WAAW,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAsB,IAAI,CACxB,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,WAAW,EAC3B,QAAQ,EAAE,YAAY,GACrB,OAAO,CAAC,mBAAmB,CAAC,CAkD9B;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,70 @@
+import { createLogger } from '@aztec/foundation/log';
+import { executeCircuitWithReturnWitness } from '@noir-lang/acvm_js';
+import { resolveOpcodeLocations, traverseCauseChain } from '../../common/errors.js';
+/**
+ * The function call that executes an ACIR.
+ */ export async function acvm(acir, initialWitness, callback) {
+    const logger = createLogger('simulator:acvm');
+    const solvedAndReturnWitness = await executeCircuitWithReturnWitness(acir, initialWitness, async (name, args)=>{
+        try {
+            logger.debug(`Oracle callback ${name}`);
+            const oracleFunction = callback[name];
+            if (!oracleFunction) {
+                throw new Error(`Oracle callback ${name} not found`);
+            }
+            const result = await oracleFunction.call(callback, ...args);
+            if (typeof result === 'undefined') {
+                return [];
+            } else if (result instanceof Array && !result.every((item)=>typeof item === 'string')) {
+                // We are dealing with a nested array which means that we do not need it wrap it in another array as to have
+                // the nested array structure it is already "wrapped".
+                return result;
+            } else {
+                return [
+                    result
+                ];
+            }
+        } 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, brilligFunctionId);
+    } catch (err) {
+        return callStack;
+    }
+}

package/dest/{acvm → private/acvm}/acvm_types.d.ts

@@ -1,4 +1,4 @@
-import { type WitnessMap } from '@noir-lang/acvm_js';
+import type { WitnessMap } from '@noir-lang/acvm_js';
 /**
  * ACVMField
  */

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,oBAAoB,CAAC;AAErD;;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/{acvm → private/acvm}/deserialize.d.ts

@@ -1,5 +1,5 @@
 import { Fr } from '@aztec/foundation/fields';
-import { type ACVMField, type ACVMWitness } from './acvm_types.js';
+import type { ACVMField, ACVMWitness } from './acvm_types.js';
 /**
  * Converts an ACVM field to a Fr.
  * @param field - The ACVM field to convert.
@@ -20,7 +20,7 @@ export declare function frToNumber(fr: Fr): number;
 export declare function frToBoolean(fr: Fr): boolean;
 /**
  * Converts a Noir BoundedVec of Fields into an Fr array. Note that BoundedVecs are structs, and therefore translated as
- * two separate ACVMField arrays.
+ * 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())

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,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9D;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,GAAG,EAAE,CAElD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAEzC;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAE3C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,GAAG,EAAE,EAAE,CAE5E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,WAAW,GAAG,EAAE,EAAE,CAG7D"}

package/dest/private/acvm/deserialize.js

@@ -0,0 +1,42 @@
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * Converts an ACVM field to a Fr.
+ * @param field - The ACVM field to convert.
+ * @returns The Fr.
+ */ export function fromACVMField(field) {
+    return Fr.fromBuffer(Buffer.from(field.slice(2), 'hex'));
+}
+/**
+ * Converts a field to a number.
+ * @param fr - The field to convert.
+ * @returns The number.
+ * TODO(#4102): Nuke this once block number is big int.
+ */ export function frToNumber(fr) {
+    return Number(fr.value);
+}
+/**
+ * Converts a field to a boolean.
+ * @param fr - The field to convert.
+ */ export function frToBoolean(fr) {
+    return fr.toBigInt() === BigInt(1);
+}
+/**
+ * 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, frToNumber(fromACVMField(length))).map(fromACVMField);
+}
+/**
+ * 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(fromACVMField);
+}

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,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAC1F,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,gBAAgB,CAAC"}

package/dest/private/acvm/index.js

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

package/dest/{acvm → private/acvm}/oracle/index.d.ts

@@ -1,4 +1,4 @@
-import { type Oracle } from './oracle.js';
+import type { Oracle } from './oracle.js';
 export * from './oracle.js';
 export * from './typed_oracle.js';
 /**

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/private/acvm/oracle/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAElC;;GAEG;AACH,KAAK,WAAW,CAAC,CAAC,IAAI;KACnB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK;CACjE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC"}

package/dest/private/acvm/oracle/index.js

@@ -0,0 +1,2 @@
+export * from './oracle.js';
+export * from './typed_oracle.js';