@aztec/simulator 0.24.0 → 0.26.1

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

@@ -0,0 +1,88 @@
+import { Fr } from '@aztec/foundation/fields';
+import type { PublicStateDB } from '../../index.js';
+/**
+ * A class to manage public storage reads and writes during a contract call's AVM simulation.
+ * Maintains a storage write cache, and ensures that reads fall back to the correct source.
+ * When a contract call completes, its storage cache can be merged into its parent's.
+ */
+export declare class PublicStorage {
+    /** Cached storage writes. */
+    private cache;
+    /** Parent's storage cache. Checked on cache-miss. */
+    private readonly parentCache;
+    /** Reference to node storage. Checked on parent cache-miss. */
+    private readonly hostPublicStorage;
+    constructor(hostPublicStorage: PublicStateDB, parent?: PublicStorage);
+    /**
+     * Get the pending storage.
+     */
+    getCache(): PublicStorageCache;
+    /**
+     * Read a value from storage.
+     * 1. Check cache.
+     * 2. Check parent's cache.
+     * 3. Fall back to the host state.
+     * 4. Not found! Value has never been written to before. Flag it as non-existent and return value zero.
+     *
+     * @param storageAddress - the address of the contract whose storage is being read from
+     * @param slot - the slot in the contract's storage being read from
+     * @returns exists: whether the slot has EVER been written to before, value: the latest value written to slot, or 0 if never written to before
+     */
+    read(storageAddress: Fr, slot: Fr): Promise<[/*exists=*/ boolean, /*value=*/ Fr]>;
+    /**
+     * Stage a storage write.
+     *
+     * @param storageAddress - the address of the contract whose storage is being written to
+     * @param slot - the slot in the contract's storage being written to
+     * @param value - the value being written to the slot
+     */
+    write(storageAddress: Fr, key: Fr, value: Fr): void;
+    /**
+     * Merges another PublicStorage's cache (pending writes) into this one.
+     *
+     * @param incomingPublicStorage - the incoming public storage to merge into this instance's
+     */
+    acceptAndMerge(incomingPublicStorage: PublicStorage): void;
+}
+/**
+ * A class to cache writes to public storage during a contract call's AVM simulation.
+ * "Writes" update a map, "reads" check that map or return undefined.
+ * An instance of this class can merge another instance's staged writes into its own.
+ */
+declare class PublicStorageCache {
+    /**
+     * Map for staging storage writes.
+     * One inner-map per contract storage address,
+     * mapping storage slot to latest staged write value.
+     */
+    cachePerContract: Map<bigint, Map<bigint, Fr>>;
+    /**
+     * Read a staged value from storage, if it has been previously written to.
+     *
+     * @param storageAddress - the address of the contract whose storage is being read from
+     * @param slot - the slot in the contract's storage being read from
+     * @returns the latest value written to slot, or undefined if no value has been written
+     */
+    read(storageAddress: Fr, slot: Fr): Fr | undefined;
+    /**
+     * Stage a storage write.
+     *
+     * @param storageAddress - the address of the contract whose storage is being written to
+     * @param slot - the slot in the contract's storage being written to
+     * @param value - the value being written to the slot
+     */
+    write(storageAddress: Fr, slot: Fr, value: Fr): void;
+    /**
+     * Merges another cache's staged writes into this instance's cache.
+     *
+     * Staged modifications in "incoming" take precedence over those
+     * present in "this" as they are assumed to occur after this' writes.
+     *
+     * In practice, "this" is a parent call's storage cache, and "incoming" is a nested call's.
+     *
+     * @param incomingStorageCache - the incoming storage write cache to merge into this instance's
+     */
+    acceptAndMerge(incomingStorageCache: PublicStorageCache): void;
+}
+export {};
+//# sourceMappingURL=public_storage.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public_storage.d.ts","sourceRoot":"","sources":["../../../src/avm/journal/public_storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEpD;;;;GAIG;AACH,qBAAa,aAAa;IACxB,6BAA6B;IAC7B,OAAO,CAAC,KAAK,CAAqB;IAClC,qDAAqD;IACrD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAiC;IAC7D,+DAA+D;IAC/D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAgB;gBAEtC,iBAAiB,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,aAAa;IAMpE;;OAEG;IACI,QAAQ;IAIf;;;;;;;;;;OAUG;IACU,IAAI,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;IAiB9F;;;;;;OAMG;IACI,KAAK,CAAC,cAAc,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;IAInD;;;;OAIG;IACI,cAAc,CAAC,qBAAqB,EAAE,aAAa;CAG3D;AAED;;;;GAIG;AACH,cAAM,kBAAkB;IACtB;;;;OAIG;IACI,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAa;IAGlE;;;;;;OAMG;IACI,IAAI,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,SAAS;IAIzD;;;;;;OAMG;IACI,KAAK,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;IAUpD;;;;;;;;;OASG;IACI,cAAc,CAAC,oBAAoB,EAAE,kBAAkB;CAiB/D"}

package/dest/avm/journal/public_storage.js

