@aztec/simulator 0.0.0-test.0 → 0.0.1-commit.24de95ac

package/dest/public/test_executor_metrics.js

@@ -0,0 +1,306 @@
+import { sum } from '@aztec/foundation/collection';
+import { createLogger } from '@aztec/foundation/log';
+import { Timer } from '@aztec/foundation/timer';
+import { strict as assert } from 'assert';
+const NUM_SPACES = 4;
+const H1 = '# ';
+const H2 = '\n## ';
+const INDENT = ' '.repeat(NUM_SPACES);
+const INDENT0 = '- ';
+const INDENT1 = INDENT + '- ';
+const INDENT2 = INDENT + INDENT + '- ';
+const H_LINE = '\n---------------------------------------------------------------------';
+export var PublicTxMetricsFilter = /*#__PURE__*/ function(PublicTxMetricsFilter) {
+    PublicTxMetricsFilter[PublicTxMetricsFilter["ALL"] = 0] = "ALL";
+    PublicTxMetricsFilter[PublicTxMetricsFilter["TOTALS"] = 1] = "TOTALS";
+    PublicTxMetricsFilter[PublicTxMetricsFilter["DURATIONS"] = 2] = "DURATIONS";
+    PublicTxMetricsFilter[PublicTxMetricsFilter["INSTRUCTIONS"] = 3] = "INSTRUCTIONS";
+    PublicTxMetricsFilter[PublicTxMetricsFilter["PROVING"] = 4] = "PROVING";
+    return PublicTxMetricsFilter;
+}({});
+function createEmptyTxMetrics() {
+    return {
+        // TS simulation
+        totalDurationMs: 0,
+        manaUsed: 0,
+        totalInstructionsExecuted: 0,
+        nonRevertiblePrivateInsertionsUs: undefined,
+        revertiblePrivateInsertionsUs: undefined,
+        enqueuedCalls: [],
+        revertedCode: undefined,
+        // Proving
+        proverSimulationStepMs: undefined,
+        proverProvingStepMs: undefined,
+        proverTraceGenerationStepMs: undefined,
+        // Proving (detail)
+        traceGenerationInteractionsMs: undefined,
+        traceGenerationTracesMs: undefined,
+        provingSumcheckMs: undefined,
+        provingPcsMs: undefined,
+        provingLogDerivativeInverseMs: undefined,
+        provingLogDerivativeInverseCommitmentsMs: undefined,
+        provingWireCommitmentsMs: undefined
+    };
+}
+export class TestExecutorMetrics {
+    logger;
+    // tx label -> tx metrics
+    txMetrics = new Map();
+    currentTxLabel;
+    txTimer;
+    constructor(){
+        this.logger = createLogger(`simulator:test_executor_metrics`);
+    }
+    startRecordingTxSimulation(txLabel) {
+        assert(!this.currentTxLabel, 'Cannot start recording tx simulation when another is live');
+        assert(!this.txMetrics.has(txLabel), 'Cannot start recording metrics for tx with duplicate label');
+        this.txMetrics.set(txLabel, createEmptyTxMetrics());
+        this.currentTxLabel = txLabel;
+        this.txTimer = new Timer();
+    }
+    stopRecordingTxSimulation(txLabel, revertedCode) {
+        assert(this.currentTxLabel === txLabel, 'Cannot stop recording metrics for tx when another is live');
+        const txMetrics = this.txMetrics.get(txLabel);
+        // total duration of tx
+        txMetrics.totalDurationMs = this.txTimer.ms();
+        this.logger.debug(`Public TX simulation of ${txLabel} took ${txMetrics.totalDurationMs}ms`);
+        // add manaUsed across all enqueued calls
+        txMetrics.manaUsed = sum(txMetrics.enqueuedCalls.map((call)=>call.manaUsed));
+        // add totalInstructionsExecuted across all enqueued calls
+        txMetrics.totalInstructionsExecuted = sum(txMetrics.enqueuedCalls.map((call)=>call.totalInstructionsExecuted));
+        txMetrics.revertedCode = revertedCode;
+        this.currentTxLabel = undefined;
+    }
+    recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructionsExecuted) {
+        this.#recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructionsExecuted, false);
+    }
+    recordEnqueuedCallSimulationFailure(fnName, durationMs, manaUsed, totalInstructionsExecuted) {
+        this.#recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructionsExecuted, true);
+    }
+    #recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructionsExecuted, reverted) {
+        assert(this.currentTxLabel, 'Cannot record enqueued call simulation when no tx is live');
+        const txMetrics = this.txMetrics.get(this.currentTxLabel);
+        txMetrics.enqueuedCalls.push({
+            fnName,
+            durationMs,
+            manaUsed,
+            totalInstructionsExecuted: totalInstructionsExecuted,
+            reverted
+        });
+    }
+    recordPrivateEffectsInsertion(durationUs, type) {
+        assert(this.currentTxLabel, 'Cannot record private effects insertion when no tx is live');
+        const txMetrics = this.txMetrics.get(this.currentTxLabel);
+        if (type === 'revertible') {
+            assert(txMetrics.revertiblePrivateInsertionsUs === undefined, 'Cannot RE-record revertible insertions of private effects');
+            txMetrics.revertiblePrivateInsertionsUs = durationUs;
+        } else {
+            assert(txMetrics.nonRevertiblePrivateInsertionsUs === undefined, 'Cannot RE-record non-revertible insertions of private effects');
+            txMetrics.nonRevertiblePrivateInsertionsUs = durationUs;
+        }
+    }
+    recordProverMetrics(txLabel, metrics) {
+        if (!this.txMetrics.has(txLabel)) {
+            this.txMetrics.set(txLabel, createEmptyTxMetrics());
+        }
+        const txMetrics = this.txMetrics.get(txLabel);
+        for (const [key, value] of Object.entries(metrics)){
+            if (key in txMetrics) {
+                txMetrics[key] = value;
+            }
+        }
+    }
+    prettyPrint(filter = 0) {
+        this.logger.info(this.toPrettyString(filter));
+    }
+    toPrettyString(filter = 0) {
+        let pretty = '';
+        //pretty += H_LINE + '\n';
+        pretty += `${H1}Public TX Simulation Metrics (${PublicTxMetricsFilter[filter]})\n`;
+        for (const [txLabel, txMetrics] of this.txMetrics.entries()){
+            //pretty += H_LINE + '\n';
+            pretty += `${H2}TX Label: ${txLabel}\n`;
+            if (filter == 2 || filter === 1 || filter === 0) {
+                pretty += `${INDENT0}Total duration: ${fmtNum(txMetrics.totalDurationMs, 'ms')}\n`;
+            }
+            if (filter === 1 || filter === 0) {
+                pretty += `${INDENT0}Total mana used: ${fmtNum(txMetrics.manaUsed)}\n`;
+                const manaPerSecond = Math.round(txMetrics.manaUsed * 1000 / txMetrics.totalDurationMs);
+                pretty += `${INDENT0}Mana per second: ${fmtNum(manaPerSecond)}\n`;
+            }
+            if (filter === 3 || filter === 1 || filter === 0) {
+                pretty += `${INDENT0}Total instructions executed: ${fmtNum(txMetrics.totalInstructionsExecuted)}\n`;
+            }
+            if (filter === 2 || filter === 0) {
+                pretty += `${INDENT0}Private insertions:\n`;
+                pretty += `${INDENT1}Non-revertible: ${fmtNum(txMetrics.nonRevertiblePrivateInsertionsUs / 1_000, 'ms')}\n`;
+                pretty += `${INDENT1}Revertible: ${fmtNum(txMetrics.revertiblePrivateInsertionsUs / 1_000, 'ms')}\n`;
+            }
+            if (filter === 4 || filter === 0) {
+                let provingPretty = '';
+                if (txMetrics.proverSimulationStepMs !== undefined) {
+                    provingPretty += `${INDENT1}Simulation (all): ${fmtNum(txMetrics.proverSimulationStepMs, 'ms')}\n`;
+                }
+                if (txMetrics.proverProvingStepMs !== undefined) {
+                    provingPretty += `${INDENT1}Proving (all): ${fmtNum(txMetrics.proverProvingStepMs, 'ms')}\n`;
+                }
+                if (txMetrics.proverTraceGenerationStepMs !== undefined) {
+                    provingPretty += `${INDENT1}Trace generation (all): ${fmtNum(txMetrics.proverTraceGenerationStepMs, 'ms')}\n`;
+                }
+                if (txMetrics.traceGenerationInteractionsMs !== undefined) {
+                    provingPretty += `${INDENT1}Trace generation interactions: ${fmtNum(txMetrics.traceGenerationInteractionsMs, 'ms')}\n`;
+                }
+                if (txMetrics.traceGenerationTracesMs !== undefined) {
+                    provingPretty += `${INDENT1}Trace generation traces: ${fmtNum(txMetrics.traceGenerationTracesMs, 'ms')}\n`;
+                }
+                if (txMetrics.provingSumcheckMs !== undefined) {
+                    provingPretty += `${INDENT1}Sumcheck: ${fmtNum(txMetrics.provingSumcheckMs, 'ms')}\n`;
+                }
+                if (txMetrics.provingPcsMs !== undefined) {
+                    provingPretty += `${INDENT1}PCS: ${fmtNum(txMetrics.provingPcsMs, 'ms')}\n`;
+                }
+                if (txMetrics.provingLogDerivativeInverseMs !== undefined) {
+                    provingPretty += `${INDENT1}Log derivative inverse: ${fmtNum(txMetrics.provingLogDerivativeInverseMs, 'ms')}\n`;
+                }
+                if (txMetrics.provingLogDerivativeInverseCommitmentsMs !== undefined) {
+                    provingPretty += `${INDENT1}Log derivative inverse commitments: ${fmtNum(txMetrics.provingLogDerivativeInverseCommitmentsMs, 'ms')}\n`;
+                }
+                if (txMetrics.provingWireCommitmentsMs !== undefined) {
+                    provingPretty += `${INDENT1}Wire commitments: ${fmtNum(txMetrics.provingWireCommitmentsMs, 'ms')}\n`;
+                }
+                if (provingPretty.length > 0) {
+                    pretty += `${INDENT0}Proving:\n${provingPretty}`;
+                }
+            }
+            if (filter !== 1) {
+                // totals exclude enqueued calls
+                pretty += this.#enqueuedCallsToPrettyString(txMetrics, filter);
+            }
+            if (txMetrics.revertedCode !== undefined && !txMetrics.revertedCode.isOK()) {
+                pretty += `${INDENT0}Reverted code: ${txMetrics.revertedCode?.getDescription()}\n`;
+            }
+            pretty += H_LINE + '\n';
+        }
+        return pretty;
+    }
+    #enqueuedCallsToPrettyString(txMetrics, filter) {
+        let pretty = '';
+        pretty += `${INDENT0}Enqueued public calls:\n`;
+        for (const enqueuedCall of txMetrics.enqueuedCalls){
+            pretty += `${INDENT1}**Fn: ${enqueuedCall.fnName}**\n`;
+            if (filter === 2 || filter === 0) {
+                pretty += `${INDENT2}Duration: ${fmtNum(enqueuedCall.durationMs, 'ms')}\n`;
+            }
+            if (filter === 0) {
+                pretty += `${INDENT2}Mana used: ${fmtNum(enqueuedCall.manaUsed)}\n`;
+                const manaPerSecond = Math.round(enqueuedCall.manaUsed * 1000 / enqueuedCall.durationMs);
+                pretty += `${INDENT2}Mana per second: ${fmtNum(manaPerSecond)}\n`;
+            }
+            if (filter === 3 || filter === 0) {
+                pretty += `${INDENT2}Instructions executed: ${fmtNum(enqueuedCall.totalInstructionsExecuted)}\n`;
+            }
+            if (enqueuedCall.reverted) {
+                pretty += `${INDENT2}Reverted!\n`;
+            }
+        }
+        return pretty;
+    }
+    toJSON(indent = 2) {
+        return JSON.stringify(Object.fromEntries(this.txMetrics.entries()), null, indent);
+    }
+    toGithubActionBenchmarkJSON(indent = 2) {
+        const metricsInfo = {
+            totalInstructionsExecuted: {
+                name: 'totalInstructionsExecuted',
+                unit: '#instructions',
+                category: 3
+            },
+            totalDurationMs: {
+                name: 'totalDurationMs',
+                unit: 'ms',
+                category: 2
+            },
+            manaUsed: {
+                name: 'manaUsed',
+                unit: 'mana',
+                category: 1
+            },
+            nonRevertiblePrivateInsertionsUs: {
+                name: 'nonRevertiblePrivateInsertionsUs',
+                unit: 'us',
+                category: 2
+            },
+            revertiblePrivateInsertionsUs: {
+                name: 'revertiblePrivateInsertionsUs',
+                unit: 'us',
+                category: 2
+            },
+            proverSimulationStepMs: {
+                name: 'proverSimulationStepMs',
+                unit: 'ms',
+                category: 4
+            },
+            proverProvingStepMs: {
+                name: 'proverProvingStepMs',
+                unit: 'ms',
+                category: 4
+            },
+            proverTraceGenerationStepMs: {
+                name: 'proverTraceGenerationStepMs',
+                unit: 'ms',
+                category: 4
+            },
+            traceGenerationInteractionsMs: {
+                name: 'traceGenerationInteractionsMs',
+                unit: 'ms',
+                category: 4
+            },
+            traceGenerationTracesMs: {
+                name: 'traceGenerationTracesMs',
+                unit: 'ms',
+                category: 4
+            },
+            provingSumcheckMs: {
+                name: 'provingSumcheckMs',
+                unit: 'ms',
+                category: 4
+            },
+            provingPcsMs: {
+                name: 'provingPcsMs',
+                unit: 'ms',
+                category: 4
+            },
+            provingLogDerivativeInverseMs: {
+                name: 'provingLogDerivativeInverseMs',
+                unit: 'ms',
+                category: 4
+            },
+            provingLogDerivativeInverseCommitmentsMs: {
+                name: 'provingLogDerivativeInverseCommitmentsMs',
+                unit: 'ms',
+                category: 4
+            },
+            provingWireCommitmentsMs: {
+                name: 'provingWireCommitmentsMs',
+                unit: 'ms',
+                category: 4
+            }
+        };
+        const data = [];
+        for (const [txLabel, txMetrics] of this.txMetrics.entries()){
+            for (const [key, value] of Object.entries(txMetrics)){
+                if (value !== undefined && key in metricsInfo) {
+                    data.push({
+                        name: `${txLabel}/${metricsInfo[key].name}`,
+                        value: value,
+                        unit: metricsInfo[key].unit
+                    });
+                }
+            }
+        }
+        return JSON.stringify(data, null, indent);
+    }
+}
+function fmtNum(num, unit) {
+    return `\`${num.toLocaleString()}${unit ? ` ${unit}` : ''}\``;
+}

