@aztec/simulator 0.0.0-test.1 → 0.0.1-commit.5476d83

package/dest/private/acvm_native.d.ts

@@ -0,0 +1,39 @@
+import type { ForeignCallHandler, WitnessMap } from '@aztec/noir-acvm_js';
+import type { FunctionArtifactWithContractName } from '@aztec/stdlib/abi';
+import type { NoirCompiledCircuitWithName } from '@aztec/stdlib/noir';
+import type { ACIRCallback, ACIRExecutionResult } from './acvm/acvm.js';
+import type { ACVMWitness } from './acvm/acvm_types.js';
+import type { CircuitSimulator } from './circuit_simulator.js';
+export declare enum ACVM_RESULT {
+    SUCCESS = 0,
+    FAILURE = 1
+}
+export type ACVMSuccess = {
+    status: ACVM_RESULT.SUCCESS;
+    duration: number;
+    witness: Map<number, string>;
+};
+export type ACVMFailure = {
+    status: ACVM_RESULT.FAILURE;
+    reason: string;
+};
+export type ACVMResult = ACVMSuccess | ACVMFailure;
+/**
+ *
+ * @param inputWitness - The circuit's input witness
+ * @param bytecode - The circuit bytecode
+ * @param workingDirectory - A directory to use for temporary files by the ACVM
+ * @param pathToAcvm - The path to the ACVM binary
+ * @param outputFilename - If specified, the output will be stored as a file, encoded using Bincode
+ * @returns The completed partial witness outputted from the circuit
+ */
+export declare function executeNativeCircuit(inputWitness: WitnessMap, bytecode: Buffer, workingDirectory: string, pathToAcvm: string, outputFilename?: string): Promise<ACVMResult>;
+export declare class NativeACVMSimulator implements CircuitSimulator {
+    private workingDirectory;
+    private pathToAcvm;
+    private witnessFilename?;
+    constructor(workingDirectory: string, pathToAcvm: string, witnessFilename?: string | undefined);
+    executeProtocolCircuit(input: ACVMWitness, artifact: NoirCompiledCircuitWithName, callback: ForeignCallHandler | undefined): Promise<ACVMSuccess>;
+    executeUserCircuit(_input: ACVMWitness, _artifact: FunctionArtifactWithContractName, _callback: ACIRCallback): Promise<ACIRExecutionResult>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWN2bV9uYXRpdmUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcml2YXRlL2Fjdm1fbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUdBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLFVBQVUsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQzFFLE9BQU8sS0FBSyxFQUFFLGdDQUFnQyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDMUUsT0FBTyxLQUFLLEVBQUUsMkJBQTJCLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUt0RSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUN4RSxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN4RCxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBSS9ELG9CQUFZLFdBQVc7SUFDckIsT0FBTyxJQUFBO0lBQ1AsT0FBTyxJQUFBO0NBQ1I7QUFFRCxNQUFNLE1BQU0sV0FBVyxHQUFHO0lBQ3hCLE1BQU0sRUFBRSxXQUFXLENBQUMsT0FBTyxDQUFDO0lBQzVCLFFBQVEsRUFBRSxNQUFNLENBQUM7SUFDakIsT0FBTyxFQUFFLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLENBQUM7Q0FDOUIsQ0FBQztBQUVGLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIsTUFBTSxFQUFFLFdBQVcsQ0FBQyxPQUFPLENBQUM7SUFDNUIsTUFBTSxFQUFFLE1BQU0sQ0FBQztDQUNoQixDQUFDO0FBRUYsTUFBTSxNQUFNLFVBQVUsR0FBRyxXQUFXLEdBQUcsV0FBVyxDQUFDO0FBbUJuRDs7Ozs7Ozs7R0FRRztBQUNILHdCQUFzQixvQkFBb0IsQ0FDeEMsWUFBWSxFQUFFLFVBQVUsRUFDeEIsUUFBUSxFQUFFLE1BQU0sRUFDaEIsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixVQUFVLEVBQUUsTUFBTSxFQUNsQixjQUFjLENBQUMsRUFBRSxNQUFNLEdBQ3RCLE9BQU8sQ0FBQyxVQUFVLENBQUMsQ0E4RXJCO0FBRUQscUJBQWEsbUJBQW9CLFlBQVcsZ0JBQWdCO0lBRXhELE9BQU8sQ0FBQyxnQkFBZ0I7SUFDeEIsT0FBTyxDQUFDLFVBQVU7SUFDbEIsT0FBTyxDQUFDLGVBQWUsQ0FBQztJQUgxQixZQUNVLGdCQUFnQixFQUFFLE1BQU0sRUFDeEIsVUFBVSxFQUFFLE1BQU0sRUFDbEIsZUFBZSxDQUFDLG9CQUFRLEVBQzlCO0lBRUUsc0JBQXNCLENBQzFCLEtBQUssRUFBRSxXQUFXLEVBQ2xCLFFBQVEsRUFBRSwyQkFBMkIsRUFDckMsUUFBUSxFQUFFLGtCQUFrQixHQUFHLFNBQVMsR0FDdkMsT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQTJCdEI7SUFFRCxrQkFBa0IsQ0FDaEIsTUFBTSxFQUFFLFdBQVcsRUFDbkIsU0FBUyxFQUFFLGdDQUFnQyxFQUMzQyxTQUFTLEVBQUUsWUFBWSxHQUN0QixPQUFPLENBQUMsbUJBQW1CLENBQUMsQ0FFOUI7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"acvm_native.d.ts","sourceRoot":"","sources":["../../src/private/acvm_native.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAKtE,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAI/D,oBAAY,WAAW;IACrB,OAAO,IAAA;IACP,OAAO,IAAA;CACR;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,WAAW,CAAC;AAmBnD;;;;;;;;GAQG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,UAAU,EACxB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,UAAU,EAAE,MAAM,EAClB,cAAc,CAAC,EAAE,MAAM,GACtB,OAAO,CAAC,UAAU,CAAC,CA8ErB;AAED,qBAAa,mBAAoB,YAAW,gBAAgB;IAExD,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,eAAe,CAAC;IAH1B,YACU,gBAAgB,EAAE,MAAM,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,CAAC,oBAAQ,EAC9B;IAEE,sBAAsB,CAC1B,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,2BAA2B,EACrC,QAAQ,EAAE,kBAAkB,GAAG,SAAS,GACvC,OAAO,CAAC,WAAW,CAAC,CA2BtB;IAED,kBAAkB,CAChB,MAAM,EAAE,WAAW,EACnB,SAAS,EAAE,gCAAgC,EAC3C,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,mBAAmB,CAAC,CAE9B;CACF"}

package/dest/private/{providers/acvm_native.js → acvm_native.js}

@@ -42,7 +42,7 @@ export var ACVM_RESULT = /*#__PURE__*/ function(ACVM_RESULT) {
     try {
         // Check that the directory exists
         await fs.access(workingDirectory);
-    } catch (error) {
+    } catch  {
         return {
             status: 1,
             reason: `Working directory ${workingDirectory} does not exist`
@@ -67,41 +67,44 @@ export var ACVM_RESULT = /*#__PURE__*/ function(ACVM_RESULT) {
         ];
         logger.debug(`Calling ACVM with ${args.join(' ')}`);
         const processPromise = new Promise((resolve, reject)=>{
-            let outputWitness = Buffer.alloc(0);
-            let errorBuffer = Buffer.alloc(0);
+            const outChunks = [];
+            const errChunks = [];
+            let outLen = 0;
+            let errLen = 0;
             const acvm = proc.spawn(pathToAcvm, args);
             acvm.stdout.on('data', (data)=>{
-                outputWitness = Buffer.concat([
-                    outputWitness,
-                    data
-                ]);
+                outChunks.push(data);
+                outLen += data.length;
             });
             acvm.stderr.on('data', (data)=>{
-                errorBuffer = Buffer.concat([
-                    errorBuffer,
-                    data
-                ]);
+                errChunks.push(data);
+                errLen += data.length;
             });
             acvm.on('close', (code)=>{
                 if (code === 0) {
-                    resolve(outputWitness.toString('utf-8'));
+                    resolve(Buffer.concat(outChunks, outLen).toString('utf-8'));
                 } else {
-                    logger.error(`From ACVM: ${errorBuffer.toString('utf-8')}`);
-                    reject(errorBuffer.toString('utf-8'));
+                    const stderr = Buffer.concat(errChunks, errLen);
+                    logger.error(`From ACVM: ${stderr.toString('utf-8')}`);
+                    reject(stderr.toString('utf-8'));
                 }
             });
         });
-        const duration = new Timer();
+        const timer = new Timer();
         const output = await processPromise;
+        const duration = timer.ms();
         if (outputFilename) {
             const outputWitnessFileName = `${workingDirectory}/output-witness.gz`;
             await fs.copyFile(outputWitnessFileName, outputFilename);
         }
+        // TODO: We shouldn't be parsing the witness from stdout, it's not very performant, and we end up with two ways of fetching the witness.
+        // We probably should implement the WitnessStack type, run the ACVM with msgpack serialization mode (env variable), and ungzip and parse the witness from
+        // the outputted gz witness file.
         const witness = parseIntoWitnessMap(output);
         return {
             status: 0,
             witness,
-            duration: duration.ms()
+            duration
         };
     } catch (error) {
         return {
@@ -119,21 +122,24 @@ export class NativeACVMSimulator {
         this.pathToAcvm = pathToAcvm;
         this.witnessFilename = witnessFilename;
     }
-    async executeProtocolCircuit(input, compiledCircuit) {
+    async executeProtocolCircuit(input, artifact, callback) {
         // Execute the circuit on those initial witness values
+        if (callback) {
+            throw new Error('Native ACVM simulator does not support foreign calls. Ignoring callback.');
+        }
         const operation = async (directory)=>{
             // Decode the bytecode from base64 since the acvm does not know about base64 encoding
-            const decodedBytecode = Buffer.from(compiledCircuit.bytecode, 'base64');
+            const decodedBytecode = Buffer.from(artifact.bytecode, 'base64');
             // Execute the circuit
             const result = await executeNativeCircuit(input, decodedBytecode, directory, this.pathToAcvm, this.witnessFilename);
             if (result.status == 1) {
                 throw new Error(`Failed to generate witness: ${result.reason}`);
             }
-            return result.witness;
+            return result;
         };
         return await runInDirectory(this.workingDirectory, operation, false, logger);
     }
-    executeUserCircuit(_acir, _initialWitness, _callback) {
+    executeUserCircuit(_input, _artifact, _callback) {
         throw new Error('Not implemented');
     }
 }

package/dest/private/acvm_wasm.d.ts

@@ -0,0 +1,15 @@
+import { type ForeignCallHandler } from '@aztec/noir-acvm_js';
+import type { FunctionArtifactWithContractName } from '@aztec/stdlib/abi';
+import type { NoirCompiledCircuitWithName } from '@aztec/stdlib/noir';
+import { type ACIRCallback, type ACIRExecutionResult } from './acvm/acvm.js';
+import type { ACVMWitness } from './acvm/acvm_types.js';
+import type { ACVMSuccess } from './acvm_native.js';
+import { type CircuitSimulator } from './circuit_simulator.js';
+export declare class WASMSimulator implements CircuitSimulator {
+    protected log: import("@aztec/foundation/log").Logger;
+    constructor(log?: import("@aztec/foundation/log").Logger);
+    init(): Promise<void>;
+    executeProtocolCircuit(input: ACVMWitness, artifact: NoirCompiledCircuitWithName, callback: ForeignCallHandler): Promise<ACVMSuccess>;
+    executeUserCircuit(input: ACVMWitness, artifact: FunctionArtifactWithContractName, callback: ACIRCallback): Promise<ACIRExecutionResult>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWN2bV93YXNtLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHJpdmF0ZS9hY3ZtX3dhc20udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBaUIsRUFBdUIsS0FBSyxrQkFBa0IsRUFBa0IsTUFBTSxxQkFBcUIsQ0FBQztBQUU3RyxPQUFPLEtBQUssRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQzFFLE9BQU8sS0FBSyxFQUFFLDJCQUEyQixFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFdEUsT0FBTyxFQUFFLEtBQUssWUFBWSxFQUFFLEtBQUssbUJBQW1CLEVBQVEsTUFBTSxnQkFBZ0IsQ0FBQztBQUNuRixPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN4RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUNwRCxPQUFPLEVBQUUsS0FBSyxnQkFBZ0IsRUFBbUIsTUFBTSx3QkFBd0IsQ0FBQztBQUVoRixxQkFBYSxhQUFjLFlBQVcsZ0JBQWdCO0lBQ3hDLFNBQVMsQ0FBQyxHQUFHO0lBQXpCLFlBQXNCLEdBQUcseUNBQWlDLEVBQUk7SUFFeEQsSUFBSSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FRMUI7SUFFSyxzQkFBc0IsQ0FDMUIsS0FBSyxFQUFFLFdBQVcsRUFDbEIsUUFBUSxFQUFFLDJCQUEyQixFQUNyQyxRQUFRLEVBQUUsa0JBQWtCLEdBQzNCLE9BQU8sQ0FBQyxXQUFXLENBQUMsQ0FnQ3RCO0lBRUssa0JBQWtCLENBQ3RCLEtBQUssRUFBRSxXQUFXLEVBQ2xCLFFBQVEsRUFBRSxnQ0FBZ0MsRUFDMUMsUUFBUSxFQUFFLFlBQVksR0FDckIsT0FBTyxDQUFDLG1CQUFtQixDQUFDLENBRzlCO0NBQ0YifQ==

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

@@ -0,0 +1 @@
+{"version":3,"file":"acvm_wasm.d.ts","sourceRoot":"","sources":["../../src/private/acvm_wasm.ts"],"names":[],"mappings":"AAEA,OAAiB,EAAuB,KAAK,kBAAkB,EAAkB,MAAM,qBAAqB,CAAC;AAE7G,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEtE,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,mBAAmB,EAAQ,MAAM,gBAAgB,CAAC;AACnF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,KAAK,gBAAgB,EAAmB,MAAM,wBAAwB,CAAC;AAEhF,qBAAa,aAAc,YAAW,gBAAgB;IACxC,SAAS,CAAC,GAAG;IAAzB,YAAsB,GAAG,yCAAiC,EAAI;IAExD,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAQ1B;IAEK,sBAAsB,CAC1B,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,2BAA2B,EACrC,QAAQ,EAAE,kBAAkB,GAC3B,OAAO,CAAC,WAAW,CAAC,CAgCtB;IAEK,kBAAkB,CACtB,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,gCAAgC,EAC1C,QAAQ,EAAE,YAAY,GACrB,OAAO,CAAC,mBAAmB,CAAC,CAG9B;CACF"}

package/dest/private/{providers/acvm_wasm.js → acvm_wasm.js}

@@ -1,9 +1,9 @@
 import { createLogger } from '@aztec/foundation/log';
-import { foreignCallHandler } from '@aztec/noir-protocol-circuits-types/client';
-import initACVM, { executeCircuit } from '@noir-lang/acvm_js';
-import initAbi from '@noir-lang/noirc_abi';
-import { acvm } from '../acvm/acvm.js';
-import { parseErrorPayload } from './simulation_provider.js';
+import { Timer } from '@aztec/foundation/timer';
+import initACVM, { executeCircuit } from '@aztec/noir-acvm_js';
+import initAbi from '@aztec/noir-noirc_abi';
+import { acvm } from './acvm/acvm.js';
+import { enrichNoirError } from './circuit_simulator.js';
 export class WASMSimulator {
     log;
     constructor(log = createLogger('wasm-simulator')){
@@ -20,43 +20,46 @@ export class WASMSimulator {
             ]);
         }
     }
-    async executeProtocolCircuit(input, compiledCircuit) {
+    async executeProtocolCircuit(input, artifact, callback) {
         this.log.debug('init', {
-            hash: compiledCircuit.hash
+            hash: artifact.hash
         });
         await this.init();
-        // 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(compiledCircuit.bytecode, 'base64');
+        const decodedBytecode = Buffer.from(artifact.bytecode, 'base64');
         //
         // Execute the circuit
         try {
-            const _witnessMap = await executeCircuit(decodedBytecode, input, foreignCallHandler);
+            const timer = new Timer();
+            const result = await executeCircuit(decodedBytecode, input, callback);
             this.log.debug('execution successful', {
-                hash: compiledCircuit.hash
+                hash: artifact.hash
             });
-            return _witnessMap;
+            return {
+                witness: result,
+                duration: timer.ms()
+            };
         } catch (err) {
-            // Typescript types catched errors as unknown or any, so we need to narrow its type to check if it has raw assertion payload.
+            // Typescript types caught errors as unknown or any, so we need to narrow its type to check if it has raw
+            // assertion payload.
             if (typeof err === 'object' && err !== null && 'rawAssertionPayload' in err) {
-                const parsed = parseErrorPayload(compiledCircuit.abi, err);
+                const parsed = enrichNoirError(artifact, err);
                 this.log.debug('execution failed', {
-                    hash: compiledCircuit.hash,
+                    hash: artifact.hash,
                     error: parsed,
                     message: parsed.message
                 });
                 throw parsed;
             }
             this.log.debug('execution failed', {
-                hash: compiledCircuit.hash,
+                hash: artifact.hash,
                 error: err
             });
             throw new Error(`Circuit execution failed: ${err}`);
         }
     }
-    async executeUserCircuit(acir, initialWitness, callback) {
+    async executeUserCircuit(input, artifact, callback) {
         await this.init();
-        return acvm(acir, initialWitness, callback);
+        return acvm(artifact.bytecode, input, callback);
     }
 }

package/dest/private/acvm_wasm_with_blobs.d.ts

@@ -0,0 +1,20 @@
+import { type ForeignCallHandler } from '@aztec/noir-acvm_js';
+import type { WitnessMap } from '@aztec/noir-types';
+import type { FunctionArtifactWithContractName } from '@aztec/stdlib/abi';
+import type { NoirCompiledCircuitWithName } from '@aztec/stdlib/noir';
+import type { ACIRCallback, ACIRExecutionResult } from './acvm/acvm.js';
+import type { ACVMWitness } from './acvm/acvm_types.js';
+import type { ACVMSuccess } from './acvm_native.js';
+import { type CircuitSimulator } from './circuit_simulator.js';
+/**
+ * A circuit simulator that uses the WASM simulator with the ability to handle blobs via the foreign call handler.
+ * This class is temporary while brillig cannot handle the blob math, and it is kept separate
+ * because the zkg commitment library used in the blob code is not browser compatible.
+ *
+ * It is only used in the context of server-side code executing simulated protocol circuits.
+ */
+export declare class WASMSimulatorWithBlobs implements CircuitSimulator {
+    executeProtocolCircuit(input: WitnessMap, artifact: NoirCompiledCircuitWithName, callback: ForeignCallHandler): Promise<ACVMSuccess>;
+    executeUserCircuit(_input: ACVMWitness, _artifact: FunctionArtifactWithContractName, _callback: ACIRCallback): Promise<ACIRExecutionResult>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWN2bV93YXNtX3dpdGhfYmxvYnMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcml2YXRlL2Fjdm1fd2FzbV93aXRoX2Jsb2JzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBdUIsS0FBSyxrQkFBa0IsRUFBa0IsTUFBTSxxQkFBcUIsQ0FBQztBQUNuRyxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQzFFLE9BQU8sS0FBSyxFQUFFLDJCQUEyQixFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFdEUsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLG1CQUFtQixFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDeEUsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDeEQsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDcEQsT0FBTyxFQUFFLEtBQUssZ0JBQWdCLEVBQW1CLE1BQU0sd0JBQXdCLENBQUM7QUFFaEY7Ozs7OztHQU1HO0FBQ0gscUJBQWEsc0JBQXVCLFlBQVcsZ0JBQWdCO0lBQ3ZELHNCQUFzQixDQUMxQixLQUFLLEVBQUUsVUFBVSxFQUNqQixRQUFRLEVBQUUsMkJBQTJCLEVBQ3JDLFFBQVEsRUFBRSxrQkFBa0IsR0FDM0IsT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQXFCdEI7SUFFRCxrQkFBa0IsQ0FDaEIsTUFBTSxFQUFFLFdBQVcsRUFDbkIsU0FBUyxFQUFFLGdDQUFnQyxFQUMzQyxTQUFTLEVBQUUsWUFBWSxHQUN0QixPQUFPLENBQUMsbUJBQW1CLENBQUMsQ0FFOUI7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"acvm_wasm_with_blobs.d.ts","sourceRoot":"","sources":["../../src/private/acvm_wasm_with_blobs.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,KAAK,kBAAkB,EAAkB,MAAM,qBAAqB,CAAC;AACnG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEtE,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,KAAK,gBAAgB,EAAmB,MAAM,wBAAwB,CAAC;AAEhF;;;;;;GAMG;AACH,qBAAa,sBAAuB,YAAW,gBAAgB;IACvD,sBAAsB,CAC1B,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,2BAA2B,EACrC,QAAQ,EAAE,kBAAkB,GAC3B,OAAO,CAAC,WAAW,CAAC,CAqBtB;IAED,kBAAkB,CAChB,MAAM,EAAE,WAAW,EACnB,SAAS,EAAE,gCAAgC,EAC3C,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,mBAAmB,CAAC,CAE9B;CACF"}

package/dest/private/acvm_wasm_with_blobs.js

@@ -0,0 +1,35 @@
+import { Timer } from '@aztec/foundation/timer';
+import { executeCircuit } from '@aztec/noir-acvm_js';
+import { enrichNoirError } from './circuit_simulator.js';
+/**
+ * A circuit simulator that uses the WASM simulator with the ability to handle blobs via the foreign call handler.
+ * This class is temporary while brillig cannot handle the blob math, and it is kept separate
+ * because the zkg commitment library used in the blob code is not browser compatible.
+ *
+ * It is only used in the context of server-side code executing simulated protocol circuits.
+ */ export class WASMSimulatorWithBlobs {
+    async executeProtocolCircuit(input, artifact, callback) {
+        // Decode the bytecode from base64 since the acvm does not know about base64 encoding
+        const decodedBytecode = Buffer.from(artifact.bytecode, 'base64');
+        //
+        // Execute the circuit
+        try {
+            const timer = new Timer();
+            const _witnessMap = await executeCircuit(decodedBytecode, input, callback);
+            return {
+                witness: _witnessMap,
+                duration: timer.ms()
+            };
+        } catch (err) {
+            // Typescript types caught errors as unknown or any, so we need to narrow its type to check if it has raw
+            // assertion payload.
+            if (typeof err === 'object' && err !== null && 'rawAssertionPayload' in err) {
+                throw enrichNoirError(artifact, err);
+            }
+            throw new Error(`Circuit execution failed: ${err}`);
+        }
+    }
+    executeUserCircuit(_input, _artifact, _callback) {
+        throw new Error('Not implemented');
+    }
+}

package/dest/private/circuit_recording/circuit_recorder.d.ts

@@ -0,0 +1,108 @@
+import type { ForeignCallHandler } from '@aztec/noir-acvm_js';
+import type { ACIRCallback } from '../acvm/acvm.js';
+import type { ACVMWitness } from '../acvm/acvm_types.js';
+export type OracleCall = {
+    name: string;
+    inputs: unknown[];
+    outputs: unknown;
+    time: number;
+    stackDepth: number;
+};
+export declare class CircuitRecording {
+    circuitName: string;
+    functionName: string;
+    bytecodeSHA512Hash: string;
+    timestamp: number;
+    inputs: Record<string, string>;
+    oracleCalls: OracleCall[];
+    error?: string;
+    parent?: CircuitRecording;
+    constructor(circuitName: string, functionName: string, bytecodeSHA512Hash: string, inputs: Record<string, string>);
+    setParent(recording?: CircuitRecording): void;
+}
+/**
+ * Class responsible for recording circuit inputs necessary to replay the circuit. These inputs are the initial witness
+ * map and the oracle calls made during the circuit execution/witness generation.
+ *
+ * Example recording object:
+ * ```json
+ * {
+ *   "circuitName": "AMM",
+ *   "functionName": "add_liquidity",
+ *   "bytecodeSHA512Hash": "b46c640ed38f20eac5f61a5e41d8dd1e",
+ *   "timestamp": 1740691464360,
+ *   "inputs": {
+ *     "0": "0x1e89de1f0ad5204263733b7ddf65bec45b8f44714a4da85a46474dad677679ef",
+ *     "1": "0x00f4d59c0ff773427bb0fed5b422557ca4dc5655abe53d31fa9408cb3c5a672f",
+ *     "5": "0x000000000000000000000000000000000000000000000000000000000000000f"
+ *   },
+ *   "oracleCalls": [
+ *     {
+ *       "name": "loadCapsule",
+ *       "inputs": [
+ *         [
+ *           "0x102422483bad6abd385948435667e144ac4c272576e325e7563608876cd446fd"
+ *         ],
+ *         [
+ *           "0x000000000000000000000000000000000000000000000000000000000000004d"
+ *         ],
+ *         [
+ *           "0x0000000000000000000000000000000000000000000000000000000000000001"
+ *         ]
+ *       ],
+ *       "outputs": [
+ *         "0x0000000000000000000000000000000000000000000000000000000000000000",
+ *         [
+ *           "0x0000000000000000000000000000000000000000000000000000000000000000"
+ *         ]
+ *       ]
+ *     },
+ *     {
+ *       "name": "fetchTaggedLogs",
+ *       "inputs": []
+ *     }
+ *   ]
+ * }
+ * ```
+ */
+export declare class CircuitRecorder {
+    #private;
+    protected readonly logger: import("@aztec/foundation/log").Logger;
+    protected recording?: CircuitRecording;
+    private stackDepth;
+    private newCircuit;
+    protected constructor();
+    /**
+     * Initializes a new circuit recording session.
+     * @param recordDir - Directory to store the recording
+     * @param input - Circuit input witness
+     * @param circuitBytecode - Compiled circuit bytecode
+     * @param circuitName - Name of the circuit
+     * @param functionName - Name of the circuit function (defaults to 'main'). This is meaningful only for
+     * contracts as protocol circuits artifacts always contain a single entrypoint function called 'main'.
+     */
+    start(input: ACVMWitness, circuitBytecode: Buffer, circuitName: string, functionName: string): Promise<void>;
+    /**
+     * Wraps a callback to record all oracle/foreign calls.
+     * @param callback - The original callback to wrap, either a user circuit callback or protocol circuit callback.
+     * @returns A wrapped callback that records all oracle interactions.
+     */
+    wrapCallback(callback: ACIRCallback | ForeignCallHandler | undefined): ACIRCallback | ForeignCallHandler | undefined;
+    /**
+     * Records a single oracle/foreign call with its inputs and outputs.
+     * @param name - Name of the call
+     * @param inputs - Input arguments
+     * @param outputs - Output results
+     */
+    recordCall(name: string, inputs: unknown[], outputs: unknown, time: number, stackDepth: number): Promise<OracleCall>;
+    /**
+     * Finalizes the recording by resetting the state and returning the recording object.
+     */
+    finish(): Promise<CircuitRecording>;
+    /**
+     * Finalizes the recording by resetting the state and returning the recording object with an attached error.
+     * @param error - The error that occurred during circuit execution
+     */
+    finishWithError(error: unknown): Promise<CircuitRecording>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2lyY3VpdF9yZWNvcmRlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3ByaXZhdGUvY2lyY3VpdF9yZWNvcmRpbmcvY2lyY3VpdF9yZWNvcmRlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFHQSxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBdUMsTUFBTSxxQkFBcUIsQ0FBQztBQUVuRyxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUV6RCxNQUFNLE1BQU0sVUFBVSxHQUFHO0lBQ3ZCLElBQUksRUFBRSxNQUFNLENBQUM7SUFDYixNQUFNLEVBQUUsT0FBTyxFQUFFLENBQUM7SUFDbEIsT0FBTyxFQUFFLE9BQU8sQ0FBQztJQUNqQixJQUFJLEVBQUUsTUFBTSxDQUFDO0lBTWIsVUFBVSxFQUFFLE1BQU0sQ0FBQztDQUNwQixDQUFDO0FBRUYscUJBQWEsZ0JBQWdCO0lBQzNCLFdBQVcsRUFBRSxNQUFNLENBQUM7SUFDcEIsWUFBWSxFQUFFLE1BQU0sQ0FBQztJQUNyQixrQkFBa0IsRUFBRSxNQUFNLENBQUM7SUFDM0IsU0FBUyxFQUFFLE1BQU0sQ0FBQztJQUNsQixNQUFNLEVBQUUsTUFBTSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsQ0FBQztJQUMvQixXQUFXLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDMUIsS0FBSyxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ2YsTUFBTSxDQUFDLEVBQUUsZ0JBQWdCLENBQUM7SUFFMUIsWUFBWSxXQUFXLEVBQUUsTUFBTSxFQUFFLFlBQVksRUFBRSxNQUFNLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLENBQUMsTUFBTSxFQUFFLE1BQU0sQ0FBQyxFQU9oSDtJQUVELFNBQVMsQ0FBQyxTQUFTLENBQUMsRUFBRSxnQkFBZ0IsR0FBRyxJQUFJLENBRTVDO0NBQ0Y7QUFFRDs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7R0E0Q0c7QUFDSCxxQkFBYSxlQUFlOztJQUMxQixTQUFTLENBQUMsUUFBUSxDQUFDLE1BQU0seUNBQTRDO0lBRXJFLFNBQVMsQ0FBQyxTQUFTLENBQUMsRUFBRSxnQkFBZ0IsQ0FBQztJQUV2QyxPQUFPLENBQUMsVUFBVSxDQUFhO0lBQy9CLE9BQU8sQ0FBQyxVQUFVLENBQWlCO0lBRW5DLFNBQVMsZUFBaUI7SUFFMUI7Ozs7Ozs7O09BUUc7SUFDSCxLQUFLLENBQUMsS0FBSyxFQUFFLFdBQVcsRUFBRSxlQUFlLEVBQUUsTUFBTSxFQUFFLFdBQVcsRUFBRSxNQUFNLEVBQUUsWUFBWSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBYTNHO0lBRUQ7Ozs7T0FJRztJQUNILFlBQVksQ0FBQyxRQUFRLEVBQUUsWUFBWSxHQUFHLGtCQUFrQixHQUFHLFNBQVMsR0FBRyxZQUFZLEdBQUcsa0JBQWtCLEdBQUcsU0FBUyxDQVFuSDtJQTZFRDs7Ozs7T0FLRztJQUNILFVBQVUsQ0FBQyxJQUFJLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxPQUFPLEVBQUUsRUFBRSxPQUFPLEVBQUUsT0FBTyxFQUFFLElBQUksRUFBRSxNQUFNLEVBQUUsVUFBVSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsVUFBVSxDQUFDLENBVW5IO0lBRUQ7O09BRUc7SUFDSCxNQUFNLElBQUksT0FBTyxDQUFDLGdCQUFnQixDQUFDLENBUWxDO0lBRUQ7OztPQUdHO0lBQ0gsZUFBZSxDQUFDLEtBQUssRUFBRSxPQUFPLEdBQUcsT0FBTyxDQUFDLGdCQUFnQixDQUFDLENBU3pEO0NBQ0YifQ==

package/dest/private/circuit_recording/circuit_recorder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"circuit_recorder.d.ts","sourceRoot":"","sources":["../../../src/private/circuit_recording/circuit_recorder.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAuC,MAAM,qBAAqB,CAAC;AAEnG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IAMb,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,qBAAa,gBAAgB;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAE1B,YAAY,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAOhH;IAED,SAAS,CAAC,SAAS,CAAC,EAAE,gBAAgB,GAAG,IAAI,CAE5C;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,qBAAa,eAAe;;IAC1B,SAAS,CAAC,QAAQ,CAAC,MAAM,yCAA4C;IAErE,SAAS,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAEvC,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,UAAU,CAAiB;IAEnC,SAAS,eAAiB;IAE1B;;;;;;;;OAQG;IACH,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAa3G;IAED;;;;OAIG;IACH,YAAY,CAAC,QAAQ,EAAE,YAAY,GAAG,kBAAkB,GAAG,SAAS,GAAG,YAAY,GAAG,kBAAkB,GAAG,SAAS,CAQnH;IA6ED;;;;;OAKG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAUnH;IAED;;OAEG;IACH,MAAM,IAAI,OAAO,CAAC,gBAAgB,CAAC,CAQlC;IAED;;;OAGG;IACH,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,CASzD;CACF"}

package/dest/private/circuit_recording/circuit_recorder.js

@@ -0,0 +1,209 @@
+import { sha512 } from '@aztec/foundation/crypto';
+import { createLogger } from '@aztec/foundation/log';
+import { Timer } from '@aztec/foundation/timer';
+export class CircuitRecording {
+    circuitName;
+    functionName;
+    bytecodeSHA512Hash;
+    timestamp;
+    inputs;
+    oracleCalls;
+    error;
+    parent;
+    constructor(circuitName, functionName, bytecodeSHA512Hash, inputs){
+        this.circuitName = circuitName;
+        this.functionName = functionName;
+        this.bytecodeSHA512Hash = bytecodeSHA512Hash;
+        this.timestamp = Date.now();
+        this.inputs = inputs;
+        this.oracleCalls = [];
+    }
+    setParent(recording) {
+        this.parent = recording;
+    }
+}
+/**
+ * Class responsible for recording circuit inputs necessary to replay the circuit. These inputs are the initial witness
+ * map and the oracle calls made during the circuit execution/witness generation.
+ *
+ * Example recording object:
+ * ```json
+ * {
+ *   "circuitName": "AMM",
+ *   "functionName": "add_liquidity",
+ *   "bytecodeSHA512Hash": "b46c640ed38f20eac5f61a5e41d8dd1e",
+ *   "timestamp": 1740691464360,
+ *   "inputs": {
+ *     "0": "0x1e89de1f0ad5204263733b7ddf65bec45b8f44714a4da85a46474dad677679ef",
+ *     "1": "0x00f4d59c0ff773427bb0fed5b422557ca4dc5655abe53d31fa9408cb3c5a672f",
+ *     "5": "0x000000000000000000000000000000000000000000000000000000000000000f"
+ *   },
+ *   "oracleCalls": [
+ *     {
+ *       "name": "loadCapsule",
+ *       "inputs": [
+ *         [
+ *           "0x102422483bad6abd385948435667e144ac4c272576e325e7563608876cd446fd"
+ *         ],
+ *         [
+ *           "0x000000000000000000000000000000000000000000000000000000000000004d"
+ *         ],
+ *         [
+ *           "0x0000000000000000000000000000000000000000000000000000000000000001"
+ *         ]
+ *       ],
+ *       "outputs": [
+ *         "0x0000000000000000000000000000000000000000000000000000000000000000",
+ *         [
+ *           "0x0000000000000000000000000000000000000000000000000000000000000000"
+ *         ]
+ *       ]
+ *     },
+ *     {
+ *       "name": "fetchTaggedLogs",
+ *       "inputs": []
+ *     }
+ *   ]
+ * }
+ * ```
+ */ export class CircuitRecorder {
+    logger = createLogger('simulator:acvm:recording');
+    recording;
+    stackDepth = 0;
+    newCircuit = true;
+    constructor(){}
+    /**
+   * Initializes a new circuit recording session.
+   * @param recordDir - Directory to store the recording
+   * @param input - Circuit input witness
+   * @param circuitBytecode - Compiled circuit bytecode
+   * @param circuitName - Name of the circuit
+   * @param functionName - Name of the circuit function (defaults to 'main'). This is meaningful only for
+   * contracts as protocol circuits artifacts always contain a single entrypoint function called 'main'.
+   */ start(input, circuitBytecode, circuitName, functionName) {
+        const parentRef = this.recording;
+        if (this.newCircuit) {
+            this.recording = new CircuitRecording(circuitName, functionName, sha512(circuitBytecode).toString('hex'), Object.fromEntries(input));
+        }
+        this.recording.setParent(parentRef);
+        return Promise.resolve();
+    }
+    /**
+   * Wraps a callback to record all oracle/foreign calls.
+   * @param callback - The original callback to wrap, either a user circuit callback or protocol circuit callback.
+   * @returns A wrapped callback that records all oracle interactions.
+   */ wrapCallback(callback) {
+        if (!callback) {
+            return undefined;
+        }
+        if (this.#isACIRCallback(callback)) {
+            return this.#wrapUserCircuitCallback(callback);
+        }
+        return this.#wrapProtocolCircuitCallback(callback);
+    }
+    /**
+   * Type guard to check if a callback is an ACIRCallback.
+   */ #isACIRCallback(callback) {
+        return typeof callback === 'object' && callback !== null && !('call' in callback);
+    }
+    /**
+   * Wraps a user circuit callback to record all oracle calls.
+   * @param callback - The original circuit callback.
+   * @returns A wrapped callback that records all oracle interactions which is to be provided to the ACVM.
+   */ #wrapUserCircuitCallback(callback) {
+        const recordingCallback = {};
+        const oracleMethods = Object.keys(callback);
+        for (const name of oracleMethods){
+            const fn = callback[name];
+            if (!fn || typeof fn !== 'function') {
+                throw new Error(`Oracle method ${name} not found when setting up recording callback`);
+            }
+            const isExternalCall = name === 'privateCallPrivateFunction';
+            recordingCallback[name] = (...args)=>{
+                const timer = new Timer();
+                // If we're entering another circuit via `privateCallPrivateFunction`, we increase the stack depth and set the
+                // newCircuit variable to ensure we are creating a new recording object.
+                if (isExternalCall) {
+                    this.stackDepth++;
+                    this.newCircuit = true;
+                }
+                const result = fn.call(callback, ...args);
+                if (result instanceof Promise) {
+                    return result.then(async (r)=>{
+                        // Once we leave the nested circuit, we decrease the stack depth and set newCircuit to false
+                        // since we are going back to the "parent" circuit which can never be new
+                        if (isExternalCall) {
+                            this.stackDepth--;
+                            this.newCircuit = false;
+                            this.recording = this.recording.parent;
+                        }
+                        await this.recordCall(name, args, r, timer.ms(), this.stackDepth);
+                        return r;
+                    });
+                }
+                // Once we leave the nested circuit, we decrease the stack depth and set newCircuit to false
+                // since we are going back to the "parent" circuit which can never be new
+                if (isExternalCall) {
+                    this.stackDepth--;
+                    this.newCircuit = false;
+                    this.recording = this.recording.parent;
+                }
+                void this.recordCall(name, args, result, timer.ms(), this.stackDepth);
+                return result;
+            };
+        }
+        return recordingCallback;
+    }
+    /**
+   * Wraps a protocol circuit callback to record all oracle calls.
+   * @param callback - The original oracle circuit callback.
+   * @returns A wrapped handler that records all oracle interactions which is to be provided to the ACVM.
+   */ #wrapProtocolCircuitCallback(callback) {
+        return async (name, inputs)=>{
+            const timer = new Timer();
+            const result = await callback(name, inputs);
+            await this.recordCall(name, inputs, result, timer.ms(), 0);
+            return result;
+        };
+    }
+    /**
+   * Records a single oracle/foreign call with its inputs and outputs.
+   * @param name - Name of the call
+   * @param inputs - Input arguments
+   * @param outputs - Output results
+   */ recordCall(name, inputs, outputs, time, stackDepth) {
+        const entry = {
+            name,
+            inputs,
+            outputs,
+            time,
+            stackDepth
+        };
+        this.recording.oracleCalls.push(entry);
+        return Promise.resolve(entry);
+    }
+    /**
+   * Finalizes the recording by resetting the state and returning the recording object.
+   */ finish() {
+        const result = this.recording;
+        // If this is the top-level circuit recording, we reset the state for the next simulator call
+        if (!result.parent) {
+            this.newCircuit = true;
+            this.recording = undefined;
+        }
+        return Promise.resolve(result);
+    }
+    /**
+   * Finalizes the recording by resetting the state and returning the recording object with an attached error.
+   * @param error - The error that occurred during circuit execution
+   */ finishWithError(error) {
+        const result = this.recording;
+        // If this is the top-level circuit recording, we reset the state for the next simulator call
+        if (!result.parent) {
+            this.newCircuit = true;
+            this.recording = undefined;
+        }
+        result.error = JSON.stringify(error);
+        return Promise.resolve(result);
+    }
+}