@@ -0,0 +1,135 @@
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * A class to manage public storage reads and writes during a contract call's AVM simulation.
+ * Maintains a storage write cache, and ensures that reads fall back to the correct source.
+ * When a contract call completes, its storage cache can be merged into its parent's.
+ */
+export class PublicStorage {
+    constructor(hostPublicStorage, parent) {
+        this.hostPublicStorage = hostPublicStorage;
+        this.parentCache = parent?.cache;
+        this.cache = new PublicStorageCache();
+    }
+    /**
+     * Get the pending storage.
+     */
+    getCache() {
+        return this.cache;
+    }
+    /**
+     * Read a value from storage.
+     * 1. Check cache.
+     * 2. Check parent's cache.
+     * 3. Fall back to the host state.
+     * 4. Not found! Value has never been written to before. Flag it as non-existent and return value zero.
+     *
+     * @param storageAddress - the address of the contract whose storage is being read from
+     * @param slot - the slot in the contract's storage being read from
+     * @returns exists: whether the slot has EVER been written to before, value: the latest value written to slot, or 0 if never written to before
+     */
+    async read(storageAddress, slot) {
+        // First try check this storage cache
+        let value = this.cache.read(storageAddress, slot);
+        // Then try parent's storage cache (if it exists / written to earlier in this TX)
+        if (!value && this.parentCache) {
+            value = this.parentCache?.read(storageAddress, slot);
+        }
+        // Finally try the host's Aztec state (a trip to the database)
+        if (!value) {
+            value = await this.hostPublicStorage.storageRead(storageAddress, slot);
+        }
+        // if value is undefined, that means this slot has never been written to!
+        const exists = value !== undefined;
+        const valueOrZero = exists ? value : Fr.ZERO;
+        return Promise.resolve([exists, valueOrZero]);
+    }
+    /**
+     * Stage a storage write.
+     *
+     * @param storageAddress - the address of the contract whose storage is being written to
+     * @param slot - the slot in the contract's storage being written to
+     * @param value - the value being written to the slot
+     */
+    write(storageAddress, key, value) {
+        this.cache.write(storageAddress, key, value);
+    }
+    /**
+     * Merges another PublicStorage's cache (pending writes) into this one.
+     *
+     * @param incomingPublicStorage - the incoming public storage to merge into this instance's
+     */
+    acceptAndMerge(incomingPublicStorage) {
+        this.cache.acceptAndMerge(incomingPublicStorage.cache);
+    }
+}
+/**
+ * A class to cache writes to public storage during a contract call's AVM simulation.
+ * "Writes" update a map, "reads" check that map or return undefined.
+ * An instance of this class can merge another instance's staged writes into its own.
+ */
+class PublicStorageCache {
+    constructor() {
+        /**
+         * Map for staging storage writes.
+         * One inner-map per contract storage address,
+         * mapping storage slot to latest staged write value.
+         */
+        this.cachePerContract = new Map();
+    }
+    // FIXME: storage ^ should be private, but its value is used in tests for "currentStorageValue"
+    /**
+     * Read a staged value from storage, if it has been previously written to.
+     *
+     * @param storageAddress - the address of the contract whose storage is being read from
+     * @param slot - the slot in the contract's storage being read from
+     * @returns the latest value written to slot, or undefined if no value has been written
+     */
+    read(storageAddress, slot) {
+        return this.cachePerContract.get(storageAddress.toBigInt())?.get(slot.toBigInt());
+    }
+    /**
+     * Stage a storage write.
+     *
+     * @param storageAddress - the address of the contract whose storage is being written to
+     * @param slot - the slot in the contract's storage being written to
+     * @param value - the value being written to the slot
+     */
+    write(storageAddress, slot, value) {
+        let cacheAtContract = this.cachePerContract.get(storageAddress.toBigInt());
+        if (!cacheAtContract) {
+            // If this contract's storage has no staged modifications, create a new inner map to store them
+            cacheAtContract = new Map();
+            this.cachePerContract.set(storageAddress.toBigInt(), cacheAtContract);
+        }
+        cacheAtContract.set(slot.toBigInt(), value);
+    }
+    /**
+     * Merges another cache's staged writes into this instance's cache.
+     *
+     * Staged modifications in "incoming" take precedence over those
+     * present in "this" as they are assumed to occur after this' writes.
+     *
+     * In practice, "this" is a parent call's storage cache, and "incoming" is a nested call's.
+     *
+     * @param incomingStorageCache - the incoming storage write cache to merge into this instance's
+     */
+    acceptAndMerge(incomingStorageCache) {
+        // Iterate over all incoming contracts with staged writes.
+        for (const [incomingAddress, incomingCacheAtContract] of incomingStorageCache.cachePerContract) {
+            const thisCacheAtContract = this.cachePerContract.get(incomingAddress);
+            if (!thisCacheAtContract) {
+                // The contract has no storage writes staged here
+                // so just accept the incoming cache as-is for this contract.
+                this.cachePerContract.set(incomingAddress, incomingCacheAtContract);
+            }
+            else {
+                // "Incoming" and "this" both have staged writes for this contract.
+                // Merge in incoming staged writes, giving them precedence over this'.
+                for (const [slot, value] of incomingCacheAtContract) {
+                    thisCacheAtContract.set(slot, value);
+                }
+            }
+        }
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX3N0b3JhZ2UuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYXZtL2pvdXJuYWwvcHVibGljX3N0b3JhZ2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBSTlDOzs7O0dBSUc7QUFDSCxNQUFNLE9BQU8sYUFBYTtJQVF4QixZQUFZLGlCQUFnQyxFQUFFLE1BQXNCO1FBQ2xFLElBQUksQ0FBQyxpQkFBaUIsR0FBRyxpQkFBaUIsQ0FBQztRQUMzQyxJQUFJLENBQUMsV0FBVyxHQUFHLE1BQU0sRUFBRSxLQUFLLENBQUM7UUFDakMsSUFBSSxDQUFDLEtBQUssR0FBRyxJQUFJLGtCQUFrQixFQUFFLENBQUM7SUFDeEMsQ0FBQztJQUVEOztPQUVHO0lBQ0ksUUFBUTtRQUNiLE9BQU8sSUFBSSxDQUFDLEtBQUssQ0FBQztJQUNwQixDQUFDO0lBRUQ7Ozs7Ozs7Ozs7T0FVRztJQUNJLEtBQUssQ0FBQyxJQUFJLENBQUMsY0FBa0IsRUFBRSxJQUFRO1FBQzVDLHFDQUFxQztRQUNyQyxJQUFJLEtBQUssR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLElBQUksQ0FBQyxjQUFjLEVBQUUsSUFBSSxDQUFDLENBQUM7UUFDbEQsaUZBQWlGO1FBQ2pGLElBQUksQ0FBQyxLQUFLLElBQUksSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1lBQy9CLEtBQUssR0FBRyxJQUFJLENBQUMsV0FBVyxFQUFFLElBQUksQ0FBQyxjQUFjLEVBQUUsSUFBSSxDQUFDLENBQUM7UUFDdkQsQ0FBQztRQUNELDhEQUE4RDtRQUM5RCxJQUFJLENBQUMsS0FBSyxFQUFFLENBQUM7WUFDWCxLQUFLLEdBQUcsTUFBTSxJQUFJLENBQUMsaUJBQWlCLENBQUMsV0FBVyxDQUFDLGNBQWMsRUFBRSxJQUFJLENBQUMsQ0FBQztRQUN6RSxDQUFDO1FBQ0QseUVBQXlFO1FBQ3pFLE1BQU0sTUFBTSxHQUFHLEtBQUssS0FBSyxTQUFTLENBQUM7UUFDbkMsTUFBTSxXQUFXLEdBQUcsTUFBTSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUM7UUFDN0MsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLENBQUMsTUFBTSxFQUFFLFdBQVcsQ0FBQyxDQUFDLENBQUM7SUFDaEQsQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNJLEtBQUssQ0FBQyxjQUFrQixFQUFFLEdBQU8sRUFBRSxLQUFTO1FBQ2pELElBQUksQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLGNBQWMsRUFBRSxHQUFHLEVBQUUsS0FBSyxDQUFDLENBQUM7SUFDL0MsQ0FBQztJQUVEOzs7O09BSUc7SUFDSSxjQUFjLENBQUMscUJBQW9DO1FBQ3hELElBQUksQ0FBQyxLQUFLLENBQUMsY0FBYyxDQUFDLHFCQUFxQixDQUFDLEtBQUssQ0FBQyxDQUFDO0lBQ3pELENBQUM7Q0FDRjtBQUVEOzs7O0dBSUc7QUFDSCxNQUFNLGtCQUFrQjtJQUF4QjtRQUNFOzs7O1dBSUc7UUFDSSxxQkFBZ0IsR0FBaUMsSUFBSSxHQUFHLEVBQUUsQ0FBQztJQTBEcEUsQ0FBQztJQXpEQywrRkFBK0Y7SUFFL0Y7Ozs7OztPQU1HO0lBQ0ksSUFBSSxDQUFDLGNBQWtCLEVBQUUsSUFBUTtRQUN0QyxPQUFPLElBQUksQ0FBQyxnQkFBZ0IsQ0FBQyxHQUFHLENBQUMsY0FBYyxDQUFDLFFBQVEsRUFBRSxDQUFDLEVBQUUsR0FBRyxDQUFDLElBQUksQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDO0lBQ3BGLENBQUM7SUFFRDs7Ozs7O09BTUc7SUFDSSxLQUFLLENBQUMsY0FBa0IsRUFBRSxJQUFRLEVBQUUsS0FBUztRQUNsRCxJQUFJLGVBQWUsR0FBRyxJQUFJLENBQUMsZ0JBQWdCLENBQUMsR0FBRyxDQUFDLGNBQWMsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDO1FBQzNFLElBQUksQ0FBQyxlQUFlLEVBQUUsQ0FBQztZQUNyQiwrRkFBK0Y7WUFDL0YsZUFBZSxHQUFHLElBQUksR0FBRyxFQUFFLENBQUM7WUFDNUIsSUFBSSxDQUFDLGdCQUFnQixDQUFDLEdBQUcsQ0FBQyxjQUFjLENBQUMsUUFBUSxFQUFFLEVBQUUsZUFBZSxDQUFDLENBQUM7UUFDeEUsQ0FBQztRQUNELGVBQWUsQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRSxFQUFFLEtBQUssQ0FBQyxDQUFDO0lBQzlDLENBQUM7SUFFRDs7Ozs7Ozs7O09BU0c7SUFDSSxjQUFjLENBQUMsb0JBQXdDO1FBQzVELDBEQUEwRDtRQUMxRCxLQUFLLE1BQU0sQ0FBQyxlQUFlLEVBQUUsdUJBQXVCLENBQUMsSUFBSSxvQkFBb0IsQ0FBQyxnQkFBZ0IsRUFBRSxDQUFDO1lBQy9GLE1BQU0sbUJBQW1CLEdBQUcsSUFBSSxDQUFDLGdCQUFnQixDQUFDLEdBQUcsQ0FBQyxlQUFlLENBQUMsQ0FBQztZQUN2RSxJQUFJLENBQUMsbUJBQW1CLEVBQUUsQ0FBQztnQkFDekIsaURBQWlEO2dCQUNqRCw2REFBNkQ7Z0JBQzdELElBQUksQ0FBQyxnQkFBZ0IsQ0FBQyxHQUFHLENBQUMsZUFBZSxFQUFFLHVCQUF1QixDQUFDLENBQUM7WUFDdEUsQ0FBQztpQkFBTSxDQUFDO2dCQUNOLG1FQUFtRTtnQkFDbkUsc0VBQXNFO2dCQUN0RSxLQUFLLE1BQU0sQ0FBQyxJQUFJLEVBQUUsS0FBSyxDQUFDLElBQUksdUJBQXVCLEVBQUUsQ0FBQztvQkFDcEQsbUJBQW1CLENBQUMsR0FBRyxDQUFDLElBQUksRUFBRSxLQUFLLENBQUMsQ0FBQztnQkFDdkMsQ0FBQztZQUNILENBQUM7UUFDSCxDQUFDO0lBQ0gsQ0FBQztDQUNGIn0=

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

@@ -0,0 +1,43 @@
+import { Fr } from '@aztec/foundation/fields';
+import { TracedL1toL2MessageCheck, TracedNoteHashCheck, TracedNullifierCheck } from './trace_types.js';
+export declare class WorldStateAccessTrace {
+    accessCounter: number;
+    publicStorageReads: Map<bigint, Map<bigint, Fr[]>>;
+    publicStorageWrites: Map<bigint, Map<bigint, Fr[]>>;
+    noteHashChecks: TracedNoteHashCheck[];
+    newNoteHashes: Fr[];
+    nullifierChecks: TracedNullifierCheck[];
+    newNullifiers: Fr[];
+    l1ToL2MessageChecks: TracedL1toL2MessageCheck[];
+    constructor(parentTrace?: WorldStateAccessTrace);
+    getAccessCounter(): number;
+    tracePublicStorageRead(storageAddress: Fr, slot: Fr, value: Fr): 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;
+    private incrementAccessCounter;
+    /**
+     * Merges another trace into this one
+     *
+     * - Public state journals (r/w logs), with the accessing being appended in chronological order
+     * - Utxo objects are concatenated
+     *
+     * @param incomingTrace - the incoming trace to merge into this instance
+     */
+    acceptAndMerge(incomingTrace: WorldStateAccessTrace): void;
+    /**
+     * We want to keep track of all performed reads in the journal
+     * This information is hinted to the avm circuit
+  
+     * @param contractAddress -
+     * @param key -
+     * @param value -
+     */
+    journalUpdate(map: Map<bigint, Map<bigint, Fr[]>>, contractAddress: Fr, key: Fr, value: Fr): void;
+    private journalRead;
+    private journalWrite;
+}
+//# sourceMappingURL=trace.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../../../src/avm/journal/trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEvG,qBAAa,qBAAqB;IACzB,aAAa,EAAE,MAAM,CAAC;IAItB,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAa;IAE/D,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAa;IAEhE,cAAc,EAAE,mBAAmB,EAAE,CAAM;IAE3C,aAAa,EAAE,EAAE,EAAE,CAAM;IACzB,eAAe,EAAE,oBAAoB,EAAE,CAAM;IAE7C,aAAa,EAAE,EAAE,EAAE,CAAM;IACzB,mBAAmB,EAAE,wBAAwB,EAAE,CAAM;gBAGhD,WAAW,CAAC,EAAE,qBAAqB;IAIxC,gBAAgB;IAIhB,sBAAsB,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;IAiB9D,uBAAuB,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;IAgB/D,kBAAkB,CAAC,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE;IAcnF,gBAAgB,CAAC,eAAe,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE;IAclD,mBAAmB,CAAC,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE;IAgBzG,iBAAiB,CAAC,eAAe,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE;IAcpD,uBAAuB,CAAC,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO;IAa7E,OAAO,CAAC,sBAAsB;IAI9B;;;;;;;OAOG;IACI,cAAc,CAAC,aAAa,EAAE,qBAAqB;IAc1D;;;;;;;OAOG;IACH,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI;IAgBjG,OAAO,CAAC,WAAW,CAA0D;IAE7E,OAAO,CAAC,YAAY,CAA2D;CAChF"}

package/dest/avm/journal/trace.js

@@ -0,0 +1,204 @@
+import { Fr } from '@aztec/foundation/fields';
+export class WorldStateAccessTrace {
+    //public archiveChecks: TracedArchiveLeafCheck[] = [];
+    constructor(parentTrace) {
+        //public contractCalls: Array<TracedContractCall> = [];
+        //public publicStorageReads: Array<TracedPublicStorageRead> = [];
+        this.publicStorageReads = new Map();
+        //public publicStorageWrites: Array<TracedPublicStorageWrite> = [];
+        this.publicStorageWrites = new Map();
+        this.noteHashChecks = [];
+        //public newNoteHashes: TracedNoteHash[] = [];
+        this.newNoteHashes = [];
+        this.nullifierChecks = [];
+        //public newNullifiers: TracedNullifier[] = [];
+        this.newNullifiers = [];
+        this.l1ToL2MessageChecks = [];
+        // Create an instance of journalUpdate that appends to the read array
+        this.journalRead = this.journalUpdate.bind(this, this.publicStorageReads);
+        // Create an instance of journalUpdate that appends to the writes array
+        this.journalWrite = this.journalUpdate.bind(this, this.publicStorageWrites);
+        this.accessCounter = parentTrace ? parentTrace.accessCounter : 0;
+    }
+    getAccessCounter() {
+        return this.accessCounter;
+    }
+    tracePublicStorageRead(storageAddress, slot, value /*, _exists: boolean*/) {
+        // 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: TracedPublicStorageRead = {
+        //  callPointer: Fr.ZERO,
+        //  storageAddress,
+        //  slot,
+        //  value,
+        //  exists,
+        //  counter: new Fr(this.accessCounter),
+        //  endLifetime: Fr.ZERO,
+        //};
+        //this.publicStorageReads.push(traced);
+        this.journalRead(storageAddress, slot, value);
+        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: TracedPublicStorageWrite = {
+        //  callPointer: Fr.ZERO,
+        //  storageAddress,
+        //  slot,
+        //  value,
+        //  counter: new Fr(this.accessCounter),
+        //  endLifetime: Fr.ZERO,
+        //};
+        //this.publicStorageWrites.push(traced);
+        this.journalWrite(storageAddress, slot, value);
+        this.incrementAccessCounter();
+    }
+    traceNoteHashCheck(storageAddress, noteHash, exists, leafIndex) {
+        const traced = {
+            callPointer: Fr.ZERO, // FIXME
+            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: TracedNoteHash = {
+        //  callPointer: Fr.ZERO,
+        //  storageAddress,
+        //  noteHash,
+        //  counter: new Fr(this.accessCounter),
+        //  endLifetime: Fr.ZERO,
+        //};
+        //this.newNoteHashes.push(traced);
+        this.newNoteHashes.push(noteHash);
+        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, // FIXME
+            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 traced: TracedNullifier = {
+        //  callPointer: Fr.ZERO,
+        //  storageAddress,
+        //  nullifier,
+        //  counter: new Fr(this.accessCounter),
+        //  endLifetime: Fr.ZERO,
+        //};
+        //this.newNullifiers.push(traced);
+        this.newNullifiers.push(nullifier);
+        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,
+            //endLifetime: Fr.ZERO, // FIXME
+        };
+        this.l1ToL2MessageChecks.push(traced);
+        this.incrementAccessCounter();
+    }
+    incrementAccessCounter() {
+        this.accessCounter++;
+    }
+    /**
+     * Merges another trace into this one
+     *
+     * - Public state journals (r/w logs), with the accessing being appended in chronological order
+     * - Utxo objects are concatenated
+     *
+     * @param incomingTrace - the incoming trace to merge into this instance
+     */
+    acceptAndMerge(incomingTrace) {
+        // Merge storage read and write journals
+        mergeContractJournalMaps(this.publicStorageReads, incomingTrace.publicStorageReads);
+        mergeContractJournalMaps(this.publicStorageWrites, incomingTrace.publicStorageWrites);
+        // Merge new note hashes and nullifiers
+        this.noteHashChecks = this.noteHashChecks.concat(incomingTrace.noteHashChecks);
+        this.newNoteHashes = this.newNoteHashes.concat(incomingTrace.newNoteHashes);
+        this.nullifierChecks = this.nullifierChecks.concat(incomingTrace.nullifierChecks);
+        this.newNullifiers = this.newNullifiers.concat(incomingTrace.newNullifiers);
+        this.l1ToL2MessageChecks = this.l1ToL2MessageChecks.concat(incomingTrace.l1ToL2MessageChecks);
+        // it is assumed that the incoming trace was initialized with this as parent, so accept counter
+        this.accessCounter = incomingTrace.accessCounter;
+    }
+    /**
+     * We want to keep track of all performed reads in the journal
+     * This information is hinted to the avm circuit
+  
+     * @param contractAddress -
+     * @param key -
+     * @param value -
+     */
+    journalUpdate(map, contractAddress, key, value) {
+        let contractMap = map.get(contractAddress.toBigInt());
+        if (!contractMap) {
+            contractMap = new Map();
+            map.set(contractAddress.toBigInt(), contractMap);
+        }
+        let accessArray = contractMap.get(key.toBigInt());
+        if (!accessArray) {
+            accessArray = new Array();
+            contractMap.set(key.toBigInt(), accessArray);
+        }
+        accessArray.push(value);
+    }
+}
+/**
+ * Merges two contract journalling maps together
+ * For read maps, we just append the childMap arrays into the host map arrays, as the order is important
+ *
+ * @param hostMap - The map to be merged into
+ * @param childMap - The map to be merged from
+ */
+function mergeContractJournalMaps(hostMap, childMap) {
+    for (const [key, value] of childMap) {
+        const map1Value = hostMap.get(key);
+        if (!map1Value) {
+            hostMap.set(key, value);
+        }
+        else {
+            mergeStorageJournalMaps(map1Value, value);
+        }
+    }
+}
+/**
+ * Merge two storage journalling maps together (for a particular contract).
+ *
+ * @param hostMap - The map to be merge into
+ * @param childMap - The map to be merged from
+ */
+function mergeStorageJournalMaps(hostMap, childMap) {
+    for (const [key, value] of childMap) {
+        const readArr = hostMap.get(key);
+        if (!readArr) {
+            hostMap.set(key, value);
+        }
+        else {
+            hostMap.set(key, readArr?.concat(...value));
+        }
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHJhY2UuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYXZtL2pvdXJuYWwvdHJhY2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBSTlDLE1BQU0sT0FBTyxxQkFBcUI7SUFnQmhDLHNEQUFzRDtJQUV0RCxZQUFZLFdBQW1DO1FBaEIvQyx1REFBdUQ7UUFFdkQsaUVBQWlFO1FBQzFELHVCQUFrQixHQUFtQyxJQUFJLEdBQUcsRUFBRSxDQUFDO1FBQ3RFLG1FQUFtRTtRQUM1RCx3QkFBbUIsR0FBbUMsSUFBSSxHQUFHLEVBQUUsQ0FBQztRQUVoRSxtQkFBYyxHQUEwQixFQUFFLENBQUM7UUFDbEQsOENBQThDO1FBQ3ZDLGtCQUFhLEdBQVMsRUFBRSxDQUFDO1FBQ3pCLG9CQUFlLEdBQTJCLEVBQUUsQ0FBQztRQUNwRCwrQ0FBK0M7UUFDeEMsa0JBQWEsR0FBUyxFQUFFLENBQUM7UUFDekIsd0JBQW1CLEdBQStCLEVBQUUsQ0FBQztRQW9LNUQscUVBQXFFO1FBQzdELGdCQUFXLEdBQUcsSUFBSSxDQUFDLGFBQWEsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDO1FBQzdFLHVFQUF1RTtRQUMvRCxpQkFBWSxHQUFHLElBQUksQ0FBQyxhQUFhLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRSxJQUFJLENBQUMsbUJBQW1CLENBQUMsQ0FBQztRQW5LN0UsSUFBSSxDQUFDLGFBQWEsR0FBRyxXQUFXLENBQUMsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxhQUFhLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUNuRSxDQUFDO0lBRU0sZ0JBQWdCO1FBQ3JCLE9BQU8sSUFBSSxDQUFDLGFBQWEsQ0FBQztJQUM1QixDQUFDO0lBRU0sc0JBQXNCLENBQUMsY0FBa0IsRUFBRSxJQUFRLEVBQUUsS0FBUyxDQUFDLHNCQUFzQjtRQUMxRix1RUFBdUU7UUFDdkUsMEZBQTBGO1FBQzFGLDJDQUEyQztRQUMzQyx5QkFBeUI7UUFDekIsbUJBQW1CO1FBQ25CLFNBQVM7UUFDVCxVQUFVO1FBQ1YsV0FBVztRQUNYLHdDQUF3QztRQUN4Qyx5QkFBeUI7UUFDekIsSUFBSTtRQUNKLHVDQUF1QztRQUN2QyxJQUFJLENBQUMsV0FBVyxDQUFDLGNBQWMsRUFBRSxJQUFJLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFDOUMsSUFBSSxDQUFDLHNCQUFzQixFQUFFLENBQUM7SUFDaEMsQ0FBQztJQUVNLHVCQUF1QixDQUFDLGNBQWtCLEVBQUUsSUFBUSxFQUFFLEtBQVM7UUFDcEUsd0VBQXdFO1FBQ3hFLDBGQUEwRjtRQUMxRiw0Q0FBNEM7UUFDNUMseUJBQXlCO1FBQ3pCLG1CQUFtQjtRQUNuQixTQUFTO1FBQ1QsVUFBVTtRQUNWLHdDQUF3QztRQUN4Qyx5QkFBeUI7UUFDekIsSUFBSTtRQUNKLHdDQUF3QztRQUN4QyxJQUFJLENBQUMsWUFBWSxDQUFDLGNBQWMsRUFBRSxJQUFJLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFDL0MsSUFBSSxDQUFDLHNCQUFzQixFQUFFLENBQUM7SUFDaEMsQ0FBQztJQUVNLGtCQUFrQixDQUFDLGNBQWtCLEVBQUUsUUFBWSxFQUFFLE1BQWUsRUFBRSxTQUFhO1FBQ3hGLE1BQU0sTUFBTSxHQUF3QjtZQUNsQyxXQUFXLEVBQUUsRUFBRSxDQUFDLElBQUksRUFBRSxRQUFRO1lBQzlCLGNBQWM7WUFDZCxRQUFRO1lBQ1IsTUFBTTtZQUNOLE9BQU8sRUFBRSxJQUFJLEVBQUUsQ0FBQyxJQUFJLENBQUMsYUFBYSxDQUFDO1lBQ25DLFdBQVcsRUFBRSxFQUFFLENBQUMsSUFBSTtZQUNwQixTQUFTO1NBQ1YsQ0FBQztRQUNGLElBQUksQ0FBQyxjQUFjLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2pDLElBQUksQ0FBQyxzQkFBc0IsRUFBRSxDQUFDO0lBQ2hDLENBQUM7SUFFTSxnQkFBZ0IsQ0FBQyxlQUFtQixFQUFFLFFBQVk7UUFDdkQsdUVBQXVFO1FBQ3ZFLGtDQUFrQztRQUNsQyx5QkFBeUI7UUFDekIsbUJBQW1CO1FBQ25CLGFBQWE7UUFDYix3Q0FBd0M7UUFDeEMseUJBQXlCO1FBQ3pCLElBQUk7UUFDSixrQ0FBa0M7UUFDbEMsSUFBSSxDQUFDLGFBQWEsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLENBQUM7UUFDbEMsSUFBSSxDQUFDLHNCQUFzQixFQUFFLENBQUM7SUFDaEMsQ0FBQztJQUVNLG1CQUFtQixDQUFDLGNBQWtCLEVBQUUsU0FBYSxFQUFFLE1BQWUsRUFBRSxTQUFrQixFQUFFLFNBQWE7UUFDOUcsdUVBQXVFO1FBQ3ZFLE1BQU0sTUFBTSxHQUF5QjtZQUNuQyxXQUFXLEVBQUUsRUFBRSxDQUFDLElBQUksRUFBRSxRQUFRO1lBQzlCLGNBQWM7WUFDZCxTQUFTO1lBQ1QsTUFBTTtZQUNOLE9BQU8sRUFBRSxJQUFJLEVBQUUsQ0FBQyxJQUFJLENBQUMsYUFBYSxDQUFDO1lBQ25DLFdBQVcsRUFBRSxFQUFFLENBQUMsSUFBSTtZQUNwQixTQUFTO1lBQ1QsU0FBUztTQUNWLENBQUM7UUFDRixJQUFJLENBQUMsZUFBZSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUNsQyxJQUFJLENBQUMsc0JBQXNCLEVBQUUsQ0FBQztJQUNoQyxDQUFDO0lBRU0saUJBQWlCLENBQUMsZUFBbUIsRUFBRSxTQUFhO1FBQ3pELHVFQUF1RTtRQUN2RSxtQ0FBbUM7UUFDbkMseUJBQXlCO1FBQ3pCLG1CQUFtQjtRQUNuQixjQUFjO1FBQ2Qsd0NBQXdDO1FBQ3hDLHlCQUF5QjtRQUN6QixJQUFJO1FBQ0osa0NBQWtDO1FBQ2xDLElBQUksQ0FBQyxhQUFhLENBQUMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxDQUFDO1FBQ25DLElBQUksQ0FBQyxzQkFBc0IsRUFBRSxDQUFDO0lBQ2hDLENBQUM7SUFFTSx1QkFBdUIsQ0FBQyxPQUFXLEVBQUUsWUFBZ0IsRUFBRSxNQUFlO1FBQzNFLHVFQUF1RTtRQUN2RSxNQUFNLE1BQU0sR0FBNkI7WUFDdkMsZ0NBQWdDO1lBQ2hDLFNBQVMsRUFBRSxZQUFZO1lBQ3ZCLE9BQU8sRUFBRSxPQUFPO1lBQ2hCLE1BQU0sRUFBRSxNQUFNO1lBQ2QsZ0NBQWdDO1NBQ2pDLENBQUM7UUFDRixJQUFJLENBQUMsbUJBQW1CLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ3RDLElBQUksQ0FBQyxzQkFBc0IsRUFBRSxDQUFDO0lBQ2hDLENBQUM7SUFFTyxzQkFBc0I7UUFDNUIsSUFBSSxDQUFDLGFBQWEsRUFBRSxDQUFDO0lBQ3ZCLENBQUM7SUFFRDs7Ozs7OztPQU9HO0lBQ0ksY0FBYyxDQUFDLGFBQW9DO1FBQ3hELHdDQUF3QztRQUN4Qyx3QkFBd0IsQ0FBQyxJQUFJLENBQUMsa0JBQWtCLEVBQUUsYUFBYSxDQUFDLGtCQUFrQixDQUFDLENBQUM7UUFDcEYsd0JBQXdCLENBQUMsSUFBSSxDQUFDLG1CQUFtQixFQUFFLGFBQWEsQ0FBQyxtQkFBbUIsQ0FBQyxDQUFDO1FBQ3RGLHVDQUF1QztRQUN2QyxJQUFJLENBQUMsY0FBYyxHQUFHLElBQUksQ0FBQyxjQUFjLENBQUMsTUFBTSxDQUFDLGFBQWEsQ0FBQyxjQUFjLENBQUMsQ0FBQztRQUMvRSxJQUFJLENBQUMsYUFBYSxHQUFHLElBQUksQ0FBQyxhQUFhLENBQUMsTUFBTSxDQUFDLGFBQWEsQ0FBQyxhQUFhLENBQUMsQ0FBQztRQUM1RSxJQUFJLENBQUMsZUFBZSxHQUFHLElBQUksQ0FBQyxlQUFlLENBQUMsTUFBTSxDQUFDLGFBQWEsQ0FBQyxlQUFlLENBQUMsQ0FBQztRQUNsRixJQUFJLENBQUMsYUFBYSxHQUFHLElBQUksQ0FBQyxhQUFhLENBQUMsTUFBTSxDQUFDLGFBQWEsQ0FBQyxhQUFhLENBQUMsQ0FBQztRQUM1RSxJQUFJLENBQUMsbUJBQW1CLEdBQUcsSUFBSSxDQUFDLG1CQUFtQixDQUFDLE1BQU0sQ0FBQyxhQUFhLENBQUMsbUJBQW1CLENBQUMsQ0FBQztRQUM5RiwrRkFBK0Y7UUFDL0YsSUFBSSxDQUFDLGFBQWEsR0FBRyxhQUFhLENBQUMsYUFBYSxDQUFDO0lBQ25ELENBQUM7SUFFRDs7Ozs7OztPQU9HO0lBQ0gsYUFBYSxDQUFDLEdBQW1DLEVBQUUsZUFBbUIsRUFBRSxHQUFPLEVBQUUsS0FBUztRQUN4RixJQUFJLFdBQVcsR0FBRyxHQUFHLENBQUMsR0FBRyxDQUFDLGVBQWUsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDO1FBQ3RELElBQUksQ0FBQyxXQUFXLEVBQUUsQ0FBQztZQUNqQixXQUFXLEdBQUcsSUFBSSxHQUFHLEVBQXFCLENBQUM7WUFDM0MsR0FBRyxDQUFDLEdBQUcsQ0FBQyxlQUFlLENBQUMsUUFBUSxFQUFFLEVBQUUsV0FBVyxDQUFDLENBQUM7UUFDbkQsQ0FBQztRQUVELElBQUksV0FBVyxHQUFHLFdBQVcsQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUM7UUFDbEQsSUFBSSxDQUFDLFdBQVcsRUFBRSxDQUFDO1lBQ2pCLFdBQVcsR0FBRyxJQUFJLEtBQUssRUFBTSxDQUFDO1lBQzlCLFdBQVcsQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLFFBQVEsRUFBRSxFQUFFLFdBQVcsQ0FBQyxDQUFDO1FBQy9DLENBQUM7UUFDRCxXQUFXLENBQUMsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDO0lBQzFCLENBQUM7Q0FNRjtBQUVEOzs7Ozs7R0FNRztBQUNILFNBQVMsd0JBQXdCLENBQUMsT0FBdUMsRUFBRSxRQUF3QztJQUNqSCxLQUFLLE1BQU0sQ0FBQyxHQUFHLEVBQUUsS0FBSyxDQUFDLElBQUksUUFBUSxFQUFFLENBQUM7UUFDcEMsTUFBTSxTQUFTLEdBQUcsT0FBTyxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQztRQUNuQyxJQUFJLENBQUMsU0FBUyxFQUFFLENBQUM7WUFDZixPQUFPLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQztRQUMxQixDQUFDO2FBQU0sQ0FBQztZQUNOLHVCQUF1QixDQUFDLFNBQVMsRUFBRSxLQUFLLENBQUMsQ0FBQztRQUM1QyxDQUFDO0lBQ0gsQ0FBQztBQUNILENBQUM7QUFFRDs7Ozs7R0FLRztBQUNILFNBQVMsdUJBQXVCLENBQUMsT0FBMEIsRUFBRSxRQUEyQjtJQUN0RixLQUFLLE1BQU0sQ0FBQyxHQUFHLEVBQUUsS0FBSyxDQUFDLElBQUksUUFBUSxFQUFFLENBQUM7UUFDcEMsTUFBTSxPQUFPLEdBQUcsT0FBTyxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQztRQUNqQyxJQUFJLENBQUMsT0FBTyxFQUFFLENBQUM7WUFDYixPQUFPLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQztRQUMxQixDQUFDO2FBQU0sQ0FBQztZQUNOLE9BQU8sQ0FBQyxHQUFHLENBQUMsR0FBRyxFQUFFLE9BQU8sRUFBRSxNQUFNLENBQUMsR0FBRyxLQUFLLENBQUMsQ0FBQyxDQUFDO1FBQzlDLENBQUM7SUFDSCxDQUFDO0FBQ0gsQ0FBQyJ9

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

@@ -0,0 +1,26 @@
+import { Fr } from '@aztec/foundation/fields';
+export type TracedNoteHashCheck = {
+    callPointer: Fr;
+    storageAddress: Fr;
+    leafIndex: Fr;
+    noteHash: Fr;
+    exists: boolean;
+    counter: Fr;
+    endLifetime: Fr;
+};
+export type TracedNullifierCheck = {
+    callPointer: Fr;
+    storageAddress: Fr;
+    nullifier: Fr;
+    exists: boolean;
+    counter: Fr;
+    endLifetime: Fr;
+    isPending: boolean;
+    leafIndex: Fr;
+};
+export type TracedL1toL2MessageCheck = {
+    leafIndex: Fr;
+    msgHash: Fr;
+    exists: boolean;
+};
+//# sourceMappingURL=trace_types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"trace_types.d.ts","sourceRoot":"","sources":["../../../src/avm/journal/trace_types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AA4B9C,MAAM,MAAM,mBAAmB,GAAG;IAChC,WAAW,EAAE,EAAE,CAAC;IAChB,cAAc,EAAE,EAAE,CAAC;IACnB,SAAS,EAAE,EAAE,CAAC;IACd,QAAQ,EAAE,EAAE,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,EAAE,CAAC;IACZ,WAAW,EAAE,EAAE,CAAC;CACjB,CAAC;AAUF,MAAM,MAAM,oBAAoB,GAAG;IACjC,WAAW,EAAE,EAAE,CAAC;IAChB,cAAc,EAAE,EAAE,CAAC;IACnB,SAAS,EAAE,EAAE,CAAC;IACd,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,EAAE,CAAC;IACZ,WAAW,EAAE,EAAE,CAAC;IAGhB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,EAAE,CAAC;CACf,CAAC;AAUF,MAAM,MAAM,wBAAwB,GAAG;IAErC,SAAS,EAAE,EAAE,CAAC;IACd,OAAO,EAAE,EAAE,CAAC;IACZ,MAAM,EAAE,OAAO,CAAC;CAEjB,CAAC"}

package/dest/avm/journal/trace_types.js

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

package/dest/avm/opcodes/accrued_substate.d.ts

@@ -1,6 +1,17 @@
 import type { AvmContext } from '../avm_context.js';
 import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
 import { Instruction } from './instruction.js';
+export declare class NoteHashExists extends Instruction {
+    private indirect;
+    private noteHashOffset;
+    private leafIndexOffset;
+    private existsOffset;
+    static type: string;
+    static readonly opcode: Opcode;
+    static readonly wireFormat: OperandType[];
+    constructor(indirect: number, noteHashOffset: number, leafIndexOffset: number, existsOffset: number);
+    execute(context: AvmContext): Promise<void>;
+}
 export declare class EmitNoteHash extends Instruction {
     private indirect;
     private noteHashOffset;
@@ -10,6 +21,16 @@ export declare class EmitNoteHash extends Instruction {
     constructor(indirect: number, noteHashOffset: number);
     execute(context: AvmContext): Promise<void>;
 }
+export declare class NullifierExists extends Instruction {
+    private indirect;
+    private nullifierOffset;
+    private existsOffset;
+    static type: string;
+    static readonly opcode: Opcode;
+    static readonly wireFormat: OperandType[];
+    constructor(indirect: number, nullifierOffset: number, existsOffset: number);
+    execute(context: AvmContext): Promise<void>;
+}
 export declare class EmitNullifier extends Instruction {
     private indirect;
     private nullifierOffset;
@@ -19,24 +40,36 @@ export declare class EmitNullifier extends Instruction {
     constructor(indirect: number, nullifierOffset: number);
     execute(context: AvmContext): Promise<void>;
 }
+export declare class L1ToL2MessageExists extends Instruction {
+    private indirect;
+    private msgHashOffset;
+    private msgLeafIndexOffset;
+    private existsOffset;
+    static type: string;
+    static readonly opcode: Opcode;
+    static readonly wireFormat: OperandType[];
+    constructor(indirect: number, msgHashOffset: number, msgLeafIndexOffset: number, existsOffset: number);
+    execute(context: AvmContext): Promise<void>;
+}
 export declare class EmitUnencryptedLog extends Instruction {
     private indirect;
+    private eventSelectorOffset;
     private logOffset;
     private logSize;
     static type: string;
     static readonly opcode: Opcode;
     static readonly wireFormat: OperandType[];
-    constructor(indirect: number, logOffset: number, logSize: number);
+    constructor(indirect: number, eventSelectorOffset: number, logOffset: number, logSize: number);
     execute(context: AvmContext): Promise<void>;
 }
 export declare class SendL2ToL1Message extends Instruction {
     private indirect;
-    private msgOffset;
-    private msgSize;
+    private recipientOffset;
+    private contentOffset;
     static type: string;
     static readonly opcode: Opcode;
     static readonly wireFormat: OperandType[];
-    constructor(indirect: number, msgOffset: number, msgSize: number);
+    constructor(indirect: number, recipientOffset: number, contentOffset: number);
     execute(context: AvmContext): Promise<void>;
 }
 //# sourceMappingURL=accrued_substate.d.ts.map

package/dest/avm/opcodes/accrued_substate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"accrued_substate.d.ts","sourceRoot":"","sources":["../../../src/avm/opcodes/accrued_substate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,qBAAa,YAAa,SAAQ,WAAW;IAM/B,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,cAAc;IAL5D,MAAM,CAAC,IAAI,EAAE,MAAM,CAAkB;IACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAuB;IAErD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAA8D;gBAEpE,QAAQ,EAAE,MAAM,EAAU,cAAc,EAAE,MAAM;IAI9D,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAUlD;AAED,qBAAa,aAAc,SAAQ,WAAW;IAMhC,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,eAAe;IAL7D,MAAM,CAAC,IAAI,EAAE,MAAM,CAAmB;IACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAwB;IAEtD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAA8D;gBAEpE,QAAQ,EAAE,MAAM,EAAU,eAAe,EAAE,MAAM;IAI/D,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAUlD;AAED,qBAAa,kBAAmB,SAAQ,WAAW;IAMrC,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,SAAS;IAAU,OAAO,CAAC,OAAO;IALhF,MAAM,CAAC,IAAI,EAAE,MAAM,CAAwB;IAC3C,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAA6B;IAE3D,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAAkF;gBAExF,QAAQ,EAAE,MAAM,EAAU,SAAS,EAAE,MAAM,EAAU,OAAO,EAAE,MAAM;IAIlF,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAUlD;AAED,qBAAa,iBAAkB,SAAQ,WAAW;IAMpC,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,SAAS;IAAU,OAAO,CAAC,OAAO;IALhF,MAAM,CAAC,IAAI,EAAE,MAAM,CAAmB;IACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAwB;IAEtD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAAkF;gBAExF,QAAQ,EAAE,MAAM,EAAU,SAAS,EAAE,MAAM,EAAU,OAAO,EAAE,MAAM;IAIlF,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAUlD"}
+{"version":3,"file":"accrued_substate.d.ts","sourceRoot":"","sources":["../../../src/avm/opcodes/accrued_substate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAIpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,qBAAa,cAAe,SAAQ,WAAW;IAa3C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,YAAY;IAftB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAoB;IACvC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAyB;IAEvD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAMxB;gBAGQ,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,EACtB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM;IAKxB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAclD;AAED,qBAAa,YAAa,SAAQ,WAAW;IAM/B,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,cAAc;IAL5D,MAAM,CAAC,IAAI,EAAE,MAAM,CAAkB;IACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAuB;IAErD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAA8D;gBAEpE,QAAQ,EAAE,MAAM,EAAU,cAAc,EAAE,MAAM;IAI9D,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAUlD;AAED,qBAAa,eAAgB,SAAQ,WAAW;IAMlC,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,eAAe;IAAU,OAAO,CAAC,YAAY;IAL3F,MAAM,CAAC,IAAI,EAAE,MAAM,CAAqB;IACxC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAA0B;IAExD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAAkF;gBAExF,QAAQ,EAAE,MAAM,EAAU,eAAe,EAAE,MAAM,EAAU,YAAY,EAAE,MAAM;IAI7F,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAQlD;AAED,qBAAa,aAAc,SAAQ,WAAW;IAMhC,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,eAAe;IAL7D,MAAM,CAAC,IAAI,EAAE,MAAM,CAAmB;IACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAwB;IAEtD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAA8D;gBAEpE,QAAQ,EAAE,MAAM,EAAU,eAAe,EAAE,MAAM;IAI/D,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAqBlD;AAED,qBAAa,mBAAoB,SAAQ,WAAW;IAahD,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,YAAY;IAftB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAqB;IACxC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAA0B;IAExD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAMxB;gBAGQ,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,kBAAkB,EAAE,MAAM,EAC1B,YAAY,EAAE,MAAM;IAKxB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAQlD;AAED,qBAAa,kBAAmB,SAAQ,WAAW;IAa/C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,OAAO;IAfjB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAwB;IAC3C,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAA6B;IAE3D,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAMxB;gBAGQ,QAAQ,EAAE,MAAM,EAChB,mBAAmB,EAAE,MAAM,EAC3B,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM;IAKnB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAiBlD;AAED,qBAAa,iBAAkB,SAAQ,WAAW;IAMpC,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,eAAe;IAAU,OAAO,CAAC,aAAa;IAL5F,MAAM,CAAC,IAAI,EAAE,MAAM,CAAmB;IACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAwB;IAEtD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAAkF;gBAExF,QAAQ,EAAE,MAAM,EAAU,eAAe,EAAE,MAAM,EAAU,aAAa,EAAE,MAAM;IAI9F,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAWlD"}