@aztec/simulator 0.42.0 → 0.44.0

package/src/public/side_effect_trace_interface.ts

@@ -0,0 +1,41 @@
+import { type Gas } from '@aztec/circuits.js';
+import { type Fr } from '@aztec/foundation/fields';
+
+import { type AvmExecutionEnvironment } from '../avm/avm_execution_environment.js';
+import { type AvmContractCallResults } from '../avm/avm_message_call_result.js';
+import { type TracedContractInstance } from './side_effect_trace.js';
+
+export interface PublicSideEffectTraceInterface {
+  fork(): PublicSideEffectTraceInterface;
+  getCounter(): number;
+  tracePublicStorageRead(storageAddress: Fr, slot: Fr, value: Fr, exists: boolean, cached: boolean): void;
+  tracePublicStorageWrite(storageAddress: Fr, slot: Fr, value: Fr): void;
+  traceNoteHashCheck(storageAddress: Fr, noteHash: Fr, leafIndex: Fr, exists: boolean): void;
+  traceNewNoteHash(storageAddress: Fr, noteHash: Fr): void;
+  traceNullifierCheck(storageAddress: Fr, nullifier: Fr, leafIndex: Fr, exists: boolean, isPending: boolean): void;
+  traceNewNullifier(storageAddress: Fr, nullifier: Fr): void;
+  traceL1ToL2MessageCheck(contractAddress: Fr, msgHash: Fr, msgLeafIndex: Fr, exists: boolean): void;
+  // TODO(dbanks12): should new message accept contract address as arg?
+  traceNewL2ToL1Message(recipient: Fr, content: Fr): void;
+  traceUnencryptedLog(contractAddress: Fr, event: Fr, log: Fr[]): void;
+  // TODO(dbanks12): odd that getContractInstance is a one-off in that it accepts an entire object instead of components
+  traceGetContractInstance(instance: TracedContractInstance): void;
+  traceNestedCall(
+    /** The trace of the nested call. */
+    nestedCallTrace: PublicSideEffectTraceInterface,
+    /** The execution environment of the nested call. */
+    nestedEnvironment: AvmExecutionEnvironment,
+    /** How much gas was available for this public execution. */
+    // TODO(dbanks12): consider moving to AvmExecutionEnvironment
+    startGasLeft: Gas,
+    /** How much gas was left after this public execution. */
+    // TODO(dbanks12): consider moving to AvmContractCallResults
+    endGasLeft: Gas,
+    /** Bytecode used for this execution. */
+    bytecode: Buffer,
+    /** The call's results */
+    avmCallResults: AvmContractCallResults,
+    /** Function name */
+    functionName: string,
+  ): void;
+}

package/src/public/tail_phase_manager.ts