package/dest/public/unique_class_ids.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"unique_class_ids.d.ts","sourceRoot":"","sources":["../../src/public/unique_class_ids.ts"],"names":[],"mappings":"AAIA;;;GAGG;AACH,qBAAa,cAAc;IAGb,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;IAFpC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA0B;gBAEtB,MAAM,CAAC,4BAAgB;IAEpD;;OAEG;IACI,IAAI;IAIX;;;;;OAKG;IACI,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAWpC;;OAEG;IACI,IAAI,IAAI,MAAM;IAIrB;;;;OAIG;IACI,GAAG,CAAC,OAAO,EAAE,MAAM;IAW1B;;;;OAIG;IACI,cAAc,CAAC,QAAQ,EAAE,cAAc;CAc/C"}
+{"version":3,"file":"unique_class_ids.d.ts","sourceRoot":"","sources":["../../src/public/unique_class_ids.ts"],"names":[],"mappings":"AAIA;;;GAGG;AACH,qBAAa,cAAc;IAGb,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;IAFpC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA0B;gBAEtB,MAAM,CAAC,EAAE,cAAc,YAAA;IAEpD;;OAEG;IACI,IAAI;IAIX;;;;;OAKG;IACI,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAWpC;;OAEG;IACI,IAAI,IAAI,MAAM;IAIrB;;;;OAIG;IACI,GAAG,CAAC,OAAO,EAAE,MAAM;IAW1B;;;;OAIG;IACI,cAAc,CAAC,QAAQ,EAAE,cAAc;CAc/C"}

