@aztec/simulator 0.22.0

package/dest/client/simulator.js

@@ -0,0 +1,171 @@
+import { CallContext, FunctionData } from '@aztec/circuits.js';
+import { Grumpkin } from '@aztec/circuits.js/barretenberg';
+import { FunctionSelector, FunctionType, encodeArguments, } from '@aztec/foundation/abi';
+import { AztecAddress } from '@aztec/foundation/aztec-address';
+import { Fr } from '@aztec/foundation/fields';
+import { createDebugLogger } from '@aztec/foundation/log';
+import { createBlackBoxSolver } from '@noir-lang/acvm_js';
+import { createSimulationError } from '../common/errors.js';
+import { PackedArgsCache } from '../common/packed_args_cache.js';
+import { ClientExecutionContext } from './client_execution_context.js';
+import { ExecutionNoteCache } from './execution_note_cache.js';
+import { executePrivateFunction } from './private_execution.js';
+import { executeUnconstrainedFunction } from './unconstrained_execution.js';
+import { ViewDataOracle } from './view_data_oracle.js';
+/**
+ * The ACIR simulator.
+ */
+export class AcirSimulator {
+    constructor(db, node) {
+        this.db = db;
+        this.node = node;
+        this.log = createDebugLogger('aztec:simulator');
+    }
+    /**
+     * Gets or initializes the ACVM WasmBlackBoxFunctionSolver.
+     *
+     * @remarks
+     *
+     * Occurs only once across all instances of AcirSimulator.
+     * Speeds up execution by only performing setup tasks (like pedersen
+     * generator initialization) one time.
+     * TODO(https://github.com/AztecProtocol/aztec-packages/issues/1627):
+     * determine whether this requires a lock
+     *
+     * @returns ACVM WasmBlackBoxFunctionSolver
+     */
+    static getSolver() {
+        if (!this.solver) {
+            this.solver = createBlackBoxSolver();
+        }
+        return this.solver;
+    }
+    /**
+     * Runs a private function.
+     * @param request - The transaction request.
+     * @param entryPointArtifact - The artifact of the entry point function.
+     * @param contractAddress - The address of the contract (should match request.origin)
+     * @param portalContractAddress - The address of the portal contract.
+     * @param msgSender - The address calling the function. This can be replaced to simulate a call from another contract or a specific account.
+     * @returns The result of the execution.
+     */
+    async run(request, entryPointArtifact, contractAddress, portalContractAddress, msgSender = AztecAddress.ZERO) {
+        if (entryPointArtifact.functionType !== FunctionType.SECRET) {
+            throw new Error(`Cannot run ${entryPointArtifact.functionType} function as secret`);
+        }
+        if (request.origin !== contractAddress) {
+            this.log.warn(`Request origin does not match contract address in simulation. Request origin: ${request.origin}, contract address: ${contractAddress}`);
+        }
+        const curve = new Grumpkin();
+        const header = await this.db.getHeader();
+        const callContext = new CallContext(msgSender, contractAddress, portalContractAddress, FunctionSelector.fromNameAndParameters(entryPointArtifact.name, entryPointArtifact.parameters), false, false, request.functionData.isConstructor, 
+        // TODO: when contract deployment is done in-app, we should only reserve one counter for the tx hash
+        2);
+        const context = new ClientExecutionContext(contractAddress, request.argsHash, request.txContext, callContext, header, request.authWitnesses, PackedArgsCache.create(request.packedArguments), new ExecutionNoteCache(), this.db, curve, this.node);
+        try {
+            const executionResult = await executePrivateFunction(context, entryPointArtifact, contractAddress, request.functionData);
+            return executionResult;
+        }
+        catch (err) {
+            throw createSimulationError(err instanceof Error ? err : new Error('Unknown error during private execution'));
+        }
+    }
+    /**
+     * Runs an unconstrained function.
+     * @param request - The transaction request.
+     * @param entryPointArtifact - The artifact of the entry point function.
+     * @param contractAddress - The address of the contract.
+     * @param aztecNode - The AztecNode instance.
+     */
+    async runUnconstrained(request, entryPointArtifact, contractAddress) {
+        if (entryPointArtifact.functionType !== FunctionType.UNCONSTRAINED) {
+            throw new Error(`Cannot run ${entryPointArtifact.functionType} function as constrained`);
+        }
+        const context = new ViewDataOracle(contractAddress, [], this.db, this.node);
+        try {
+            return await executeUnconstrainedFunction(context, entryPointArtifact, contractAddress, request.functionData, request.args);
+        }
+        catch (err) {
+            throw createSimulationError(err instanceof Error ? err : new Error('Unknown error during private execution'));
+        }
+    }
+    /**
+     * Computes the inner nullifier of a note.
+     * @param contractAddress - The address of the contract.
+     * @param nonce - The nonce of the note hash.
+     * @param storageSlot - The storage slot.
+     * @param note - The note.
+     * @returns The nullifier.
+     */
+    async computeNoteHashAndNullifier(contractAddress, nonce, storageSlot, note) {
+        const artifact = await this.db.getFunctionArtifactByName(contractAddress, 'compute_note_hash_and_nullifier');
+        if (!artifact) {
+            throw new Error(`Mandatory implementation of "compute_note_hash_and_nullifier" missing in noir contract ${contractAddress.toString()}.`);
+        }
+        const maxNoteFields = artifact.parameters[artifact.parameters.length - 1].type.length;
+        if (maxNoteFields < note.items.length) {
+            throw new Error(`The note being processed has ${note.items.length} fields, while "compute_note_hash_and_nullifier" can only handle a maximum of ${maxNoteFields} fields. Please consider increasing the allowed field size to accommodate all notes generated from the contract.`);
+        }
+        const extendedNoteItems = note.items.concat(Array(maxNoteFields - note.items.length).fill(Fr.ZERO));
+        const execRequest = {
+            to: contractAddress,
+            functionData: FunctionData.empty(),
+            args: encodeArguments(artifact, [contractAddress, nonce, storageSlot, extendedNoteItems]),
+        };
+        const [innerNoteHash, siloedNoteHash, uniqueSiloedNoteHash, innerNullifier] = (await this.runUnconstrained(execRequest, artifact, contractAddress));
+        return {
+            innerNoteHash: new Fr(innerNoteHash),
+            siloedNoteHash: new Fr(siloedNoteHash),
+            uniqueSiloedNoteHash: new Fr(uniqueSiloedNoteHash),
+            innerNullifier: new Fr(innerNullifier),
+        };
+    }
+    /**
+     * Computes the inner note hash of a note, which contains storage slot and the custom note hash.
+     * @param contractAddress - The address of the contract.
+     * @param storageSlot - The storage slot.
+     * @param note - The note.
+     * @returns The note hash.
+     */
+    async computeInnerNoteHash(contractAddress, storageSlot, note) {
+        const { innerNoteHash } = await this.computeNoteHashAndNullifier(contractAddress, Fr.ZERO, storageSlot, note);
+        return innerNoteHash;
+    }
+    /**
+     * Computes the unique note hash of a note.
+     * @param contractAddress - The address of the contract.
+     * @param nonce - The nonce of the note hash.
+     * @param storageSlot - The storage slot.
+     * @param note - The note.
+     * @returns The note hash.
+     */
+    async computeUniqueSiloedNoteHash(contractAddress, nonce, storageSlot, note) {
+        const { uniqueSiloedNoteHash } = await this.computeNoteHashAndNullifier(contractAddress, nonce, storageSlot, note);
+        return uniqueSiloedNoteHash;
+    }
+    /**
+     * Computes the siloed note hash of a note.
+     * @param contractAddress - The address of the contract.
+     * @param nonce - The nonce of the note hash.
+     * @param storageSlot - The storage slot.
+     * @param note - The note.
+     * @returns The note hash.
+     */
+    async computeSiloedNoteHash(contractAddress, nonce, storageSlot, note) {
+        const { siloedNoteHash } = await this.computeNoteHashAndNullifier(contractAddress, nonce, storageSlot, note);
+        return siloedNoteHash;
+    }
+    /**
+     * Computes the inner note hash of a note, which contains storage slot and the custom note hash.
+     * @param contractAddress - The address of the contract.
+     * @param nonce - The nonce of the unique note hash.
+     * @param storageSlot - The storage slot.
+     * @param note - The note.
+     * @returns The note hash.
+     */
+    async computeInnerNullifier(contractAddress, nonce, storageSlot, note) {
+        const { innerNullifier } = await this.computeNoteHashAndNullifier(contractAddress, nonce, storageSlot, note);
+        return innerNullifier;
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2ltdWxhdG9yLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NsaWVudC9zaW11bGF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLFdBQVcsRUFBRSxZQUFZLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUMvRCxPQUFPLEVBQUUsUUFBUSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDM0QsT0FBTyxFQUdMLGdCQUFnQixFQUNoQixZQUFZLEVBQ1osZUFBZSxHQUNoQixNQUFNLHVCQUF1QixDQUFDO0FBQy9CLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUUvRCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDOUMsT0FBTyxFQUFlLGlCQUFpQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFdkUsT0FBTyxFQUE4QixvQkFBb0IsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXRGLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQzVELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNqRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUV2RSxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUUvRCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNoRSxPQUFPLEVBQUUsNEJBQTRCLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUM1RSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFdkQ7O0dBRUc7QUFDSCxNQUFNLE9BQU8sYUFBYTtJQUl4QixZQUFvQixFQUFZLEVBQVUsSUFBZTtRQUFyQyxPQUFFLEdBQUYsRUFBRSxDQUFVO1FBQVUsU0FBSSxHQUFKLElBQUksQ0FBVztRQUN2RCxJQUFJLENBQUMsR0FBRyxHQUFHLGlCQUFpQixDQUFDLGlCQUFpQixDQUFDLENBQUM7SUFDbEQsQ0FBQztJQUVEOzs7Ozs7Ozs7Ozs7T0FZRztJQUNJLE1BQU0sQ0FBQyxTQUFTO1FBQ3JCLElBQUksQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLENBQUM7WUFDakIsSUFBSSxDQUFDLE1BQU0sR0FBRyxvQkFBb0IsRUFBRSxDQUFDO1FBQ3ZDLENBQUM7UUFDRCxPQUFPLElBQUksQ0FBQyxNQUFNLENBQUM7SUFDckIsQ0FBQztJQUVEOzs7Ozs7OztPQVFHO0lBQ0ksS0FBSyxDQUFDLEdBQUcsQ0FDZCxPQUEyQixFQUMzQixrQkFBcUQsRUFDckQsZUFBNkIsRUFDN0IscUJBQWlDLEVBQ2pDLFNBQVMsR0FBRyxZQUFZLENBQUMsSUFBSTtRQUU3QixJQUFJLGtCQUFrQixDQUFDLFlBQVksS0FBSyxZQUFZLENBQUMsTUFBTSxFQUFFLENBQUM7WUFDNUQsTUFBTSxJQUFJLEtBQUssQ0FBQyxjQUFjLGtCQUFrQixDQUFDLFlBQVkscUJBQXFCLENBQUMsQ0FBQztRQUN0RixDQUFDO1FBRUQsSUFBSSxPQUFPLENBQUMsTUFBTSxLQUFLLGVBQWUsRUFBRSxDQUFDO1lBQ3ZDLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUNYLGlGQUFpRixPQUFPLENBQUMsTUFBTSx1QkFBdUIsZUFBZSxFQUFFLENBQ3hJLENBQUM7UUFDSixDQUFDO1FBRUQsTUFBTSxLQUFLLEdBQUcsSUFBSSxRQUFRLEVBQUUsQ0FBQztRQUU3QixNQUFNLE1BQU0sR0FBRyxNQUFNLElBQUksQ0FBQyxFQUFFLENBQUMsU0FBUyxFQUFFLENBQUM7UUFDekMsTUFBTSxXQUFXLEdBQUcsSUFBSSxXQUFXLENBQ2pDLFNBQVMsRUFDVCxlQUFlLEVBQ2YscUJBQXFCLEVBQ3JCLGdCQUFnQixDQUFDLHFCQUFxQixDQUFDLGtCQUFrQixDQUFDLElBQUksRUFBRSxrQkFBa0IsQ0FBQyxVQUFVLENBQUMsRUFDOUYsS0FBSyxFQUNMLEtBQUssRUFDTCxPQUFPLENBQUMsWUFBWSxDQUFDLGFBQWE7UUFDbEMsb0dBQW9HO1FBQ3BHLENBQUMsQ0FDRixDQUFDO1FBQ0YsTUFBTSxPQUFPLEdBQUcsSUFBSSxzQkFBc0IsQ0FDeEMsZUFBZSxFQUNmLE9BQU8sQ0FBQyxRQUFRLEVBQ2hCLE9BQU8sQ0FBQyxTQUFTLEVBQ2pCLFdBQVcsRUFDWCxNQUFNLEVBQ04sT0FBTyxDQUFDLGFBQWEsRUFDckIsZUFBZSxDQUFDLE1BQU0sQ0FBQyxPQUFPLENBQUMsZUFBZSxDQUFDLEVBQy9DLElBQUksa0JBQWtCLEVBQUUsRUFDeEIsSUFBSSxDQUFDLEVBQUUsRUFDUCxLQUFLLEVBQ0wsSUFBSSxDQUFDLElBQUksQ0FDVixDQUFDO1FBRUYsSUFBSSxDQUFDO1lBQ0gsTUFBTSxlQUFlLEdBQUcsTUFBTSxzQkFBc0IsQ0FDbEQsT0FBTyxFQUNQLGtCQUFrQixFQUNsQixlQUFlLEVBQ2YsT0FBTyxDQUFDLFlBQVksQ0FDckIsQ0FBQztZQUNGLE9BQU8sZUFBZSxDQUFDO1FBQ3pCLENBQUM7UUFBQyxPQUFPLEdBQUcsRUFBRSxDQUFDO1lBQ2IsTUFBTSxxQkFBcUIsQ0FBQyxHQUFHLFlBQVksS0FBSyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLElBQUksS0FBSyxDQUFDLHdDQUF3QyxDQUFDLENBQUMsQ0FBQztRQUNoSCxDQUFDO0lBQ0gsQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNJLEtBQUssQ0FBQyxnQkFBZ0IsQ0FDM0IsT0FBcUIsRUFDckIsa0JBQXFELEVBQ3JELGVBQTZCO1FBRTdCLElBQUksa0JBQWtCLENBQUMsWUFBWSxLQUFLLFlBQVksQ0FBQyxhQUFhLEVBQUUsQ0FBQztZQUNuRSxNQUFNLElBQUksS0FBSyxDQUFDLGNBQWMsa0JBQWtCLENBQUMsWUFBWSwwQkFBMEIsQ0FBQyxDQUFDO1FBQzNGLENBQUM7UUFFRCxNQUFNLE9BQU8sR0FBRyxJQUFJLGNBQWMsQ0FBQyxlQUFlLEVBQUUsRUFBRSxFQUFFLElBQUksQ0FBQyxFQUFFLEVBQUUsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFDO1FBRTVFLElBQUksQ0FBQztZQUNILE9BQU8sTUFBTSw0QkFBNEIsQ0FDdkMsT0FBTyxFQUNQLGtCQUFrQixFQUNsQixlQUFlLEVBQ2YsT0FBTyxDQUFDLFlBQVksRUFDcEIsT0FBTyxDQUFDLElBQUksQ0FDYixDQUFDO1FBQ0osQ0FBQztRQUFDLE9BQU8sR0FBRyxFQUFFLENBQUM7WUFDYixNQUFNLHFCQUFxQixDQUFDLEdBQUcsWUFBWSxLQUFLLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsSUFBSSxLQUFLLENBQUMsd0NBQXdDLENBQUMsQ0FBQyxDQUFDO1FBQ2hILENBQUM7SUFDSCxDQUFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNJLEtBQUssQ0FBQywyQkFBMkIsQ0FBQyxlQUE2QixFQUFFLEtBQVMsRUFBRSxXQUFlLEVBQUUsSUFBVTtRQUM1RyxNQUFNLFFBQVEsR0FBa0QsTUFBTSxJQUFJLENBQUMsRUFBRSxDQUFDLHlCQUF5QixDQUNyRyxlQUFlLEVBQ2YsaUNBQWlDLENBQ2xDLENBQUM7UUFDRixJQUFJLENBQUMsUUFBUSxFQUFFLENBQUM7WUFDZCxNQUFNLElBQUksS0FBSyxDQUNiLDBGQUEwRixlQUFlLENBQUMsUUFBUSxFQUFFLEdBQUcsQ0FDeEgsQ0FBQztRQUNKLENBQUM7UUFFRCxNQUFNLGFBQWEsR0FBSSxRQUFRLENBQUMsVUFBVSxDQUFDLFFBQVEsQ0FBQyxVQUFVLENBQUMsTUFBTSxHQUFHLENBQUMsQ0FBQyxDQUFDLElBQWtCLENBQUMsTUFBTSxDQUFDO1FBQ3JHLElBQUksYUFBYSxHQUFHLElBQUksQ0FBQyxLQUFLLENBQUMsTUFBTSxFQUFFLENBQUM7WUFDdEMsTUFBTSxJQUFJLEtBQUssQ0FDYixnQ0FBZ0MsSUFBSSxDQUFDLEtBQUssQ0FBQyxNQUFNLGlGQUFpRixhQUFhLGtIQUFrSCxDQUNsUSxDQUFDO1FBQ0osQ0FBQztRQUVELE1BQU0saUJBQWlCLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLGFBQWEsR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQztRQUVwRyxNQUFNLFdBQVcsR0FBaUI7WUFDaEMsRUFBRSxFQUFFLGVBQWU7WUFDbkIsWUFBWSxFQUFFLFlBQVksQ0FBQyxLQUFLLEVBQUU7WUFDbEMsSUFBSSxFQUFFLGVBQWUsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxlQUFlLEVBQUUsS0FBSyxFQUFFLFdBQVcsRUFBRSxpQkFBaUIsQ0FBQyxDQUFDO1NBQzFGLENBQUM7UUFFRixNQUFNLENBQUMsYUFBYSxFQUFFLGNBQWMsRUFBRSxvQkFBb0IsRUFBRSxjQUFjLENBQUMsR0FBRyxDQUFDLE1BQU0sSUFBSSxDQUFDLGdCQUFnQixDQUN4RyxXQUFXLEVBQ1gsUUFBUSxFQUNSLGVBQWUsQ0FDaEIsQ0FBYSxDQUFDO1FBRWYsT0FBTztZQUNMLGFBQWEsRUFBRSxJQUFJLEVBQUUsQ0FBQyxhQUFhLENBQUM7WUFDcEMsY0FBYyxFQUFFLElBQUksRUFBRSxDQUFDLGNBQWMsQ0FBQztZQUN0QyxvQkFBb0IsRUFBRSxJQUFJLEVBQUUsQ0FBQyxvQkFBb0IsQ0FBQztZQUNsRCxjQUFjLEVBQUUsSUFBSSxFQUFFLENBQUMsY0FBYyxDQUFDO1NBQ3ZDLENBQUM7SUFDSixDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksS0FBSyxDQUFDLG9CQUFvQixDQUFDLGVBQTZCLEVBQUUsV0FBZSxFQUFFLElBQVU7UUFDMUYsTUFBTSxFQUFFLGFBQWEsRUFBRSxHQUFHLE1BQU0sSUFBSSxDQUFDLDJCQUEyQixDQUFDLGVBQWUsRUFBRSxFQUFFLENBQUMsSUFBSSxFQUFFLFdBQVcsRUFBRSxJQUFJLENBQUMsQ0FBQztRQUM5RyxPQUFPLGFBQWEsQ0FBQztJQUN2QixDQUFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNJLEtBQUssQ0FBQywyQkFBMkIsQ0FBQyxlQUE2QixFQUFFLEtBQVMsRUFBRSxXQUFlLEVBQUUsSUFBVTtRQUM1RyxNQUFNLEVBQUUsb0JBQW9CLEVBQUUsR0FBRyxNQUFNLElBQUksQ0FBQywyQkFBMkIsQ0FBQyxlQUFlLEVBQUUsS0FBSyxFQUFFLFdBQVcsRUFBRSxJQUFJLENBQUMsQ0FBQztRQUNuSCxPQUFPLG9CQUFvQixDQUFDO0lBQzlCLENBQUM7SUFFRDs7Ozs7OztPQU9HO0lBQ0ksS0FBSyxDQUFDLHFCQUFxQixDQUFDLGVBQTZCLEVBQUUsS0FBUyxFQUFFLFdBQWUsRUFBRSxJQUFVO1FBQ3RHLE1BQU0sRUFBRSxjQUFjLEVBQUUsR0FBRyxNQUFNLElBQUksQ0FBQywyQkFBMkIsQ0FBQyxlQUFlLEVBQUUsS0FBSyxFQUFFLFdBQVcsRUFBRSxJQUFJLENBQUMsQ0FBQztRQUM3RyxPQUFPLGNBQWMsQ0FBQztJQUN4QixDQUFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNJLEtBQUssQ0FBQyxxQkFBcUIsQ0FBQyxlQUE2QixFQUFFLEtBQVMsRUFBRSxXQUFlLEVBQUUsSUFBVTtRQUN0RyxNQUFNLEVBQUUsY0FBYyxFQUFFLEdBQUcsTUFBTSxJQUFJLENBQUMsMkJBQTJCLENBQUMsZUFBZSxFQUFFLEtBQUssRUFBRSxXQUFXLEVBQUUsSUFBSSxDQUFDLENBQUM7UUFDN0csT0FBTyxjQUFjLENBQUM7SUFDeEIsQ0FBQztDQUNGIn0=

package/dest/client/unconstrained_execution.d.ts

@@ -0,0 +1,10 @@
+import { FunctionData } from '@aztec/circuits.js';
+import { DecodedReturn, FunctionArtifactWithDebugMetadata } from '@aztec/foundation/abi';
+import { AztecAddress } from '@aztec/foundation/aztec-address';
+import { Fr } from '@aztec/foundation/fields';
+import { ViewDataOracle } from './view_data_oracle.js';
+/**
+ * Execute an unconstrained function and return the decoded values.
+ */
+export declare function executeUnconstrainedFunction(oracle: ViewDataOracle, artifact: FunctionArtifactWithDebugMetadata, contractAddress: AztecAddress, functionData: FunctionData, args: Fr[], log?: import("@aztec/foundation/log").DebugLogger): Promise<DecodedReturn>;
+//# sourceMappingURL=unconstrained_execution.d.ts.map

package/dest/client/unconstrained_execution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unconstrained_execution.d.ts","sourceRoot":"","sources":["../../src/client/unconstrained_execution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,iCAAiC,EAAsB,MAAM,uBAAuB,CAAC;AAC7G,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAO9C,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGvD;;GAEG;AACH,wBAAsB,4BAA4B,CAChD,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,iCAAiC,EAC3C,eAAe,EAAE,YAAY,EAC7B,YAAY,EAAE,YAAY,EAC1B,IAAI,EAAE,EAAE,EAAE,EACV,GAAG,8CAA+D,GACjE,OAAO,CAAC,aAAa,CAAC,CAwBxB"}

package/dest/client/unconstrained_execution.js

@@ -0,0 +1,25 @@
+import { decodeReturnValues } from '@aztec/foundation/abi';
+import { createDebugLogger } from '@aztec/foundation/log';
+import { extractReturnWitness } from '../acvm/deserialize.js';
+import { Oracle, acvm, extractCallStack, toACVMWitness } from '../acvm/index.js';
+import { ExecutionError } from '../common/errors.js';
+import { AcirSimulator } from '../index.js';
+// docs:start:execute_unconstrained_function
+/**
+ * Execute an unconstrained function and return the decoded values.
+ */
+export async function executeUnconstrainedFunction(oracle, artifact, contractAddress, functionData, args, log = createDebugLogger('aztec:simulator:unconstrained_execution')) {
+    const functionSelector = functionData.selector;
+    log(`Executing unconstrained function ${contractAddress}:${functionSelector}`);
+    const acir = Buffer.from(artifact.bytecode, 'base64');
+    const initialWitness = toACVMWitness(0, args);
+    const { partialWitness } = await acvm(await AcirSimulator.getSolver(), acir, initialWitness, new Oracle(oracle)).catch((err) => {
+        throw new ExecutionError(err.message, {
+            contractAddress,
+            functionSelector,
+        }, extractCallStack(err, artifact.debug), { cause: err });
+    });
+    return decodeReturnValues(artifact, extractReturnWitness(acir, partialWitness));
+}
+// docs:end:execute_unconstrained_function
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidW5jb25zdHJhaW5lZF9leGVjdXRpb24uanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2xpZW50L3VuY29uc3RyYWluZWRfZXhlY3V0aW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBb0Qsa0JBQWtCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUc3RyxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUUxRCxPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUM5RCxPQUFPLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxnQkFBZ0IsRUFBRSxhQUFhLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUNqRixPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDckQsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUc1Qyw0Q0FBNEM7QUFDNUM7O0dBRUc7QUFDSCxNQUFNLENBQUMsS0FBSyxVQUFVLDRCQUE0QixDQUNoRCxNQUFzQixFQUN0QixRQUEyQyxFQUMzQyxlQUE2QixFQUM3QixZQUEwQixFQUMxQixJQUFVLEVBQ1YsR0FBRyxHQUFHLGlCQUFpQixDQUFDLHlDQUF5QyxDQUFDO0lBRWxFLE1BQU0sZ0JBQWdCLEdBQUcsWUFBWSxDQUFDLFFBQVEsQ0FBQztJQUMvQyxHQUFHLENBQUMsb0NBQW9DLGVBQWUsSUFBSSxnQkFBZ0IsRUFBRSxDQUFDLENBQUM7SUFFL0UsTUFBTSxJQUFJLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyxRQUFRLENBQUMsUUFBUSxFQUFFLFFBQVEsQ0FBQyxDQUFDO0lBQ3RELE1BQU0sY0FBYyxHQUFHLGFBQWEsQ0FBQyxDQUFDLEVBQUUsSUFBSSxDQUFDLENBQUM7SUFDOUMsTUFBTSxFQUFFLGNBQWMsRUFBRSxHQUFHLE1BQU0sSUFBSSxDQUNuQyxNQUFNLGFBQWEsQ0FBQyxTQUFTLEVBQUUsRUFDL0IsSUFBSSxFQUNKLGNBQWMsRUFDZCxJQUFJLE1BQU0sQ0FBQyxNQUFNLENBQUMsQ0FDbkIsQ0FBQyxLQUFLLENBQUMsQ0FBQyxHQUFVLEVBQUUsRUFBRTtRQUNyQixNQUFNLElBQUksY0FBYyxDQUN0QixHQUFHLENBQUMsT0FBTyxFQUNYO1lBQ0UsZUFBZTtZQUNmLGdCQUFnQjtTQUNqQixFQUNELGdCQUFnQixDQUFDLEdBQUcsRUFBRSxRQUFRLENBQUMsS0FBSyxDQUFDLEVBQ3JDLEVBQUUsS0FBSyxFQUFFLEdBQUcsRUFBRSxDQUNmLENBQUM7SUFDSixDQUFDLENBQUMsQ0FBQztJQUVILE9BQU8sa0JBQWtCLENBQUMsUUFBUSxFQUFFLG9CQUFvQixDQUFDLElBQUksRUFBRSxjQUFjLENBQUMsQ0FBQyxDQUFDO0FBQ2xGLENBQUM7QUFDRCwwQ0FBMEMifQ==

package/dest/client/view_data_oracle.d.ts

@@ -0,0 +1,139 @@
+import { AuthWitness, AztecNode, CompleteAddress, MerkleTreeId, NoteStatus, NullifierMembershipWitness, PublicDataWitness } from '@aztec/circuit-types';
+import { Header } from '@aztec/circuits.js';
+import { AztecAddress } from '@aztec/foundation/aztec-address';
+import { Fr } from '@aztec/foundation/fields';
+import { NoteData, TypedOracle } from '../acvm/index.js';
+import { DBOracle } from './db_oracle.js';
+/**
+ * The execution context for a client view tx simulation.
+ * It only reads data from data sources. Nothing will be updated or created during this simulation.
+ */
+export declare class ViewDataOracle extends TypedOracle {
+    protected readonly contractAddress: AztecAddress;
+    /** List of transient auth witnesses to be used during this simulation */
+    protected readonly authWitnesses: AuthWitness[];
+    protected readonly db: DBOracle;
+    protected readonly aztecNode: AztecNode;
+    protected log: import("@aztec/foundation/log").DebugLogger;
+    constructor(contractAddress: AztecAddress, 
+    /** List of transient auth witnesses to be used during this simulation */
+    authWitnesses: AuthWitness[], db: DBOracle, aztecNode: AztecNode, log?: import("@aztec/foundation/log").DebugLogger);
+    /**
+     * Return the nullifier key pair of an account to use in a specific contract.
+     * @param account - The account address of the nullifier key.
+     */
+    getNullifierKeyPair(account: AztecAddress): Promise<import("../acvm/index.js").KeyPair>;
+    /**
+     * 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[]>;
+    /**
+     * Fetches a sibling path at a given block and index from a tree specified by `treeId`.
+     * @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 leafIndex - Index of the leaf to get sibling path for
+     * @returns The sibling path.
+     */
+    getSiblingPath(blockNumber: number, treeId: MerkleTreeId, leafIndex: 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
+     */
+    getPublicDataTreeWitness(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`.
+     */
+    getHeader(blockNumber: number): Promise<Header | undefined>;
+    /**
+     * Retrieve the complete address associated to a given address.
+     * @param address - Address to fetch the complete address for.
+     * @returns A complete address associated with the input address.
+     */
+    getCompleteAddress(address: AztecAddress): Promise<CompleteAddress>;
+    /**
+     * 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>;
+    /**
+     * Pops a capsule from the capsule dispenser
+     * @returns The capsule values
+     * @remarks A capsule is a "blob" of data that is passed to the contract through an oracle.
+     */
+    popCapsule(): Promise<Fr[]>;
+    /**
+     * 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, selectBy: number[], selectValues: Fr[], selectComparators: number[], sortBy: 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 the a message from the db, given its key.
+     * @param msgKey - A buffer representing the message key.
+     * @returns The l1 to l2 message data
+     */
+    getL1ToL2Message(msgKey: Fr): Promise<import("../acvm/index.js").MessageLoadOracleInputs<16>>;
+    /**
+     * Retrieves the portal contract address associated with the given contract address.
+     * Throws an error if the input contract address is not found or invalid.
+     * @param contractAddress - The address of the contract whose portal address is to be fetched.
+     * @returns The portal contract address.
+     */
+    getPortalContractAddress(contractAddress: AztecAddress): Promise<import("@aztec/circuits.js").EthAddress>;
+    /**
+     * Read the public storage data.
+     * @param startStorageSlot - The starting storage slot.
+     * @param numberOfElements - Number of elements to read from the starting storage slot.
+     */
+    storageRead(startStorageSlot: Fr, numberOfElements: number): Promise<Fr[]>;
+}
+//# sourceMappingURL=view_data_oracle.d.ts.map

package/dest/client/view_data_oracle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view_data_oracle.d.ts","sourceRoot":"","sources":["../../src/client/view_data_oracle.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,SAAS,EACT,eAAe,EACf,YAAY,EACZ,UAAU,EACV,0BAA0B,EAC1B,iBAAiB,EAClB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE5C,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG1C;;;GAGG;AACH,qBAAa,cAAe,SAAQ,WAAW;IAE3C,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACzE,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,EAAE;IAC/C,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ;IAC/B,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS;IACvC,SAAS,CAAC,GAAG;gBALM,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACtD,aAAa,EAAE,WAAW,EAAE,EAC5B,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,SAAS,EAC7B,GAAG,8CAA2D;IAK1E;;;OAGG;IACI,mBAAmB,CAAC,OAAO,EAAE,YAAY;IAIhD;;;;;;OAMG;IACU,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAS1G;;;;;;OAMG;IACI,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAI9F;;;;;OAKG;IACU,6BAA6B,CACxC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;;;;OAQG;IACU,gCAAgC,CAC3C,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;OAKG;IACU,wBAAwB,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC;IAIhH;;;;OAIG;IACU,SAAS,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;IAQxE;;;;OAIG;IACI,kBAAkB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC;IAI1E;;;;;OAKG;IACI,cAAc,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;IAMjE;;;;OAIG;IACI,UAAU,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;IAIlC;;;;;;;;;;;;;;;;;;;;OAoBG;IACU,QAAQ,CACnB,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAAE,EAClB,YAAY,EAAE,EAAE,EAAE,EAClB,iBAAiB,EAAE,MAAM,EAAE,EAC3B,MAAM,EAAE,MAAM,EAAE,EAChB,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,QAAQ,EAAE,CAAC;IAYtB;;;;OAIG;IACU,oBAAoB,CAAC,cAAc,EAAE,EAAE;IAMpD;;;;OAIG;IACU,gBAAgB,CAAC,MAAM,EAAE,EAAE;IAIxC;;;;;OAKG;IACI,wBAAwB,CAAC,eAAe,EAAE,YAAY;IAI7D;;;;OAIG;IACU,WAAW,CAAC,gBAAgB,EAAE,EAAE,EAAE,gBAAgB,EAAE,MAAM;CAWxE"}

package/dest/client/view_data_oracle.js

@@ -0,0 +1,196 @@
+import { MerkleTreeId, } from '@aztec/circuit-types';
+import { siloNullifier } from '@aztec/circuits.js/abis';
+import { Fr } from '@aztec/foundation/fields';
+import { createDebugLogger } from '@aztec/foundation/log';
+import { TypedOracle } from '../acvm/index.js';
+import { pickNotes } from './pick_notes.js';
+/**
+ * The execution context for a client view tx simulation.
+ * It only reads data from data sources. Nothing will be updated or created during this simulation.
+ */
+export class ViewDataOracle extends TypedOracle {
+    constructor(contractAddress, 
+    /** List of transient auth witnesses to be used during this simulation */
+    authWitnesses, db, aztecNode, log = createDebugLogger('aztec:simulator:client_view_context')) {
+        super();
+        this.contractAddress = contractAddress;
+        this.authWitnesses = authWitnesses;
+        this.db = db;
+        this.aztecNode = aztecNode;
+        this.log = log;
+    }
+    /**
+     * Return the nullifier key pair of an account to use in a specific contract.
+     * @param account - The account address of the nullifier key.
+     */
+    getNullifierKeyPair(account) {
+        return this.db.getNullifierKeyPair(account, 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]
+     */
+    async getMembershipWitness(blockNumber, treeId, leafValue) {
+        const index = await this.db.findLeafIndex(blockNumber, treeId, leafValue);
+        if (!index) {
+            throw new Error(`Leaf value: ${leafValue} not found in ${MerkleTreeId[treeId]}`);
+        }
+        const siblingPath = await this.db.getSiblingPath(blockNumber, treeId, index);
+        return [new Fr(index), ...siblingPath];
+    }
+    /**
+     * Fetches a sibling path at a given block and index from a tree specified by `treeId`.
+     * @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 leafIndex - Index of the leaf to get sibling path for
+     * @returns The sibling path.
+     */
+    getSiblingPath(blockNumber, treeId, leafIndex) {
+        return this.db.getSiblingPath(blockNumber, treeId, leafIndex.toBigInt());
+    }
+    /**
+     * 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.db.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.db.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 getPublicDataTreeWitness(blockNumber, leafSlot) {
+        return await this.db.getPublicDataTreeWitness(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 getHeader(blockNumber) {
+        const block = await this.db.getBlock(blockNumber);
+        if (!block) {
+            return undefined;
+        }
+        return block.header;
+    }
+    /**
+     * Retrieve the complete address associated to a given address.
+     * @param address - Address to fetch the complete address for.
+     * @returns A complete address associated with the input address.
+     */
+    getCompleteAddress(address) {
+        return this.db.getCompleteAddress(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 ?? this.db.getAuthWitness(messageHash));
+    }
+    /**
+     * Pops a capsule from the capsule dispenser
+     * @returns The capsule values
+     * @remarks A capsule is a "blob" of data that is passed to the contract through an oracle.
+     */
+    popCapsule() {
+        return this.db.popCapsule();
+    }
+    /**
+     * 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, selectBy, selectValues, selectComparators, sortBy, sortOrder, limit, offset, status) {
+        const dbNotes = await this.db.getNotes(this.contractAddress, storageSlot, status);
+        return pickNotes(dbNotes, {
+            selects: selectBy
+                .slice(0, numSelects)
+                .map((index, i) => ({ index, value: selectValues[i], comparator: selectComparators[i] })),
+            sorts: sortBy.map((index, i) => ({ index, 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 = siloNullifier(this.contractAddress, innerNullifier);
+        const index = await this.db.getNullifierIndex(nullifier);
+        return index !== undefined;
+    }
+    /**
+     * Fetches the a message from the db, given its key.
+     * @param msgKey - A buffer representing the message key.
+     * @returns The l1 to l2 message data
+     */
+    async getL1ToL2Message(msgKey) {
+        return await this.db.getL1ToL2Message(msgKey);
+    }
+    /**
+     * Retrieves the portal contract address associated with the given contract address.
+     * Throws an error if the input contract address is not found or invalid.
+     * @param contractAddress - The address of the contract whose portal address is to be fetched.
+     * @returns The portal contract address.
+     */
+    getPortalContractAddress(contractAddress) {
+        return this.db.getPortalContractAddress(contractAddress);
+    }
+    /**
+     * Read the public storage data.
+     * @param startStorageSlot - The starting storage slot.
+     * @param numberOfElements - Number of elements to read from the starting storage slot.
+     */
+    async storageRead(startStorageSlot, numberOfElements) {
+        const values = [];
+        for (let i = 0n; i < numberOfElements; i++) {
+            const storageSlot = new Fr(startStorageSlot.value + i);
+            const value = await this.aztecNode.getPublicStorageAt(this.contractAddress, storageSlot);
+            this.log(`Oracle storage read: slot=${storageSlot.toString()} value=${value}`);
+            values.push(value);
+        }
+        return values;
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmlld19kYXRhX29yYWNsZS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jbGllbnQvdmlld19kYXRhX29yYWNsZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBSUwsWUFBWSxHQUliLE1BQU0sc0JBQXNCLENBQUM7QUFFOUIsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM5QyxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUUxRCxPQUFPLEVBQVksV0FBVyxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFekQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTVDOzs7R0FHRztBQUNILE1BQU0sT0FBTyxjQUFlLFNBQVEsV0FBVztJQUM3QyxZQUNxQixlQUE2QjtJQUNoRCx5RUFBeUU7SUFDdEQsYUFBNEIsRUFDNUIsRUFBWSxFQUNaLFNBQW9CLEVBQzdCLE1BQU0saUJBQWlCLENBQUMscUNBQXFDLENBQUM7UUFFeEUsS0FBSyxFQUFFLENBQUM7UUFQVyxvQkFBZSxHQUFmLGVBQWUsQ0FBYztRQUU3QixrQkFBYSxHQUFiLGFBQWEsQ0FBZTtRQUM1QixPQUFFLEdBQUYsRUFBRSxDQUFVO1FBQ1osY0FBUyxHQUFULFNBQVMsQ0FBVztRQUM3QixRQUFHLEdBQUgsR0FBRyxDQUEyRDtJQUcxRSxDQUFDO0lBRUQ7OztPQUdHO0lBQ0ksbUJBQW1CLENBQUMsT0FBcUI7UUFDOUMsT0FBTyxJQUFJLENBQUMsRUFBRSxDQUFDLG1CQUFtQixDQUFDLE9BQU8sRUFBRSxJQUFJLENBQUMsZUFBZSxDQUFDLENBQUM7SUFDcEUsQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNJLEtBQUssQ0FBQyxvQkFBb0IsQ0FBQyxXQUFtQixFQUFFLE1BQW9CLEVBQUUsU0FBYTtRQUN4RixNQUFNLEtBQUssR0FBRyxNQUFNLElBQUksQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDLFdBQVcsRUFBRSxNQUFNLEVBQUUsU0FBUyxDQUFDLENBQUM7UUFDMUUsSUFBSSxDQUFDLEtBQUssRUFBRSxDQUFDO1lBQ1gsTUFBTSxJQUFJLEtBQUssQ0FBQyxlQUFlLFNBQVMsaUJBQWlCLFlBQVksQ0FBQyxNQUFNLENBQUMsRUFBRSxDQUFDLENBQUM7UUFDbkYsQ0FBQztRQUNELE1BQU0sV0FBVyxHQUFHLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxjQUFjLENBQUMsV0FBVyxFQUFFLE1BQU0sRUFBRSxLQUFLLENBQUMsQ0FBQztRQUM3RSxPQUFPLENBQUMsSUFBSSxFQUFFLENBQUMsS0FBSyxDQUFDLEVBQUUsR0FBRyxXQUFXLENBQUMsQ0FBQztJQUN6QyxDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksY0FBYyxDQUFDLFdBQW1CLEVBQUUsTUFBb0IsRUFBRSxTQUFhO1FBQzVFLE9BQU8sSUFBSSxDQUFDLEVBQUUsQ0FBQyxjQUFjLENBQUMsV0FBVyxFQUFFLE1BQU0sRUFBRSxTQUFTLENBQUMsUUFBUSxFQUFFLENBQUMsQ0FBQztJQUMzRSxDQUFDO0lBRUQ7Ozs7O09BS0c7SUFDSSxLQUFLLENBQUMsNkJBQTZCLENBQ3hDLFdBQW1CLEVBQ25CLFNBQWE7UUFFYixPQUFPLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyw2QkFBNkIsQ0FBQyxXQUFXLEVBQUUsU0FBUyxDQUFDLENBQUM7SUFDN0UsQ0FBQztJQUVEOzs7Ozs7OztPQVFHO0lBQ0ksS0FBSyxDQUFDLGdDQUFnQyxDQUMzQyxXQUFtQixFQUNuQixTQUFhO1FBRWIsT0FBTyxNQUFNLElBQUksQ0FBQyxFQUFFLENBQUMsZ0NBQWdDLENBQUMsV0FBVyxFQUFFLFNBQVMsQ0FBQyxDQUFDO0lBQ2hGLENBQUM7SUFFRDs7Ozs7T0FLRztJQUNJLEtBQUssQ0FBQyx3QkFBd0IsQ0FBQyxXQUFtQixFQUFFLFFBQVk7UUFDckUsT0FBTyxNQUFNLElBQUksQ0FBQyxFQUFFLENBQUMsd0JBQXdCLENBQUMsV0FBVyxFQUFFLFFBQVEsQ0FBQyxDQUFDO0lBQ3ZFLENBQUM7SUFFRDs7OztPQUlHO0lBQ0ksS0FBSyxDQUFDLFNBQVMsQ0FBQyxXQUFtQjtRQUN4QyxNQUFNLEtBQUssR0FBRyxNQUFNLElBQUksQ0FBQyxFQUFFLENBQUMsUUFBUSxDQUFDLFdBQVcsQ0FBQyxDQUFDO1FBQ2xELElBQUksQ0FBQyxLQUFLLEVBQUUsQ0FBQztZQUNYLE9BQU8sU0FBUyxDQUFDO1FBQ25CLENBQUM7UUFDRCxPQUFPLEtBQUssQ0FBQyxNQUFNLENBQUM7SUFDdEIsQ0FBQztJQUVEOzs7O09BSUc7SUFDSSxrQkFBa0IsQ0FBQyxPQUFxQjtRQUM3QyxPQUFPLElBQUksQ0FBQyxFQUFFLENBQUMsa0JBQWtCLENBQUMsT0FBTyxDQUFDLENBQUM7SUFDN0MsQ0FBQztJQUVEOzs7OztPQUtHO0lBQ0ksY0FBYyxDQUFDLFdBQWU7UUFDbkMsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUNwQixJQUFJLENBQUMsYUFBYSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxXQUFXLENBQUMsTUFBTSxDQUFDLFdBQVcsQ0FBQyxDQUFDLEVBQUUsT0FBTyxJQUFJLElBQUksQ0FBQyxFQUFFLENBQUMsY0FBYyxDQUFDLFdBQVcsQ0FBQyxDQUNoSCxDQUFDO0lBQ0osQ0FBQztJQUVEOzs7O09BSUc7SUFDSSxVQUFVO1FBQ2YsT0FBTyxJQUFJLENBQUMsRUFBRSxDQUFDLFVBQVUsRUFBRSxDQUFDO0lBQzlCLENBQUM7SUFFRDs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7T0FvQkc7SUFDSSxLQUFLLENBQUMsUUFBUSxDQUNuQixXQUFlLEVBQ2YsVUFBa0IsRUFDbEIsUUFBa0IsRUFDbEIsWUFBa0IsRUFDbEIsaUJBQTJCLEVBQzNCLE1BQWdCLEVBQ2hCLFNBQW1CLEVBQ25CLEtBQWEsRUFDYixNQUFjLEVBQ2QsTUFBa0I7UUFFbEIsTUFBTSxPQUFPLEdBQUcsTUFBTSxJQUFJLENBQUMsRUFBRSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsZUFBZSxFQUFFLFdBQVcsRUFBRSxNQUFNLENBQUMsQ0FBQztRQUNsRixPQUFPLFNBQVMsQ0FBVyxPQUFPLEVBQUU7WUFDbEMsT0FBTyxFQUFFLFFBQVE7aUJBQ2QsS0FBSyxDQUFDLENBQUMsRUFBRSxVQUFVLENBQUM7aUJBQ3BCLEdBQUcsQ0FBQyxDQUFDLEtBQUssRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsRUFBRSxLQUFLLEVBQUUsS0FBSyxFQUFFLFlBQVksQ0FBQyxDQUFDLENBQUMsRUFBRSxVQUFVLEVBQUUsaUJBQWlCLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDO1lBQzNGLEtBQUssRUFBRSxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsS0FBSyxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxFQUFFLEtBQUssRUFBRSxLQUFLLEVBQUUsU0FBUyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQztZQUNqRSxLQUFLO1lBQ0wsTUFBTTtTQUNQLENBQUMsQ0FBQztJQUNMLENBQUM7SUFFRDs7OztPQUlHO0lBQ0ksS0FBSyxDQUFDLG9CQUFvQixDQUFDLGNBQWtCO1FBQ2xELE1BQU0sU0FBUyxHQUFHLGFBQWEsQ0FBQyxJQUFJLENBQUMsZUFBZSxFQUFFLGNBQWUsQ0FBQyxDQUFDO1FBQ3ZFLE1BQU0sS0FBSyxHQUFHLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxpQkFBaUIsQ0FBQyxTQUFTLENBQUMsQ0FBQztRQUN6RCxPQUFPLEtBQUssS0FBSyxTQUFTLENBQUM7SUFDN0IsQ0FBQztJQUVEOzs7O09BSUc7SUFDSSxLQUFLLENBQUMsZ0JBQWdCLENBQUMsTUFBVTtRQUN0QyxPQUFPLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxnQkFBZ0IsQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUNoRCxDQUFDO0lBRUQ7Ozs7O09BS0c7SUFDSSx3QkFBd0IsQ0FBQyxlQUE2QjtRQUMzRCxPQUFPLElBQUksQ0FBQyxFQUFFLENBQUMsd0JBQXdCLENBQUMsZUFBZSxDQUFDLENBQUM7SUFDM0QsQ0FBQztJQUVEOzs7O09BSUc7SUFDSSxLQUFLLENBQUMsV0FBVyxDQUFDLGdCQUFvQixFQUFFLGdCQUF3QjtRQUNyRSxNQUFNLE1BQU0sR0FBRyxFQUFFLENBQUM7UUFDbEIsS0FBSyxJQUFJLENBQUMsR0FBRyxFQUFFLEVBQUUsQ0FBQyxHQUFHLGdCQUFnQixFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7WUFDM0MsTUFBTSxXQUFXLEdBQUcsSUFBSSxFQUFFLENBQUMsZ0JBQWdCLENBQUMsS0FBSyxHQUFHLENBQUMsQ0FBQyxDQUFDO1lBQ3ZELE1BQU0sS0FBSyxHQUFHLE1BQU0sSUFBSSxDQUFDLFNBQVMsQ0FBQyxrQkFBa0IsQ0FBQyxJQUFJLENBQUMsZUFBZSxFQUFFLFdBQVcsQ0FBQyxDQUFDO1lBRXpGLElBQUksQ0FBQyxHQUFHLENBQUMsNkJBQTZCLFdBQVcsQ0FBQyxRQUFRLEVBQUUsVUFBVSxLQUFLLEVBQUUsQ0FBQyxDQUFDO1lBQy9FLE1BQU0sQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUM7UUFDckIsQ0FBQztRQUNELE9BQU8sTUFBTSxDQUFDO0lBQ2hCLENBQUM7Q0FDRiJ9

package/dest/common/errors.d.ts

@@ -0,0 +1,36 @@
+import { FailingFunction, NoirCallStack, SimulationError } from '@aztec/circuit-types';
+/**
+ * An error that occurred during the execution of a function.
+ */
+export declare class ExecutionError extends Error {
+    /**
+     * The function that failed.
+     */
+    failingFunction: FailingFunction;
+    /**
+     * The noir call stack of the function that failed.
+     */
+    noirCallStack?: NoirCallStack | undefined;
+    constructor(message: string, 
+    /**
+     * The function that failed.
+     */
+    failingFunction: FailingFunction, 
+    /**
+     * The noir call stack of the function that failed.
+     */
+    noirCallStack?: NoirCallStack | undefined, options?: ErrorOptions);
+}
+/**
+ * Traverses the cause chain of an error.
+ * @param error - The error to start from.
+ * @param callback - A callback on every error, including the first one.
+ */
+export declare function traverseCauseChain(error: Error, callback: (error: Error) => void): void;
+/**
+ * Creates a simulation error from an error chain generated during the execution of a function.
+ * @param error - The error thrown during execution.
+ * @returns - A simulation error.
+ */
+export declare function createSimulationError(error: Error): SimulationError;
+//# sourceMappingURL=errors.d.ts.map

package/dest/common/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/common/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvF;;GAEG;AACH,qBAAa,cAAe,SAAQ,KAAK;IAGrC;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC;gBARrB,OAAO,EAAE,MAAM;IACf;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC,2BAAe,EACpC,OAAO,CAAC,EAAE,YAAY;CAIzB;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,QAUhF;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,KAAK,GAAG,eAAe,CAgBnE"}