@aztec/pxe 0.8.6

package/dest/contract_tree/index.js

@@ -0,0 +1,181 @@
+import { CONTRACT_TREE_HEIGHT, CircuitsWasm, FUNCTION_TREE_HEIGHT, FunctionData, MembershipWitness, NewContractData, computeFunctionTree, computeFunctionTreeData, generateFunctionLeaves, hashVKStr, isConstrained, isConstructor, } from '@aztec/circuits.js';
+import { computeCompleteAddress, computeContractLeaf, computeFunctionTreeRoot, computeVarArgsHash, hashConstructor, } from '@aztec/circuits.js/abis';
+import { FunctionSelector } from '@aztec/foundation/abi';
+import { assertLength } from '@aztec/foundation/serialize';
+import { MerkleTreeId } from '@aztec/types';
+/**
+ * The ContractTree class represents a Merkle tree of functions for a particular contract.
+ * It manages the construction of the function tree, computes its root, and generates membership witnesses
+ * for constrained functions. This class also enables lookup of specific function ABI and bytecode using selectors.
+ * It is used in combination with the AztecNode to compute various data for executing private transactions.
+ */
+export class ContractTree {
+    constructor(
+    /**
+     * The contract data object containing the ABI and contract address.
+     */
+    contract, stateInfoProvider, wasm, 
+    /**
+     * Data associated with the contract constructor for a new contract.
+     */
+    newContractConstructor) {
+        this.contract = contract;
+        this.stateInfoProvider = stateInfoProvider;
+        this.wasm = wasm;
+        this.newContractConstructor = newContractConstructor;
+    }
+    /**
+     * Create a new ContractTree instance from the provided contract ABI, constructor arguments, and related data.
+     * The function generates function leaves for constrained functions, computes the function tree root,
+     * and hashes the constructor's verification key. It then computes the contract address using the contract
+     * and portal contract addresses, contract address salt, and generated data. Finally, it returns a new
+     * ContractTree instance containing the contract data and computed values.
+     *
+     * @param abi - The contract's ABI containing the functions and their metadata.
+     * @param args - An array of Fr elements representing the constructor's arguments.
+     * @param portalContract - The Ethereum address of the portal smart contract.
+     * @param contractAddressSalt - An Fr element representing the salt used to compute the contract address.
+     * @param from - The public key of the contract deployer.
+     * @param node - An instance of the AztecNode class representing the current node.
+     * @returns A new ContractTree instance containing the contract data and computed values.
+     */
+    static async new(abi, args, portalContract, contractAddressSalt, from, node) {
+        const wasm = await CircuitsWasm.get();
+        const constructorAbi = abi.functions.find(isConstructor);
+        if (!constructorAbi) {
+            throw new Error('Constructor not found.');
+        }
+        if (!constructorAbi.verificationKey) {
+            throw new Error('Missing verification key for the constructor.');
+        }
+        const functions = abi.functions.map(f => ({
+            ...f,
+            selector: FunctionSelector.fromNameAndParameters(f.name, f.parameters),
+        }));
+        const leaves = generateFunctionLeaves(functions, wasm);
+        const root = computeFunctionTreeRoot(wasm, leaves);
+        const functionData = FunctionData.fromAbi(constructorAbi);
+        const vkHash = hashVKStr(constructorAbi.verificationKey, wasm);
+        const argsHash = await computeVarArgsHash(wasm, args);
+        const constructorHash = hashConstructor(wasm, functionData, argsHash, vkHash);
+        const completeAddress = computeCompleteAddress(wasm, from, contractAddressSalt, root, constructorHash);
+        const contractDao = {
+            ...abi,
+            completeAddress,
+            functions,
+            portalContract,
+        };
+        const NewContractConstructor = {
+            functionData,
+            vkHash,
+        };
+        return new ContractTree(contractDao, node, wasm, NewContractConstructor);
+    }
+    /**
+     * Retrieve the ABI of a given function.
+     * The function is identified by its selector, which represents a unique identifier for the function's signature.
+     * Throws an error if the function with the provided selector is not found in the contract.
+     *
+     * @param selector - The function selector.
+     * @returns The ABI object containing relevant information about the targeted function.
+     */
+    getFunctionAbi(selector) {
+        const abi = this.contract.functions.find(f => f.selector.equals(selector));
+        if (!abi) {
+            throw new Error(`Unknown function. Selector ${selector.toString()} not found in the ABI of contract ${this.contract.completeAddress.address.toString()}. Expected one of: ${this.contract.functions
+                .map(f => f.selector.toString())
+                .join(', ')}`);
+        }
+        return abi;
+    }
+    /**
+     * Retrieve the bytecode of a function in the contract by its function selector.
+     * The function selector is a unique identifier for each function in a contract.
+     * Throws an error if the function with the given selector is not found in the contract.
+     *
+     * @param selector - The selector of a function to get bytecode for.
+     * @returns The bytecode of the function as a string.
+     */
+    getBytecode(selector) {
+        return this.getFunctionAbi(selector).bytecode;
+    }
+    /**
+     * Retrieves the contract membership witness for the current contract tree instance.
+     * The contract membership witness is a proof that demonstrates the existence of the contract
+     * in the global contract merkle tree. This proof contains the index of the contract's leaf
+     * in the tree and the sibling path needed to construct the root of the merkle tree.
+     * If the witness hasn't been previously computed, this function will request the contract node
+     * to find the contract's index and path in order to create the membership witness.
+     *
+     * @returns A Promise that resolves to the MembershipWitness object for the given contract tree.
+     */
+    async getContractMembershipWitness() {
+        const index = await this.getContractIndex();
+        const siblingPath = await this.stateInfoProvider.getContractPath(index);
+        return new MembershipWitness(CONTRACT_TREE_HEIGHT, index, assertLength(siblingPath.toFieldArray(), CONTRACT_TREE_HEIGHT));
+    }
+    /**
+     * Calculate and return the root of the function tree for the current contract.
+     * This root is a cryptographic commitment to the set of constrained functions within the contract,
+     * which is used in the Aztec node's proof system. The root will be cached after the first call.
+     *
+     * @returns A promise that resolves to the Fr (finite field element) representation of the function tree root.
+     */
+    getFunctionTreeRoot() {
+        if (!this.functionTreeRoot) {
+            const leaves = this.getFunctionLeaves();
+            this.functionTreeRoot = computeFunctionTreeRoot(this.wasm, leaves);
+        }
+        return Promise.resolve(this.functionTreeRoot);
+    }
+    /**
+     * Retrieve the membership witness of a function within a contract's function tree.
+     * A membership witness represents the position and authentication path of a target function
+     * in the Merkle tree of constrained functions. It is required to prove the existence of the
+     * function within the contract during execution.
+     *
+     * @param selector - The function selector.
+     * @returns A MembershipWitness instance representing the position and authentication path of the function in the function tree.
+     */
+    getFunctionMembershipWitness(selector) {
+        const targetFunctions = this.contract.functions.filter(isConstrained);
+        const functionIndex = targetFunctions.findIndex(f => f.selector.equals(selector));
+        if (functionIndex < 0) {
+            return Promise.resolve(MembershipWitness.empty(FUNCTION_TREE_HEIGHT, 0n));
+        }
+        if (!this.functionTree) {
+            const leaves = this.getFunctionLeaves();
+            this.functionTree = computeFunctionTree(this.wasm, leaves);
+        }
+        const functionTreeData = computeFunctionTreeData(this.functionTree, functionIndex);
+        return Promise.resolve(new MembershipWitness(FUNCTION_TREE_HEIGHT, BigInt(functionIndex), assertLength(functionTreeData.siblingPath, FUNCTION_TREE_HEIGHT)));
+    }
+    /**
+     * Retrieve the function leaves for the contract tree.
+     * Function leaves are computed based on constrained functions present in the contract.
+     * It caches the computed function leaves and returns them if already calculated.
+     *
+     * @returns An array of Fr representing the function leaves.
+     */
+    getFunctionLeaves() {
+        if (!this.functionLeaves) {
+            this.functionLeaves = generateFunctionLeaves(this.contract.functions, this.wasm);
+        }
+        return this.functionLeaves;
+    }
+    async getContractIndex() {
+        if (this.contractIndex === undefined) {
+            const { completeAddress, portalContract } = this.contract;
+            const root = await this.getFunctionTreeRoot();
+            const newContractData = new NewContractData(completeAddress.address, portalContract, root);
+            const commitment = computeContractLeaf(this.wasm, newContractData);
+            this.contractIndex = await this.stateInfoProvider.findLeafIndex(MerkleTreeId.CONTRACT_TREE, commitment.toBuffer());
+            if (this.contractIndex === undefined) {
+                throw new Error(`Failed to find contract at ${completeAddress.address} with portal ${portalContract} resulting in commitment ${commitment}.`);
+            }
+            return this.contractIndex;
+        }
+        return this.contractIndex;
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29udHJhY3RfdHJlZS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wsb0JBQW9CLEVBQ3BCLFlBQVksRUFFWixvQkFBb0IsRUFFcEIsWUFBWSxFQUNaLGlCQUFpQixFQUVqQixlQUFlLEVBQ2YsbUJBQW1CLEVBQ25CLHVCQUF1QixFQUN2QixzQkFBc0IsRUFDdEIsU0FBUyxFQUNULGFBQWEsRUFDYixhQUFhLEdBQ2QsTUFBTSxvQkFBb0IsQ0FBQztBQUM1QixPQUFPLEVBQ0wsc0JBQXNCLEVBQ3RCLG1CQUFtQixFQUNuQix1QkFBdUIsRUFDdkIsa0JBQWtCLEVBQ2xCLGVBQWUsR0FDaEIsTUFBTSx5QkFBeUIsQ0FBQztBQUNqQyxPQUFPLEVBQWUsZ0JBQWdCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN0RSxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDM0QsT0FBTyxFQUEwQixZQUFZLEVBQWdDLE1BQU0sY0FBYyxDQUFDO0FBRWxHOzs7OztHQUtHO0FBQ0gsTUFBTSxPQUFPLFlBQVk7SUFNdkI7SUFDRTs7T0FFRztJQUNhLFFBQXFCLEVBQzdCLGlCQUFvQyxFQUNwQyxJQUFrQjtJQUMxQjs7T0FFRztJQUNhLHNCQUErQztRQU4vQyxhQUFRLEdBQVIsUUFBUSxDQUFhO1FBQzdCLHNCQUFpQixHQUFqQixpQkFBaUIsQ0FBbUI7UUFDcEMsU0FBSSxHQUFKLElBQUksQ0FBYztRQUlWLDJCQUFzQixHQUF0QixzQkFBc0IsQ0FBeUI7SUFDOUQsQ0FBQztJQUVKOzs7Ozs7Ozs7Ozs7OztPQWNHO0lBQ0ksTUFBTSxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQ3JCLEdBQWdCLEVBQ2hCLElBQVUsRUFDVixjQUEwQixFQUMxQixtQkFBdUIsRUFDdkIsSUFBZSxFQUNmLElBQWU7UUFFZixNQUFNLElBQUksR0FBRyxNQUFNLFlBQVksQ0FBQyxHQUFHLEVBQUUsQ0FBQztRQUN0QyxNQUFNLGNBQWMsR0FBRyxHQUFHLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxhQUFhLENBQUMsQ0FBQztRQUN6RCxJQUFJLENBQUMsY0FBYyxFQUFFO1lBQ25CLE1BQU0sSUFBSSxLQUFLLENBQUMsd0JBQXdCLENBQUMsQ0FBQztTQUMzQztRQUNELElBQUksQ0FBQyxjQUFjLENBQUMsZUFBZSxFQUFFO1lBQ25DLE1BQU0sSUFBSSxLQUFLLENBQUMsK0NBQStDLENBQUMsQ0FBQztTQUNsRTtRQUVELE1BQU0sU0FBUyxHQUFHLEdBQUcsQ0FBQyxTQUFTLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQztZQUN4QyxHQUFHLENBQUM7WUFDSixRQUFRLEVBQUUsZ0JBQWdCLENBQUMscUJBQXFCLENBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsVUFBVSxDQUFDO1NBQ3ZFLENBQUMsQ0FBQyxDQUFDO1FBQ0osTUFBTSxNQUFNLEdBQUcsc0JBQXNCLENBQUMsU0FBUyxFQUFFLElBQUksQ0FBQyxDQUFDO1FBQ3ZELE1BQU0sSUFBSSxHQUFHLHVCQUF1QixDQUFDLElBQUksRUFBRSxNQUFNLENBQUMsQ0FBQztRQUNuRCxNQUFNLFlBQVksR0FBRyxZQUFZLENBQUMsT0FBTyxDQUFDLGNBQWMsQ0FBQyxDQUFDO1FBQzFELE1BQU0sTUFBTSxHQUFHLFNBQVMsQ0FBQyxjQUFjLENBQUMsZUFBZSxFQUFFLElBQUksQ0FBQyxDQUFDO1FBQy9ELE1BQU0sUUFBUSxHQUFHLE1BQU0sa0JBQWtCLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxDQUFDO1FBQ3RELE1BQU0sZUFBZSxHQUFHLGVBQWUsQ0FBQyxJQUFJLEVBQUUsWUFBWSxFQUFFLFFBQVEsRUFBRSxNQUFNLENBQUMsQ0FBQztRQUU5RSxNQUFNLGVBQWUsR0FBRyxzQkFBc0IsQ0FBQyxJQUFJLEVBQUUsSUFBSSxFQUFFLG1CQUFtQixFQUFFLElBQUksRUFBRSxlQUFlLENBQUMsQ0FBQztRQUV2RyxNQUFNLFdBQVcsR0FBZ0I7WUFDL0IsR0FBRyxHQUFHO1lBQ04sZUFBZTtZQUNmLFNBQVM7WUFDVCxjQUFjO1NBQ2YsQ0FBQztRQUNGLE1BQU0sc0JBQXNCLEdBQUc7WUFDN0IsWUFBWTtZQUNaLE1BQU07U0FDUCxDQUFDO1FBQ0YsT0FBTyxJQUFJLFlBQVksQ0FBQyxXQUFXLEVBQUUsSUFBSSxFQUFFLElBQUksRUFBRSxzQkFBc0IsQ0FBQyxDQUFDO0lBQzNFLENBQUM7SUFFRDs7Ozs7OztPQU9HO0lBQ0ksY0FBYyxDQUFDLFFBQTBCO1FBQzlDLE1BQU0sR0FBRyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQUMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxDQUFDLENBQUM7UUFDM0UsSUFBSSxDQUFDLEdBQUcsRUFBRTtZQUNSLE1BQU0sSUFBSSxLQUFLLENBQ2IsOEJBQThCLFFBQVEsQ0FBQyxRQUFRLEVBQUUscUNBQXFDLElBQUksQ0FBQyxRQUFRLENBQUMsZUFBZSxDQUFDLE9BQU8sQ0FBQyxRQUFRLEVBQUUsc0JBQXNCLElBQUksQ0FBQyxRQUFRLENBQUMsU0FBUztpQkFDaEwsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxRQUFRLEVBQUUsQ0FBQztpQkFDL0IsSUFBSSxDQUFDLElBQUksQ0FBQyxFQUFFLENBQ2hCLENBQUM7U0FDSDtRQUNELE9BQU8sR0FBRyxDQUFDO0lBQ2IsQ0FBQztJQUVEOzs7Ozs7O09BT0c7SUFDSSxXQUFXLENBQUMsUUFBMEI7UUFDM0MsT0FBTyxJQUFJLENBQUMsY0FBYyxDQUFDLFFBQVEsQ0FBQyxDQUFDLFFBQVEsQ0FBQztJQUNoRCxDQUFDO0lBRUQ7Ozs7Ozs7OztPQVNHO0lBQ0ksS0FBSyxDQUFDLDRCQUE0QjtRQUN2QyxNQUFNLEtBQUssR0FBRyxNQUFNLElBQUksQ0FBQyxnQkFBZ0IsRUFBRSxDQUFDO1FBRTVDLE1BQU0sV0FBVyxHQUFHLE1BQU0sSUFBSSxDQUFDLGlCQUFpQixDQUFDLGVBQWUsQ0FBQyxLQUFLLENBQUMsQ0FBQztRQUN4RSxPQUFPLElBQUksaUJBQWlCLENBQzFCLG9CQUFvQixFQUNwQixLQUFLLEVBQ0wsWUFBWSxDQUFDLFdBQVcsQ0FBQyxZQUFZLEVBQUUsRUFBRSxvQkFBb0IsQ0FBQyxDQUMvRCxDQUFDO0lBQ0osQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNJLG1CQUFtQjtRQUN4QixJQUFJLENBQUMsSUFBSSxDQUFDLGdCQUFnQixFQUFFO1lBQzFCLE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxDQUFDO1lBQ3hDLElBQUksQ0FBQyxnQkFBZ0IsR0FBRyx1QkFBdUIsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLE1BQU0sQ0FBQyxDQUFDO1NBQ3BFO1FBQ0QsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLElBQUksQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDO0lBQ2hELENBQUM7SUFFRDs7Ozs7Ozs7T0FRRztJQUNJLDRCQUE0QixDQUNqQyxRQUEwQjtRQUUxQixNQUFNLGVBQWUsR0FBRyxJQUFJLENBQUMsUUFBUSxDQUFDLFNBQVMsQ0FBQyxNQUFNLENBQUMsYUFBYSxDQUFDLENBQUM7UUFDdEUsTUFBTSxhQUFhLEdBQUcsZUFBZSxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQUMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxDQUFDLENBQUM7UUFDbEYsSUFBSSxhQUFhLEdBQUcsQ0FBQyxFQUFFO1lBQ3JCLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxLQUFLLENBQUMsb0JBQW9CLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQztTQUMzRTtRQUVELElBQUksQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFO1lBQ3RCLE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxDQUFDO1lBQ3hDLElBQUksQ0FBQyxZQUFZLEdBQUcsbUJBQW1CLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRSxNQUFNLENBQUMsQ0FBQztTQUM1RDtRQUNELE1BQU0sZ0JBQWdCLEdBQUcsdUJBQXVCLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxhQUFhLENBQUMsQ0FBQztRQUNuRixPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQ3BCLElBQUksaUJBQWlCLENBQ25CLG9CQUFvQixFQUNwQixNQUFNLENBQUMsYUFBYSxDQUFDLEVBQ3JCLFlBQVksQ0FBQyxnQkFBZ0IsQ0FBQyxXQUFXLEVBQUUsb0JBQW9CLENBQUMsQ0FDakUsQ0FDRixDQUFDO0lBQ0osQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNLLGlCQUFpQjtRQUN2QixJQUFJLENBQUMsSUFBSSxDQUFDLGNBQWMsRUFBRTtZQUN4QixJQUFJLENBQUMsY0FBYyxHQUFHLHNCQUFzQixDQUFDLElBQUksQ0FBQyxRQUFRLENBQUMsU0FBUyxFQUFFLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQztTQUNsRjtRQUNELE9BQU8sSUFBSSxDQUFDLGNBQWMsQ0FBQztJQUM3QixDQUFDO0lBRU8sS0FBSyxDQUFDLGdCQUFnQjtRQUM1QixJQUFJLElBQUksQ0FBQyxhQUFhLEtBQUssU0FBUyxFQUFFO1lBQ3BDLE1BQU0sRUFBRSxlQUFlLEVBQUUsY0FBYyxFQUFFLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQztZQUMxRCxNQUFNLElBQUksR0FBRyxNQUFNLElBQUksQ0FBQyxtQkFBbUIsRUFBRSxDQUFDO1lBQzlDLE1BQU0sZUFBZSxHQUFHLElBQUksZUFBZSxDQUFDLGVBQWUsQ0FBQyxPQUFPLEVBQUUsY0FBYyxFQUFFLElBQUksQ0FBQyxDQUFDO1lBQzNGLE1BQU0sVUFBVSxHQUFHLG1CQUFtQixDQUFDLElBQUksQ0FBQyxJQUFJLEVBQUUsZUFBZSxDQUFDLENBQUM7WUFDbkUsSUFBSSxDQUFDLGFBQWEsR0FBRyxNQUFNLElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxhQUFhLENBQzdELFlBQVksQ0FBQyxhQUFhLEVBQzFCLFVBQVUsQ0FBQyxRQUFRLEVBQUUsQ0FDdEIsQ0FBQztZQUNGLElBQUksSUFBSSxDQUFDLGFBQWEsS0FBSyxTQUFTLEVBQUU7Z0JBQ3BDLE1BQU0sSUFBSSxLQUFLLENBQ2IsOEJBQThCLGVBQWUsQ0FBQyxPQUFPLGdCQUFnQixjQUFjLDRCQUE0QixVQUFVLEdBQUcsQ0FDN0gsQ0FBQzthQUNIO1lBQ0QsT0FBTyxJQUFJLENBQUMsYUFBYSxDQUFDO1NBQzNCO1FBQ0QsT0FBTyxJQUFJLENBQUMsYUFBYSxDQUFDO0lBQzVCLENBQUM7Q0FDRiJ9

package/dest/database/database.d.ts

@@ -0,0 +1,118 @@
+import { CompleteAddress, HistoricBlockData } from '@aztec/circuits.js';
+import { AztecAddress } from '@aztec/foundation/aztec-address';
+import { Fr } from '@aztec/foundation/fields';
+import { ContractDatabase, MerkleTreeId, PublicKey } from '@aztec/types';
+import { NoteSpendingInfoDao } from './note_spending_info_dao.js';
+/**
+ * A database interface that provides methods for retrieving, adding, and removing transactional data related to Aztec
+ * addresses, storage slots, and nullifiers.
+ */
+export interface Database extends ContractDatabase {
+    /**
+     * Add a auth witness to the database.
+     * @param messageHash - The message hash.
+     * @param witness - An array of field elements representing the auth witness.
+     */
+    addAuthWitness(messageHash: Fr, witness: Fr[]): Promise<void>;
+    /**
+     * Fetching the auth witness for a given message hash.
+     * @param messageHash - The message hash.
+     * @returns A Promise that resolves to an array of field elements representing the auth witness.
+     */
+    getAuthWitness(messageHash: Fr): Promise<Fr[]>;
+    /**
+     * Get auxiliary transaction data based on contract address and storage slot.
+     * It searches for matching NoteSpendingInfoDao objects in the MemoryDB's noteSpendingInfoTable
+     * where both the contractAddress and storageSlot properties match the given inputs.
+     *
+     * @param contract - The contract address.
+     * @param storageSlot - A Fr object representing the storage slot to search for in the auxiliary data.
+     * @returns An array of NoteSpendingInfoDao objects that fulfill the contract address and storage slot criteria.
+     */
+    getNoteSpendingInfo(contract: AztecAddress, storageSlot: Fr): Promise<NoteSpendingInfoDao[]>;
+    /**
+     * Add a NoteSpendingInfoDao instance to the noteSpendingInfoTable.
+     * This function is used to store auxiliary data related to a transaction,
+     * such as contract address and storage slot, in the database.
+     *
+     * @param noteSpendingInfoDao - The NoteSpendingInfoDao instance containing the auxiliary data of a transaction.
+     * @returns A promise that resolves when the auxiliary data is added to the database.
+     */
+    addNoteSpendingInfo(noteSpendingInfoDao: NoteSpendingInfoDao): Promise<void>;
+    /**
+     * Adds an array of NoteSpendingInfoDaos to the noteSpendingInfoTable.
+     * This function is used to insert multiple transaction auxiliary data objects into the database at once,
+     * which can improve performance when dealing with large numbers of transactions.
+     *
+     * @param noteSpendingInfoDaos - An array of NoteSpendingInfoDao instances representing the auxiliary data of transactions.
+     * @returns A Promise that resolves when all NoteSpendingInfoDaos have been successfully added to the noteSpendingInfoTable.
+     */
+    addNoteSpendingInfoBatch(noteSpendingInfoDaos: NoteSpendingInfoDao[]): Promise<void>;
+    /**
+     * Remove nullified transaction auxiliary data records associated with the given account and nullifiers.
+     * The function filters the records based on matching account and nullifier values, and updates the
+     * noteSpendingInfoTable with the remaining records. It returns an array of removed NoteSpendingInfoDao instances.
+     *
+     * @param nullifiers - An array of Fr instances representing nullifiers to be matched.
+     * @param account - A PublicKey instance representing the account for which the records are being removed.
+     * @returns A Promise resolved with an array of removed NoteSpendingInfoDao instances.
+     */
+    removeNullifiedNoteSpendingInfo(nullifiers: Fr[], account: PublicKey): Promise<NoteSpendingInfoDao[]>;
+    /**
+     * Retrieve the stored Merkle tree roots from the database.
+     * The function returns a Promise that resolves to an object containing the MerkleTreeId as keys
+     * and their corresponding Fr values as roots. Throws an error if the tree roots are not set in the
+     * memory database.
+     *
+     * @returns An object containing the Merkle tree roots for each merkle tree id.
+     */
+    getTreeRoots(): Record<MerkleTreeId, Fr>;
+    /**
+     * Set the tree roots for the Merkle trees in the database.
+     * This function updates the 'treeRoots' property of the instance
+     * with the provided 'roots' object containing MerkleTreeId and Fr pairs.
+     * Note that this will overwrite any existing tree roots in the database.
+     *
+     * @param roots - A Record object mapping MerkleTreeIds to their corresponding Fr root values.
+     * @returns A Promise that resolves when the tree roots have been successfully updated in the database.
+     */
+    setTreeRoots(roots: Record<MerkleTreeId, Fr>): Promise<void>;
+    /**
+     * Retrieve the stored Historic Block Data from the database.
+     * The function returns a Promise that resolves to the Historic Block Data.
+     * This data is required to reproduce block attestations.
+     * Throws an error if the historic block data is not available within the database.
+     *
+     * note: this data is a combination of the tree roots and the global variables hash.
+     */
+    getHistoricBlockData(): HistoricBlockData;
+    /**
+     * Set the latest Historic Block Data.
+     * This function updates the 'global variables hash' and `tree roots` property of the instance
+     * Note that this will overwrite any existing hash or roots in the database.
+     *
+     * @param historicBlockData - An object containing the most recent historic block data.
+     * @returns A Promise that resolves when the hash has been successfully updated in the database.
+     */
+    setHistoricBlockData(historicBlockData: HistoricBlockData): Promise<void>;
+    /**
+     * Adds complete address to the database.
+     * @param address - The complete address to add.
+     * @returns A promise resolving to true if the address was added, false if it already exists.
+     * @throws If we try to add a CompleteAddress with the same AztecAddress but different public key or partial
+     * address.
+     */
+    addCompleteAddress(address: CompleteAddress): Promise<boolean>;
+    /**
+     * Retrieves the complete address corresponding to the provided aztec address.
+     * @param address - The aztec address of the complete address contract.
+     * @returns A promise that resolves to a CompleteAddress instance if the address is found, or undefined if not found.
+     */
+    getCompleteAddress(address: AztecAddress): Promise<CompleteAddress | undefined>;
+    /**
+     * Retrieves the list of complete address added to this database
+     * @returns A promise that resolves to an array of AztecAddress instances.
+     */
+    getCompleteAddresses(): Promise<CompleteAddress[]>;
+}
+//# sourceMappingURL=database.d.ts.map

package/dest/database/database.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"database.d.ts","sourceRoot":"","sources":["../../src/database/database.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAElE;;;GAGG;AACH,MAAM,WAAW,QAAS,SAAQ,gBAAgB;IAChD;;;;OAIG;IACH,cAAc,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE9D;;;;OAIG;IACH,cAAc,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IAE/C;;;;;;;;OAQG;IACH,mBAAmB,CAAC,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;IAE7F;;;;;;;OAOG;IACH,mBAAmB,CAAC,mBAAmB,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE7E;;;;;;;OAOG;IACH,wBAAwB,CAAC,oBAAoB,EAAE,mBAAmB,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAErF;;;;;;;;OAQG;IACH,+BAA+B,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;IAEtG;;;;;;;OAOG;IACH,YAAY,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IAEzC;;;;;;;;OAQG;IACH,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE7D;;;;;;;OAOG;IACH,oBAAoB,IAAI,iBAAiB,CAAC;IAE1C;;;;;;;OAOG;IACH,oBAAoB,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1E;;;;;;OAMG;IACH,kBAAkB,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAE/D;;;;OAIG;IACH,kBAAkB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;IAEhF;;;OAGG;IACH,oBAAoB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;CACpD"}

package/dest/database/database.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGF0YWJhc2UuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZGF0YWJhc2UvZGF0YWJhc2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IiJ9

package/dest/database/index.d.ts

@@ -0,0 +1,4 @@
+export * from './database.js';
+export * from './memory_db.js';
+export * from './note_spending_info_dao.js';
+//# sourceMappingURL=index.d.ts.map

package/dest/database/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/database/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,6BAA6B,CAAC"}

package/dest/database/index.js

@@ -0,0 +1,4 @@
+export * from './database.js';
+export * from './memory_db.js';
+export * from './note_spending_info_dao.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZGF0YWJhc2UvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyxnQkFBZ0IsQ0FBQztBQUMvQixjQUFjLDZCQUE2QixDQUFDIn0=

package/dest/database/memory_db.d.ts

@@ -0,0 +1,45 @@
+import { CompleteAddress, HistoricBlockData } from '@aztec/circuits.js';
+import { AztecAddress } from '@aztec/foundation/aztec-address';
+import { Fr } from '@aztec/foundation/fields';
+import { MerkleTreeId, PublicKey } from '@aztec/types';
+import { MemoryContractDatabase } from '../contract_database/index.js';
+import { Database } from './database.js';
+import { NoteSpendingInfoDao } from './note_spending_info_dao.js';
+/**
+ * The MemoryDB class provides an in-memory implementation of a database to manage transactions and auxiliary data.
+ * It extends the MemoryContractDatabase, allowing it to store contract-related data as well.
+ * The class offers methods to add, fetch, and remove transaction records and auxiliary data based on various filters such as transaction hash, address, and storage slot.
+ * As an in-memory database, the stored data will not persist beyond the life of the application instance.
+ */
+export declare class MemoryDB extends MemoryContractDatabase implements Database {
+    private noteSpendingInfoTable;
+    private treeRoots;
+    private globalVariablesHash;
+    private addresses;
+    private authWitnesses;
+    constructor(logSuffix?: string);
+    /**
+     * Add a auth witness to the database.
+     * @param messageHash - The message hash.
+     * @param witness - An array of field elements representing the auth witness.
+     */
+    addAuthWitness(messageHash: Fr, witness: Fr[]): Promise<void>;
+    /**
+     * Fetching the auth witness for a given message hash.
+     * @param messageHash - The message hash.
+     * @returns A Promise that resolves to an array of field elements representing the auth witness.
+     */
+    getAuthWitness(messageHash: Fr): Promise<Fr[]>;
+    addNoteSpendingInfo(noteSpendingInfoDao: NoteSpendingInfoDao): Promise<void>;
+    addNoteSpendingInfoBatch(noteSpendingInfoDaos: NoteSpendingInfoDao[]): Promise<void>;
+    getNoteSpendingInfo(contract: AztecAddress, storageSlot: Fr): Promise<NoteSpendingInfoDao[]>;
+    removeNullifiedNoteSpendingInfo(nullifiers: Fr[], account: PublicKey): Promise<NoteSpendingInfoDao[]>;
+    getTreeRoots(): Record<MerkleTreeId, Fr>;
+    setTreeRoots(roots: Record<MerkleTreeId, Fr>): Promise<void>;
+    getHistoricBlockData(): HistoricBlockData;
+    setHistoricBlockData(historicBlockData: HistoricBlockData): Promise<void>;
+    addCompleteAddress(completeAddress: CompleteAddress): Promise<boolean>;
+    getCompleteAddress(address: AztecAddress): Promise<CompleteAddress | undefined>;
+    getCompleteAddresses(): Promise<CompleteAddress[]>;
+}
+//# sourceMappingURL=memory_db.d.ts.map

package/dest/database/memory_db.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory_db.d.ts","sourceRoot":"","sources":["../../src/database/memory_db.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAElE;;;;;GAKG;AACH,qBAAa,QAAS,SAAQ,sBAAuB,YAAW,QAAQ;IACtE,OAAO,CAAC,qBAAqB,CAA6B;IAC1D,OAAO,CAAC,SAAS,CAAuC;IACxD,OAAO,CAAC,mBAAmB,CAAiB;IAC5C,OAAO,CAAC,SAAS,CAAyB;IAC1C,OAAO,CAAC,aAAa,CAA4B;gBAErC,SAAS,CAAC,EAAE,MAAM;IAI9B;;;;OAIG;IACI,cAAc,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAKpE;;;;OAIG;IACI,cAAc,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAI9C,mBAAmB,CAAC,mBAAmB,EAAE,mBAAmB;IAK5D,wBAAwB,CAAC,oBAAoB,EAAE,mBAAmB,EAAE;IAKpE,mBAAmB,CAAC,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE;IAS3D,+BAA+B,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS;IAoBpE,YAAY,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;IAMxC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;IAK5C,oBAAoB,IAAI,iBAAiB;IAenC,oBAAoB,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;IAY/E,kBAAkB,CAAC,eAAe,EAAE,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC;IAetE,kBAAkB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC;IAK/E,oBAAoB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;CAG1D"}

package/dest/database/memory_db.js

@@ -0,0 +1,111 @@
+import { HistoricBlockData } from '@aztec/circuits.js';
+import { Fr } from '@aztec/foundation/fields';
+import { createDebugLogger } from '@aztec/foundation/log';
+import { MerkleTreeId } from '@aztec/types';
+import { MemoryContractDatabase } from '../contract_database/index.js';
+/**
+ * The MemoryDB class provides an in-memory implementation of a database to manage transactions and auxiliary data.
+ * It extends the MemoryContractDatabase, allowing it to store contract-related data as well.
+ * The class offers methods to add, fetch, and remove transaction records and auxiliary data based on various filters such as transaction hash, address, and storage slot.
+ * As an in-memory database, the stored data will not persist beyond the life of the application instance.
+ */
+export class MemoryDB extends MemoryContractDatabase {
+    constructor(logSuffix) {
+        super(createDebugLogger(logSuffix ? 'aztec:memory_db_' + logSuffix : 'aztec:memory_db'));
+        this.noteSpendingInfoTable = [];
+        this.addresses = [];
+        this.authWitnesses = {};
+    }
+    /**
+     * Add a auth witness to the database.
+     * @param messageHash - The message hash.
+     * @param witness - An array of field elements representing the auth witness.
+     */
+    addAuthWitness(messageHash, witness) {
+        this.authWitnesses[messageHash.toString()] = witness;
+        return Promise.resolve();
+    }
+    /**
+     * Fetching the auth witness for a given message hash.
+     * @param messageHash - The message hash.
+     * @returns A Promise that resolves to an array of field elements representing the auth witness.
+     */
+    getAuthWitness(messageHash) {
+        return Promise.resolve(this.authWitnesses[messageHash.toString()]);
+    }
+    addNoteSpendingInfo(noteSpendingInfoDao) {
+        this.noteSpendingInfoTable.push(noteSpendingInfoDao);
+        return Promise.resolve();
+    }
+    addNoteSpendingInfoBatch(noteSpendingInfoDaos) {
+        this.noteSpendingInfoTable.push(...noteSpendingInfoDaos);
+        return Promise.resolve();
+    }
+    getNoteSpendingInfo(contract, storageSlot) {
+        const res = this.noteSpendingInfoTable.filter(noteSpendingInfo => noteSpendingInfo.contractAddress.equals(contract) &&
+            noteSpendingInfo.storageSlot.toBuffer().equals(storageSlot.toBuffer()));
+        return Promise.resolve(res);
+    }
+    removeNullifiedNoteSpendingInfo(nullifiers, account) {
+        const nullifierSet = new Set(nullifiers.map(nullifier => nullifier.toString()));
+        const [remaining, removed] = this.noteSpendingInfoTable.reduce((acc, noteSpendingInfo) => {
+            const nullifier = noteSpendingInfo.siloedNullifier.toString();
+            if (noteSpendingInfo.publicKey.equals(account) && nullifierSet.has(nullifier)) {
+                acc[1].push(noteSpendingInfo);
+            }
+            else {
+                acc[0].push(noteSpendingInfo);
+            }
+            return acc;
+        }, [[], []]);
+        this.noteSpendingInfoTable = remaining;
+        return Promise.resolve(removed);
+    }
+    getTreeRoots() {
+        const roots = this.treeRoots;
+        if (!roots)
+            throw new Error(`Tree roots not set in memory database`);
+        return roots;
+    }
+    setTreeRoots(roots) {
+        this.treeRoots = roots;
+        return Promise.resolve();
+    }
+    getHistoricBlockData() {
+        const roots = this.getTreeRoots();
+        if (!this.globalVariablesHash)
+            throw new Error(`Global variables hash not set in memory database`);
+        return new HistoricBlockData(roots[MerkleTreeId.PRIVATE_DATA_TREE], roots[MerkleTreeId.NULLIFIER_TREE], roots[MerkleTreeId.CONTRACT_TREE], roots[MerkleTreeId.L1_TO_L2_MESSAGES_TREE], roots[MerkleTreeId.BLOCKS_TREE], Fr.ZERO, // todo: private kernel vk tree root
+        roots[MerkleTreeId.PUBLIC_DATA_TREE], this.globalVariablesHash);
+    }
+    async setHistoricBlockData(historicBlockData) {
+        this.globalVariablesHash = historicBlockData.globalVariablesHash;
+        await this.setTreeRoots({
+            [MerkleTreeId.PRIVATE_DATA_TREE]: historicBlockData.privateDataTreeRoot,
+            [MerkleTreeId.NULLIFIER_TREE]: historicBlockData.nullifierTreeRoot,
+            [MerkleTreeId.CONTRACT_TREE]: historicBlockData.contractTreeRoot,
+            [MerkleTreeId.L1_TO_L2_MESSAGES_TREE]: historicBlockData.l1ToL2MessagesTreeRoot,
+            [MerkleTreeId.BLOCKS_TREE]: historicBlockData.blocksTreeRoot,
+            [MerkleTreeId.PUBLIC_DATA_TREE]: historicBlockData.publicDataTreeRoot,
+        });
+    }
+    addCompleteAddress(completeAddress) {
+        const accountIndex = this.addresses.findIndex(r => r.address.equals(completeAddress.address));
+        if (accountIndex !== -1) {
+            if (this.addresses[accountIndex].equals(completeAddress)) {
+                return Promise.resolve(false);
+            }
+            throw new Error(`Complete address with aztec address ${completeAddress.address.toString()} but different public key or partial key already exists in memory database`);
+        }
+        this.addresses.push(completeAddress);
+        return Promise.resolve(true);
+    }
+    getCompleteAddress(address) {
+        const recipient = this.addresses.find(r => r.address.equals(address));
+        return Promise.resolve(recipient);
+    }
+    getCompleteAddresses() {
+        return Promise.resolve(this.addresses);
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVtb3J5X2RiLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2RhdGFiYXNlL21lbW9yeV9kYi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQW1CLGlCQUFpQixFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFeEUsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQzFELE9BQU8sRUFBRSxZQUFZLEVBQWEsTUFBTSxjQUFjLENBQUM7QUFFdkQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFJdkU7Ozs7O0dBS0c7QUFDSCxNQUFNLE9BQU8sUUFBUyxTQUFRLHNCQUFzQjtJQU9sRCxZQUFZLFNBQWtCO1FBQzVCLEtBQUssQ0FBQyxpQkFBaUIsQ0FBQyxTQUFTLENBQUMsQ0FBQyxDQUFDLGtCQUFrQixHQUFHLFNBQVMsQ0FBQyxDQUFDLENBQUMsaUJBQWlCLENBQUMsQ0FBQyxDQUFDO1FBUG5GLDBCQUFxQixHQUEwQixFQUFFLENBQUM7UUFHbEQsY0FBUyxHQUFzQixFQUFFLENBQUM7UUFDbEMsa0JBQWEsR0FBeUIsRUFBRSxDQUFDO0lBSWpELENBQUM7SUFFRDs7OztPQUlHO0lBQ0ksY0FBYyxDQUFDLFdBQWUsRUFBRSxPQUFhO1FBQ2xELElBQUksQ0FBQyxhQUFhLENBQUMsV0FBVyxDQUFDLFFBQVEsRUFBRSxDQUFDLEdBQUcsT0FBTyxDQUFDO1FBQ3JELE9BQU8sT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDO0lBQzNCLENBQUM7SUFFRDs7OztPQUlHO0lBQ0ksY0FBYyxDQUFDLFdBQWU7UUFDbkMsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLElBQUksQ0FBQyxhQUFhLENBQUMsV0FBVyxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUMsQ0FBQztJQUNyRSxDQUFDO0lBRU0sbUJBQW1CLENBQUMsbUJBQXdDO1FBQ2pFLElBQUksQ0FBQyxxQkFBcUIsQ0FBQyxJQUFJLENBQUMsbUJBQW1CLENBQUMsQ0FBQztRQUNyRCxPQUFPLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQztJQUMzQixDQUFDO0lBRU0sd0JBQXdCLENBQUMsb0JBQTJDO1FBQ3pFLElBQUksQ0FBQyxxQkFBcUIsQ0FBQyxJQUFJLENBQUMsR0FBRyxvQkFBb0IsQ0FBQyxDQUFDO1FBQ3pELE9BQU8sT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDO0lBQzNCLENBQUM7SUFFTSxtQkFBbUIsQ0FBQyxRQUFzQixFQUFFLFdBQWU7UUFDaEUsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLHFCQUFxQixDQUFDLE1BQU0sQ0FDM0MsZ0JBQWdCLENBQUMsRUFBRSxDQUNqQixnQkFBZ0IsQ0FBQyxlQUFlLENBQUMsTUFBTSxDQUFDLFFBQVEsQ0FBQztZQUNqRCxnQkFBZ0IsQ0FBQyxXQUFXLENBQUMsUUFBUSxFQUFFLENBQUMsTUFBTSxDQUFDLFdBQVcsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUN6RSxDQUFDO1FBQ0YsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQzlCLENBQUM7SUFFTSwrQkFBK0IsQ0FBQyxVQUFnQixFQUFFLE9BQWtCO1FBQ3pFLE1BQU0sWUFBWSxHQUFHLElBQUksR0FBRyxDQUFDLFVBQVUsQ0FBQyxHQUFHLENBQUMsU0FBUyxDQUFDLEVBQUUsQ0FBQyxTQUFTLENBQUMsUUFBUSxFQUFFLENBQUMsQ0FBQyxDQUFDO1FBQ2hGLE1BQU0sQ0FBQyxTQUFTLEVBQUUsT0FBTyxDQUFDLEdBQUcsSUFBSSxDQUFDLHFCQUFxQixDQUFDLE1BQU0sQ0FDNUQsQ0FBQyxHQUFtRCxFQUFFLGdCQUFnQixFQUFFLEVBQUU7WUFDeEUsTUFBTSxTQUFTLEdBQUcsZ0JBQWdCLENBQUMsZUFBZSxDQUFDLFFBQVEsRUFBRSxDQUFDO1lBQzlELElBQUksZ0JBQWdCLENBQUMsU0FBUyxDQUFDLE1BQU0sQ0FBQyxPQUFPLENBQUMsSUFBSSxZQUFZLENBQUMsR0FBRyxDQUFDLFNBQVMsQ0FBQyxFQUFFO2dCQUM3RSxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLGdCQUFnQixDQUFDLENBQUM7YUFDL0I7aUJBQU07Z0JBQ0wsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDO2FBQy9CO1lBQ0QsT0FBTyxHQUFHLENBQUM7UUFDYixDQUFDLEVBQ0QsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUFDLENBQ1QsQ0FBQztRQUVGLElBQUksQ0FBQyxxQkFBcUIsR0FBRyxTQUFTLENBQUM7UUFFdkMsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFDO0lBQ2xDLENBQUM7SUFFTSxZQUFZO1FBQ2pCLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxTQUFTLENBQUM7UUFDN0IsSUFBSSxDQUFDLEtBQUs7WUFBRSxNQUFNLElBQUksS0FBSyxDQUFDLHVDQUF1QyxDQUFDLENBQUM7UUFDckUsT0FBTyxLQUFLLENBQUM7SUFDZixDQUFDO0lBRU0sWUFBWSxDQUFDLEtBQStCO1FBQ2pELElBQUksQ0FBQyxTQUFTLEdBQUcsS0FBSyxDQUFDO1FBQ3ZCLE9BQU8sT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDO0lBQzNCLENBQUM7SUFFTSxvQkFBb0I7UUFDekIsTUFBTSxLQUFLLEdBQUcsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDO1FBQ2xDLElBQUksQ0FBQyxJQUFJLENBQUMsbUJBQW1CO1lBQUUsTUFBTSxJQUFJLEtBQUssQ0FBQyxrREFBa0QsQ0FBQyxDQUFDO1FBQ25HLE9BQU8sSUFBSSxpQkFBaUIsQ0FDMUIsS0FBSyxDQUFDLFlBQVksQ0FBQyxpQkFBaUIsQ0FBQyxFQUNyQyxLQUFLLENBQUMsWUFBWSxDQUFDLGNBQWMsQ0FBQyxFQUNsQyxLQUFLLENBQUMsWUFBWSxDQUFDLGFBQWEsQ0FBQyxFQUNqQyxLQUFLLENBQUMsWUFBWSxDQUFDLHNCQUFzQixDQUFDLEVBQzFDLEtBQUssQ0FBQyxZQUFZLENBQUMsV0FBVyxDQUFDLEVBQy9CLEVBQUUsQ0FBQyxJQUFJLEVBQUUsb0NBQW9DO1FBQzdDLEtBQUssQ0FBQyxZQUFZLENBQUMsZ0JBQWdCLENBQUMsRUFDcEMsSUFBSSxDQUFDLG1CQUFtQixDQUN6QixDQUFDO0lBQ0osQ0FBQztJQUVNLEtBQUssQ0FBQyxvQkFBb0IsQ0FBQyxpQkFBb0M7UUFDcEUsSUFBSSxDQUFDLG1CQUFtQixHQUFHLGlCQUFpQixDQUFDLG1CQUFtQixDQUFDO1FBQ2pFLE1BQU0sSUFBSSxDQUFDLFlBQVksQ0FBQztZQUN0QixDQUFDLFlBQVksQ0FBQyxpQkFBaUIsQ0FBQyxFQUFFLGlCQUFpQixDQUFDLG1CQUFtQjtZQUN2RSxDQUFDLFlBQVksQ0FBQyxjQUFjLENBQUMsRUFBRSxpQkFBaUIsQ0FBQyxpQkFBaUI7WUFDbEUsQ0FBQyxZQUFZLENBQUMsYUFBYSxDQUFDLEVBQUUsaUJBQWlCLENBQUMsZ0JBQWdCO1lBQ2hFLENBQUMsWUFBWSxDQUFDLHNCQUFzQixDQUFDLEVBQUUsaUJBQWlCLENBQUMsc0JBQXNCO1lBQy9FLENBQUMsWUFBWSxDQUFDLFdBQVcsQ0FBQyxFQUFFLGlCQUFpQixDQUFDLGNBQWM7WUFDNUQsQ0FBQyxZQUFZLENBQUMsZ0JBQWdCLENBQUMsRUFBRSxpQkFBaUIsQ0FBQyxrQkFBa0I7U0FDdEUsQ0FBQyxDQUFDO0lBQ0wsQ0FBQztJQUVNLGtCQUFrQixDQUFDLGVBQWdDO1FBQ3hELE1BQU0sWUFBWSxHQUFHLElBQUksQ0FBQyxTQUFTLENBQUMsU0FBUyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsZUFBZSxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUM7UUFDOUYsSUFBSSxZQUFZLEtBQUssQ0FBQyxDQUFDLEVBQUU7WUFDdkIsSUFBSSxJQUFJLENBQUMsU0FBUyxDQUFDLFlBQVksQ0FBQyxDQUFDLE1BQU0sQ0FBQyxlQUFlLENBQUMsRUFBRTtnQkFDeEQsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLEtBQUssQ0FBQyxDQUFDO2FBQy9CO1lBRUQsTUFBTSxJQUFJLEtBQUssQ0FDYix1Q0FBdUMsZUFBZSxDQUFDLE9BQU8sQ0FBQyxRQUFRLEVBQUUsNEVBQTRFLENBQ3RKLENBQUM7U0FDSDtRQUNELElBQUksQ0FBQyxTQUFTLENBQUMsSUFBSSxDQUFDLGVBQWUsQ0FBQyxDQUFDO1FBQ3JDLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUMvQixDQUFDO0lBRU0sa0JBQWtCLENBQUMsT0FBcUI7UUFDN0MsTUFBTSxTQUFTLEdBQUcsSUFBSSxDQUFDLFNBQVMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDO1FBQ3RFLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxTQUFTLENBQUMsQ0FBQztJQUNwQyxDQUFDO0lBRU0sb0JBQW9CO1FBQ3pCLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsU0FBUyxDQUFDLENBQUM7SUFDekMsQ0FBQztDQUNGIn0=

package/dest/database/note_spending_info_dao.d.ts

@@ -0,0 +1,44 @@
+import { AztecAddress, Fr, PublicKey } from '@aztec/circuits.js';
+import { NotePreimage } from '@aztec/types';
+/**
+ * Represents the data access object for auxiliary transaction data.
+ * Contains properties from the decrypted note, computed properties, and information about
+ * the public key used for encryption, as well as the location of the data in the tree.
+ */
+export interface NoteSpendingInfoDao {
+    /**
+     * The contract address this note is created in.
+     */
+    contractAddress: AztecAddress;
+    /**
+     * The nonce of the note.
+     */
+    nonce: Fr;
+    /**
+     * The specific storage location of the note on the contract.
+     */
+    storageSlot: Fr;
+    /**
+     * The preimage of the note, containing essential information about the note.
+     */
+    notePreimage: NotePreimage;
+    /**
+     * Inner note hash of the note. This is customisable by the app circuit.
+     * We can use this value to compute siloedNoteHash and uniqueSiloedNoteHash.
+     */
+    innerNoteHash: Fr;
+    /**
+     * The nullifier of the note (siloed by contract address).
+     */
+    siloedNullifier: Fr;
+    /**
+     * The location of the relevant note in the private data tree.
+     */
+    index: bigint;
+    /**
+     * The public key that was used to encrypt the data.
+     */
+    publicKey: PublicKey;
+}
+export declare const createRandomNoteSpendingInfoDao: ({ contractAddress, nonce, storageSlot, notePreimage, innerNoteHash, siloedNullifier, index, publicKey, }?: Partial<NoteSpendingInfoDao>) => NoteSpendingInfoDao;
+//# sourceMappingURL=note_spending_info_dao.d.ts.map

package/dest/database/note_spending_info_dao.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"note_spending_info_dao.d.ts","sourceRoot":"","sources":["../../src/database/note_spending_info_dao.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEjE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC;;OAEG;IACH,eAAe,EAAE,YAAY,CAAC;IAC9B;;OAEG;IACH,KAAK,EAAE,EAAE,CAAC;IACV;;OAEG;IACH,WAAW,EAAE,EAAE,CAAC;IAChB;;OAEG;IACH,YAAY,EAAE,YAAY,CAAC;IAC3B;;;OAGG;IACH,aAAa,EAAE,EAAE,CAAC;IAClB;;OAEG;IACH,eAAe,EAAE,EAAE,CAAC;IACpB;;OAEG;IACH,KAAK,EAAE,MAAM,CAAC;IACd;;OAEG;IACH,SAAS,EAAE,SAAS,CAAC;CACtB;AAED,eAAO,MAAM,+BAA+B,8GASzC,QAAQ,mBAAmB,CAAC,KAAQ,mBASrC,CAAC"}

package/dest/database/note_spending_info_dao.js

@@ -0,0 +1,14 @@
+import { AztecAddress, Fr } from '@aztec/circuits.js';
+import { Point } from '@aztec/foundation/fields';
+import { NotePreimage } from '@aztec/types';
+export const createRandomNoteSpendingInfoDao = ({ contractAddress = AztecAddress.random(), nonce = Fr.random(), storageSlot = Fr.random(), notePreimage = NotePreimage.random(), innerNoteHash = Fr.random(), siloedNullifier = Fr.random(), index = Fr.random().value, publicKey = Point.random(), } = {}) => ({
+    contractAddress,
+    nonce,
+    storageSlot,
+    notePreimage,
+    innerNoteHash,
+    siloedNullifier,
+    index,
+    publicKey,
+});
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm90ZV9zcGVuZGluZ19pbmZvX2Rhby5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9kYXRhYmFzZS9ub3RlX3NwZW5kaW5nX2luZm9fZGFvLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxZQUFZLEVBQUUsRUFBRSxFQUFhLE1BQU0sb0JBQW9CLENBQUM7QUFDakUsT0FBTyxFQUFFLEtBQUssRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQ2pELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxjQUFjLENBQUM7QUEyQzVDLE1BQU0sQ0FBQyxNQUFNLCtCQUErQixHQUFHLENBQUMsRUFDOUMsZUFBZSxHQUFHLFlBQVksQ0FBQyxNQUFNLEVBQUUsRUFDdkMsS0FBSyxHQUFHLEVBQUUsQ0FBQyxNQUFNLEVBQUUsRUFDbkIsV0FBVyxHQUFHLEVBQUUsQ0FBQyxNQUFNLEVBQUUsRUFDekIsWUFBWSxHQUFHLFlBQVksQ0FBQyxNQUFNLEVBQUUsRUFDcEMsYUFBYSxHQUFHLEVBQUUsQ0FBQyxNQUFNLEVBQUUsRUFDM0IsZUFBZSxHQUFHLEVBQUUsQ0FBQyxNQUFNLEVBQUUsRUFDN0IsS0FBSyxHQUFHLEVBQUUsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxLQUFLLEVBQ3pCLFNBQVMsR0FBRyxLQUFLLENBQUMsTUFBTSxFQUFFLE1BQ00sRUFBRSxFQUF1QixFQUFFLENBQUMsQ0FBQztJQUM3RCxlQUFlO0lBQ2YsS0FBSztJQUNMLFdBQVc7SUFDWCxZQUFZO0lBQ1osYUFBYTtJQUNiLGVBQWU7SUFDZixLQUFLO0lBQ0wsU0FBUztDQUNWLENBQUMsQ0FBQyJ9

package/dest/index.d.ts

@@ -0,0 +1,10 @@
+export * from './pxe_service/index.js';
+export * from './pxe_http/index.js';
+export * from './config/index.js';
+export { Tx, TxHash } from '@aztec/types';
+export { TxRequest, CircuitsWasm, PartialAddress } from '@aztec/circuits.js';
+export * from '@aztec/foundation/fields';
+export * from '@aztec/foundation/eth-address';
+export * from '@aztec/foundation/aztec-address';
+export * from '@aztec/key-store';
+//# sourceMappingURL=index.d.ts.map

package/dest/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,wBAAwB,CAAC;AACvC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAElC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE1C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAC7E,cAAc,0BAA0B,CAAC;AACzC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,iCAAiC,CAAC;AAChD,cAAc,kBAAkB,CAAC"}

package/dest/index.js

@@ -0,0 +1,10 @@
+export * from './pxe_service/index.js';
+export * from './pxe_http/index.js';
+export * from './config/index.js';
+export { Tx, TxHash } from '@aztec/types';
+export { TxRequest, CircuitsWasm } from '@aztec/circuits.js';
+export * from '@aztec/foundation/fields';
+export * from '@aztec/foundation/eth-address';
+export * from '@aztec/foundation/aztec-address';
+export * from '@aztec/key-store';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyx3QkFBd0IsQ0FBQztBQUN2QyxjQUFjLHFCQUFxQixDQUFDO0FBQ3BDLGNBQWMsbUJBQW1CLENBQUM7QUFFbEMsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFMUMsT0FBTyxFQUFFLFNBQVMsRUFBRSxZQUFZLEVBQWtCLE1BQU0sb0JBQW9CLENBQUM7QUFDN0UsY0FBYywwQkFBMEIsQ0FBQztBQUN6QyxjQUFjLCtCQUErQixDQUFDO0FBQzlDLGNBQWMsaUNBQWlDLENBQUM7QUFDaEQsY0FBYyxrQkFBa0IsQ0FBQyJ9

package/dest/kernel_oracle/index.d.ts

@@ -0,0 +1,18 @@
+import { AztecAddress, Fr, FunctionSelector, MembershipWitness, PRIVATE_DATA_TREE_HEIGHT } from '@aztec/circuits.js';
+import { AztecNode } from '@aztec/types';
+import { ContractDataOracle } from '../contract_data_oracle/index.js';
+import { ProvingDataOracle } from './../kernel_prover/proving_data_oracle.js';
+/**
+ * A data oracle that provides information needed for simulating a transaction.
+ */
+export declare class KernelOracle implements ProvingDataOracle {
+    private contractDataOracle;
+    private node;
+    constructor(contractDataOracle: ContractDataOracle, node: AztecNode);
+    getContractMembershipWitness(contractAddress: AztecAddress): Promise<MembershipWitness<16>>;
+    getFunctionMembershipWitness(contractAddress: AztecAddress, selector: FunctionSelector): Promise<MembershipWitness<4>>;
+    getVkMembershipWitness(): Promise<MembershipWitness<3>>;
+    getNoteMembershipWitness(leafIndex: bigint): Promise<MembershipWitness<typeof PRIVATE_DATA_TREE_HEIGHT>>;
+    getPrivateDataRoot(): Promise<Fr>;
+}
+//# sourceMappingURL=index.d.ts.map

package/dest/kernel_oracle/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kernel_oracle/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAErH,OAAO,EAAE,SAAS,EAAgB,MAAM,cAAc,CAAC;AAEvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAE9E;;GAEG;AACH,qBAAa,YAAa,YAAW,iBAAiB;IACxC,OAAO,CAAC,kBAAkB;IAAsB,OAAO,CAAC,IAAI;gBAApD,kBAAkB,EAAE,kBAAkB,EAAU,IAAI,EAAE,SAAS;IAEtE,4BAA4B,CAAC,eAAe,EAAE,YAAY;IAI1D,4BAA4B,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB;IAItF,sBAAsB;IAI7B,wBAAwB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,wBAAwB,CAAC,CAAC;IASxG,kBAAkB,IAAI,OAAO,CAAC,EAAE,CAAC;CAIxC"}