package/dest/public/utils.d.ts

@@ -1,5 +1,3 @@
-import type { PublicCallRequest } from '@aztec/stdlib/kernel';
-import { type PublicExecutionRequest, type Tx, TxExecutionPhase } from '@aztec/stdlib/tx';
-export declare function getExecutionRequestsByPhase(tx: Tx, phase: TxExecutionPhase): PublicExecutionRequest[];
-export declare function getCallRequestsByPhase(tx: Tx, phase: TxExecutionPhase): PublicCallRequest[];
+import { PublicCallRequestWithCalldata, type Tx, TxExecutionPhase } from '@aztec/stdlib/tx';
+export declare function getCallRequestsWithCalldataByPhase(tx: Tx, phase: TxExecutionPhase): PublicCallRequestWithCalldata[];
 //# sourceMappingURL=utils.d.ts.map

package/dest/public/utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/public/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,KAAK,sBAAsB,EAAE,KAAK,EAAE,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE1F,wBAAgB,2BAA2B,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,GAAG,sBAAsB,EAAE,CAarG;AAED,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,GAAG,iBAAiB,EAAE,CAa3F"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/public/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,KAAK,EAAE,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE5F,wBAAgB,kCAAkC,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,GAAG,6BAA6B,EAAE,CAanH"}

