@aztec/simulator 0.82.2 → 0.82.3-nightly.20250330

package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js

@@ -0,0 +1,39 @@
+function _ts_decorate(decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for(var i = decorators.length - 1; i >= 0; i--)if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+}
+import { TxExecutionPhase } from '@aztec/stdlib/tx';
+import { Attributes, getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
+import { ExecutorMetrics } from '../executor_metrics.js';
+import { MeasuredPublicTxSimulator } from './measured_public_tx_simulator.js';
+/**
+ * A public tx simulator that tracks runtime/production metrics with telemetry.
+ */ export class TelemetryPublicTxSimulator extends MeasuredPublicTxSimulator {
+    /* tracer needed by trackSpans */ tracer;
+    constructor(treesDB, contractsDB, globalVariables, doMerkleOperations = false, skipFeeEnforcement = false, telemetryClient = getTelemetryClient()){
+        const metrics = new ExecutorMetrics(telemetryClient, 'PublicTxSimulator');
+        super(treesDB, contractsDB, globalVariables, doMerkleOperations, skipFeeEnforcement, metrics);
+        this.tracer = metrics.tracer;
+    }
+    async simulateEnqueuedCall(phase, context, callRequest) {
+        return await super.simulateEnqueuedCall(phase, context, callRequest);
+    }
+    async simulateEnqueuedCallInternal(stateManager, callRequest, allocatedGas, transactionFee, fnName) {
+        return await super.simulateEnqueuedCallInternal(stateManager, callRequest, allocatedGas, transactionFee, fnName);
+    }
+}
+_ts_decorate([
+    trackSpan('PublicTxSimulator.simulateEnqueuedCall', (phase, context, callRequest)=>({
+            [Attributes.TX_HASH]: context.txHash.toString(),
+            [Attributes.TARGET_ADDRESS]: callRequest.request.contractAddress.toString(),
+            [Attributes.SENDER_ADDRESS]: callRequest.request.msgSender.toString(),
+            [Attributes.SIMULATOR_PHASE]: TxExecutionPhase[phase].toString()
+        }))
+], TelemetryPublicTxSimulator.prototype, "simulateEnqueuedCall", null);
+_ts_decorate([
+    trackSpan('PublicTxSimulator.simulateEnqueuedCallInternal', (_stateManager, _callRequest, _allocatedGas, _transactionFee, fnName)=>({
+            [Attributes.APP_CIRCUIT_NAME]: fnName
+        }))
+], TelemetryPublicTxSimulator.prototype, "simulateEnqueuedCallInternal", null);

package/dest/public/test_executor_metrics.d.ts

@@ -0,0 +1,43 @@
+import type { RevertCode } from '@aztec/stdlib/avm';
+import type { ExecutorMetricsInterface } from './executor_metrics_interface.js';
+export interface PublicEnqueuedCallMetrics {
+    fnName: string;
+    durationMs: number;
+    manaUsed: number;
+    totalInstructions: number;
+    reverted: boolean;
+}
+export interface PublicTxMetrics {
+    totalDurationMs: number;
+    manaUsed: number;
+    totalInstructions: number;
+    txHashMs: number | undefined;
+    nonRevertiblePrivateInsertionsUs: number | undefined;
+    revertiblePrivateInsertionsUs: number | undefined;
+    enqueuedCalls: PublicEnqueuedCallMetrics[];
+    revertedCode: RevertCode | undefined;
+}
+export declare enum PublicTxMetricsFilter {
+    ALL = 0,
+    TOTALS = 1,
+    DURATIONS = 2,
+    INSTRUCTIONS = 3
+}
+export declare class TestExecutorMetrics implements ExecutorMetricsInterface {
+    #private;
+    private logger;
+    private txMetrics;
+    private currentTxLabel;
+    private txTimer;
+    constructor();
+    startRecordingTxSimulation(txLabel: string): void;
+    stopRecordingTxSimulation(txLabel: string, revertedCode?: RevertCode): void;
+    recordEnqueuedCallSimulation(fnName: string, durationMs: number, manaUsed: number, totalInstructions: number): void;
+    recordEnqueuedCallSimulationFailure(fnName: string, durationMs: number, manaUsed: number, totalInstructions: number): void;
+    recordTxHashComputation(durationMs: number): void;
+    recordPrivateEffectsInsertion(durationUs: number, type: 'revertible' | 'non-revertible'): void;
+    prettyPrint(filter?: PublicTxMetricsFilter): void;
+    toPrettyString(filter?: PublicTxMetricsFilter): string;
+    toJSON(indent?: number): string;
+}
+//# sourceMappingURL=test_executor_metrics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"test_executor_metrics.d.ts","sourceRoot":"","sources":["../../src/public/test_executor_metrics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAIpD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAEhF,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,gCAAgC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrD,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,aAAa,EAAE,yBAAyB,EAAE,CAAC;IAC3C,YAAY,EAAE,UAAU,GAAG,SAAS,CAAC;CACtC;AAWD,oBAAY,qBAAqB;IAC/B,GAAG,IAAA;IACH,MAAM,IAAA;IACN,SAAS,IAAA;IACT,YAAY,IAAA;CACb;AAED,qBAAa,mBAAoB,YAAW,wBAAwB;;IAClE,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,SAAS,CAA2C;IAC5D,OAAO,CAAC,cAAc,CAAqB;IAC3C,OAAO,CAAC,OAAO,CAAoB;;IAMnC,0BAA0B,CAAC,OAAO,EAAE,MAAM;IAiB1C,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,UAAU;IAkBpE,4BAA4B,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM;IAI5G,mCAAmC,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM;IAsBnH,uBAAuB,CAAC,UAAU,EAAE,MAAM;IAO1C,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,GAAG,gBAAgB;IAkBvF,WAAW,CAAC,MAAM,GAAE,qBAAiD;IAIrE,cAAc,CAAC,MAAM,GAAE,qBAAiD;IAqExE,MAAM,CAAC,MAAM,SAAI;CAGlB"}

package/dest/public/test_executor_metrics.js

@@ -0,0 +1,158 @@
+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";
+    return PublicTxMetricsFilter;
+}({});
+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, {
+            totalDurationMs: 0,
+            manaUsed: 0,
+            totalInstructions: 0,
+            txHashMs: undefined,
+            nonRevertiblePrivateInsertionsUs: undefined,
+            revertiblePrivateInsertionsUs: undefined,
+            enqueuedCalls: [],
+            revertedCode: undefined
+        });
+        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 totalInstructions across all enqueued calls
+        txMetrics.totalInstructions = sum(txMetrics.enqueuedCalls.map((call)=>call.totalInstructions));
+        txMetrics.revertedCode = revertedCode;
+        this.currentTxLabel = undefined;
+    }
+    recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructions) {
+        this.#recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructions, false);
+    }
+    recordEnqueuedCallSimulationFailure(fnName, durationMs, manaUsed, totalInstructions) {
+        this.#recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructions, true);
+    }
+    #recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructions, 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,
+            totalInstructions,
+            reverted
+        });
+    }
+    recordTxHashComputation(durationMs) {
+        assert(this.currentTxLabel, 'Cannot record tx hash computation time when no tx is live');
+        const txMetrics = this.txMetrics.get(this.currentTxLabel);
+        assert(txMetrics.txHashMs === undefined, 'Cannot RE-record tx hash computation time');
+        txMetrics.txHashMs = durationMs;
+    }
+    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;
+        }
+    }
+    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.totalInstructions)}\n`;
+            }
+            if (filter === 2 || filter === 0) {
+                pretty += `${INDENT0}Tx hash computation: ${fmtNum(txMetrics.txHashMs, 'ms')}\n`;
+                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 !== 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.totalInstructions)}\n`;
+            }
+            if (enqueuedCall.reverted) {
+                pretty += `${INDENT2}Reverted!\n`;
+            }
+        }
+        return pretty;
+    }
+    toJSON(indent = 2) {
+        return JSON.stringify(Object.fromEntries(this.txMetrics.entries()), null, indent);
+    }
+}
+function fmtNum(num, unit) {
+    return `\`${num.toLocaleString()}${unit ? ` ${unit}` : ''}\``;
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/simulator",
-  "version": "0.82.2",
+  "version": "0.82.3-nightly.20250330",
   "type": "module",
   "exports": {
     "./server": "./dest/server.js",
@@ -60,16 +60,16 @@
     ]
   },
   "dependencies": {
-    "@aztec/constants": "0.82.2",
-    "@aztec/foundation": "0.82.2",
-    "@aztec/noir-acvm_js": "0.82.2",
-    "@aztec/noir-noirc_abi": "0.82.2",
-    "@aztec/noir-protocol-circuits-types": "0.82.2",
-    "@aztec/noir-types": "0.82.2",
-    "@aztec/protocol-contracts": "0.82.2",
-    "@aztec/stdlib": "0.82.2",
-    "@aztec/telemetry-client": "0.82.2",
-    "@aztec/world-state": "0.82.2",
+    "@aztec/constants": "0.82.3-nightly.20250330",
+    "@aztec/foundation": "0.82.3-nightly.20250330",
+    "@aztec/noir-acvm_js": "0.82.3-nightly.20250330",
+    "@aztec/noir-noirc_abi": "0.82.3-nightly.20250330",
+    "@aztec/noir-protocol-circuits-types": "0.82.3-nightly.20250330",
+    "@aztec/noir-types": "0.82.3-nightly.20250330",
+    "@aztec/protocol-contracts": "0.82.3-nightly.20250330",
+    "@aztec/stdlib": "0.82.3-nightly.20250330",
+    "@aztec/telemetry-client": "0.82.3-nightly.20250330",
+    "@aztec/world-state": "0.82.3-nightly.20250330",
     "levelup": "^5.1.1",
     "lodash.clonedeep": "^4.5.0",
     "lodash.merge": "^4.6.2",
@@ -77,9 +77,9 @@
     "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/kv-store": "0.82.2",
-    "@aztec/merkle-tree": "0.82.2",
-    "@aztec/noir-contracts.js": "0.82.2",
+    "@aztec/kv-store": "0.82.3-nightly.20250330",
+    "@aztec/merkle-tree": "0.82.3-nightly.20250330",
+    "@aztec/noir-contracts.js": "0.82.3-nightly.20250330",
     "@jest/globals": "^29.5.0",
     "@types/jest": "^29.5.0",
     "@types/levelup": "^5.1.3",

package/src/private/acvm/oracle/oracle.ts

@@ -1,8 +1,9 @@
 import { Fr, Point } from '@aztec/foundation/fields';
-import { FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
+import { EventSelector, FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import { ContractClassLog, LogWithTxData } from '@aztec/stdlib/logs';
 import { MerkleTreeId } from '@aztec/stdlib/trees';
+import { TxHash } from '@aztec/stdlib/tx';
 
 import type { ACVMField } from '../acvm_types.js';
 import { fromBoundedVec, fromUintArray, fromUintBoundedVec } from '../deserialize.js';
@@ -355,12 +356,12 @@ export class Oracle {
     return Promise.resolve([]);
   }
 
-  async getIndexedTaggingSecretAsSender([sender]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField[][]> {
+  async getIndexedTaggingSecretAsSender([sender]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField[]> {
     const taggingSecret = await this.typedOracle.getIndexedTaggingSecretAsSender(
       AztecAddress.fromString(sender),
       AztecAddress.fromString(recipient),
     );
-    return [taggingSecret.toFields().map(toACVMField)];
+    return taggingSecret.toFields().map(toACVMField);
   }
 
   async incrementAppTaggingSecretIndexAsSender([sender]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField[]> {
@@ -490,4 +491,24 @@ export class Oracle {
     );
     return secret.toFields().map(toACVMField);
   }
+
+  async storePrivateEventLog(
+    [contractAddress]: ACVMField[],
+    [recipient]: ACVMField[],
+    [eventSelector]: ACVMField[],
+    logContentBVecStorage: ACVMField[],
+    [logContentLength]: ACVMField[],
+    [txHash]: ACVMField[],
+    [logIndexInTx]: ACVMField[],
+  ) {
+    await this.typedOracle.storePrivateEventLog(
+      AztecAddress.fromField(Fr.fromString(contractAddress)),
+      AztecAddress.fromField(Fr.fromString(recipient)),
+      EventSelector.fromField(Fr.fromString(eventSelector)),
+      fromBoundedVec(logContentBVecStorage, logContentLength),
+      new TxHash(Fr.fromString(txHash)),
+      Fr.fromString(logIndexInTx).toNumber(),
+    );
+    return [];
+  }
 }

package/src/private/acvm/oracle/typed_oracle.ts

@@ -1,13 +1,13 @@
 import type { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
 import { Fr, Point } from '@aztec/foundation/fields';
-import type { FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
+import type { EventSelector, FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { CompleteAddress, ContractInstance } from '@aztec/stdlib/contract';
 import type { KeyValidationRequest } from '@aztec/stdlib/kernel';
 import type { ContractClassLog, IndexedTaggingSecret, LogWithTxData } from '@aztec/stdlib/logs';
 import type { Note, NoteStatus } from '@aztec/stdlib/note';
 import { type MerkleTreeId, type NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
-import type { BlockHeader } from '@aztec/stdlib/tx';
+import type { BlockHeader, TxHash } from '@aztec/stdlib/tx';
 
 import type { MessageLoadOracleInputs } from '../../../common/message_load_oracle_inputs.js';
 
@@ -258,4 +258,15 @@ export abstract class TypedOracle {
   getSharedSecret(_address: AztecAddress, _ephPk: Point): Promise<Point> {
     return Promise.reject(new OracleMethodNotAvailableError('getSharedSecret'));
   }
+
+  storePrivateEventLog(
+    _contractAddress: AztecAddress,
+    _recipient: AztecAddress,
+    _eventSelector: EventSelector,
+    _logContent: Fr[],
+    _txHash: TxHash,
+    _logIndexInTx: number,
+  ): Promise<void> {
+    return Promise.reject(new OracleMethodNotAvailableError('storePrivateEventLog'));
+  }
 }

package/src/private/execution_data_provider.ts

@@ -1,5 +1,10 @@
 import type { Fr, Point } from '@aztec/foundation/fields';
-import type { FunctionArtifact, FunctionArtifactWithContractName, FunctionSelector } from '@aztec/stdlib/abi';
+import type {
+  EventSelector,
+  FunctionArtifact,
+  FunctionArtifactWithContractName,
+  FunctionSelector,
+} from '@aztec/stdlib/abi';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { L2Block } from '@aztec/stdlib/block';
 import type { CompleteAddress, ContractInstance } from '@aztec/stdlib/contract';
@@ -7,7 +12,7 @@ import type { KeyValidationRequest } from '@aztec/stdlib/kernel';
 import { IndexedTaggingSecret, LogWithTxData, TxScopedL2Log } from '@aztec/stdlib/logs';
 import type { NoteStatus } from '@aztec/stdlib/note';
 import { type MerkleTreeId, type NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
-import type { BlockHeader } from '@aztec/stdlib/tx';
+import type { BlockHeader, TxHash } from '@aztec/stdlib/tx';
 
 import type { CommitmentsDBInterface } from '../common/db_interfaces.js';
 import type { NoteData } from './acvm/index.js';
@@ -325,4 +330,22 @@ export interface ExecutionDataProvider extends CommitmentsDBInterface {
    * @returns The secret for the given address.
    */
   getSharedSecret(address: AztecAddress, ephPk: Point): Promise<Point>;
+
+  /**
+   * Stores an event log in the database.
+   * @param contractAddress - The address of the contract that emitted the log.
+   * @param recipient - The address of the recipient.
+   * @param eventSelector - The event selector of the event.
+   * @param logContent - The content of the private event log.
+   * @param txHash - The hash of the transaction that emitted the log.
+   * @param logIndexInTx - The index of the log within the transaction.
+   */
+  storePrivateEventLog(
+    contractAddress: AztecAddress,
+    recipient: AztecAddress,
+    eventSelector: EventSelector,
+    logContent: Fr[],
+    txHash: TxHash,
+    logIndexInTx: number,
+  ): Promise<void>;
 }

package/src/private/unconstrained_execution_oracle.ts

@@ -1,6 +1,7 @@
 import { Aes128 } from '@aztec/foundation/crypto';
 import { Fr, Point } from '@aztec/foundation/fields';
 import { applyStringFormatting, createLogger } from '@aztec/foundation/log';
+import type { EventSelector } from '@aztec/stdlib/abi';
 import type { AuthWitness } from '@aztec/stdlib/auth-witness';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { CompleteAddress, ContractInstance } from '@aztec/stdlib/contract';
@@ -9,7 +10,7 @@ import type { KeyValidationRequest } from '@aztec/stdlib/kernel';
 import { IndexedTaggingSecret, LogWithTxData } from '@aztec/stdlib/logs';
 import type { NoteStatus } from '@aztec/stdlib/note';
 import { type MerkleTreeId, type NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
-import type { BlockHeader, Capsule } from '@aztec/stdlib/tx';
+import type { BlockHeader, Capsule, TxHash } from '@aztec/stdlib/tx';
 
 import { type NoteData, TypedOracle } from './acvm/index.js';
 import type { ExecutionDataProvider } from './execution_data_provider.js';
@@ -376,4 +377,22 @@ export class UnconstrainedExecutionOracle extends TypedOracle {
   public override getSharedSecret(address: AztecAddress, ephPk: Point): Promise<Point> {
     return this.executionDataProvider.getSharedSecret(address, ephPk);
   }
+
+  public override storePrivateEventLog(
+    contractAddress: AztecAddress,
+    recipient: AztecAddress,
+    eventSelector: EventSelector,
+    logContent: Fr[],
+    txHash: TxHash,
+    logIndexInTx: number,
+  ): Promise<void> {
+    return this.executionDataProvider.storePrivateEventLog(
+      contractAddress,
+      recipient,
+      eventSelector,
+      logContent,
+      txHash,
+      logIndexInTx,
+    );
+  }
 }

package/src/public/avm/avm_contract_call_result.ts

@@ -17,10 +17,13 @@ export class AvmContractCallResult {
     public output: Fr[],
     public gasLeft: AvmGas,
     public revertReason?: AvmRevertReason,
+    public totalInstructions: number = 0, // including nested calls
   ) {}
 
   toString(): string {
-    let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(this.gasLeft)}`;
+    let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(
+      this.gasLeft,
+    )}, totalInstructions: ${this.totalInstructions}`;
     if (this.revertReason) {
       resultsStr += `, revertReason: ${this.revertReason}`;
     }
@@ -29,7 +32,13 @@ export class AvmContractCallResult {
 
   finalize(): AvmFinalizedCallResult {
     const revertReason = this.revertReason ? createSimulationError(this.revertReason, this.output) : undefined;
-    return new AvmFinalizedCallResult(this.reverted, this.output, Gas.from(this.gasLeft), revertReason);
+    return new AvmFinalizedCallResult(
+      this.reverted,
+      this.output,
+      Gas.from(this.gasLeft),
+      revertReason,
+      this.totalInstructions,
+    );
   }
 }
 
@@ -43,10 +52,13 @@ export class AvmFinalizedCallResult {
     public output: Fr[],
     public gasLeft: Gas,
     public revertReason?: SimulationError,
+    public totalInstructions: number = 0, // including nested calls
   ) {}
 
   toString(): string {
-    let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(this.gasLeft)}`;
+    let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(
+      this.gasLeft,
+    )}, totalInstructions: ${this.totalInstructions}`;
     if (this.revertReason) {
       resultsStr += `, revertReason: ${this.revertReason}`;
     }

package/src/public/avm/avm_machine_state.ts

@@ -68,6 +68,11 @@ export class AvmMachineState {
   /** Output data must NOT be modified once it is set */
   private output: Fr[] = [];
 
+  // Metrics only - not needed for execution
+  /** instruction counter, including nested calls */
+  public instrCounter: number = 0;
+  // End metrics only
+
   constructor(gasLeft: Gas);
   constructor(l2GasLeft: number, daGasLeft: number);
   constructor(gasLeftOrL2GasLeft: Gas | number, daGasLeft?: number) {

package/src/public/avm/avm_simulator.ts

@@ -147,7 +147,6 @@ export class AvmSimulator {
     try {
       // Execute instruction pointed to by the current program counter
       // continuing until the machine state signifies a halt
-      let instrCounter = 0;
       while (!machineState.getHalted()) {
         // Get the instruction from cache, or deserialize for the first time
         let cachedInstruction = this.deserializedInstructionsCache.get(machineState.pc);
@@ -163,13 +162,11 @@ export class AvmSimulator {
         if (this.log.isLevelEnabled('trace')) {
           // Skip this entirely to avoid toStringing etc if trace is not enabled
           this.log.trace(
-            `[PC:${machineState.pc}] [IC:${instrCounter}] ${instruction.toString()} (gasLeft l2=${
+            `[PC:${machineState.pc}] [IC:${machineState.instrCounter}] ${instruction.toString()} (gasLeft l2=${
               machineState.l2GasLeft
             } da=${machineState.daGasLeft})`,
           );
         }
-        instrCounter++;
-
         machineState.nextPc = machineState.pc + bytesRead;
 
         // Execute the instruction.
@@ -181,6 +178,8 @@ export class AvmSimulator {
           machineState.pc += bytesRead;
         }
 
+        machineState.instrCounter++;
+
         // gas used by this instruction - used for profiling/tallying
         const gasUsed: Gas = {
           l2Gas: instrStartGas.l2Gas - machineState.l2GasLeft,
@@ -197,13 +196,19 @@ export class AvmSimulator {
       const output = machineState.getOutput();
       const reverted = machineState.getReverted();
       const revertReason = reverted ? await revertReasonFromExplicitRevert(output, this.context) : undefined;
-      const results = new AvmContractCallResult(reverted, output, machineState.gasLeft, revertReason);
+      const results = new AvmContractCallResult(
+        reverted,
+        output,
+        machineState.gasLeft,
+        revertReason,
+        machineState.instrCounter,
+      );
       this.log.debug(`Context execution results: ${results.toString()}`);
       const totalGasUsed: Gas = {
         l2Gas: callStartGas.l2Gas - machineState.l2GasLeft,
         daGas: callStartGas.daGas - machineState.daGasLeft,
       };
-      this.log.debug(`Executed ${instrCounter} instructions and consumed ${totalGasUsed.l2Gas} L2 Gas`);
+      this.log.debug(`Executed ${machineState.instrCounter} instructions and consumed ${totalGasUsed.l2Gas} L2 Gas`);
 
       this.tallyPrintFunction();
 
@@ -233,7 +238,13 @@ export class AvmSimulator {
       // Exceptional halts consume all allocated gas
       const noGasLeft = { l2Gas: 0, daGas: 0 };
       // Note: "exceptional halts" cannot return data, hence [].
-      const results = new AvmContractCallResult(/*reverted=*/ true, /*output=*/ [], noGasLeft, revertReason);
+      const results = new AvmContractCallResult(
+        /*reverted=*/ true,
+        /*output=*/ [],
+        noGasLeft,
+        revertReason,
+        machineState.instrCounter,
+      );
       this.log.debug(`Context execution results: ${results.toString()}`);
 
       this.tallyPrintFunction();

package/src/public/avm/fixtures/avm_simulation_tester.ts

@@ -9,6 +9,7 @@ import { NativeWorldStateService } from '@aztec/world-state';
 import { SideEffectTrace } from '../../../public/side_effect_trace.js';
 import type { AvmContractCallResult } from '../../avm/avm_contract_call_result.js';
 import {
+  DEFAULT_BLOCK_NUMBER,
   getContractFunctionAbi,
   getFunctionSelector,
   initContext,
@@ -16,7 +17,6 @@ import {
   resolveContractAssertionMessage,
 } from '../../avm/fixtures/index.js';
 import { AvmPersistableStateManager } from '../../avm/journal/journal.js';
-import { DEFAULT_BLOCK_NUMBER } from '../../fixtures/public_tx_simulation_tester.js';
 import { PublicContractsDB, PublicTreesDB } from '../../public_db_sources.js';
 import { AvmSimulator } from '../avm_simulator.js';
 import { BaseAvmSimulationTester } from './base_avm_simulation_tester.js';

package/src/public/avm/fixtures/base_avm_simulation_tester.ts

@@ -6,7 +6,7 @@ import { computeFeePayerBalanceStorageSlot, getCanonicalFeeJuice } from '@aztec/
 import type { ContractArtifact } from '@aztec/stdlib/abi';
 import { PublicDataWrite } from '@aztec/stdlib/avm';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { ContractClassPublic, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
+import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
 import { computePublicDataTreeLeafSlot, siloNullifier } from '@aztec/stdlib/hash';
 import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
 import { MerkleTreeId } from '@aztec/stdlib/trees';
@@ -86,12 +86,6 @@ export abstract class BaseAvmSimulationTester {
     return feeJuice.instance;
   }
 
-  addContractClass(contractClass: ContractClassPublic, contractArtifact: ContractArtifact): Promise<void> {
-    this.logger.debug(`Adding contract class with Id ${contractClass.id}`);
-    this.contractDataSource.addContractArtifact(contractClass.id, contractArtifact);
-    return this.contractDataSource.addContractClass(contractClass);
-  }
-
   async addContractInstance(contractInstance: ContractInstanceWithAddress, skipNullifierInsertion = false) {
     if (!skipNullifierInsertion) {
       await this.insertContractAddressNullifier(contractInstance.address);

package/src/public/avm/fixtures/index.ts

@@ -28,7 +28,6 @@ import { mock } from 'jest-mock-extended';
 import merge from 'lodash.merge';
 
 import { resolveAssertionMessageFromRevertData, traverseCauseChain } from '../../../common/index.js';
-import { DEFAULT_BLOCK_NUMBER } from '../../fixtures/public_tx_simulation_tester.js';
 import type { PublicContractsDB, PublicTreesDB } from '../../public_db_sources.js';
 import type { PublicSideEffectTraceInterface } from '../../side_effect_trace_interface.js';
 import { AvmContext } from '../avm_context.js';
@@ -42,6 +41,7 @@ import { NullifierManager } from '../journal/nullifiers.js';
 import { PublicStorage } from '../journal/public_storage.js';
 
 export const PUBLIC_DISPATCH_FN_NAME = 'public_dispatch';
+export const DEFAULT_BLOCK_NUMBER = 42;
 
 /**
  * Create a new AVM context with default values.