@@ -13,7 +13,7 @@ import {
 import { type PublicExecutor, type PublicStateDB } from '@aztec/simulator';
 import { type MerkleTreeOperations } from '@aztec/world-state';
 
-import { AbstractPhaseManager, PublicKernelPhase } from './abstract_phase_manager.js';
+import { AbstractPhaseManager } from './abstract_phase_manager.js';
 import { type ContractsDataSourcePublicDB } from './public_db_sources.js';
 import { type PublicKernelCircuitSimulator } from './public_kernel_circuit_simulator.js';
 
@@ -26,7 +26,7 @@ export class TailPhaseManager extends AbstractPhaseManager {
     historicalHeader: Header,
     protected publicContractsDB: ContractsDataSourcePublicDB,
     protected publicStateDB: PublicStateDB,
-    phase: PublicKernelPhase = PublicKernelPhase.TAIL,
+    phase: PublicKernelType = PublicKernelType.TAIL,
   ) {
     super(db, publicExecutor, publicKernel, globalVariables, historicalHeader, phase);
   }

package/src/public/teardown_phase_manager.ts

@@ -11,7 +11,7 @@ import { type MerkleTreeOperations } from '@aztec/world-state';
 
 import { inspect } from 'util';
 
-import { AbstractPhaseManager, PublicKernelPhase, makeAvmProvingRequest } from './abstract_phase_manager.js';
+import { AbstractPhaseManager, makeAvmProvingRequest } from './abstract_phase_manager.js';
 import { type ContractsDataSourcePublicDB } from './public_db_sources.js';
 import { type PublicKernelCircuitSimulator } from './public_kernel_circuit_simulator.js';
 
@@ -27,7 +27,7 @@ export class TeardownPhaseManager extends AbstractPhaseManager {
     historicalHeader: Header,
     protected publicContractsDB: ContractsDataSourcePublicDB,
     protected publicStateDB: PublicStateDB,
-    phase: PublicKernelPhase = PublicKernelPhase.TEARDOWN,
+    phase: PublicKernelType = PublicKernelType.TEARDOWN,
   ) {
     super(db, publicExecutor, publicKernel, globalVariables, historicalHeader, phase);
   }
@@ -44,6 +44,7 @@ export class TeardownPhaseManager extends AbstractPhaseManager {
       );
     if (revertReason) {
       await this.publicStateDB.rollbackToCheckpoint();
+      tx.filterRevertedLogs(kernelOutput);
     } else {
       // TODO(#6464): Should we allow emitting contracts in the public teardown phase?
       // if so, we should insert them here

package/src/public/transitional_adaptors.ts

@@ -1,17 +1,13 @@
 // All code in this file needs to die once the public executor is phased out in favor of the AVM.
-import { UnencryptedFunctionL2Logs } from '@aztec/circuit-types';
-import { CallContext, type Gas, type GasSettings, type GlobalVariables, type Header } from '@aztec/circuits.js';
+import { type GasSettings, type GlobalVariables, type Header } from '@aztec/circuits.js';
 import { Fr } from '@aztec/foundation/fields';
 
 import { promisify } from 'util';
 import { gunzip } from 'zlib';
 
-import { type AvmContext } from '../avm/avm_context.js';
 import { AvmExecutionEnvironment } from '../avm/avm_execution_environment.js';
-import { type AvmContractCallResults } from '../avm/avm_message_call_result.js';
 import { Mov } from '../avm/opcodes/memory.js';
-import { createSimulationError } from '../common/errors.js';
-import { type PublicExecution, type PublicExecutionResult } from './execution.js';
+import { type PublicExecution } from './execution.js';
 
 /**
  * Convert a PublicExecution(Environment) object to an AvmExecutionEnvironment
@@ -45,60 +41,6 @@ export function createAvmExecutionEnvironment(
   );
 }
 
-export function createPublicExecution(
-  startSideEffectCounter: number,
-  avmEnvironment: AvmExecutionEnvironment,
-  calldata: Fr[],
-): PublicExecution {
-  const callContext = CallContext.from({
-    msgSender: avmEnvironment.sender,
-    storageContractAddress: avmEnvironment.storageAddress,
-    functionSelector: avmEnvironment.temporaryFunctionSelector,
-    isDelegateCall: avmEnvironment.isDelegateCall,
-    isStaticCall: avmEnvironment.isStaticCall,
-    sideEffectCounter: startSideEffectCounter,
-  });
-  const execution: PublicExecution = {
-    contractAddress: avmEnvironment.address,
-    callContext,
-    args: calldata,
-    functionSelector: avmEnvironment.temporaryFunctionSelector,
-  };
-  return execution;
-}
-
-export function convertAvmResultsToPxResult(
-  avmResult: AvmContractCallResults,
-  startSideEffectCounter: number,
-  fromPx: PublicExecution,
-  startGas: Gas,
-  endAvmContext: AvmContext,
-  bytecode: Buffer | undefined,
-): PublicExecutionResult {
-  const endPersistableState = endAvmContext.persistableState;
-  const endMachineState = endAvmContext.machineState;
-
-  return {
-    ...endPersistableState.transitionalExecutionResult, // includes nestedExecutions
-    execution: fromPx,
-    returnValues: avmResult.output,
-    startSideEffectCounter: new Fr(startSideEffectCounter),
-    endSideEffectCounter: new Fr(endPersistableState.trace.accessCounter),
-    unencryptedLogs: new UnencryptedFunctionL2Logs(endPersistableState.transitionalExecutionResult.unencryptedLogs),
-    allUnencryptedLogs: new UnencryptedFunctionL2Logs(
-      endPersistableState.transitionalExecutionResult.allUnencryptedLogs,
-    ),
-    reverted: avmResult.reverted,
-    revertReason: avmResult.revertReason ? createSimulationError(avmResult.revertReason) : undefined,
-    startGasLeft: startGas,
-    endGasLeft: endMachineState.gasLeft,
-    transactionFee: endAvmContext.environment.transactionFee,
-    bytecode: bytecode,
-    calldata: endAvmContext.environment.calldata,
-    avmHints: endPersistableState.trace.toHints(),
-  };
-}
-
 const AVM_MAGIC_SUFFIX = Buffer.from([
   Mov.opcode, // opcode
   0x00, // indirect

package/dest/avm/journal/trace.d.ts

@@ -1,33 +0,0 @@
-import { AvmExecutionHints } from '@aztec/circuits.js';
-import { Fr } from '@aztec/foundation/fields';
-import { type TracedL1toL2MessageCheck, type TracedNoteHash, type TracedNoteHashCheck, type TracedNullifier, type TracedNullifierCheck, type TracedPublicStorageRead, type TracedPublicStorageWrite, type TracedUnencryptedL2Log } from './trace_types.js';
-export declare class WorldStateAccessTrace {
-    accessCounter: number;
-    publicStorageReads: TracedPublicStorageRead[];
-    publicStorageWrites: TracedPublicStorageWrite[];
-    noteHashChecks: TracedNoteHashCheck[];
-    newNoteHashes: TracedNoteHash[];
-    nullifierChecks: TracedNullifierCheck[];
-    newNullifiers: TracedNullifier[];
-    l1ToL2MessageChecks: TracedL1toL2MessageCheck[];
-    newLogsHashes: TracedUnencryptedL2Log[];
-    constructor(parentTrace?: WorldStateAccessTrace);
-    getAccessCounter(): number;
-    tracePublicStorageRead(storageAddress: Fr, slot: Fr, value: Fr, exists: boolean, cached: boolean): void;
-    tracePublicStorageWrite(storageAddress: Fr, slot: Fr, value: Fr): void;
-    traceNoteHashCheck(storageAddress: Fr, noteHash: Fr, exists: boolean, leafIndex: Fr): void;
-    traceNewNoteHash(storageAddress: Fr, noteHash: Fr): void;
-    traceNullifierCheck(storageAddress: Fr, nullifier: Fr, exists: boolean, isPending: boolean, leafIndex: Fr): void;
-    traceNewNullifier(storageAddress: Fr, nullifier: Fr): void;
-    traceL1ToL2MessageCheck(msgHash: Fr, msgLeafIndex: Fr, exists: boolean): void;
-    traceNewLog(logHash: Fr): void;
-    private incrementAccessCounter;
-    /**
-     * Merges another trace into this one
-     *
-     * @param incomingTrace - the incoming trace to merge into this instance
-     */
-    acceptAndMerge(incomingTrace: WorldStateAccessTrace): void;
-    toHints(): AvmExecutionHints;
-}
-//# sourceMappingURL=trace.d.ts.map

package/dest/avm/journal/trace.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../../../src/avm/journal/trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAmB,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC5B,MAAM,kBAAkB,CAAC;AAE1B,qBAAa,qBAAqB;IACzB,aAAa,EAAE,MAAM,CAAC;IAEtB,kBAAkB,EAAE,uBAAuB,EAAE,CAAM;IACnD,mBAAmB,EAAE,wBAAwB,EAAE,CAAM;IAErD,cAAc,EAAE,mBAAmB,EAAE,CAAM;IAC3C,aAAa,EAAE,cAAc,EAAE,CAAM;IACrC,eAAe,EAAE,oBAAoB,EAAE,CAAM;IAC7C,aAAa,EAAE,eAAe,EAAE,CAAM;IACtC,mBAAmB,EAAE,wBAAwB,EAAE,CAAM;IACrD,aAAa,EAAE,sBAAsB,EAAE,CAAM;gBAKxC,WAAW,CAAC,EAAE,qBAAqB;IAKxC,gBAAgB;IAIhB,sBAAsB,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO;IAiBhG,uBAAuB,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;IAe/D,kBAAkB,CAAC,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE;IAcnF,gBAAgB,CAAC,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE;IAajD,mBAAmB,CAAC,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE;IAgBzG,iBAAiB,CAAC,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE;IAanD,uBAAuB,CAAC,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO;IActE,WAAW,CAAC,OAAO,EAAE,EAAE;IAS9B,OAAO,CAAC,sBAAsB;IAI9B;;;;OAIG;IACI,cAAc,CAAC,aAAa,EAAE,qBAAqB;IAgBnD,OAAO,IAAI,iBAAiB;CAQpC"}

package/dest/avm/journal/trace.js

@@ -1,151 +0,0 @@
-import { AvmExecutionHints, AvmHint, Vector } from '@aztec/circuits.js';
-import { Fr } from '@aztec/foundation/fields';
-export class WorldStateAccessTrace {
-    //public contractCalls: TracedContractCall[] = [];
-    //public archiveChecks: TracedArchiveLeafCheck[] = [];
-    constructor(parentTrace) {
-        this.publicStorageReads = [];
-        this.publicStorageWrites = [];
-        this.noteHashChecks = [];
-        this.newNoteHashes = [];
-        this.nullifierChecks = [];
-        this.newNullifiers = [];
-        this.l1ToL2MessageChecks = [];
-        this.newLogsHashes = [];
-        this.accessCounter = parentTrace ? parentTrace.accessCounter : 0;
-        // TODO(4805): consider tracking the parent's trace vector lengths so we can enforce limits
-    }
-    getAccessCounter() {
-        return this.accessCounter;
-    }
-    tracePublicStorageRead(storageAddress, slot, value, exists, cached) {
-        // TODO(4805): check if some threshold is reached for max storage reads
-        // (need access to parent length, or trace needs to be initialized with parent's contents)
-        const traced = {
-            //  callPointer: Fr.ZERO,
-            storageAddress,
-            slot,
-            value,
-            exists,
-            cached,
-            counter: new Fr(this.accessCounter),
-            //  endLifetime: Fr.ZERO,
-        };
-        this.publicStorageReads.push(traced);
-        this.incrementAccessCounter();
-    }
-    tracePublicStorageWrite(storageAddress, slot, value) {
-        // TODO(4805): check if some threshold is reached for max storage writes
-        // (need access to parent length, or trace needs to be initialized with parent's contents)
-        const traced = {
-            //  callPointer: Fr.ZERO,
-            storageAddress,
-            slot,
-            value,
-            counter: new Fr(this.accessCounter),
-            //  endLifetime: Fr.ZERO,
-        };
-        this.publicStorageWrites.push(traced);
-        this.incrementAccessCounter();
-    }
-    traceNoteHashCheck(storageAddress, noteHash, exists, leafIndex) {
-        const traced = {
-            // callPointer: Fr.ZERO,
-            storageAddress,
-            noteHash,
-            exists,
-            counter: new Fr(this.accessCounter),
-            // endLifetime: Fr.ZERO,
-            leafIndex,
-        };
-        this.noteHashChecks.push(traced);
-        this.incrementAccessCounter();
-    }
-    traceNewNoteHash(storageAddress, noteHash) {
-        // TODO(4805): check if some threshold is reached for max new note hash
-        const traced = {
-            //  callPointer: Fr.ZERO,
-            storageAddress,
-            noteHash,
-            counter: new Fr(this.accessCounter),
-            //  endLifetime: Fr.ZERO,
-        };
-        this.newNoteHashes.push(traced);
-        this.incrementAccessCounter();
-    }
-    traceNullifierCheck(storageAddress, nullifier, exists, isPending, leafIndex) {
-        // TODO(4805): check if some threshold is reached for max new nullifier
-        const traced = {
-            // callPointer: Fr.ZERO,
-            storageAddress,
-            nullifier,
-            exists,
-            counter: new Fr(this.accessCounter),
-            // endLifetime: Fr.ZERO,
-            isPending,
-            leafIndex,
-        };
-        this.nullifierChecks.push(traced);
-        this.incrementAccessCounter();
-    }
-    traceNewNullifier(storageAddress, nullifier) {
-        // TODO(4805): check if some threshold is reached for max new nullifier
-        const tracedNullifier = {
-            // callPointer: Fr.ZERO,
-            storageAddress,
-            nullifier,
-            counter: new Fr(this.accessCounter),
-            // endLifetime: Fr.ZERO,
-        };
-        this.newNullifiers.push(tracedNullifier);
-        this.incrementAccessCounter();
-    }
-    traceL1ToL2MessageCheck(msgHash, msgLeafIndex, exists) {
-        // TODO(4805): check if some threshold is reached for max message reads
-        const traced = {
-            //callPointer: Fr.ZERO, // FIXME
-            leafIndex: msgLeafIndex,
-            msgHash: msgHash,
-            exists: exists,
-            counter: new Fr(this.accessCounter),
-            //endLifetime: Fr.ZERO, // FIXME
-        };
-        this.l1ToL2MessageChecks.push(traced);
-        this.incrementAccessCounter();
-    }
-    traceNewLog(logHash) {
-        const traced = {
-            logHash,
-            counter: new Fr(this.accessCounter),
-        };
-        this.newLogsHashes.push(traced);
-        this.incrementAccessCounter();
-    }
-    incrementAccessCounter() {
-        this.accessCounter++;
-    }
-    /**
-     * Merges another trace into this one
-     *
-     * @param incomingTrace - the incoming trace to merge into this instance
-     */
-    acceptAndMerge(incomingTrace) {
-        // Merge storage read and write journals
-        this.publicStorageReads.push(...incomingTrace.publicStorageReads);
-        this.publicStorageWrites.push(...incomingTrace.publicStorageWrites);
-        // Merge new note hashes and nullifiers
-        this.noteHashChecks.push(...incomingTrace.noteHashChecks);
-        this.newNoteHashes.push(...incomingTrace.newNoteHashes);
-        this.nullifierChecks.push(...incomingTrace.nullifierChecks);
-        this.newNullifiers.push(...incomingTrace.newNullifiers);
-        this.l1ToL2MessageChecks.push(...incomingTrace.l1ToL2MessageChecks);
-        this.newLogsHashes.push(...incomingTrace.newLogsHashes);
-        // it is assumed that the incoming trace was initialized with this as parent, so accept counter
-        this.accessCounter = incomingTrace.accessCounter;
-    }
-    // TODO(dbanks12): should only return hints for one call.... shouldn't include nested calls (merged in traces)
-    toHints() {
-        return new AvmExecutionHints(new Vector(this.publicStorageReads.map(read => new AvmHint(read.counter, read.value))), new Vector(this.noteHashChecks.map(check => new AvmHint(check.counter, new Fr(check.exists ? 1 : 0)))), new Vector(this.nullifierChecks.map(check => new AvmHint(check.counter, new Fr(check.exists ? 1 : 0)))), new Vector(this.l1ToL2MessageChecks.map(check => new AvmHint(check.counter, new Fr(check.exists ? 1 : 0)))));
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHJhY2UuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYXZtL2pvdXJuYWwvdHJhY2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUN4RSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFhOUMsTUFBTSxPQUFPLHFCQUFxQjtJQWFoQyxrREFBa0Q7SUFDbEQsc0RBQXNEO0lBRXRELFlBQVksV0FBbUM7UUFieEMsdUJBQWtCLEdBQThCLEVBQUUsQ0FBQztRQUNuRCx3QkFBbUIsR0FBK0IsRUFBRSxDQUFDO1FBRXJELG1CQUFjLEdBQTBCLEVBQUUsQ0FBQztRQUMzQyxrQkFBYSxHQUFxQixFQUFFLENBQUM7UUFDckMsb0JBQWUsR0FBMkIsRUFBRSxDQUFDO1FBQzdDLGtCQUFhLEdBQXNCLEVBQUUsQ0FBQztRQUN0Qyx3QkFBbUIsR0FBK0IsRUFBRSxDQUFDO1FBQ3JELGtCQUFhLEdBQTZCLEVBQUUsQ0FBQztRQU1sRCxJQUFJLENBQUMsYUFBYSxHQUFHLFdBQVcsQ0FBQyxDQUFDLENBQUMsV0FBVyxDQUFDLGFBQWEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQ2pFLDJGQUEyRjtJQUM3RixDQUFDO0lBRU0sZ0JBQWdCO1FBQ3JCLE9BQU8sSUFBSSxDQUFDLGFBQWEsQ0FBQztJQUM1QixDQUFDO0lBRU0sc0JBQXNCLENBQUMsY0FBa0IsRUFBRSxJQUFRLEVBQUUsS0FBUyxFQUFFLE1BQWUsRUFBRSxNQUFlO1FBQ3JHLHVFQUF1RTtRQUN2RSwwRkFBMEY7UUFDMUYsTUFBTSxNQUFNLEdBQTRCO1lBQ3RDLHlCQUF5QjtZQUN6QixjQUFjO1lBQ2QsSUFBSTtZQUNKLEtBQUs7WUFDTCxNQUFNO1lBQ04sTUFBTTtZQUNOLE9BQU8sRUFBRSxJQUFJLEVBQUUsQ0FBQyxJQUFJLENBQUMsYUFBYSxDQUFDO1lBQ25DLHlCQUF5QjtTQUMxQixDQUFDO1FBQ0YsSUFBSSxDQUFDLGtCQUFrQixDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUNyQyxJQUFJLENBQUMsc0JBQXNCLEVBQUUsQ0FBQztJQUNoQyxDQUFDO0lBRU0sdUJBQXVCLENBQUMsY0FBa0IsRUFBRSxJQUFRLEVBQUUsS0FBUztRQUNwRSx3RUFBd0U7UUFDeEUsMEZBQTBGO1FBQzFGLE1BQU0sTUFBTSxHQUE2QjtZQUN2Qyx5QkFBeUI7WUFDekIsY0FBYztZQUNkLElBQUk7WUFDSixLQUFLO1lBQ0wsT0FBTyxFQUFFLElBQUksRUFBRSxDQUFDLElBQUksQ0FBQyxhQUFhLENBQUM7WUFDbkMseUJBQXlCO1NBQzFCLENBQUM7UUFDRixJQUFJLENBQUMsbUJBQW1CLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ3RDLElBQUksQ0FBQyxzQkFBc0IsRUFBRSxDQUFDO0lBQ2hDLENBQUM7SUFFTSxrQkFBa0IsQ0FBQyxjQUFrQixFQUFFLFFBQVksRUFBRSxNQUFlLEVBQUUsU0FBYTtRQUN4RixNQUFNLE1BQU0sR0FBd0I7WUFDbEMsd0JBQXdCO1lBQ3hCLGNBQWM7WUFDZCxRQUFRO1lBQ1IsTUFBTTtZQUNOLE9BQU8sRUFBRSxJQUFJLEVBQUUsQ0FBQyxJQUFJLENBQUMsYUFBYSxDQUFDO1lBQ25DLHdCQUF3QjtZQUN4QixTQUFTO1NBQ1YsQ0FBQztRQUNGLElBQUksQ0FBQyxjQUFjLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2pDLElBQUksQ0FBQyxzQkFBc0IsRUFBRSxDQUFDO0lBQ2hDLENBQUM7SUFFTSxnQkFBZ0IsQ0FBQyxjQUFrQixFQUFFLFFBQVk7UUFDdEQsdUVBQXVFO1FBQ3ZFLE1BQU0sTUFBTSxHQUFtQjtZQUM3Qix5QkFBeUI7WUFDekIsY0FBYztZQUNkLFFBQVE7WUFDUixPQUFPLEVBQUUsSUFBSSxFQUFFLENBQUMsSUFBSSxDQUFDLGFBQWEsQ0FBQztZQUNuQyx5QkFBeUI7U0FDMUIsQ0FBQztRQUNGLElBQUksQ0FBQyxhQUFhLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2hDLElBQUksQ0FBQyxzQkFBc0IsRUFBRSxDQUFDO0lBQ2hDLENBQUM7SUFFTSxtQkFBbUIsQ0FBQyxjQUFrQixFQUFFLFNBQWEsRUFBRSxNQUFlLEVBQUUsU0FBa0IsRUFBRSxTQUFhO1FBQzlHLHVFQUF1RTtRQUN2RSxNQUFNLE1BQU0sR0FBeUI7WUFDbkMsd0JBQXdCO1lBQ3hCLGNBQWM7WUFDZCxTQUFTO1lBQ1QsTUFBTTtZQUNOLE9BQU8sRUFBRSxJQUFJLEVBQUUsQ0FBQyxJQUFJLENBQUMsYUFBYSxDQUFDO1lBQ25DLHdCQUF3QjtZQUN4QixTQUFTO1lBQ1QsU0FBUztTQUNWLENBQUM7UUFDRixJQUFJLENBQUMsZUFBZSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUNsQyxJQUFJLENBQUMsc0JBQXNCLEVBQUUsQ0FBQztJQUNoQyxDQUFDO0lBRU0saUJBQWlCLENBQUMsY0FBa0IsRUFBRSxTQUFhO1FBQ3hELHVFQUF1RTtRQUN2RSxNQUFNLGVBQWUsR0FBb0I7WUFDdkMsd0JBQXdCO1lBQ3hCLGNBQWM7WUFDZCxTQUFTO1lBQ1QsT0FBTyxFQUFFLElBQUksRUFBRSxDQUFDLElBQUksQ0FBQyxhQUFhLENBQUM7WUFDbkMsd0JBQXdCO1NBQ3pCLENBQUM7UUFDRixJQUFJLENBQUMsYUFBYSxDQUFDLElBQUksQ0FBQyxlQUFlLENBQUMsQ0FBQztRQUN6QyxJQUFJLENBQUMsc0JBQXNCLEVBQUUsQ0FBQztJQUNoQyxDQUFDO0lBRU0sdUJBQXVCLENBQUMsT0FBVyxFQUFFLFlBQWdCLEVBQUUsTUFBZTtRQUMzRSx1RUFBdUU7UUFDdkUsTUFBTSxNQUFNLEdBQTZCO1lBQ3ZDLGdDQUFnQztZQUNoQyxTQUFTLEVBQUUsWUFBWTtZQUN2QixPQUFPLEVBQUUsT0FBTztZQUNoQixNQUFNLEVBQUUsTUFBTTtZQUNkLE9BQU8sRUFBRSxJQUFJLEVBQUUsQ0FBQyxJQUFJLENBQUMsYUFBYSxDQUFDO1lBQ25DLGdDQUFnQztTQUNqQyxDQUFDO1FBQ0YsSUFBSSxDQUFDLG1CQUFtQixDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUN0QyxJQUFJLENBQUMsc0JBQXNCLEVBQUUsQ0FBQztJQUNoQyxDQUFDO0lBRU0sV0FBVyxDQUFDLE9BQVc7UUFDNUIsTUFBTSxNQUFNLEdBQTJCO1lBQ3JDLE9BQU87WUFDUCxPQUFPLEVBQUUsSUFBSSxFQUFFLENBQUMsSUFBSSxDQUFDLGFBQWEsQ0FBQztTQUNwQyxDQUFDO1FBQ0YsSUFBSSxDQUFDLGFBQWEsQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDaEMsSUFBSSxDQUFDLHNCQUFzQixFQUFFLENBQUM7SUFDaEMsQ0FBQztJQUVPLHNCQUFzQjtRQUM1QixJQUFJLENBQUMsYUFBYSxFQUFFLENBQUM7SUFDdkIsQ0FBQztJQUVEOzs7O09BSUc7SUFDSSxjQUFjLENBQUMsYUFBb0M7UUFDeEQsd0NBQXdDO1FBQ3hDLElBQUksQ0FBQyxrQkFBa0IsQ0FBQyxJQUFJLENBQUMsR0FBRyxhQUFhLENBQUMsa0JBQWtCLENBQUMsQ0FBQztRQUNsRSxJQUFJLENBQUMsbUJBQW1CLENBQUMsSUFBSSxDQUFDLEdBQUcsYUFBYSxDQUFDLG1CQUFtQixDQUFDLENBQUM7UUFDcEUsdUNBQXVDO1FBQ3ZDLElBQUksQ0FBQyxjQUFjLENBQUMsSUFBSSxDQUFDLEdBQUcsYUFBYSxDQUFDLGNBQWMsQ0FBQyxDQUFDO1FBQzFELElBQUksQ0FBQyxhQUFhLENBQUMsSUFBSSxDQUFDLEdBQUcsYUFBYSxDQUFDLGFBQWEsQ0FBQyxDQUFDO1FBQ3hELElBQUksQ0FBQyxlQUFlLENBQUMsSUFBSSxDQUFDLEdBQUcsYUFBYSxDQUFDLGVBQWUsQ0FBQyxDQUFDO1FBQzVELElBQUksQ0FBQyxhQUFhLENBQUMsSUFBSSxDQUFDLEdBQUcsYUFBYSxDQUFDLGFBQWEsQ0FBQyxDQUFDO1FBQ3hELElBQUksQ0FBQyxtQkFBbUIsQ0FBQyxJQUFJLENBQUMsR0FBRyxhQUFhLENBQUMsbUJBQW1CLENBQUMsQ0FBQztRQUNwRSxJQUFJLENBQUMsYUFBYSxDQUFDLElBQUksQ0FBQyxHQUFHLGFBQWEsQ0FBQyxhQUFhLENBQUMsQ0FBQztRQUN4RCwrRkFBK0Y7UUFDL0YsSUFBSSxDQUFDLGFBQWEsR0FBRyxhQUFhLENBQUMsYUFBYSxDQUFDO0lBQ25ELENBQUM7SUFFRCw4R0FBOEc7SUFDdkcsT0FBTztRQUNaLE9BQU8sSUFBSSxpQkFBaUIsQ0FDMUIsSUFBSSxNQUFNLENBQUMsSUFBSSxDQUFDLGtCQUFrQixDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxPQUFPLEVBQUUsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsRUFDdEYsSUFBSSxNQUFNLENBQUMsSUFBSSxDQUFDLGNBQWMsQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQyxJQUFJLE9BQU8sQ0FBQyxLQUFLLENBQUMsT0FBTyxFQUFFLElBQUksRUFBRSxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQ3RHLElBQUksTUFBTSxDQUFDLElBQUksQ0FBQyxlQUFlLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUMsSUFBSSxPQUFPLENBQUMsS0FBSyxDQUFDLE9BQU8sRUFBRSxJQUFJLEVBQUUsQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUN2RyxJQUFJLE1BQU0sQ0FBQyxJQUFJLENBQUMsbUJBQW1CLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUMsSUFBSSxPQUFPLENBQUMsS0FBSyxDQUFDLE9BQU8sRUFBRSxJQUFJLEVBQUUsQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUM1RyxDQUFDO0lBQ0osQ0FBQztDQUNGIn0=

package/dest/avm/journal/trace_types.d.ts

@@ -1,51 +0,0 @@
-import { type Fr } from '@aztec/foundation/fields';
-export type TracedPublicStorageRead = {
-    storageAddress: Fr;
-    exists: boolean;
-    cached: boolean;
-    slot: Fr;
-    value: Fr;
-    counter: Fr;
-};
-export type TracedPublicStorageWrite = {
-    storageAddress: Fr;
-    slot: Fr;
-    value: Fr;
-    counter: Fr;
-};
-export type TracedNoteHashCheck = {
-    storageAddress: Fr;
-    leafIndex: Fr;
-    noteHash: Fr;
-    exists: boolean;
-    counter: Fr;
-};
-export type TracedNoteHash = {
-    storageAddress: Fr;
-    noteHash: Fr;
-    counter: Fr;
-};
-export type TracedNullifierCheck = {
-    storageAddress: Fr;
-    nullifier: Fr;
-    exists: boolean;
-    counter: Fr;
-    isPending: boolean;
-    leafIndex: Fr;
-};
-export type TracedNullifier = {
-    storageAddress: Fr;
-    nullifier: Fr;
-    counter: Fr;
-};
-export type TracedL1toL2MessageCheck = {
-    leafIndex: Fr;
-    msgHash: Fr;
-    exists: boolean;
-    counter: Fr;
-};
-export type TracedUnencryptedL2Log = {
-    logHash: Fr;
-    counter: Fr;
-};
-//# sourceMappingURL=trace_types.d.ts.map

package/dest/avm/journal/trace_types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"trace_types.d.ts","sourceRoot":"","sources":["../../../src/avm/journal/trace_types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,0BAA0B,CAAC;AASnD,MAAM,MAAM,uBAAuB,GAAG;IAEpC,cAAc,EAAE,EAAE,CAAC;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,EAAE,EAAE,CAAC;IACT,KAAK,EAAE,EAAE,CAAC;IACV,OAAO,EAAE,EAAE,CAAC;CAEb,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IAErC,cAAc,EAAE,EAAE,CAAC;IACnB,IAAI,EAAE,EAAE,CAAC;IACT,KAAK,EAAE,EAAE,CAAC;IACV,OAAO,EAAE,EAAE,CAAC;CAEb,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAEhC,cAAc,EAAE,EAAE,CAAC;IACnB,SAAS,EAAE,EAAE,CAAC;IACd,QAAQ,EAAE,EAAE,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,EAAE,CAAC;CAEb,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAE3B,cAAc,EAAE,EAAE,CAAC;IACnB,QAAQ,EAAE,EAAE,CAAC;IACb,OAAO,EAAE,EAAE,CAAC;CAEb,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IAEjC,cAAc,EAAE,EAAE,CAAC;IACnB,SAAS,EAAE,EAAE,CAAC;IACd,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,EAAE,CAAC;IAIZ,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,EAAE,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAE5B,cAAc,EAAE,EAAE,CAAC;IACnB,SAAS,EAAE,EAAE,CAAC;IACd,OAAO,EAAE,EAAE,CAAC;CAEb,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IAErC,SAAS,EAAE,EAAE,CAAC;IACd,OAAO,EAAE,EAAE,CAAC;IACZ,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,EAAE,CAAC;CAEb,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IAEnC,OAAO,EAAE,EAAE,CAAC;IACZ,OAAO,EAAE,EAAE,CAAC;CAEb,CAAC"}

package/dest/avm/journal/trace_types.js

@@ -1,6 +0,0 @@
-export {};
-//export type TracedArchiveLeafCheck = {
-//  leafIndex: Fr;
-//  leaf: Fr;
-//};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHJhY2VfdHlwZXMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYXZtL2pvdXJuYWwvdHJhY2VfdHlwZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IjtBQW9GQSx3Q0FBd0M7QUFDeEMsa0JBQWtCO0FBQ2xCLGFBQWE7QUFDYixJQUFJIn0=

package/dest/public/utils.d.ts

@@ -1,8 +0,0 @@
-import { type PublicKernelCircuitPublicInputs } from '@aztec/circuits.js';
-/**
- * Looks at the side effects of a transaction and returns the highest counter
- * @param tx - A transaction
- * @returns The highest side effect counter in the transaction so far
- */
-export declare function lastSideEffectCounter(inputs: PublicKernelCircuitPublicInputs): number;
-//# sourceMappingURL=utils.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/public/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,+BAA+B,EAAE,MAAM,oBAAoB,CAAC;AAE1E;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,+BAA+B,GAAG,MAAM,CA+BrF"}

package/dest/public/utils.js

@@ -1,38 +0,0 @@
-/**
- * Looks at the side effects of a transaction and returns the highest counter
- * @param tx - A transaction
- * @returns The highest side effect counter in the transaction so far
- */
-export function lastSideEffectCounter(inputs) {
-    const sideEffectCounters = [
-        ...inputs.endNonRevertibleData.newNoteHashes,
-        ...inputs.endNonRevertibleData.newNullifiers,
-        ...inputs.endNonRevertibleData.noteEncryptedLogsHashes,
-        ...inputs.endNonRevertibleData.encryptedLogsHashes,
-        ...inputs.endNonRevertibleData.unencryptedLogsHashes,
-        ...inputs.endNonRevertibleData.publicCallStack,
-        ...inputs.endNonRevertibleData.publicDataUpdateRequests,
-        ...inputs.end.newNoteHashes,
-        ...inputs.end.newNullifiers,
-        ...inputs.end.noteEncryptedLogsHashes,
-        ...inputs.end.encryptedLogsHashes,
-        ...inputs.end.unencryptedLogsHashes,
-        ...inputs.end.publicCallStack,
-        ...inputs.end.publicDataUpdateRequests,
-    ];
-    let max = 0;
-    for (const sideEffect of sideEffectCounters) {
-        if ('startSideEffectCounter' in sideEffect) {
-            // look at both start and end counters because for enqueued public calls start > 0 while end === 0
-            max = Math.max(max, sideEffect.startSideEffectCounter.toNumber(), sideEffect.endSideEffectCounter.toNumber());
-        }
-        else if ('counter' in sideEffect) {
-            max = Math.max(max, sideEffect.counter);
-        }
-        else {
-            throw new Error('Unknown side effect type');
-        }
-    }
-    return max;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXRpbHMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHVibGljL3V0aWxzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBOzs7O0dBSUc7QUFDSCxNQUFNLFVBQVUscUJBQXFCLENBQUMsTUFBdUM7SUFDM0UsTUFBTSxrQkFBa0IsR0FBRztRQUN6QixHQUFHLE1BQU0sQ0FBQyxvQkFBb0IsQ0FBQyxhQUFhO1FBQzVDLEdBQUcsTUFBTSxDQUFDLG9CQUFvQixDQUFDLGFBQWE7UUFDNUMsR0FBRyxNQUFNLENBQUMsb0JBQW9CLENBQUMsdUJBQXVCO1FBQ3RELEdBQUcsTUFBTSxDQUFDLG9CQUFvQixDQUFDLG1CQUFtQjtRQUNsRCxHQUFHLE1BQU0sQ0FBQyxvQkFBb0IsQ0FBQyxxQkFBcUI7UUFDcEQsR0FBRyxNQUFNLENBQUMsb0JBQW9CLENBQUMsZUFBZTtRQUM5QyxHQUFHLE1BQU0sQ0FBQyxvQkFBb0IsQ0FBQyx3QkFBd0I7UUFDdkQsR0FBRyxNQUFNLENBQUMsR0FBRyxDQUFDLGFBQWE7UUFDM0IsR0FBRyxNQUFNLENBQUMsR0FBRyxDQUFDLGFBQWE7UUFDM0IsR0FBRyxNQUFNLENBQUMsR0FBRyxDQUFDLHVCQUF1QjtRQUNyQyxHQUFHLE1BQU0sQ0FBQyxHQUFHLENBQUMsbUJBQW1CO1FBQ2pDLEdBQUcsTUFBTSxDQUFDLEdBQUcsQ0FBQyxxQkFBcUI7UUFDbkMsR0FBRyxNQUFNLENBQUMsR0FBRyxDQUFDLGVBQWU7UUFDN0IsR0FBRyxNQUFNLENBQUMsR0FBRyxDQUFDLHdCQUF3QjtLQUN2QyxDQUFDO0lBRUYsSUFBSSxHQUFHLEdBQUcsQ0FBQyxDQUFDO0lBQ1osS0FBSyxNQUFNLFVBQVUsSUFBSSxrQkFBa0IsRUFBRSxDQUFDO1FBQzVDLElBQUksd0JBQXdCLElBQUksVUFBVSxFQUFFLENBQUM7WUFDM0Msa0dBQWtHO1lBQ2xHLEdBQUcsR0FBRyxJQUFJLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxVQUFVLENBQUMsc0JBQXNCLENBQUMsUUFBUSxFQUFFLEVBQUUsVUFBVSxDQUFDLG9CQUFvQixDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUM7UUFDaEgsQ0FBQzthQUFNLElBQUksU0FBUyxJQUFJLFVBQVUsRUFBRSxDQUFDO1lBQ25DLEdBQUcsR0FBRyxJQUFJLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxVQUFVLENBQUMsT0FBTyxDQUFDLENBQUM7UUFDMUMsQ0FBQzthQUFNLENBQUM7WUFDTixNQUFNLElBQUksS0FBSyxDQUFDLDBCQUEwQixDQUFDLENBQUM7UUFDOUMsQ0FBQztJQUNILENBQUM7SUFFRCxPQUFPLEdBQUcsQ0FBQztBQUNiLENBQUMifQ==