@aztec/simulator 0.0.1-commit.b655e406 → 0.0.1-commit.b8a057fa

package/dest/public/state_manager/state_manager.d.ts

@@ -1,166 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { type LogLevel } from '@aztec/foundation/log';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { SerializableContractInstance } from '@aztec/stdlib/contract';
-import type { DebugLog } from '@aztec/stdlib/logs';
-import { ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
-import { MerkleTreeId } from '@aztec/stdlib/trees';
-import type { TreeSnapshots } from '@aztec/stdlib/tx';
-import type { UInt64 } from '@aztec/stdlib/types';
-import type { AvmExecutionEnvironment } from '../avm/avm_execution_environment.js';
-import type { PublicContractsDBInterface } from '../db_interfaces.js';
-import type { PublicTreesDB } from '../public_db_sources.js';
-import type { PublicSideEffectTraceInterface } from '../side_effect_trace_interface.js';
-import { NullifierManager } from './nullifiers.js';
-import { PublicStorage } from './public_storage.js';
-/**
- * A class to manage persistable AVM state for contract calls.
- * Maintains a cache of the current world state,
- * a trace of all side effects.
- *
- * The simulator should make any world state / tree queries through this object.
- *
- * Manages merging of successful/reverted child state into current state.
- */
-export declare class PublicPersistableStateManager {
-    private readonly treesDB;
-    private readonly contractsDB;
-    private readonly trace;
-    private readonly firstNullifier;
-    private readonly timestamp;
-    private readonly doMerkleOperations;
-    private readonly publicStorage;
-    private readonly nullifiers;
-    private readonly log;
-    /** Make sure a forked state is never merged twice. */
-    private alreadyMergedIntoParent;
-    constructor(treesDB: PublicTreesDB, contractsDB: PublicContractsDBInterface, trace: PublicSideEffectTraceInterface, firstNullifier: Fr, // Needed for note hashes.
-    timestamp: UInt64, // Needed for contract updates.
-    doMerkleOperations?: boolean, publicStorage?: PublicStorage, nullifiers?: NullifierManager);
-    /**
-     * Create a new state manager
-     */
-    static create(treesDB: PublicTreesDB, contractsDB: PublicContractsDBInterface, trace: PublicSideEffectTraceInterface, doMerkleOperations: boolean | undefined, firstNullifier: Fr, timestamp: UInt64): PublicPersistableStateManager;
-    /**
-     * Create a new state manager forked from this one
-     */
-    fork(): Promise<PublicPersistableStateManager>;
-    /**
-     * Accept forked world state modifications & traced side effects / hints
-     */
-    merge(forkedState: PublicPersistableStateManager): Promise<void>;
-    /**
-     * Reject forked world state modifications & traced side effects, keep traced hints
-     */
-    reject(forkedState: PublicPersistableStateManager): Promise<void>;
-    private _merge;
-    /**
-     * Write to public storage, journal/trace the write.
-     *
-     * @param contractAddress - 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
-     */
-    writeStorage(contractAddress: AztecAddress, slot: Fr, value: Fr, protocolWrite?: boolean): Promise<void>;
-    isStorageCold(contractAddress: AztecAddress, slot: Fr): boolean;
-    /**
-     * Read from public storage.
-     *
-     * @param contractAddress - 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 0 if never written to before
-     */
-    readStorage(contractAddress: AztecAddress, slot: Fr): Promise<Fr>;
-    /**
-     * Check if a note hash exists at the given leaf index, trace the check.
-     *
-     * @param contractAddress - the address of the contract whose storage is being read from
-     * @param noteHash - the unsiloed note hash being checked
-     * @param leafIndex - the leaf index being checked
-     * @returns true if the note hash exists at the given leaf index, false otherwise
-     */
-    checkNoteHashExists(contractAddress: AztecAddress, noteHash: Fr, leafIndex: bigint): Promise<boolean>;
-    /**
-     * Write a raw note hash, silo it and make it unique, then trace the write.
-     * @param noteHash - the unsiloed note hash to write
-     */
-    writeNoteHash(contractAddress: AztecAddress, noteHash: Fr): Promise<void>;
-    /**
-     * Write a note hash, make it unique, trace the write.
-     * @param siloedNoteHash - the non unique note hash to write
-     */
-    writeSiloedNoteHash(siloedNoteHash: Fr): Promise<void>;
-    /**
-     * Write a note hash, trace the write.
-     * @param uniqueNoteHash - the siloed unique hash to write
-     */
-    writeUniqueNoteHash(uniqueNoteHash: Fr): Promise<void>;
-    /**
-     * Check if a nullifier exists, trace the check.
-     * @param contractAddress - address of the contract that the nullifier is associated with
-     * @param nullifier - the unsiloed nullifier to check
-     * @returns exists - whether the nullifier exists in the nullifier set
-     */
-    checkNullifierExists(contractAddress: AztecAddress, nullifier: Fr): Promise<boolean>;
-    /**
-     * Write a nullifier to the nullifier set, trace the write.
-     * @param contractAddress - address of the contract that the nullifier is associated with
-     * @param nullifier - the unsiloed nullifier to write
-     */
-    writeNullifier(contractAddress: AztecAddress, nullifier: Fr): Promise<void>;
-    /**
-     * Write a nullifier to the nullifier set, trace the write.
-     * @param siloedNullifier - the siloed nullifier to write
-     */
-    writeSiloedNullifier(siloedNullifier: Fr): Promise<void>;
-    /**
-     * Check if an L1 to L2 message exists, trace the check.
-     * @param msgHash - the message hash to check existence of
-     * @param msgLeafIndex - the message leaf index to use in the check
-     * @returns exists - whether the message exists in the L1 to L2 Messages tree
-     */
-    checkL1ToL2MessageExists(msgHash: Fr, msgLeafIndex: Fr): Promise<boolean>;
-    /**
-     * Write an L2 to L1 message.
-     * @param contractAddress - L2 contract address that created this message
-     * @param recipient - L1 contract address to send the message to.
-     * @param content - Message content.
-     */
-    writeL2ToL1Message(contractAddress: AztecAddress, recipient: Fr, content: Fr): void;
-    /**
-     * Write a scoped L2 to L1 message.
-     * @param l2ToL1Message - The L2 to L1 message to write.
-     */
-    writeScopedL2ToL1Message(l2ToL1Message: ScopedL2ToL1Message): void;
-    writeDebugLog(contractAddress: AztecAddress, level: LogLevel, message: string, fields: Fr[]): void;
-    writeDebugLogMemoryReads(memoryReads: number): void;
-    getDebugLogMemoryReads(): number;
-    getLogs(): DebugLog[];
-    /**
-     * Write a public log
-     * @param contractAddress - address of the contract that emitted the log
-     * @param log - log contents
-     */
-    writePublicLog(contractAddress: AztecAddress, log: Fr[]): void;
-    /**
-     * Get a contract instance.
-     * @param contractAddress - address of the contract instance to retrieve.
-     * @returns the contract instance or undefined if it does not exist.
-     */
-    getContractInstance(contractAddress: AztecAddress): Promise<SerializableContractInstance | undefined>;
-    private checkContractUpdateInformation;
-    /**
-     * Get a contract class.
-     * @param classId - class id to retrieve.
-     * @returns the contract class or undefined if it does not exist.
-     */
-    private getContractClass;
-    /**
-     * Get a contract's bytecode from the contracts DB, also trace the contract class and instance indirectly.
-     */
-    getBytecode(contractAddress: AztecAddress): Promise<Buffer | undefined>;
-    getPublicFunctionDebugName(avmEnvironment: AvmExecutionEnvironment): Promise<string>;
-    padTree(treeId: MerkleTreeId, leavesToInsert: number): Promise<void>;
-    getTreeSnapshots(): Promise<TreeSnapshots>;
-}
-//# sourceMappingURL=state_manager.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"state_manager.d.ts","sourceRoot":"","sources":["../../../src/public/state_manager/state_manager.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,KAAK,QAAQ,EAAgB,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3D,OAAO,EAAE,4BAA4B,EAAE,MAAM,wBAAwB,CAAC;AAGtE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAIlD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AACnF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AAEtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAO7D,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;;;;;;GAQG;AACH,qBAAa,6BAA6B;IAOtC,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,cAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,kBAAkB;IACnC,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,OAAO,CAAC,QAAQ,CAAC,UAAU;IAb7B,OAAO,CAAC,QAAQ,CAAC,GAAG,CAA2C;IAE/D,sDAAsD;IACtD,OAAO,CAAC,uBAAuB,CAAS;gBAGrB,OAAO,EAAE,aAAa,EACtB,WAAW,EAAE,0BAA0B,EACvC,KAAK,EAAE,8BAA8B,EACrC,cAAc,EAAE,EAAE,EAAE,0BAA0B;IAC9C,SAAS,EAAE,MAAM,EAAE,+BAA+B;IAClD,kBAAkB,GAAE,OAAe,EACnC,aAAa,GAAE,aAA0C,EACzD,UAAU,GAAE,gBAAgD;IAG/E;;OAEG;WACW,MAAM,CAClB,OAAO,EAAE,aAAa,EACtB,WAAW,EAAE,0BAA0B,EACvC,KAAK,EAAE,8BAA8B,EACrC,kBAAkB,EAAE,OAAO,YAAQ,EACnC,cAAc,EAAE,EAAE,EAClB,SAAS,EAAE,MAAM,GAChB,6BAA6B;IAWhC;;OAEG;IACU,IAAI;IAcjB;;OAEG;IACU,KAAK,CAAC,WAAW,EAAE,6BAA6B;IAI7D;;OAEG;IACU,MAAM,CAAC,WAAW,EAAE,6BAA6B;YAIhD,MAAM;IAmBpB;;;;;;OAMG;IACU,YAAY,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,aAAa,UAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAc5G,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO;IAItE;;;;;;OAMG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;IAc9E;;;;;;;OAOG;IACU,mBAAmB,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAkBlH;;;OAGG;IACU,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAMtF;;;OAGG;IACU,mBAAmB,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAMnE;;;OAGG;IACU,mBAAmB,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQnE;;;;;OAKG;IACU,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IAejG;;;;OAIG;IACU,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE;IAMxE;;;OAGG;IACU,oBAAoB,CAAC,eAAe,EAAE,EAAE;IAsBrD;;;;;OAKG;IACU,wBAAwB,CAAC,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IAkBtF;;;;;OAKG;IACI,kBAAkB,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;IAKnF;;;OAGG;IACI,wBAAwB,CAAC,aAAa,EAAE,mBAAmB;IAQ3D,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;IAI3F,wBAAwB,CAAC,WAAW,EAAE,MAAM;IAI5C,sBAAsB;IAItB,OAAO,IAAI,QAAQ,EAAE;IAI5B;;;;OAIG;IACI,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE;IAK9D;;;;OAIG;IACU,mBAAmB,CAAC,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,4BAA4B,GAAG,SAAS,CAAC;YAyCpG,8BAA8B;IA0D5C;;;;OAIG;YACW,gBAAgB;IA6B9B;;OAEG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;IAwBvE,0BAA0B,CAAC,cAAc,EAAE,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAAC;IAIpF,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIpE,gBAAgB,IAAI,OAAO,CAAC,aAAa,CAAC;CAGxD"}

package/dest/public/state_manager/state_manager.js

@@ -1,391 +0,0 @@
-import { CANONICAL_AUTH_REGISTRY_ADDRESS, CONTRACT_CLASS_REGISTRY_CONTRACT_ADDRESS, CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS, FEE_JUICE_ADDRESS, MULTI_CALL_ENTRYPOINT_ADDRESS, ROUTER_ADDRESS } from '@aztec/constants';
-import { poseidon2Hash } from '@aztec/foundation/crypto';
-import { jsonStringify } from '@aztec/foundation/json-rpc';
-import { createLogger } from '@aztec/foundation/log';
-import { ProtocolContractAddress } from '@aztec/protocol-contracts';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { SerializableContractInstance } from '@aztec/stdlib/contract';
-import { DelayedPublicMutableValues, DelayedPublicMutableValuesWithHash } from '@aztec/stdlib/delayed-public-mutable';
-import { computeNoteHashNonce, computeUniqueNoteHash, siloNoteHash, siloNullifier } from '@aztec/stdlib/hash';
-import { strict as assert } from 'assert';
-import { getPublicFunctionDebugName } from '../debug_fn_name.js';
-import { L1ToL2MessageIndexOutOfRangeError, MaxCallsToUniqueContractClassIdsError, NoteHashIndexOutOfRangeError, NullifierCollisionError } from '../side_effect_errors.js';
-import { NullifierManager } from './nullifiers.js';
-import { PublicStorage } from './public_storage.js';
-/**
- * A class to manage persistable AVM state for contract calls.
- * Maintains a cache of the current world state,
- * a trace of all side effects.
- *
- * The simulator should make any world state / tree queries through this object.
- *
- * Manages merging of successful/reverted child state into current state.
- */ export class PublicPersistableStateManager {
-    treesDB;
-    contractsDB;
-    trace;
-    firstNullifier;
-    timestamp;
-    doMerkleOperations;
-    publicStorage;
-    nullifiers;
-    log;
-    /** Make sure a forked state is never merged twice. */ alreadyMergedIntoParent;
-    constructor(treesDB, contractsDB, trace, firstNullifier, timestamp, doMerkleOperations = false, publicStorage = new PublicStorage(treesDB), nullifiers = new NullifierManager(treesDB)){
-        this.treesDB = treesDB;
-        this.contractsDB = contractsDB;
-        this.trace = trace;
-        this.firstNullifier = firstNullifier;
-        this.timestamp = timestamp;
-        this.doMerkleOperations = doMerkleOperations;
-        this.publicStorage = publicStorage;
-        this.nullifiers = nullifiers;
-        this.log = createLogger('simulator:state_manager');
-        this.alreadyMergedIntoParent = false;
-    }
-    /**
-   * Create a new state manager
-   */ static create(treesDB, contractsDB, trace, doMerkleOperations = false, firstNullifier, timestamp) {
-        return new PublicPersistableStateManager(treesDB, contractsDB, trace, firstNullifier, timestamp, doMerkleOperations);
-    }
-    /**
-   * Create a new state manager forked from this one
-   */ async fork() {
-        await this.treesDB.createCheckpoint();
-        return new PublicPersistableStateManager(this.treesDB, this.contractsDB, this.trace.fork(), this.firstNullifier, this.timestamp, this.doMerkleOperations, this.publicStorage.fork(), this.nullifiers.fork());
-    }
-    /**
-   * Accept forked world state modifications & traced side effects / hints
-   */ async merge(forkedState) {
-        await this._merge(forkedState, /*reverted=*/ false);
-    }
-    /**
-   * Reject forked world state modifications & traced side effects, keep traced hints
-   */ async reject(forkedState) {
-        await this._merge(forkedState, /*reverted=*/ true);
-    }
-    async _merge(forkedState, reverted) {
-        // sanity check to avoid merging the same forked trace twice
-        assert(!forkedState.alreadyMergedIntoParent, 'Cannot merge forked state that has already been merged into its parent!');
-        forkedState.alreadyMergedIntoParent = true;
-        this.publicStorage.acceptAndMerge(forkedState.publicStorage);
-        this.nullifiers.acceptAndMerge(forkedState.nullifiers);
-        this.trace.merge(forkedState.trace, reverted);
-        if (reverted) {
-            this.log.trace('Reverting forked state...');
-            await this.treesDB.revertCheckpoint();
-        } else {
-            this.log.trace('Merging forked state into parent...');
-            await this.treesDB.commitCheckpoint();
-        }
-    }
-    /**
-   * Write to public storage, journal/trace the write.
-   *
-   * @param contractAddress - 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
-   */ async writeStorage(contractAddress, slot, value, protocolWrite = false) {
-        this.log.trace(`Storage write (address=${contractAddress}, slot=${slot}): value=${value}`);
-        await this.trace.tracePublicStorageWrite(contractAddress, slot, value, protocolWrite);
-        if (this.doMerkleOperations) {
-            // write to native merkle trees
-            await this.treesDB.storageWrite(contractAddress, slot, value);
-        } else {
-            // Cache storage writes for later reference/reads
-            this.publicStorage.write(contractAddress, slot, value);
-        }
-    }
-    isStorageCold(contractAddress, slot) {
-        return this.trace.isStorageCold(contractAddress, slot);
-    }
-    /**
-   * Read from public storage.
-   *
-   * @param contractAddress - 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 0 if never written to before
-   */ async readStorage(contractAddress, slot) {
-        if (this.doMerkleOperations) {
-            return await this.treesDB.storageRead(contractAddress, slot);
-        } else {
-            // TODO(fcarreiro): I don't get this. PublicStorage CAN end up reading the tree. Why is it in the "dont do merkle operations" branch?
-            const read = await this.publicStorage.read(contractAddress, slot);
-            this.log.trace(`Storage read results (address=${contractAddress}, slot=${slot}): value=${read.value}, cached=${read.cached}`);
-            return read.value;
-        }
-    }
-    // TODO(4886): We currently don't silo note hashes.
-    /**
-   * Check if a note hash exists at the given leaf index, trace the check.
-   *
-   * @param contractAddress - the address of the contract whose storage is being read from
-   * @param noteHash - the unsiloed note hash being checked
-   * @param leafIndex - the leaf index being checked
-   * @returns true if the note hash exists at the given leaf index, false otherwise
-   */ async checkNoteHashExists(contractAddress, noteHash, leafIndex) {
-        try {
-            const gotLeafValue = await this.treesDB.getNoteHash(leafIndex);
-            const exists = gotLeafValue.equals(noteHash);
-            this.log.trace(`noteHashes(${contractAddress})@${noteHash} ?? leafIndex: ${leafIndex} | gotLeafValue: ${gotLeafValue}, exists: ${exists}.`);
-            return Promise.resolve(exists);
-        } catch (error) {
-            // If the index is out of range, note_hash_leaf_in_range = 0 and the circuit returns false:
-            if (error instanceof NoteHashIndexOutOfRangeError) {
-                return Promise.resolve(false);
-            }
-            // Otherwise, unknown error. This is a bug.
-            throw error;
-        }
-    }
-    /**
-   * Write a raw note hash, silo it and make it unique, then trace the write.
-   * @param noteHash - the unsiloed note hash to write
-   */ async writeNoteHash(contractAddress, noteHash) {
-        this.log.trace(`noteHashes(${contractAddress}) += ${noteHash}.`);
-        const siloedNoteHash = await siloNoteHash(contractAddress, noteHash);
-        await this.writeSiloedNoteHash(siloedNoteHash);
-    }
-    /**
-   * Write a note hash, make it unique, trace the write.
-   * @param siloedNoteHash - the non unique note hash to write
-   */ async writeSiloedNoteHash(siloedNoteHash) {
-        const noteNonce = await computeNoteHashNonce(this.firstNullifier, this.trace.getNoteHashCount());
-        const uniqueNoteHash = await computeUniqueNoteHash(noteNonce, siloedNoteHash);
-        await this.writeUniqueNoteHash(uniqueNoteHash);
-    }
-    /**
-   * Write a note hash, trace the write.
-   * @param uniqueNoteHash - the siloed unique hash to write
-   */ async writeUniqueNoteHash(uniqueNoteHash) {
-        this.log.trace(`noteHashes += @${uniqueNoteHash}.`);
-        this.trace.traceNewNoteHash(uniqueNoteHash);
-        if (this.doMerkleOperations) {
-            await this.treesDB.writeNoteHash(uniqueNoteHash);
-        }
-    }
-    /**
-   * Check if a nullifier exists, trace the check.
-   * @param contractAddress - address of the contract that the nullifier is associated with
-   * @param nullifier - the unsiloed nullifier to check
-   * @returns exists - whether the nullifier exists in the nullifier set
-   */ async checkNullifierExists(contractAddress, nullifier) {
-        this.log.trace(`Checking existence of nullifier (address=${contractAddress}, nullifier=${nullifier})`);
-        const siloedNullifier = await siloNullifier(contractAddress, nullifier);
-        if (this.doMerkleOperations) {
-            const exists = await this.treesDB.checkNullifierExists(siloedNullifier);
-            this.log.trace(`Checked siloed nullifier ${siloedNullifier} (exists=${exists})`);
-            return Promise.resolve(exists);
-        } else {
-            const { exists, cacheHit } = await this.nullifiers.checkExists(siloedNullifier);
-            this.log.trace(`Checked siloed nullifier ${siloedNullifier} (exists=${exists}), cacheHit=${cacheHit}`);
-            return Promise.resolve(exists);
-        }
-    }
-    /**
-   * Write a nullifier to the nullifier set, trace the write.
-   * @param contractAddress - address of the contract that the nullifier is associated with
-   * @param nullifier - the unsiloed nullifier to write
-   */ async writeNullifier(contractAddress, nullifier) {
-        this.log.trace(`Inserting new nullifier (address=${nullifier}, nullifier=${contractAddress})`);
-        const siloedNullifier = await siloNullifier(contractAddress, nullifier);
-        await this.writeSiloedNullifier(siloedNullifier);
-    }
-    /**
-   * Write a nullifier to the nullifier set, trace the write.
-   * @param siloedNullifier - the siloed nullifier to write
-   */ async writeSiloedNullifier(siloedNullifier) {
-        this.log.trace(`Inserting siloed nullifier=${siloedNullifier}`);
-        this.trace.traceNewNullifier(siloedNullifier);
-        if (this.doMerkleOperations) {
-            const exists = await this.treesDB.checkNullifierExists(siloedNullifier);
-            if (exists) {
-                this.log.verbose(`Siloed nullifier ${siloedNullifier} already present in tree!`);
-                throw new NullifierCollisionError(`Siloed nullifier ${siloedNullifier} already exists in parent cache or host.`);
-            } else {
-                await this.treesDB.writeNullifier(siloedNullifier);
-            }
-        } else {
-            // Cache pending nullifiers for later access
-            await this.nullifiers.append(siloedNullifier);
-        }
-    }
-    /**
-   * Check if an L1 to L2 message exists, trace the check.
-   * @param msgHash - the message hash to check existence of
-   * @param msgLeafIndex - the message leaf index to use in the check
-   * @returns exists - whether the message exists in the L1 to L2 Messages tree
-   */ async checkL1ToL2MessageExists(msgHash, msgLeafIndex) {
-        try {
-            const valueAtIndex = await this.treesDB.getL1ToL2LeafValue(msgLeafIndex.toBigInt());
-            const exists = valueAtIndex.equals(msgHash);
-            this.log.trace(`l1ToL2Messages(@${msgLeafIndex}) ?? exists: ${exists}, expected: ${msgHash}, found: ${valueAtIndex}.`);
-            return Promise.resolve(exists);
-        } catch (error) {
-            // If the index is out of range, l1_to_l2_msg_leaf_in_range = 0 and the circuit returns false:
-            if (error instanceof L1ToL2MessageIndexOutOfRangeError) {
-                return Promise.resolve(false);
-            }
-            // Otherwise, unknown error. This is a bug.
-            throw error;
-        }
-    }
-    /**
-   * Write an L2 to L1 message.
-   * @param contractAddress - L2 contract address that created this message
-   * @param recipient - L1 contract address to send the message to.
-   * @param content - Message content.
-   */ writeL2ToL1Message(contractAddress, recipient, content) {
-        this.log.trace(`L2ToL1Messages(${contractAddress}) += (recipient: ${recipient}, content: ${content}).`);
-        this.trace.traceNewL2ToL1Message(contractAddress, recipient, content);
-    }
-    /**
-   * Write a scoped L2 to L1 message.
-   * @param l2ToL1Message - The L2 to L1 message to write.
-   */ writeScopedL2ToL1Message(l2ToL1Message) {
-        this.writeL2ToL1Message(l2ToL1Message.contractAddress, l2ToL1Message.message.recipient.toField(), l2ToL1Message.message.content);
-    }
-    writeDebugLog(contractAddress, level, message, fields) {
-        this.trace.traceDebugLog(contractAddress, level, message, fields);
-    }
-    writeDebugLogMemoryReads(memoryReads) {
-        this.trace.traceDebugLogMemoryReads(memoryReads);
-    }
-    getDebugLogMemoryReads() {
-        return this.trace.getDebugLogMemoryReads();
-    }
-    getLogs() {
-        return this.trace.getDebugLogs();
-    }
-    /**
-   * Write a public log
-   * @param contractAddress - address of the contract that emitted the log
-   * @param log - log contents
-   */ writePublicLog(contractAddress, log) {
-        this.log.trace(`PublicLog(${contractAddress}) += event with ${log.length} fields.`);
-        this.trace.tracePublicLog(contractAddress, log);
-    }
-    /**
-   * Get a contract instance.
-   * @param contractAddress - address of the contract instance to retrieve.
-   * @returns the contract instance or undefined if it does not exist.
-   */ async getContractInstance(contractAddress) {
-        this.log.trace(`Getting contract instance for address ${contractAddress}`);
-        const instanceWithAddress = await this.contractsDB.getContractInstance(contractAddress, this.timestamp);
-        const exists = instanceWithAddress !== undefined;
-        const instance = exists ? new SerializableContractInstance(instanceWithAddress) : undefined;
-        if (contractAddressIsCanonical(contractAddress)) {
-            this.log.trace(`Got canonical contract instance (address=${contractAddress}): instance=${jsonStringify(instance)}`);
-            return instance;
-        }
-        // Nullifier check! We do this regardless of whether or not the instance exists,
-        // as even for non-existence, we need to generate nullifier check hints.
-        // This will internally decide whether to check the nullifier tree or not depending on doMerkleOperations.
-        const nullifierExistsInTree = await this.checkNullifierExists(AztecAddress.fromNumber(CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS), contractAddress.toField());
-        assert(exists == nullifierExistsInTree, `Contract instance for address ${contractAddress} in DB: ${exists} != nullifier tree: ${nullifierExistsInTree}. This is a bug!`);
-        if (!exists) {
-            this.log.debug(`Contract instance NOT FOUND (address=${contractAddress})`);
-            return undefined;
-        }
-        this.log.trace(`Got contract instance (address=${contractAddress}): instance=${jsonStringify(instance)}`);
-        // All that is left is to check that the contract updatability information is correct.
-        // That is, that the current and original contract class ids are correct.
-        await this.checkContractUpdateInformation(instanceWithAddress);
-        return instance;
-    }
-    async checkContractUpdateInformation(instance) {
-        // If "merkle operations" are not requested, we trust the DB.
-        // Otherwise we check that the contract updatability information is correct.
-        // That is, that the current and original contract class ids are correct.
-        // All failures are fatal and the simulation is not expected to be provable.
-        if (this.doMerkleOperations) {
-            // Conceptually, we want to do the following:
-            // * Read a DelayedPublicMutable at the contract update slot.
-            // * Obtain the expected current class id from the DelayedPublicMutable, at the current block.
-            // * if expectedId == 0 then currentClassId should be original contract class id
-            // * if expectedId != 0 then currentClassId should be expectedId
-            //
-            // However, we will also be checking the hash of the delayed public mutable values.
-            // This is a bit of a leak of information, since the circuit will use it to prove
-            // one public read instead of N of the delayed public mutable values.
-            const { delayedPublicMutableSlot, delayedPublicMutableHashSlot } = await DelayedPublicMutableValuesWithHash.getContractUpdateSlots(instance.address);
-            const readDeployerStorage = async (storageSlot)=>await this.readStorage(ProtocolContractAddress.ContractInstanceRegistry, storageSlot);
-            const hash = await readDeployerStorage(delayedPublicMutableHashSlot);
-            const delayedPublicMutableValues = await DelayedPublicMutableValues.readFromTree(delayedPublicMutableSlot, readDeployerStorage);
-            const preImage = delayedPublicMutableValues.toFields();
-            // 1) update never scheduled: hash == 0 and preimage should be empty (but poseidon2hash(preimage) will not be 0s)
-            if (hash.isZero()) {
-                assert(preImage.every((f)=>f.isZero()), `Found updatability hash 0 but preimage is not empty for contract instance ${instance.address}.`);
-                assert(instance.currentContractClassId.equals(instance.originalContractClassId), `Found updatability hash 0 for contract instance ${instance.address} but original class id ${instance.originalContractClassId} != current class id ${instance.currentContractClassId}.`);
-                return;
-            }
-            // 2) At this point we know that the hash is not zero and this means that an update has at some point been scheduled.
-            const computedHash = await poseidon2Hash(preImage);
-            assert(hash.equals(computedHash), `Delayed public mutable values hash mismatch for contract instance ${instance.address}. Expected: ${hash}, computed: ${computedHash}`);
-            // We now check that, depending on the current block, the current class id is correct.
-            const expectedClassIdRaw = delayedPublicMutableValues.svc.getCurrentAt(this.timestamp).at(0);
-            const expectedClassId = expectedClassIdRaw.isZero() ? instance.originalContractClassId : expectedClassIdRaw;
-            assert(instance.currentContractClassId.equals(expectedClassId), `Current class id mismatch
-        for contract instance ${instance.address}. Expected: ${expectedClassId}, current: ${instance.currentContractClassId}`);
-        }
-    }
-    /**
-   * Get a contract class.
-   * @param classId - class id to retrieve.
-   * @returns the contract class or undefined if it does not exist.
-   */ async getContractClass(classId) {
-        this.log.trace(`Getting contract class for id ${classId}`);
-        const contractClass = await this.contractsDB.getContractClass(classId);
-        const exists = contractClass !== undefined;
-        let extendedClass = undefined;
-        // Note: We currently do not generate info to check the nullifier tree, because
-        // this is not needed for our use cases.
-        if (exists) {
-            this.log.trace(`Got contract class (id=${classId})`);
-            // Extend class information with public bytecode commitment.
-            const bytecodeCommitment = await this.contractsDB.getBytecodeCommitment(classId);
-            assert(bytecodeCommitment, `Bytecode commitment was not found in DB for contract class (${classId}). This should not happen!`);
-            extendedClass = {
-                ...contractClass,
-                publicBytecodeCommitment: bytecodeCommitment
-            };
-        } else {
-            this.log.debug(`Contract class NOT FOUND (id=${classId})`);
-        }
-        // TODO(dbanks12): does this need to be moved to before the DB accesses as was done with writeNullifier?
-        this.trace.traceGetContractClass(classId, exists);
-        return extendedClass;
-    }
-    /**
-   * Get a contract's bytecode from the contracts DB, also trace the contract class and instance indirectly.
-   */ async getBytecode(contractAddress) {
-        this.log.debug(`Getting bytecode for contract address ${contractAddress}`);
-        const contractInstance = await this.getContractInstance(contractAddress);
-        if (!contractInstance) {
-            return undefined;
-        }
-        try {
-            const contractClass = await this.getContractClass(contractInstance.currentContractClassId);
-            assert(contractClass, `Contract class not found in DB, but a contract instance was found with this class ID (${contractInstance.currentContractClassId}). This should not happen!`);
-            return contractClass.packedBytecode;
-        } catch (error) {
-            if (error instanceof MaxCallsToUniqueContractClassIdsError) {
-                return undefined;
-            }
-            // Otherwise, unknown error. This is a bug.
-            throw error;
-        }
-    }
-    async getPublicFunctionDebugName(avmEnvironment) {
-        return await getPublicFunctionDebugName(this.contractsDB, avmEnvironment.address, avmEnvironment.calldata);
-    }
-    async padTree(treeId, leavesToInsert) {
-        await this.treesDB.padTree(treeId, leavesToInsert);
-    }
-    async getTreeSnapshots() {
-        return await this.treesDB.getTreeSnapshots();
-    }
-}
-function contractAddressIsCanonical(contractAddress) {
-    return contractAddress.equals(AztecAddress.fromNumber(CANONICAL_AUTH_REGISTRY_ADDRESS)) || contractAddress.equals(AztecAddress.fromNumber(CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS)) || contractAddress.equals(AztecAddress.fromNumber(CONTRACT_CLASS_REGISTRY_CONTRACT_ADDRESS)) || contractAddress.equals(AztecAddress.fromNumber(MULTI_CALL_ENTRYPOINT_ADDRESS)) || contractAddress.equals(AztecAddress.fromNumber(FEE_JUICE_ADDRESS)) || contractAddress.equals(AztecAddress.fromNumber(ROUTER_ADDRESS));
-}

package/dest/public/tx_contract_cache.d.ts

@@ -1,41 +0,0 @@
-import type { Fr } from '@aztec/foundation/fields';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { ContractClassPublic, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
-/**
- * A cache for contract classes and instances for a single transaction.
- * Useful for tracking/retrieving contracts for a tx while leaving
- * the option to clear them if the tx is reverted.
- */
-export declare class TxContractCache {
-    private instanceCache;
-    private classCache;
-    /**
-     * Add a contract instance to the cache
-     */
-    addInstance(address: AztecAddress, instance: ContractInstanceWithAddress): void;
-    /**
-     * Add a contract class to the cache
-     */
-    addClass(classId: Fr, contractClass: ContractClassPublic): void;
-    /**
-     * Get a contract instance from the cache
-     */
-    getInstance(address: AztecAddress): ContractInstanceWithAddress | undefined;
-    /**
-     * Get a contract class from the cache
-     */
-    getClass(classId: Fr): ContractClassPublic | undefined;
-    /**
-     * Check if the cache has a contract class
-     */
-    hasClass(classId: Fr): boolean;
-    /**
-     * Clear all entries from the cache
-     */
-    clear(): void;
-    /**
-     * Merge another cache into this one
-     */
-    mergeFrom(other: TxContractCache): void;
-}
-//# sourceMappingURL=tx_contract_cache.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"tx_contract_cache.d.ts","sourceRoot":"","sources":["../../src/public/tx_contract_cache.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAE/F;;;;GAIG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,aAAa,CAAkD;IACvE,OAAO,CAAC,UAAU,CAA0C;IAE5D;;OAEG;IACI,WAAW,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,2BAA2B,GAAG,IAAI;IAItF;;OAEG;IACI,QAAQ,CAAC,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,mBAAmB,GAAG,IAAI;IAItE;;OAEG;IACI,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,2BAA2B,GAAG,SAAS;IAIlF;;OAEG;IACI,QAAQ,CAAC,OAAO,EAAE,EAAE,GAAG,mBAAmB,GAAG,SAAS;IAI7D;;OAEG;IACI,QAAQ,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO;IAIrC;;OAEG;IACI,KAAK,IAAI,IAAI;IAKpB;;OAEG;IACI,SAAS,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI;CAS/C"}

package/dest/public/tx_contract_cache.js

@@ -1,49 +0,0 @@
-/**
- * A cache for contract classes and instances for a single transaction.
- * Useful for tracking/retrieving contracts for a tx while leaving
- * the option to clear them if the tx is reverted.
- */ export class TxContractCache {
-    instanceCache = new Map();
-    classCache = new Map();
-    /**
-   * Add a contract instance to the cache
-   */ addInstance(address, instance) {
-        this.instanceCache.set(address.toString(), instance);
-    }
-    /**
-   * Add a contract class to the cache
-   */ addClass(classId, contractClass) {
-        this.classCache.set(classId.toString(), contractClass);
-    }
-    /**
-   * Get a contract instance from the cache
-   */ getInstance(address) {
-        return this.instanceCache.get(address.toString());
-    }
-    /**
-   * Get a contract class from the cache
-   */ getClass(classId) {
-        return this.classCache.get(classId.toString());
-    }
-    /**
-   * Check if the cache has a contract class
-   */ hasClass(classId) {
-        return this.classCache.has(classId.toString());
-    }
-    /**
-   * Clear all entries from the cache
-   */ clear() {
-        this.instanceCache.clear();
-        this.classCache.clear();
-    }
-    /**
-   * Merge another cache into this one
-   */ mergeFrom(other) {
-        other.instanceCache.forEach((value, key)=>{
-            this.instanceCache.set(key, value);
-        });
-        other.classCache.forEach((value, key)=>{
-            this.classCache.set(key, value);
-        });
-    }
-}