package/dest/public/utils.js

@@ -1,30 +1,13 @@
 import { TxExecutionPhase } from '@aztec/stdlib/tx';
-export function getExecutionRequestsByPhase(tx, phase) {
+export function getCallRequestsWithCalldataByPhase(tx, phase) {
     switch(phase){
         case TxExecutionPhase.SETUP:
-            return tx.getNonRevertiblePublicExecutionRequests();
+            return tx.getNonRevertiblePublicCallRequestsWithCalldata();
         case TxExecutionPhase.APP_LOGIC:
-            return tx.getRevertiblePublicExecutionRequests();
+            return tx.getRevertiblePublicCallRequestsWithCalldata();
         case TxExecutionPhase.TEARDOWN:
             {
-                const request = tx.getPublicTeardownExecutionRequest();
-                return request ? [
-                    request
-                ] : [];
-            }
-        default:
-            throw new Error(`Unknown phase: ${phase}`);
-    }
-}
-export function getCallRequestsByPhase(tx, phase) {
-    switch(phase){
-        case TxExecutionPhase.SETUP:
-            return tx.data.getNonRevertiblePublicCallRequests();
-        case TxExecutionPhase.APP_LOGIC:
-            return tx.data.getRevertiblePublicCallRequests();
-        case TxExecutionPhase.TEARDOWN:
-            {
-                const request = tx.data.getTeardownPublicCallRequest();
+                const request = tx.getTeardownPublicCallRequestWithCalldata();
                 return request ? [
                     request
                 ] : [];

package/dest/server.d.ts

@@ -1,6 +1,9 @@
 export * from './public/index.js';
-export { WASMSimulatorWithBlobs } from './private/providers/acvm_wasm_with_blobs.js';
-export { NativeACVMSimulator } from './private/providers/acvm_native.js';
-export { type SimulationProvider } from './private/providers/simulation_provider.js';
+export * from './private/acvm/index.js';
+export { WASMSimulatorWithBlobs } from './private/acvm_wasm_with_blobs.js';
+export { NativeACVMSimulator } from './private/acvm_native.js';
+export { SimulatorRecorderWrapper } from './private/circuit_recording/simulator_recorder_wrapper.js';
+export { MemoryCircuitRecorder } from './private/circuit_recording/memory_circuit_recorder.js';
+export { type CircuitSimulator, type DecodedError } from './private/circuit_simulator.js';
 export * from './common/index.js';
 //# sourceMappingURL=server.d.ts.map

package/dest/server.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AACrF,cAAc,mBAAmB,CAAC"}
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,yBAAyB,CAAC;AACxC,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,2DAA2D,CAAC;AACrG,OAAO,EAAE,qBAAqB,EAAE,MAAM,wDAAwD,CAAC;AAC/F,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC1F,cAAc,mBAAmB,CAAC"}

package/dest/server.js

@@ -1,4 +1,7 @@
 export * from './public/index.js';
-export { WASMSimulatorWithBlobs } from './private/providers/acvm_wasm_with_blobs.js';
-export { NativeACVMSimulator } from './private/providers/acvm_native.js';
+export * from './private/acvm/index.js';
+export { WASMSimulatorWithBlobs } from './private/acvm_wasm_with_blobs.js';
+export { NativeACVMSimulator } from './private/acvm_native.js';
+export { SimulatorRecorderWrapper } from './private/circuit_recording/simulator_recorder_wrapper.js';
+export { MemoryCircuitRecorder } from './private/circuit_recording/memory_circuit_recorder.js';
 export * from './common/index.js';

package/dest/testing.d.ts

@@ -0,0 +1,2 @@
+export { FileCircuitRecorder } from './private/circuit_recording/file_circuit_recorder.js';
+//# sourceMappingURL=testing.d.ts.map

package/dest/testing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,sDAAsD,CAAC"}

package/dest/testing.js

@@ -0,0 +1 @@
+export { FileCircuitRecorder } from './private/circuit_recording/file_circuit_recorder.js';

package/package.json

@@ -1,11 +1,13 @@
 {
   "name": "@aztec/simulator",
-  "version": "0.0.0-test.0",
+  "version": "0.0.1-commit.24de95ac",
   "type": "module",
   "exports": {
     "./server": "./dest/server.js",
     "./client": "./dest/client.js",
-    "./public/fixtures": "./dest/public/fixtures/index.js"
+    "./testing": "./dest/testing.js",
+    "./public/fixtures": "./dest/public/fixtures/index.js",
+    "./public/avm/opcodes": "./dest/public/avm/opcodes/index.js"
   },
   "typedocOptions": {
     "entryPoints": [
@@ -18,9 +20,8 @@
     "build": "yarn clean && tsc -b",
     "build:dev": "tsc -b --watch",
     "clean": "rm -rf ./dest .tsbuildinfo",
-    "formatting": "run -T prettier --check ./src && run -T eslint ./src",
-    "formatting:fix": "run -T eslint --fix ./src && run -T prettier -w ./src",
-    "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
+    "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}",
+    "build:fuzzer": "tsc scripts/fuzzing/avm_simulator_bin.ts --outDir dest/scripts/fuzzing --module commonjs --target es2022 --esModuleInterop --allowSyntheticDefaultImports --resolveJsonModule --skipLibCheck"
   },
   "inherits": [
     "../package.common.json"
@@ -56,41 +57,45 @@
     "testTimeout": 120000,
     "setupFiles": [
       "../../foundation/src/jest/setup.mjs"
+    ],
+    "testEnvironment": "../../foundation/src/jest/env.mjs",
+    "setupFilesAfterEnv": [
+      "../../foundation/src/jest/setupAfterEnv.mjs"
     ]
   },
   "dependencies": {
-    "@aztec/constants": "0.0.0-test.0",
-    "@aztec/foundation": "0.0.0-test.0",
-    "@aztec/noir-protocol-circuits-types": "0.0.0-test.0",
-    "@aztec/protocol-contracts": "0.0.0-test.0",
-    "@aztec/stdlib": "0.0.0-test.0",
-    "@aztec/telemetry-client": "0.0.0-test.0",
-    "@aztec/world-state": "0.0.0-test.0",
-    "levelup": "^5.1.1",
+    "@aztec/constants": "0.0.1-commit.24de95ac",
+    "@aztec/foundation": "0.0.1-commit.24de95ac",
+    "@aztec/native": "0.0.1-commit.24de95ac",
+    "@aztec/noir-acvm_js": "0.0.1-commit.24de95ac",
+    "@aztec/noir-noirc_abi": "0.0.1-commit.24de95ac",
+    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.24de95ac",
+    "@aztec/noir-types": "0.0.1-commit.24de95ac",
+    "@aztec/protocol-contracts": "0.0.1-commit.24de95ac",
+    "@aztec/stdlib": "0.0.1-commit.24de95ac",
+    "@aztec/telemetry-client": "0.0.1-commit.24de95ac",
+    "@aztec/world-state": "0.0.1-commit.24de95ac",
     "lodash.clonedeep": "^4.5.0",
     "lodash.merge": "^4.6.2",
-    "memdown": "^6.1.1",
-    "tslib": "^2.4.0",
-    "@aztec/noir-acvm_js": "0.0.0-test.0",
-    "@aztec/noir-noirc_abi": "0.0.0-test.0",
-    "@aztec/noir-types": "0.0.0-test.0"
+    "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/kv-store": "0.0.0-test.0",
-    "@aztec/merkle-tree": "0.0.0-test.0",
-    "@aztec/noir-contracts.js": "0.0.0-test.0",
-    "@jest/globals": "^29.5.0",
-    "@types/jest": "^29.5.0",
-    "@types/levelup": "^5.1.3",
+    "@aztec/kv-store": "0.0.1-commit.24de95ac",
+    "@aztec/merkle-tree": "0.0.1-commit.24de95ac",
+    "@aztec/noir-contracts.js": "0.0.1-commit.24de95ac",
+    "@aztec/noir-test-contracts.js": "0.0.1-commit.24de95ac",
+    "@jest/globals": "^30.0.0",
+    "@types/jest": "^30.0.0",
     "@types/lodash.clonedeep": "^4.5.7",
     "@types/lodash.merge": "^4.6.9",
-    "@types/memdown": "^3.0.2",
-    "@types/node": "^18.7.23",
-    "jest": "^29.5.0",
-    "jest-mock-extended": "^3.0.4",
+    "@types/node": "^22.15.17",
+    "istanbul-lib-hook": "^3.0.0",
+    "istanbul-lib-instrument": "^6.0.3",
+    "jest": "^30.0.0",
+    "jest-mock-extended": "^4.0.0",
     "ts-node": "^10.9.1",
-    "typescript": "^5.0.4",
-    "viem": "2.22.8"
+    "typescript": "^5.3.3",
+    "viem": "npm:@spalladino/viem@2.38.2-eip7594.0"
   },
   "files": [
     "dest",
@@ -99,6 +104,6 @@
   ],
   "types": "./dest/index.d.ts",
   "engines": {
-    "node": ">=18"
+    "node": ">=20.10"
   }
 }

package/src/client.ts

@@ -1,4 +1,6 @@
-export * from './private/index.js';
-export { WASMSimulator } from './private/providers/acvm_wasm.js';
-export { type SimulationProvider } from './private/providers/simulation_provider.js';
+export * from './private/acvm/index.js';
+export { WASMSimulator } from './private/acvm_wasm.js';
+export { SimulatorRecorderWrapper } from './private/circuit_recording/simulator_recorder_wrapper.js';
+export { MemoryCircuitRecorder } from './private/circuit_recording/memory_circuit_recorder.js';
+export { type CircuitSimulator, type DecodedError } from './private/circuit_simulator.js';
 export * from './common/index.js';