@aztec/pxe 0.87.5 → 0.87.6

package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts

@@ -0,0 +1,163 @@
+import { Fr, Point } from '@aztec/foundation/fields';
+import type { EventSelector } from '@aztec/stdlib/abi';
+import type { AuthWitness } from '@aztec/stdlib/auth-witness';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { CompleteAddress, ContractInstance } from '@aztec/stdlib/contract';
+import type { KeyValidationRequest } from '@aztec/stdlib/kernel';
+import { IndexedTaggingSecret, LogWithTxData } from '@aztec/stdlib/logs';
+import type { NoteStatus } from '@aztec/stdlib/note';
+import { type MerkleTreeId, type NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
+import type { BlockHeader, Capsule, TxHash } from '@aztec/stdlib/tx';
+import type { ExecutionDataProvider } from '../execution_data_provider.js';
+import { type NoteData, TypedOracle } from './typed_oracle.js';
+/**
+ * The oracle for an execution of utility contract functions.
+ */
+export declare class UtilityExecutionOracle extends TypedOracle {
+    protected readonly contractAddress: AztecAddress;
+    /** List of transient auth witnesses to be used during this simulation */
+    protected readonly authWitnesses: AuthWitness[];
+    protected readonly capsules: Capsule[];
+    protected readonly executionDataProvider: ExecutionDataProvider;
+    protected log: import("@aztec/foundation/log").Logger;
+    protected readonly scopes?: AztecAddress[] | undefined;
+    constructor(contractAddress: AztecAddress, 
+    /** List of transient auth witnesses to be used during this simulation */
+    authWitnesses: AuthWitness[], capsules: Capsule[], // TODO(#12425): Rename to transientCapsules
+    executionDataProvider: ExecutionDataProvider, log?: import("@aztec/foundation/log").Logger, scopes?: AztecAddress[] | undefined);
+    getBlockNumber(): Promise<number>;
+    getContractAddress(): Promise<AztecAddress>;
+    getChainId(): Promise<Fr>;
+    getVersion(): Promise<Fr>;
+    /**
+     * Retrieve keys associated with a specific master public key and app address.
+     * @param pkMHash - The master public key hash.
+     * @returns A Promise that resolves to nullifier keys.
+     * @throws If the keys are not registered in the key store.
+     */
+    getKeyValidationRequest(pkMHash: Fr): Promise<KeyValidationRequest>;
+    /**
+     * Fetches the index and sibling path of a leaf at a given block from a given tree.
+     * @param blockNumber - The block number at which to get the membership witness.
+     * @param treeId - Id of the tree to get the sibling path from.
+     * @param leafValue - The leaf value
+     * @returns The index and sibling path concatenated [index, sibling_path]
+     */
+    getMembershipWitness(blockNumber: number, treeId: MerkleTreeId, leafValue: Fr): Promise<Fr[]>;
+    /**
+     * Returns a nullifier membership witness for a given nullifier at a given block.
+     * @param blockNumber - The block number at which to get the index.
+     * @param nullifier - Nullifier we try to find witness for.
+     * @returns The nullifier membership witness (if found).
+     */
+    getNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
+    /**
+     * Returns a low nullifier membership witness for a given nullifier at a given block.
+     * @param blockNumber - The block number at which to get the index.
+     * @param nullifier - Nullifier we try to find the low nullifier witness for.
+     * @returns The low nullifier membership witness (if found).
+     * @remarks Low nullifier witness can be used to perform a nullifier non-inclusion proof by leveraging the "linked
+     * list structure" of leaves and proving that a lower nullifier is pointing to a bigger next value than the nullifier
+     * we are trying to prove non-inclusion for.
+     */
+    getLowNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
+    /**
+     * Returns a public data tree witness for a given leaf slot at a given block.
+     * @param blockNumber - The block number at which to get the index.
+     * @param leafSlot - The slot of the public data tree to get the witness for.
+     * @returns - The witness
+     */
+    getPublicDataWitness(blockNumber: number, leafSlot: Fr): Promise<PublicDataWitness | undefined>;
+    /**
+     * Fetches a block header of a given block.
+     * @param blockNumber - The number of a block of which to get the block header.
+     * @returns Block extracted from a block with block number `blockNumber`.
+     */
+    getBlockHeader(blockNumber: number): Promise<BlockHeader | undefined>;
+    /**
+     * Retrieve the complete address associated to a given address.
+     * @param account - The account address.
+     * @returns A complete address associated with the input address.
+     * @throws An error if the account is not registered in the database.
+     */
+    getCompleteAddress(account: AztecAddress): Promise<CompleteAddress>;
+    /**
+     * Returns a contract instance associated with an address or throws if not found.
+     * @param address - Address.
+     * @returns A contract instance.
+     */
+    getContractInstance(address: AztecAddress): Promise<ContractInstance>;
+    /**
+     * Returns an auth witness for the given message hash. Checks on the list of transient witnesses
+     * for this transaction first, and falls back to the local database if not found.
+     * @param messageHash - Hash of the message to authenticate.
+     * @returns Authentication witness for the requested message hash.
+     */
+    getAuthWitness(messageHash: Fr): Promise<Fr[] | undefined>;
+    /**
+     * Gets some notes for a contract address and storage slot.
+     * Returns a flattened array containing filtered notes.
+     *
+     * @remarks
+     * Check for pending notes with matching slot.
+     * Real notes coming from DB will have a leafIndex which
+     * represents their index in the note hash tree.
+     *
+     * @param storageSlot - The storage slot.
+     * @param numSelects - The number of valid selects in selectBy and selectValues.
+     * @param selectBy - An array of indices of the fields to selects.
+     * @param selectValues - The values to match.
+     * @param selectComparators - The comparators to use to match values.
+     * @param sortBy - An array of indices of the fields to sort.
+     * @param sortOrder - The order of the corresponding index in sortBy. (1: DESC, 2: ASC, 0: Do nothing)
+     * @param limit - The number of notes to retrieve per query.
+     * @param offset - The starting index for pagination.
+     * @param status - The status of notes to fetch.
+     * @returns Array of note data.
+     */
+    getNotes(storageSlot: Fr, numSelects: number, selectByIndexes: number[], selectByOffsets: number[], selectByLengths: number[], selectValues: Fr[], selectComparators: number[], sortByIndexes: number[], sortByOffsets: number[], sortByLengths: number[], sortOrder: number[], limit: number, offset: number, status: NoteStatus): Promise<NoteData[]>;
+    /**
+     * Check if a nullifier exists in the nullifier tree.
+     * @param innerNullifier - The inner nullifier.
+     * @returns A boolean indicating whether the nullifier exists in the tree or not.
+     */
+    checkNullifierExists(innerNullifier: Fr): Promise<boolean>;
+    /**
+     * Fetches a message from the executionDataProvider, given its key.
+     * @param contractAddress - Address of a contract by which the message was emitted.
+     * @param messageHash - Hash of the message.
+     * @param secret - Secret used to compute a nullifier.
+     * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
+     * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
+     */
+    getL1ToL2MembershipWitness(contractAddress: AztecAddress, messageHash: Fr, secret: Fr): Promise<import("./message_load_oracle_inputs.js").MessageLoadOracleInputs<39>>;
+    /**
+     * Read the public storage data.
+     * @param contractAddress - The address to read storage from.
+     * @param startStorageSlot - The starting storage slot.
+     * @param blockNumber - The block number to read storage at.
+     * @param numberOfElements - Number of elements to read from the starting storage slot.
+     */
+    storageRead(contractAddress: AztecAddress, startStorageSlot: Fr, blockNumber: number, numberOfElements: number): Promise<Fr[]>;
+    debugLog(message: string, fields: Fr[]): void;
+    /**
+     * Returns the tagging secret for a given sender and recipient pair, siloed to the current contract address.
+     * Includes the next index to be used used for tagging with this secret.
+     * For this to work, the ivsk_m of the sender must be known.
+     * @param sender - The address sending the note
+     * @param recipient - The address receiving the note
+     * @returns A tagging secret that can be used to tag notes.
+     */
+    getIndexedTaggingSecretAsSender(sender: AztecAddress, recipient: AztecAddress): Promise<IndexedTaggingSecret>;
+    fetchTaggedLogs(pendingTaggedLogArrayBaseSlot: Fr): Promise<void>;
+    deliverNote(contractAddress: AztecAddress, storageSlot: Fr, nonce: Fr, content: Fr[], noteHash: Fr, nullifier: Fr, txHash: TxHash, recipient: AztecAddress): Promise<void>;
+    getLogByTag(tag: Fr): Promise<LogWithTxData | null>;
+    storeCapsule(contractAddress: AztecAddress, slot: Fr, capsule: Fr[]): Promise<void>;
+    loadCapsule(contractAddress: AztecAddress, slot: Fr): Promise<Fr[] | null>;
+    deleteCapsule(contractAddress: AztecAddress, slot: Fr): Promise<void>;
+    copyCapsule(contractAddress: AztecAddress, srcSlot: Fr, dstSlot: Fr, numEntries: number): Promise<void>;
+    aes128Decrypt(ciphertext: Buffer, iv: Buffer, symKey: Buffer): Promise<Buffer>;
+    getSharedSecret(address: AztecAddress, ephPk: Point): Promise<Point>;
+    storePrivateEventLog(contractAddress: AztecAddress, recipient: AztecAddress, eventSelector: EventSelector, msgContent: Fr[], txHash: TxHash, logIndexInTx: number, txIndexInBlock: number): Promise<void>;
+}
+//# sourceMappingURL=utility_execution_oracle.d.ts.map

package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility_execution_oracle.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/utility_execution_oracle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAErD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAEhF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC5G,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAErE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E,OAAO,EAAE,KAAK,QAAQ,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE/D;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,WAAW;IAEnD,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACzE,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,EAAE;IAC/C,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE;IACtC,SAAS,CAAC,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB;IAC/D,SAAS,CAAC,GAAG;IACb,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE;gBANvB,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACtD,aAAa,EAAE,WAAW,EAAE,EAC5B,QAAQ,EAAE,OAAO,EAAE,EAAE,4CAA4C;IACjE,qBAAqB,EAAE,qBAAqB,EACrD,GAAG,yCAAgD,EAC1C,MAAM,CAAC,EAAE,YAAY,EAAE,YAAA;IAK5B,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAIjC,kBAAkB,IAAI,OAAO,CAAC,YAAY,CAAC;IAI3C,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC;IAIzB,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC;IAIzC;;;;;OAKG;IACa,uBAAuB,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAInF;;;;;;OAMG;IACa,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAI7G;;;;;OAKG;IACmB,6BAA6B,CACjD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;;;;OAQG;IACmB,gCAAgC,CACpD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;OAKG;IACmB,oBAAoB,CACxC,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,EAAE,GACX,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC;IAIzC;;;;OAIG;IACmB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;IAQ3F;;;;;OAKG;IACa,kBAAkB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC;IAInF;;;;OAIG;IACa,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAIrF;;;;;OAKG;IACa,cAAc,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;IAI1E;;;;;;;;;;;;;;;;;;;;OAoBG;IACmB,QAAQ,CAC5B,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,YAAY,EAAE,EAAE,EAAE,EAClB,iBAAiB,EAAE,MAAM,EAAE,EAC3B,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,QAAQ,EAAE,CAAC;IAiBtB;;;;OAIG;IACmB,oBAAoB,CAAC,cAAc,EAAE,EAAE;IAM7D;;;;;;;OAOG;IACmB,0BAA0B,CAAC,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;IAI3G;;;;;;OAMG;IACmB,WAAW,CAC/B,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,EAAE,EACpB,WAAW,EAAE,MAAM,EACnB,gBAAgB,EAAE,MAAM;IAeV,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI;IAI7D;;;;;;;OAOG;IACmB,+BAA+B,CACnD,MAAM,EAAE,YAAY,EACpB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,oBAAoB,CAAC;IAIV,eAAe,CAAC,6BAA6B,EAAE,EAAE;IAMjD,WAAW,CAC/B,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE,EACf,KAAK,EAAE,EAAE,EACT,OAAO,EAAE,EAAE,EAAE,EACb,QAAQ,EAAE,EAAE,EACZ,SAAS,EAAE,EAAE,EACb,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,YAAY;IAmBT,WAAW,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IAInD,YAAY,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQ7E,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC;IAYhF,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrE,WAAW,CACzB,eAAe,EAAE,YAAY,EAC7B,OAAO,EAAE,EAAE,EACX,OAAO,EAAE,EAAE,EACX,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC;IASA,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAK9E,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAIpE,oBAAoB,CAClC,eAAe,EAAE,YAAY,EAC7B,SAAS,EAAE,YAAY,EACvB,aAAa,EAAE,aAAa,EAC5B,UAAU,EAAE,EAAE,EAAE,EAChB,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,cAAc,EAAE,MAAM,GACrB,OAAO,CAAC,IAAI,CAAC;CAWjB"}

package/dest/contract_function_simulator/oracle/utility_execution_oracle.js

@@ -0,0 +1,257 @@
+import { Aes128 } from '@aztec/foundation/crypto';
+import { Fr } from '@aztec/foundation/fields';
+import { applyStringFormatting, createLogger } from '@aztec/foundation/log';
+import { siloNullifier } from '@aztec/stdlib/hash';
+import { pickNotes } from '../pick_notes.js';
+import { TypedOracle } from './typed_oracle.js';
+/**
+ * The oracle for an execution of utility contract functions.
+ */ export class UtilityExecutionOracle extends TypedOracle {
+    contractAddress;
+    authWitnesses;
+    capsules;
+    executionDataProvider;
+    log;
+    scopes;
+    constructor(contractAddress, /** List of transient auth witnesses to be used during this simulation */ authWitnesses, capsules, executionDataProvider, log = createLogger('simulator:client_view_context'), scopes){
+        super(), this.contractAddress = contractAddress, this.authWitnesses = authWitnesses, this.capsules = capsules, this.executionDataProvider = executionDataProvider, this.log = log, this.scopes = scopes;
+    }
+    getBlockNumber() {
+        return this.executionDataProvider.getBlockNumber();
+    }
+    getContractAddress() {
+        return Promise.resolve(this.contractAddress);
+    }
+    getChainId() {
+        return Promise.resolve(this.executionDataProvider.getChainId().then((id)=>new Fr(id)));
+    }
+    getVersion() {
+        return Promise.resolve(this.executionDataProvider.getVersion().then((v)=>new Fr(v)));
+    }
+    /**
+   * Retrieve keys associated with a specific master public key and app address.
+   * @param pkMHash - The master public key hash.
+   * @returns A Promise that resolves to nullifier keys.
+   * @throws If the keys are not registered in the key store.
+   */ getKeyValidationRequest(pkMHash) {
+        return this.executionDataProvider.getKeyValidationRequest(pkMHash, this.contractAddress);
+    }
+    /**
+   * Fetches the index and sibling path of a leaf at a given block from a given tree.
+   * @param blockNumber - The block number at which to get the membership witness.
+   * @param treeId - Id of the tree to get the sibling path from.
+   * @param leafValue - The leaf value
+   * @returns The index and sibling path concatenated [index, sibling_path]
+   */ getMembershipWitness(blockNumber, treeId, leafValue) {
+        return this.executionDataProvider.getMembershipWitness(blockNumber, treeId, leafValue);
+    }
+    /**
+   * Returns a nullifier membership witness for a given nullifier at a given block.
+   * @param blockNumber - The block number at which to get the index.
+   * @param nullifier - Nullifier we try to find witness for.
+   * @returns The nullifier membership witness (if found).
+   */ async getNullifierMembershipWitness(blockNumber, nullifier) {
+        return await this.executionDataProvider.getNullifierMembershipWitness(blockNumber, nullifier);
+    }
+    /**
+   * Returns a low nullifier membership witness for a given nullifier at a given block.
+   * @param blockNumber - The block number at which to get the index.
+   * @param nullifier - Nullifier we try to find the low nullifier witness for.
+   * @returns The low nullifier membership witness (if found).
+   * @remarks Low nullifier witness can be used to perform a nullifier non-inclusion proof by leveraging the "linked
+   * list structure" of leaves and proving that a lower nullifier is pointing to a bigger next value than the nullifier
+   * we are trying to prove non-inclusion for.
+   */ async getLowNullifierMembershipWitness(blockNumber, nullifier) {
+        return await this.executionDataProvider.getLowNullifierMembershipWitness(blockNumber, nullifier);
+    }
+    /**
+   * Returns a public data tree witness for a given leaf slot at a given block.
+   * @param blockNumber - The block number at which to get the index.
+   * @param leafSlot - The slot of the public data tree to get the witness for.
+   * @returns - The witness
+   */ async getPublicDataWitness(blockNumber, leafSlot) {
+        return await this.executionDataProvider.getPublicDataWitness(blockNumber, leafSlot);
+    }
+    /**
+   * Fetches a block header of a given block.
+   * @param blockNumber - The number of a block of which to get the block header.
+   * @returns Block extracted from a block with block number `blockNumber`.
+   */ async getBlockHeader(blockNumber) {
+        const block = await this.executionDataProvider.getBlock(blockNumber);
+        if (!block) {
+            return undefined;
+        }
+        return block.header;
+    }
+    /**
+   * Retrieve the complete address associated to a given address.
+   * @param account - The account address.
+   * @returns A complete address associated with the input address.
+   * @throws An error if the account is not registered in the database.
+   */ getCompleteAddress(account) {
+        return this.executionDataProvider.getCompleteAddress(account);
+    }
+    /**
+   * Returns a contract instance associated with an address or throws if not found.
+   * @param address - Address.
+   * @returns A contract instance.
+   */ getContractInstance(address) {
+        return this.executionDataProvider.getContractInstance(address);
+    }
+    /**
+   * Returns an auth witness for the given message hash. Checks on the list of transient witnesses
+   * for this transaction first, and falls back to the local database if not found.
+   * @param messageHash - Hash of the message to authenticate.
+   * @returns Authentication witness for the requested message hash.
+   */ getAuthWitness(messageHash) {
+        return Promise.resolve(this.authWitnesses.find((w)=>w.requestHash.equals(messageHash))?.witness);
+    }
+    /**
+   * Gets some notes for a contract address and storage slot.
+   * Returns a flattened array containing filtered notes.
+   *
+   * @remarks
+   * Check for pending notes with matching slot.
+   * Real notes coming from DB will have a leafIndex which
+   * represents their index in the note hash tree.
+   *
+   * @param storageSlot - The storage slot.
+   * @param numSelects - The number of valid selects in selectBy and selectValues.
+   * @param selectBy - An array of indices of the fields to selects.
+   * @param selectValues - The values to match.
+   * @param selectComparators - The comparators to use to match values.
+   * @param sortBy - An array of indices of the fields to sort.
+   * @param sortOrder - The order of the corresponding index in sortBy. (1: DESC, 2: ASC, 0: Do nothing)
+   * @param limit - The number of notes to retrieve per query.
+   * @param offset - The starting index for pagination.
+   * @param status - The status of notes to fetch.
+   * @returns Array of note data.
+   */ async getNotes(storageSlot, numSelects, selectByIndexes, selectByOffsets, selectByLengths, selectValues, selectComparators, sortByIndexes, sortByOffsets, sortByLengths, sortOrder, limit, offset, status) {
+        const dbNotes = await this.executionDataProvider.getNotes(this.contractAddress, storageSlot, status, this.scopes);
+        return pickNotes(dbNotes, {
+            selects: selectByIndexes.slice(0, numSelects).map((index, i)=>({
+                    selector: {
+                        index,
+                        offset: selectByOffsets[i],
+                        length: selectByLengths[i]
+                    },
+                    value: selectValues[i],
+                    comparator: selectComparators[i]
+                })),
+            sorts: sortByIndexes.map((index, i)=>({
+                    selector: {
+                        index,
+                        offset: sortByOffsets[i],
+                        length: sortByLengths[i]
+                    },
+                    order: sortOrder[i]
+                })),
+            limit,
+            offset
+        });
+    }
+    /**
+   * Check if a nullifier exists in the nullifier tree.
+   * @param innerNullifier - The inner nullifier.
+   * @returns A boolean indicating whether the nullifier exists in the tree or not.
+   */ async checkNullifierExists(innerNullifier) {
+        const nullifier = await siloNullifier(this.contractAddress, innerNullifier);
+        const index = await this.executionDataProvider.getNullifierIndex(nullifier);
+        return index !== undefined;
+    }
+    /**
+   * Fetches a message from the executionDataProvider, given its key.
+   * @param contractAddress - Address of a contract by which the message was emitted.
+   * @param messageHash - Hash of the message.
+   * @param secret - Secret used to compute a nullifier.
+   * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
+   * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
+   */ async getL1ToL2MembershipWitness(contractAddress, messageHash, secret) {
+        return await this.executionDataProvider.getL1ToL2MembershipWitness(contractAddress, messageHash, secret);
+    }
+    /**
+   * Read the public storage data.
+   * @param contractAddress - The address to read storage from.
+   * @param startStorageSlot - The starting storage slot.
+   * @param blockNumber - The block number to read storage at.
+   * @param numberOfElements - Number of elements to read from the starting storage slot.
+   */ async storageRead(contractAddress, startStorageSlot, blockNumber, numberOfElements) {
+        const values = [];
+        for(let i = 0n; i < numberOfElements; i++){
+            const storageSlot = new Fr(startStorageSlot.value + i);
+            const value = await this.executionDataProvider.getPublicStorageAt(blockNumber, contractAddress, storageSlot);
+            this.log.debug(`Oracle storage read: slot=${storageSlot.toString()} address-${contractAddress.toString()} value=${value}`);
+            values.push(value);
+        }
+        return values;
+    }
+    debugLog(message, fields) {
+        this.log.verbose(`${applyStringFormatting(message, fields)}`, {
+            module: `${this.log.module}:debug_log`
+        });
+    }
+    /**
+   * Returns the tagging secret for a given sender and recipient pair, siloed to the current contract address.
+   * Includes the next index to be used used for tagging with this secret.
+   * For this to work, the ivsk_m of the sender must be known.
+   * @param sender - The address sending the note
+   * @param recipient - The address receiving the note
+   * @returns A tagging secret that can be used to tag notes.
+   */ async getIndexedTaggingSecretAsSender(sender, recipient) {
+        return await this.executionDataProvider.getIndexedTaggingSecretAsSender(this.contractAddress, sender, recipient);
+    }
+    async fetchTaggedLogs(pendingTaggedLogArrayBaseSlot) {
+        await this.executionDataProvider.syncTaggedLogs(this.contractAddress, pendingTaggedLogArrayBaseSlot, this.scopes);
+        await this.executionDataProvider.removeNullifiedNotes(this.contractAddress);
+    }
+    async deliverNote(contractAddress, storageSlot, nonce, content, noteHash, nullifier, txHash, recipient) {
+        // TODO(#10727): allow other contracts to deliver notes
+        if (!this.contractAddress.equals(contractAddress)) {
+            throw new Error(`Got a note delivery request from ${contractAddress}, expected ${this.contractAddress}`);
+        }
+        await this.executionDataProvider.deliverNote(contractAddress, storageSlot, nonce, content, noteHash, nullifier, txHash, recipient);
+    }
+    getLogByTag(tag) {
+        return this.executionDataProvider.getLogByTag(tag);
+    }
+    storeCapsule(contractAddress, slot, capsule) {
+        if (!contractAddress.equals(this.contractAddress)) {
+            // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
+            throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
+        }
+        return this.executionDataProvider.storeCapsule(this.contractAddress, slot, capsule);
+    }
+    async loadCapsule(contractAddress, slot) {
+        if (!contractAddress.equals(this.contractAddress)) {
+            // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
+            throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
+        }
+        return(// TODO(#12425): On the following line, the pertinent capsule gets overshadowed by the transient one. Tackle this.
+        this.capsules.find((c)=>c.contractAddress.equals(contractAddress) && c.storageSlot.equals(slot))?.data ?? await this.executionDataProvider.loadCapsule(this.contractAddress, slot));
+    }
+    deleteCapsule(contractAddress, slot) {
+        if (!contractAddress.equals(this.contractAddress)) {
+            // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
+            throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
+        }
+        return this.executionDataProvider.deleteCapsule(this.contractAddress, slot);
+    }
+    copyCapsule(contractAddress, srcSlot, dstSlot, numEntries) {
+        if (!contractAddress.equals(this.contractAddress)) {
+            // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
+            throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
+        }
+        return this.executionDataProvider.copyCapsule(this.contractAddress, srcSlot, dstSlot, numEntries);
+    }
+    // TODO(#11849): consider replacing this oracle with a pure Noir implementation of aes decryption.
+    aes128Decrypt(ciphertext, iv, symKey) {
+        const aes128 = new Aes128();
+        return aes128.decryptBufferCBC(ciphertext, iv, symKey);
+    }
+    getSharedSecret(address, ephPk) {
+        return this.executionDataProvider.getSharedSecret(address, ephPk);
+    }
+    storePrivateEventLog(contractAddress, recipient, eventSelector, msgContent, txHash, logIndexInTx, txIndexInBlock) {
+        return this.executionDataProvider.storePrivateEventLog(contractAddress, recipient, eventSelector, msgContent, txHash, logIndexInTx, txIndexInBlock);
+    }
+}

package/dest/contract_function_simulator/pick_notes.d.ts

@@ -0,0 +1,85 @@
+import { Fr } from '@aztec/foundation/fields';
+import { Comparator, type Note } from '@aztec/stdlib/note';
+export interface PropertySelector {
+    index: number;
+    offset: number;
+    length: number;
+}
+/**
+ * Configuration for selecting values.
+ */
+export interface Select {
+    /**
+     * Selector of the field to select and match.
+     */
+    selector: PropertySelector;
+    /**
+     * Required value of the field.
+     */
+    value: Fr;
+    /**
+     * The comparator to use
+     */
+    comparator: Comparator;
+}
+/**
+ * The order to sort an array.
+ */
+export declare enum SortOrder {
+    NADA = 0,
+    DESC = 1,
+    ASC = 2
+}
+/**
+ * Configuration for sorting values.
+ */
+export interface Sort {
+    /**
+     * Selector of the field to sort.
+     */
+    selector: PropertySelector;
+    /**
+     * Order to sort the field.
+     */
+    order: SortOrder;
+}
+/**
+ * Options for picking items from an array of BasicNoteData.
+ */
+interface GetOptions {
+    /**
+     * Configurations for selecting items.
+     * Default: empty array.
+     */
+    selects?: Select[];
+    /**
+     * Configurations for sorting items.
+     * Default: empty array.
+     */
+    sorts?: Sort[];
+    /**
+     * The number of items to retrieve per query.
+     * Default: 0. No limit.
+     */
+    limit?: number;
+    /**
+     * The starting index for pagination.
+     * Default: 0.
+     */
+    offset?: number;
+}
+/**
+ * Data needed from to perform sort.
+ */
+interface ContainsNote {
+    /**
+     * The note.
+     */
+    note: Note;
+}
+/**
+ * Pick from a note array a number of notes that meet the criteria.
+ */
+export declare function pickNotes<T extends ContainsNote>(noteDatas: T[], { selects, sorts, limit, offset }: GetOptions): T[];
+export {};
+//# sourceMappingURL=pick_notes.d.ts.map

package/dest/contract_function_simulator/pick_notes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pick_notes.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/pick_notes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE3D,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,EAAE,CAAC;IACV;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;CACxB;AAED;;GAEG;AACH,oBAAY,SAAS;IACnB,IAAI,IAAI;IACR,IAAI,IAAI;IACR,GAAG,IAAI;CACR;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,SAAS,CAAC;CAClB;AAED;;GAEG;AACH,UAAU,UAAU;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;OAGG;IACH,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,UAAU,YAAY;IACpB;;OAEG;IACH,IAAI,EAAE,IAAI,CAAC;CACZ;AA8CD;;GAEG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,YAAY,EAC9C,SAAS,EAAE,CAAC,EAAE,EACd,EAAE,OAAY,EAAE,KAAU,EAAE,KAAS,EAAE,MAAU,EAAE,EAAE,UAAU,GAC9D,CAAC,EAAE,CAIL"}

package/dest/contract_function_simulator/pick_notes.js

@@ -0,0 +1,51 @@
+import { Fr } from '@aztec/foundation/fields';
+import { Comparator } from '@aztec/stdlib/note';
+/**
+ * The order to sort an array.
+ */ export var SortOrder = /*#__PURE__*/ function(SortOrder) {
+    SortOrder[SortOrder["NADA"] = 0] = "NADA";
+    SortOrder[SortOrder["DESC"] = 1] = "DESC";
+    SortOrder[SortOrder["ASC"] = 2] = "ASC";
+    return SortOrder;
+}({});
+const selectPropertyFromPackedNoteContent = (noteData, selector)=>{
+    const noteValueBuffer = noteData[selector.index].toBuffer();
+    const noteValue = noteValueBuffer.subarray(selector.offset, selector.offset + selector.length);
+    return Fr.fromBuffer(noteValue);
+};
+const selectNotes = (noteDatas, selects)=>noteDatas.filter((noteData)=>selects.every(({ selector, value, comparator })=>{
+            const noteValueFr = selectPropertyFromPackedNoteContent(noteData.note.items, selector);
+            const comparatorSelector = {
+                [Comparator.EQ]: ()=>noteValueFr.equals(value),
+                [Comparator.NEQ]: ()=>!noteValueFr.equals(value),
+                [Comparator.LT]: ()=>noteValueFr.lt(value),
+                [Comparator.LTE]: ()=>noteValueFr.lt(value) || noteValueFr.equals(value),
+                [Comparator.GT]: ()=>!noteValueFr.lt(value) && !noteValueFr.equals(value),
+                [Comparator.GTE]: ()=>!noteValueFr.lt(value)
+            };
+            return comparatorSelector[comparator]();
+        }));
+const sortNotes = (a, b, sorts, level = 0)=>{
+    if (sorts[level] === undefined) {
+        return 0;
+    }
+    const { selector, order } = sorts[level];
+    if (order === 0) {
+        return 0;
+    }
+    const aValue = selectPropertyFromPackedNoteContent(a, selector);
+    const bValue = selectPropertyFromPackedNoteContent(b, selector);
+    const dir = order === 1 ? [
+        -1,
+        1
+    ] : [
+        1,
+        -1
+    ];
+    return aValue.toBigInt() === bValue.toBigInt() ? sortNotes(a, b, sorts, level + 1) : aValue.toBigInt() > bValue.toBigInt() ? dir[0] : dir[1];
+};
+/**
+ * Pick from a note array a number of notes that meet the criteria.
+ */ export function pickNotes(noteDatas, { selects = [], sorts = [], limit = 0, offset = 0 }) {
+    return selectNotes(noteDatas, selects).sort((a, b)=>sortNotes(a.note.items, b.note.items, sorts)).slice(offset, limit ? offset + limit : undefined);
+}

package/dest/contract_function_simulator/proxied_node.d.ts

@@ -0,0 +1,9 @@
+import type { AztecNode } from '@aztec/stdlib/interfaces/client';
+import type { NodeStats } from '@aztec/stdlib/tx';
+export type ProxiedNode = AztecNode & {
+    getStats(): NodeStats;
+};
+export declare class ProxiedNodeFactory {
+    static create(node: AztecNode): ProxiedNode;
+}
+//# sourceMappingURL=proxied_node.d.ts.map

package/dest/contract_function_simulator/proxied_node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proxied_node.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/proxied_node.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAKlD,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IAAE,QAAQ,IAAI,SAAS,CAAA;CAAE,CAAC;AAEhE,qBAAa,kBAAkB;IAC7B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,GAoBrB,WAAW;CAEpB"}

package/dest/contract_function_simulator/proxied_node.js

@@ -0,0 +1,27 @@
+import { Timer } from '@aztec/foundation/timer';
+export class ProxiedNodeFactory {
+    static create(node) {
+        const stats = {};
+        return new Proxy(node, {
+            get (target, prop) {
+                if (prop === 'getStats') {
+                    return ()=>{
+                        return stats;
+                    };
+                } else {
+                    return async function(...args) {
+                        if (!stats[prop]) {
+                            stats[prop] = {
+                                times: []
+                            };
+                        }
+                        const timer = new Timer();
+                        const result = await target[prop].apply(target, args);
+                        stats[prop].times.push(timer.ms());
+                        return result;
+                    };
+                }
+            }
+        });
+    }
+}