@aztec/world-state 0.1.0-alpha11

package/dest/world-state-db/merkle_trees.js

@@ -0,0 +1,373 @@
+import { CONTRACT_TREE_HEIGHT, CONTRACT_TREE_ROOTS_TREE_HEIGHT, CircuitsWasm, L1_TO_L2_MESSAGES_ROOTS_TREE_HEIGHT, L1_TO_L2_MESSAGES_TREE_HEIGHT, NULLIFIER_TREE_HEIGHT, PRIVATE_DATA_TREE_HEIGHT, PRIVATE_DATA_TREE_ROOTS_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT, } from '@aztec/circuits.js';
+import { Pedersen, SparseTree, StandardIndexedTree, StandardTree, newTree, } from '@aztec/merkle-tree';
+import { INITIAL_NULLIFIER_TREE_SIZE, } from './index.js';
+import { MerkleTreeOperationsFacade } from '../merkle-tree/merkle_tree_operations_facade.js';
+import { MerkleTreeId, merkleTreeIds } from '@aztec/types';
+import { SerialQueue } from '@aztec/foundation/fifo';
+import { createDebugLogger } from '@aztec/foundation/log';
+/**
+ * A convenience class for managing multiple merkle trees.
+ */
+export class MerkleTrees {
+    constructor(db, log = createDebugLogger('aztec:merkle_trees')) {
+        this.db = db;
+        this.log = log;
+        this.trees = [];
+        this.jobQueue = new SerialQueue();
+    }
+    /**
+     * Initialises the collection of Merkle Trees.
+     * @param optionalWasm - WASM instance to use for hashing (if not provided PrimitivesWasm will be used).
+     */
+    async init(optionalWasm) {
+        const wasm = optionalWasm ?? (await CircuitsWasm.get());
+        const hasher = new Pedersen(wasm);
+        const contractTree = await newTree(StandardTree, this.db, hasher, `${MerkleTreeId[MerkleTreeId.CONTRACT_TREE]}`, CONTRACT_TREE_HEIGHT);
+        const contractTreeRootsTree = await newTree(StandardTree, this.db, hasher, `${MerkleTreeId[MerkleTreeId.CONTRACT_TREE_ROOTS_TREE]}`, CONTRACT_TREE_ROOTS_TREE_HEIGHT);
+        const nullifierTree = await newTree(StandardIndexedTree, this.db, hasher, `${MerkleTreeId[MerkleTreeId.NULLIFIER_TREE]}`, NULLIFIER_TREE_HEIGHT, INITIAL_NULLIFIER_TREE_SIZE);
+        const privateDataTree = await newTree(StandardTree, this.db, hasher, `${MerkleTreeId[MerkleTreeId.PRIVATE_DATA_TREE]}`, PRIVATE_DATA_TREE_HEIGHT);
+        const privateDataTreeRootsTree = await newTree(StandardTree, this.db, hasher, `${MerkleTreeId[MerkleTreeId.PRIVATE_DATA_TREE_ROOTS_TREE]}`, PRIVATE_DATA_TREE_ROOTS_TREE_HEIGHT);
+        const publicDataTree = await newTree(SparseTree, this.db, hasher, `${MerkleTreeId[MerkleTreeId.PUBLIC_DATA_TREE]}`, PUBLIC_DATA_TREE_HEIGHT);
+        const l1Tol2MessagesTree = await newTree(StandardTree, this.db, hasher, `${MerkleTreeId[MerkleTreeId.L1_TO_L2_MESSAGES_TREE]}`, L1_TO_L2_MESSAGES_TREE_HEIGHT);
+        const l1Tol2MessagesRootsTree = await newTree(StandardTree, this.db, hasher, `${MerkleTreeId[MerkleTreeId.L1_TO_L2_MESSAGES_ROOTS_TREE]}`, L1_TO_L2_MESSAGES_ROOTS_TREE_HEIGHT);
+        this.trees = [
+            contractTree,
+            contractTreeRootsTree,
+            nullifierTree,
+            privateDataTree,
+            privateDataTreeRootsTree,
+            publicDataTree,
+            l1Tol2MessagesTree,
+            l1Tol2MessagesRootsTree,
+        ];
+        this.jobQueue.start();
+        // The roots trees must contain the empty roots of their data trees
+        await this.updateHistoricRootsTrees(true);
+        const historicRootsTrees = [contractTreeRootsTree, privateDataTreeRootsTree, l1Tol2MessagesRootsTree];
+        await Promise.all(historicRootsTrees.map(tree => tree.commit()));
+    }
+    /**
+     * Method to asynchronously create and initialise a MerkleTrees instance.
+     * @param db - The db instance to use for data persistance.
+     * @param wasm - WASM instance to use for hashing (if not provided PrimitivesWasm will be used).
+     * @returns - A fully initialised MerkleTrees instance.
+     */
+    static async new(db, wasm) {
+        const merkleTrees = new MerkleTrees(db);
+        await merkleTrees.init(wasm);
+        return merkleTrees;
+    }
+    /**
+     * Stops the job queue (waits for all jobs to finish).
+     */
+    async stop() {
+        await this.jobQueue.end();
+    }
+    /**
+     * Gets a view of this db that returns uncommitted data.
+     * @returns - A facade for this instance.
+     */
+    asLatest() {
+        return new MerkleTreeOperationsFacade(this, true);
+    }
+    /**
+     * Gets a view of this db that returns committed data only.
+     * @returns - A facade for this instance.
+     */
+    asCommitted() {
+        return new MerkleTreeOperationsFacade(this, false);
+    }
+    /**
+     * Inserts into the roots trees (CONTRACT_TREE_ROOTS_TREE, PRIVATE_DATA_TREE_ROOTS_TREE, L1_TO_L2_MESSAGES_TREE_ROOTS_TREE)
+     * the current roots of the corresponding trees (CONTRACT_TREE, PRIVATE_DATA_TREE, L1_TO_L2_MESSAGES_TREE).
+     * @param includeUncommitted - Indicates whether to include uncommitted data.
+     */
+    async updateHistoricRootsTrees(includeUncommitted) {
+        for (const [newTree, rootTree] of [
+            [MerkleTreeId.PRIVATE_DATA_TREE, MerkleTreeId.PRIVATE_DATA_TREE_ROOTS_TREE],
+            [MerkleTreeId.CONTRACT_TREE, MerkleTreeId.CONTRACT_TREE_ROOTS_TREE],
+            [MerkleTreeId.L1_TO_L2_MESSAGES_TREE, MerkleTreeId.L1_TO_L2_MESSAGES_ROOTS_TREE],
+        ]) {
+            const newTreeInfo = await this.getTreeInfo(newTree, includeUncommitted);
+            await this.appendLeaves(rootTree, [newTreeInfo.root]);
+        }
+    }
+    /**
+     * Gets the tree info for the specified tree.
+     * @param treeId - Id of the tree to get information from.
+     * @param includeUncommitted - Indicates whether to include uncommitted data.
+     * @returns The tree info for the specified tree.
+     */
+    async getTreeInfo(treeId, includeUncommitted) {
+        return await this.synchronise(() => this._getTreeInfo(treeId, includeUncommitted));
+    }
+    /**
+     * Get the current roots of the commitment trees.
+     * @param includeUncommitted - Indicates whether to include uncommitted data.
+     * @returns The current roots of the trees.
+     */
+    getCommitmentTreeRoots(includeUncommitted) {
+        const roots = [
+            MerkleTreeId.PRIVATE_DATA_TREE,
+            MerkleTreeId.CONTRACT_TREE,
+            MerkleTreeId.L1_TO_L2_MESSAGES_TREE,
+            MerkleTreeId.NULLIFIER_TREE,
+        ].map(tree => this.trees[tree].getRoot(includeUncommitted));
+        return {
+            privateDataTreeRoot: roots[0],
+            contractDataTreeRoot: roots[1],
+            l1Tol2MessagesTreeRoot: roots[2],
+            nullifierTreeRoot: roots[3],
+        };
+    }
+    /**
+     * Gets the value at the given index.
+     * @param treeId - The ID of the tree to get the leaf value from.
+     * @param index - The index of the leaf.
+     * @param includeUncommitted - Indicates whether to include uncommitted changes.
+     * @returns Leaf value at the given index (undefined if not found).
+     */
+    async getLeafValue(treeId, index, includeUncommitted) {
+        return await this.synchronise(() => this.trees[treeId].getLeafValue(index, includeUncommitted));
+    }
+    /**
+     * Gets the sibling path for a leaf in a tree.
+     * @param treeId - The ID of the tree.
+     * @param index - The index of the leaf.
+     * @param includeUncommitted - Indicates whether the sibling path should incro include uncommitted data.
+     * @returns The sibling path for the leaf.
+     */
+    async getSiblingPath(treeId, index, includeUncommitted) {
+        return await this.synchronise(() => this._getSiblingPath(treeId, index, includeUncommitted));
+    }
+    /**
+     * Appends leaves to a tree.
+     * @param treeId - The ID of the tree.
+     * @param leaves - The leaves to append.
+     * @returns Empty promise.
+     */
+    async appendLeaves(treeId, leaves) {
+        return await this.synchronise(() => this._appendLeaves(treeId, leaves));
+    }
+    /**
+     * Commits all pending updates.
+     * @returns Empty promise.
+     */
+    async commit() {
+        return await this.synchronise(() => this._commit());
+    }
+    /**
+     * Rolls back all pending updates.
+     * @returns Empty promise.
+     */
+    async rollback() {
+        return await this.synchronise(() => this._rollback());
+    }
+    /**
+     * Finds the index of the largest leaf whose value is less than or equal to the provided value.
+     * @param treeId - The ID of the tree to search.
+     * @param value - The value to be inserted into the tree.
+     * @param includeUncommitted - If true, the uncommitted changes are included in the search.
+     * @returns The found leaf index and a flag indicating if the corresponding leaf's value is equal to `newValue`.
+     */
+    async getPreviousValueIndex(treeId, value, includeUncommitted) {
+        return await this.synchronise(() => Promise.resolve(this._getIndexedTree(treeId).findIndexOfPreviousValue(value, includeUncommitted)));
+    }
+    /**
+     * Gets the leaf data at a given index and tree.
+     * @param treeId - The ID of the tree get the leaf from.
+     * @param index - The index of the leaf to get.
+     * @param includeUncommitted - Indicates whether to include uncommitted data.
+     * @returns Leaf data.
+     */
+    async getLeafData(treeId, index, includeUncommitted) {
+        return await this.synchronise(() => Promise.resolve(this._getIndexedTree(treeId).getLatestLeafDataCopy(index, includeUncommitted)));
+    }
+    /**
+     * Returns the index of a leaf given its value, or undefined if no leaf with that value is found.
+     * @param treeId - The ID of the tree.
+     * @param value - The leaf value to look for.
+     * @param includeUncommitted - Indicates whether to include uncommitted data.
+     * @returns The index of the first leaf found with a given value (undefined if not found).
+     */
+    async findLeafIndex(treeId, value, includeUncommitted) {
+        return await this.synchronise(async () => {
+            const tree = this.trees[treeId];
+            for (let i = 0n; i < tree.getNumLeaves(includeUncommitted); i++) {
+                const currentValue = await tree.getLeafValue(i, includeUncommitted);
+                if (currentValue && currentValue.equals(value)) {
+                    return i;
+                }
+            }
+            return undefined;
+        });
+    }
+    /**
+     * Updates a leaf in a tree at a given index.
+     * @param treeId - The ID of the tree.
+     * @param leaf - The new leaf value.
+     * @param index - The index to insert into.
+     * @returns Empty promise.
+     */
+    async updateLeaf(treeId, leaf, index) {
+        return await this.synchronise(() => this._updateLeaf(treeId, leaf, index));
+    }
+    /**
+     * Handles a single L2 block (i.e. Inserts the new commitments into the merkle tree).
+     * @param block - The L2 block to handle.
+     */
+    async handleL2Block(block) {
+        await this.synchronise(() => this._handleL2Block(block));
+    }
+    /**
+     * Batch insert multiple leaves into the tree.
+     * @param treeId - The ID of the tree.
+     * @param leaves - Leaves to insert into the tree.
+     * @param treeHeight - Height of the tree.
+     * @param subtreeHeight - Height of the subtree.
+     * @returns The data for the leaves to be updated when inserting the new ones.
+     */
+    async batchInsert(treeId, leaves, treeHeight, subtreeHeight) {
+        const tree = this.trees[treeId];
+        if (!('batchInsert' in tree)) {
+            throw new Error('Tree does not support `batchInsert` method');
+        }
+        return await this.synchronise(() => tree.batchInsert(leaves, treeHeight, subtreeHeight));
+    }
+    /**
+     * Waits for all jobs to finish before executing the given function.
+     * @param fn - The function to execute.
+     * @returns Promise containing the result of the function.
+     */
+    async synchronise(fn) {
+        return await this.jobQueue.put(fn);
+    }
+    /**
+     * Returns the tree info for the specified tree id.
+     * @param treeId - Id of the tree to get information from.
+     * @param includeUncommitted - Indicates whether to include uncommitted data.
+     * @returns The tree info for the specified tree.
+     */
+    _getTreeInfo(treeId, includeUncommitted) {
+        const treeInfo = {
+            treeId,
+            root: this.trees[treeId].getRoot(includeUncommitted),
+            size: this.trees[treeId].getNumLeaves(includeUncommitted),
+            depth: this.trees[treeId].getDepth(),
+        };
+        return Promise.resolve(treeInfo);
+    }
+    /**
+     * Returns an instance of an indexed tree.
+     * @param treeId - Id of the tree to get an instance of.
+     * @returns The indexed tree for the specified tree id.
+     */
+    _getIndexedTree(treeId) {
+        return this.trees[treeId];
+    }
+    /**
+     * Returns the sibling path for a leaf in a tree.
+     * @param treeId - Id of the tree to get the sibling path from.
+     * @param index - Index of the leaf to get the sibling path for.
+     * @param includeUncommitted - Indicates whether to include uncommitted updates in the sibling path.
+     * @returns Promise containing the sibling path for the leaf.
+     */
+    _getSiblingPath(treeId, index, includeUncommitted) {
+        return Promise.resolve(this.trees[treeId].getSiblingPath(index, includeUncommitted));
+    }
+    /**
+     * Appends leaves to a tree.
+     * @param treeId - Id of the tree to append leaves to.
+     * @param leaves - Leaves to append.
+     * @returns Empty promise.
+     */
+    async _appendLeaves(treeId, leaves) {
+        const tree = this.trees[treeId];
+        if (!('appendLeaves' in tree)) {
+            throw new Error('Tree does not support `appendLeaves` method');
+        }
+        return await tree.appendLeaves(leaves);
+    }
+    async _updateLeaf(treeId, leaf, index) {
+        const tree = this.trees[treeId];
+        if (!('updateLeaf' in tree)) {
+            throw new Error('Tree does not support `updateLeaf` method');
+        }
+        return await tree.updateLeaf(leaf, index);
+    }
+    /**
+     * Commits all pending updates.
+     * @returns Empty promise.
+     */
+    async _commit() {
+        for (const tree of this.trees) {
+            await tree.commit();
+        }
+    }
+    /**
+     * Rolls back all pending updates.
+     * @returns Empty promise.
+     */
+    async _rollback() {
+        for (const tree of this.trees) {
+            await tree.rollback();
+        }
+    }
+    /**
+     * Handles a single L2 block (i.e. Inserts the new commitments into the merkle tree).
+     * @param l2Block - The L2 block to handle.
+     */
+    async _handleL2Block(l2Block) {
+        const compareRoot = (root, treeId) => {
+            const treeRoot = this.trees[treeId].getRoot(true);
+            return treeRoot.equals(root.toBuffer());
+        };
+        const rootChecks = [
+            compareRoot(l2Block.endContractTreeSnapshot.root, MerkleTreeId.CONTRACT_TREE),
+            compareRoot(l2Block.endNullifierTreeSnapshot.root, MerkleTreeId.NULLIFIER_TREE),
+            compareRoot(l2Block.endPrivateDataTreeSnapshot.root, MerkleTreeId.PRIVATE_DATA_TREE),
+            compareRoot(l2Block.endPublicDataTreeRoot, MerkleTreeId.PUBLIC_DATA_TREE),
+            compareRoot(l2Block.endTreeOfHistoricContractTreeRootsSnapshot.root, MerkleTreeId.CONTRACT_TREE_ROOTS_TREE),
+            compareRoot(l2Block.endTreeOfHistoricPrivateDataTreeRootsSnapshot.root, MerkleTreeId.PRIVATE_DATA_TREE_ROOTS_TREE),
+            compareRoot(l2Block.endL1ToL2MessageTreeSnapshot.root, MerkleTreeId.L1_TO_L2_MESSAGES_TREE),
+            compareRoot(l2Block.endTreeOfHistoricL1ToL2MessageTreeRootsSnapshot.root, MerkleTreeId.L1_TO_L2_MESSAGES_ROOTS_TREE),
+        ];
+        const ourBlock = rootChecks.every(x => x);
+        if (ourBlock) {
+            this.log(`Block ${l2Block.number} is ours, committing world state..`);
+            await this._commit();
+        }
+        else {
+            this.log(`Block ${l2Block.number} is not ours, rolling back world state and committing state from chain..`);
+            await this._rollback();
+            for (const [tree, leaves] of [
+                [MerkleTreeId.CONTRACT_TREE, l2Block.newContracts],
+                [MerkleTreeId.NULLIFIER_TREE, l2Block.newNullifiers],
+                [MerkleTreeId.PRIVATE_DATA_TREE, l2Block.newCommitments],
+                [MerkleTreeId.L1_TO_L2_MESSAGES_TREE, l2Block.newL1ToL2Messages],
+            ]) {
+                await this._appendLeaves(tree, leaves.map(fr => fr.toBuffer()));
+            }
+            for (const dataWrite of l2Block.newPublicDataWrites) {
+                if (dataWrite.isEmpty())
+                    continue;
+                const { newValue, leafIndex } = dataWrite;
+                await this._updateLeaf(MerkleTreeId.PUBLIC_DATA_TREE, newValue.toBuffer(), leafIndex.value);
+            }
+            for (const [newTree, rootTree] of [
+                [MerkleTreeId.PRIVATE_DATA_TREE, MerkleTreeId.PRIVATE_DATA_TREE_ROOTS_TREE],
+                [MerkleTreeId.CONTRACT_TREE, MerkleTreeId.CONTRACT_TREE_ROOTS_TREE],
+                [MerkleTreeId.L1_TO_L2_MESSAGES_TREE, MerkleTreeId.L1_TO_L2_MESSAGES_ROOTS_TREE],
+            ]) {
+                const newTreeRoot = this.trees[newTree].getRoot(true);
+                await this._appendLeaves(rootTree, [newTreeRoot]);
+            }
+            await this._commit();
+        }
+        for (const treeId of merkleTreeIds()) {
+            const info = await this._getTreeInfo(treeId, false);
+            this.log(`Tree ${MerkleTreeId[treeId]} synched with size ${info.size} root ${info.root.toString('hex')}`);
+        }
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVya2xlX3RyZWVzLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3dvcmxkLXN0YXRlLWRiL21lcmtsZV90cmVlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wsb0JBQW9CLEVBQ3BCLCtCQUErQixFQUMvQixZQUFZLEVBRVosbUNBQW1DLEVBQ25DLDZCQUE2QixFQUM3QixxQkFBcUIsRUFDckIsd0JBQXdCLEVBQ3hCLG1DQUFtQyxFQUNuQyx1QkFBdUIsR0FDeEIsTUFBTSxvQkFBb0IsQ0FBQztBQUM1QixPQUFPLEVBS0wsUUFBUSxFQUVSLFVBQVUsRUFDVixtQkFBbUIsRUFDbkIsWUFBWSxFQUVaLE9BQU8sR0FDUixNQUFNLG9CQUFvQixDQUFDO0FBRTVCLE9BQU8sRUFFTCwyQkFBMkIsR0FNNUIsTUFBTSxZQUFZLENBQUM7QUFDcEIsT0FBTyxFQUFFLDBCQUEwQixFQUFFLE1BQU0saURBQWlELENBQUM7QUFDN0YsT0FBTyxFQUFXLFlBQVksRUFBRSxhQUFhLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFDcEUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3JELE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRzFEOztHQUVHO0FBQ0gsTUFBTSxPQUFPLFdBQVc7SUFJdEIsWUFBb0IsRUFBbUIsRUFBVSxNQUFNLGlCQUFpQixDQUFDLG9CQUFvQixDQUFDO1FBQTFFLE9BQUUsR0FBRixFQUFFLENBQWlCO1FBQVUsUUFBRyxHQUFILEdBQUcsQ0FBMEM7UUFIdEYsVUFBSyxHQUF3QyxFQUFFLENBQUM7UUFDaEQsYUFBUSxHQUFHLElBQUksV0FBVyxFQUFFLENBQUM7SUFFNEQsQ0FBQztJQUVsRzs7O09BR0c7SUFDSSxLQUFLLENBQUMsSUFBSSxDQUFDLFlBQTBCO1FBQzFDLE1BQU0sSUFBSSxHQUFHLFlBQVksSUFBSSxDQUFDLE1BQU0sWUFBWSxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUM7UUFDeEQsTUFBTSxNQUFNLEdBQUcsSUFBSSxRQUFRLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDbEMsTUFBTSxZQUFZLEdBQW1CLE1BQU0sT0FBTyxDQUNoRCxZQUFZLEVBQ1osSUFBSSxDQUFDLEVBQUUsRUFDUCxNQUFNLEVBQ04sR0FBRyxZQUFZLENBQUMsWUFBWSxDQUFDLGFBQWEsQ0FBQyxFQUFFLEVBQzdDLG9CQUFvQixDQUNyQixDQUFDO1FBQ0YsTUFBTSxxQkFBcUIsR0FBbUIsTUFBTSxPQUFPLENBQ3pELFlBQVksRUFDWixJQUFJLENBQUMsRUFBRSxFQUNQLE1BQU0sRUFDTixHQUFHLFlBQVksQ0FBQyxZQUFZLENBQUMsd0JBQXdCLENBQUMsRUFBRSxFQUN4RCwrQkFBK0IsQ0FDaEMsQ0FBQztRQUNGLE1BQU0sYUFBYSxHQUFHLE1BQU0sT0FBTyxDQUNqQyxtQkFBbUIsRUFDbkIsSUFBSSxDQUFDLEVBQUUsRUFDUCxNQUFNLEVBQ04sR0FBRyxZQUFZLENBQUMsWUFBWSxDQUFDLGNBQWMsQ0FBQyxFQUFFLEVBQzlDLHFCQUFxQixFQUNyQiwyQkFBMkIsQ0FDNUIsQ0FBQztRQUNGLE1BQU0sZUFBZSxHQUFtQixNQUFNLE9BQU8sQ0FDbkQsWUFBWSxFQUNaLElBQUksQ0FBQyxFQUFFLEVBQ1AsTUFBTSxFQUNOLEdBQUcsWUFBWSxDQUFDLFlBQVksQ0FBQyxpQkFBaUIsQ0FBQyxFQUFFLEVBQ2pELHdCQUF3QixDQUN6QixDQUFDO1FBQ0YsTUFBTSx3QkFBd0IsR0FBbUIsTUFBTSxPQUFPLENBQzVELFlBQVksRUFDWixJQUFJLENBQUMsRUFBRSxFQUNQLE1BQU0sRUFDTixHQUFHLFlBQVksQ0FBQyxZQUFZLENBQUMsNEJBQTRCLENBQUMsRUFBRSxFQUM1RCxtQ0FBbUMsQ0FDcEMsQ0FBQztRQUNGLE1BQU0sY0FBYyxHQUFtQixNQUFNLE9BQU8sQ0FDbEQsVUFBVSxFQUNWLElBQUksQ0FBQyxFQUFFLEVBQ1AsTUFBTSxFQUNOLEdBQUcsWUFBWSxDQUFDLFlBQVksQ0FBQyxnQkFBZ0IsQ0FBQyxFQUFFLEVBQ2hELHVCQUF1QixDQUN4QixDQUFDO1FBQ0YsTUFBTSxrQkFBa0IsR0FBbUIsTUFBTSxPQUFPLENBQ3RELFlBQVksRUFDWixJQUFJLENBQUMsRUFBRSxFQUNQLE1BQU0sRUFDTixHQUFHLFlBQVksQ0FBQyxZQUFZLENBQUMsc0JBQXNCLENBQUMsRUFBRSxFQUN0RCw2QkFBNkIsQ0FDOUIsQ0FBQztRQUNGLE1BQU0sdUJBQXVCLEdBQW1CLE1BQU0sT0FBTyxDQUMzRCxZQUFZLEVBQ1osSUFBSSxDQUFDLEVBQUUsRUFDUCxNQUFNLEVBQ04sR0FBRyxZQUFZLENBQUMsWUFBWSxDQUFDLDRCQUE0QixDQUFDLEVBQUUsRUFDNUQsbUNBQW1DLENBQ3BDLENBQUM7UUFDRixJQUFJLENBQUMsS0FBSyxHQUFHO1lBQ1gsWUFBWTtZQUNaLHFCQUFxQjtZQUNyQixhQUFhO1lBQ2IsZUFBZTtZQUNmLHdCQUF3QjtZQUN4QixjQUFjO1lBQ2Qsa0JBQWtCO1lBQ2xCLHVCQUF1QjtTQUN4QixDQUFDO1FBRUYsSUFBSSxDQUFDLFFBQVEsQ0FBQyxLQUFLLEVBQUUsQ0FBQztRQUV0QixtRUFBbUU7UUFDbkUsTUFBTSxJQUFJLENBQUMsd0JBQXdCLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDMUMsTUFBTSxrQkFBa0IsR0FBRyxDQUFDLHFCQUFxQixFQUFFLHdCQUF3QixFQUFFLHVCQUF1QixDQUFDLENBQUM7UUFDdEcsTUFBTSxPQUFPLENBQUMsR0FBRyxDQUFDLGtCQUFrQixDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBQUM7SUFDbkUsQ0FBQztJQUVEOzs7OztPQUtHO0lBQ0ksTUFBTSxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsRUFBbUIsRUFBRSxJQUFrQjtRQUM3RCxNQUFNLFdBQVcsR0FBRyxJQUFJLFdBQVcsQ0FBQyxFQUFFLENBQUMsQ0FBQztRQUN4QyxNQUFNLFdBQVcsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDN0IsT0FBTyxXQUFXLENBQUM7SUFDckIsQ0FBQztJQUVEOztPQUVHO0lBQ0ksS0FBSyxDQUFDLElBQUk7UUFDZixNQUFNLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxFQUFFLENBQUM7SUFDNUIsQ0FBQztJQUVEOzs7T0FHRztJQUNJLFFBQVE7UUFDYixPQUFPLElBQUksMEJBQTBCLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxDQUFDO0lBQ3BELENBQUM7SUFFRDs7O09BR0c7SUFDSSxXQUFXO1FBQ2hCLE9BQU8sSUFBSSwwQkFBMEIsQ0FBQyxJQUFJLEVBQUUsS0FBSyxDQUFDLENBQUM7SUFDckQsQ0FBQztJQUVEOzs7O09BSUc7SUFDSSxLQUFLLENBQUMsd0JBQXdCLENBQUMsa0JBQTJCO1FBQy9ELEtBQUssTUFBTSxDQUFDLE9BQU8sRUFBRSxRQUFRLENBQUMsSUFBSTtZQUNoQyxDQUFDLFlBQVksQ0FBQyxpQkFBaUIsRUFBRSxZQUFZLENBQUMsNEJBQTRCLENBQUM7WUFDM0UsQ0FBQyxZQUFZLENBQUMsYUFBYSxFQUFFLFlBQVksQ0FBQyx3QkFBd0IsQ0FBQztZQUNuRSxDQUFDLFlBQVksQ0FBQyxzQkFBc0IsRUFBRSxZQUFZLENBQUMsNEJBQTRCLENBQUM7U0FDeEUsRUFBRTtZQUNWLE1BQU0sV0FBVyxHQUFHLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxPQUFPLEVBQUUsa0JBQWtCLENBQUMsQ0FBQztZQUN4RSxNQUFNLElBQUksQ0FBQyxZQUFZLENBQUMsUUFBUSxFQUFFLENBQUMsV0FBVyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUM7U0FDdkQ7SUFDSCxDQUFDO0lBRUQ7Ozs7O09BS0c7SUFDSSxLQUFLLENBQUMsV0FBVyxDQUFDLE1BQW9CLEVBQUUsa0JBQTJCO1FBQ3hFLE9BQU8sTUFBTSxJQUFJLENBQUMsV0FBVyxDQUFDLEdBQUcsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLENBQUMsTUFBTSxFQUFFLGtCQUFrQixDQUFDLENBQUMsQ0FBQztJQUNyRixDQUFDO0lBRUQ7Ozs7T0FJRztJQUNJLHNCQUFzQixDQUFDLGtCQUEyQjtRQUN2RCxNQUFNLEtBQUssR0FBRztZQUNaLFlBQVksQ0FBQyxpQkFBaUI7WUFDOUIsWUFBWSxDQUFDLGFBQWE7WUFDMUIsWUFBWSxDQUFDLHNCQUFzQjtZQUNuQyxZQUFZLENBQUMsY0FBYztTQUM1QixDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxLQUFLLENBQUMsSUFBSSxDQUFDLENBQUMsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBQUMsQ0FBQztRQUU1RCxPQUFPO1lBQ0wsbUJBQW1CLEVBQUUsS0FBSyxDQUFDLENBQUMsQ0FBQztZQUM3QixvQkFBb0IsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDO1lBQzlCLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUM7WUFDaEMsaUJBQWlCLEVBQUUsS0FBSyxDQUFDLENBQUMsQ0FBQztTQUM1QixDQUFDO0lBQ0osQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNJLEtBQUssQ0FBQyxZQUFZLENBQ3ZCLE1BQW9CLEVBQ3BCLEtBQWEsRUFDYixrQkFBMkI7UUFFM0IsT0FBTyxNQUFNLElBQUksQ0FBQyxXQUFXLENBQUMsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUMsQ0FBQyxZQUFZLENBQUMsS0FBSyxFQUFFLGtCQUFrQixDQUFDLENBQUMsQ0FBQztJQUNsRyxDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksS0FBSyxDQUFDLGNBQWMsQ0FDekIsTUFBb0IsRUFDcEIsS0FBYSxFQUNiLGtCQUEyQjtRQUUzQixPQUFPLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxJQUFJLENBQUMsZUFBZSxDQUFDLE1BQU0sRUFBRSxLQUFLLEVBQUUsa0JBQWtCLENBQUMsQ0FBQyxDQUFDO0lBQy9GLENBQUM7SUFFRDs7Ozs7T0FLRztJQUNJLEtBQUssQ0FBQyxZQUFZLENBQUMsTUFBb0IsRUFBRSxNQUFnQjtRQUM5RCxPQUFPLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxJQUFJLENBQUMsYUFBYSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsQ0FBQyxDQUFDO0lBQzFFLENBQUM7SUFFRDs7O09BR0c7SUFDSSxLQUFLLENBQUMsTUFBTTtRQUNqQixPQUFPLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxJQUFJLENBQUMsT0FBTyxFQUFFLENBQUMsQ0FBQztJQUN0RCxDQUFDO0lBRUQ7OztPQUdHO0lBQ0ksS0FBSyxDQUFDLFFBQVE7UUFDbkIsT0FBTyxNQUFNLElBQUksQ0FBQyxXQUFXLENBQUMsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLFNBQVMsRUFBRSxDQUFDLENBQUM7SUFDeEQsQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNJLEtBQUssQ0FBQyxxQkFBcUIsQ0FDaEMsTUFBcUIsRUFDckIsS0FBYSxFQUNiLGtCQUEyQjtRQVczQixPQUFPLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxHQUFHLEVBQUUsQ0FDakMsT0FBTyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsZUFBZSxDQUFDLE1BQU0sQ0FBQyxDQUFDLHdCQUF3QixDQUFDLEtBQUssRUFBRSxrQkFBa0IsQ0FBQyxDQUFDLENBQ2xHLENBQUM7SUFDSixDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksS0FBSyxDQUFDLFdBQVcsQ0FDdEIsTUFBcUIsRUFDckIsS0FBYSxFQUNiLGtCQUEyQjtRQUUzQixPQUFPLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxHQUFHLEVBQUUsQ0FDakMsT0FBTyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsZUFBZSxDQUFDLE1BQU0sQ0FBQyxDQUFDLHFCQUFxQixDQUFDLEtBQUssRUFBRSxrQkFBa0IsQ0FBQyxDQUFDLENBQy9GLENBQUM7SUFDSixDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksS0FBSyxDQUFDLGFBQWEsQ0FDeEIsTUFBb0IsRUFDcEIsS0FBYSxFQUNiLGtCQUEyQjtRQUUzQixPQUFPLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxLQUFLLElBQUksRUFBRTtZQUN2QyxNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1lBQ2hDLEtBQUssSUFBSSxDQUFDLEdBQUcsRUFBRSxFQUFFLENBQUMsR0FBRyxJQUFJLENBQUMsWUFBWSxDQUFDLGtCQUFrQixDQUFDLEVBQUUsQ0FBQyxFQUFFLEVBQUU7Z0JBQy9ELE1BQU0sWUFBWSxHQUFHLE1BQU0sSUFBSSxDQUFDLFlBQVksQ0FBQyxDQUFDLEVBQUUsa0JBQWtCLENBQUMsQ0FBQztnQkFDcEUsSUFBSSxZQUFZLElBQUksWUFBWSxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsRUFBRTtvQkFDOUMsT0FBTyxDQUFDLENBQUM7aUJBQ1Y7YUFDRjtZQUNELE9BQU8sU0FBUyxDQUFDO1FBQ25CLENBQUMsQ0FBQyxDQUFDO0lBQ0wsQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNJLEtBQUssQ0FBQyxVQUFVLENBQUMsTUFBb0MsRUFBRSxJQUF1QixFQUFFLEtBQWE7UUFDbEcsT0FBTyxNQUFNLElBQUksQ0FBQyxXQUFXLENBQUMsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLFdBQVcsQ0FBQyxNQUFNLEVBQUUsSUFBSSxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUM7SUFDN0UsQ0FBQztJQUVEOzs7T0FHRztJQUNJLEtBQUssQ0FBQyxhQUFhLENBQUMsS0FBYztRQUN2QyxNQUFNLElBQUksQ0FBQyxXQUFXLENBQUMsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLGNBQWMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDO0lBQzNELENBQUM7SUFFRDs7Ozs7OztPQU9HO0lBQ0ksS0FBSyxDQUFDLFdBQVcsQ0FLdEIsTUFBb0IsRUFDcEIsTUFBZ0IsRUFDaEIsVUFBc0IsRUFDdEIsYUFBNEI7UUFLNUIsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQXdCLENBQUM7UUFDdkQsSUFBSSxDQUFDLENBQUMsYUFBYSxJQUFJLElBQUksQ0FBQyxFQUFFO1lBQzVCLE1BQU0sSUFBSSxLQUFLLENBQUMsNENBQTRDLENBQUMsQ0FBQztTQUMvRDtRQUNELE9BQU8sTUFBTSxJQUFJLENBQUMsV0FBVyxDQUFDLEdBQUcsRUFBRSxDQUFDLElBQUksQ0FBQyxXQUFXLENBQUMsTUFBTSxFQUFFLFVBQVUsRUFBRSxhQUFhLENBQUMsQ0FBQyxDQUFDO0lBQzNGLENBQUM7SUFFRDs7OztPQUlHO0lBQ0ssS0FBSyxDQUFDLFdBQVcsQ0FBSSxFQUFvQjtRQUMvQyxPQUFPLE1BQU0sSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLENBQUM7SUFDckMsQ0FBQztJQUVEOzs7OztPQUtHO0lBQ0ssWUFBWSxDQUFDLE1BQW9CLEVBQUUsa0JBQTJCO1FBQ3BFLE1BQU0sUUFBUSxHQUFHO1lBQ2YsTUFBTTtZQUNOLElBQUksRUFBRSxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQztZQUNwRCxJQUFJLEVBQUUsSUFBSSxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUMsQ0FBQyxZQUFZLENBQUMsa0JBQWtCLENBQUM7WUFDekQsS0FBSyxFQUFFLElBQUksQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUFDLENBQUMsUUFBUSxFQUFFO1NBQ3pCLENBQUM7UUFDZCxPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQUMsUUFBUSxDQUFDLENBQUM7SUFDbkMsQ0FBQztJQUVEOzs7O09BSUc7SUFDSyxlQUFlLENBQUMsTUFBcUI7UUFDM0MsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBZ0IsQ0FBQztJQUMzQyxDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0ssZUFBZSxDQUNyQixNQUFvQixFQUNwQixLQUFhLEVBQ2Isa0JBQTJCO1FBRTNCLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDLGNBQWMsQ0FBSSxLQUFLLEVBQUUsa0JBQWtCLENBQUMsQ0FBQyxDQUFDO0lBQzFGLENBQUM7SUFFRDs7Ozs7T0FLRztJQUNLLEtBQUssQ0FBQyxhQUFhLENBQUMsTUFBb0IsRUFBRSxNQUFnQjtRQUNoRSxNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2hDLElBQUksQ0FBQyxDQUFDLGNBQWMsSUFBSSxJQUFJLENBQUMsRUFBRTtZQUM3QixNQUFNLElBQUksS0FBSyxDQUFDLDZDQUE2QyxDQUFDLENBQUM7U0FDaEU7UUFDRCxPQUFPLE1BQU0sSUFBSSxDQUFDLFlBQVksQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUN6QyxDQUFDO0lBRU8sS0FBSyxDQUFDLFdBQVcsQ0FDdkIsTUFBb0MsRUFDcEMsSUFBdUIsRUFDdkIsS0FBYTtRQUViLE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDaEMsSUFBSSxDQUFDLENBQUMsWUFBWSxJQUFJLElBQUksQ0FBQyxFQUFFO1lBQzNCLE1BQU0sSUFBSSxLQUFLLENBQUMsMkNBQTJDLENBQUMsQ0FBQztTQUM5RDtRQUNELE9BQU8sTUFBTSxJQUFJLENBQUMsVUFBVSxDQUFDLElBQUksRUFBRSxLQUFLLENBQUMsQ0FBQztJQUM1QyxDQUFDO0lBRUQ7OztPQUdHO0lBQ0ssS0FBSyxDQUFDLE9BQU87UUFDbkIsS0FBSyxNQUFNLElBQUksSUFBSSxJQUFJLENBQUMsS0FBSyxFQUFFO1lBQzdCLE1BQU0sSUFBSSxDQUFDLE1BQU0sRUFBRSxDQUFDO1NBQ3JCO0lBQ0gsQ0FBQztJQUVEOzs7T0FHRztJQUNLLEtBQUssQ0FBQyxTQUFTO1FBQ3JCLEtBQUssTUFBTSxJQUFJLElBQUksSUFBSSxDQUFDLEtBQUssRUFBRTtZQUM3QixNQUFNLElBQUksQ0FBQyxRQUFRLEVBQUUsQ0FBQztTQUN2QjtJQUNILENBQUM7SUFFRDs7O09BR0c7SUFDSyxLQUFLLENBQUMsY0FBYyxDQUFDLE9BQWdCO1FBQzNDLE1BQU0sV0FBVyxHQUFHLENBQUMsSUFBUSxFQUFFLE1BQW9CLEVBQUUsRUFBRTtZQUNyRCxNQUFNLFFBQVEsR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztZQUNsRCxPQUFPLFFBQVEsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUM7UUFDMUMsQ0FBQyxDQUFDO1FBQ0YsTUFBTSxVQUFVLEdBQUc7WUFDakIsV0FBVyxDQUFDLE9BQU8sQ0FBQyx1QkFBdUIsQ0FBQyxJQUFJLEVBQUUsWUFBWSxDQUFDLGFBQWEsQ0FBQztZQUM3RSxXQUFXLENBQUMsT0FBTyxDQUFDLHdCQUF3QixDQUFDLElBQUksRUFBRSxZQUFZLENBQUMsY0FBYyxDQUFDO1lBQy9FLFdBQVcsQ0FBQyxPQUFPLENBQUMsMEJBQTBCLENBQUMsSUFBSSxFQUFFLFlBQVksQ0FBQyxpQkFBaUIsQ0FBQztZQUNwRixXQUFXLENBQUMsT0FBTyxDQUFDLHFCQUFxQixFQUFFLFlBQVksQ0FBQyxnQkFBZ0IsQ0FBQztZQUN6RSxXQUFXLENBQUMsT0FBTyxDQUFDLDBDQUEwQyxDQUFDLElBQUksRUFBRSxZQUFZLENBQUMsd0JBQXdCLENBQUM7WUFDM0csV0FBVyxDQUNULE9BQU8sQ0FBQyw2Q0FBNkMsQ0FBQyxJQUFJLEVBQzFELFlBQVksQ0FBQyw0QkFBNEIsQ0FDMUM7WUFDRCxXQUFXLENBQUMsT0FBTyxDQUFDLDRCQUE0QixDQUFDLElBQUksRUFBRSxZQUFZLENBQUMsc0JBQXNCLENBQUM7WUFDM0YsV0FBVyxDQUNULE9BQU8sQ0FBQywrQ0FBK0MsQ0FBQyxJQUFJLEVBQzVELFlBQVksQ0FBQyw0QkFBNEIsQ0FDMUM7U0FDRixDQUFDO1FBQ0YsTUFBTSxRQUFRLEdBQUcsVUFBVSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQzFDLElBQUksUUFBUSxFQUFFO1lBQ1osSUFBSSxDQUFDLEdBQUcsQ0FBQyxTQUFTLE9BQU8sQ0FBQyxNQUFNLG9DQUFvQyxDQUFDLENBQUM7WUFDdEUsTUFBTSxJQUFJLENBQUMsT0FBTyxFQUFFLENBQUM7U0FDdEI7YUFBTTtZQUNMLElBQUksQ0FBQyxHQUFHLENBQUMsU0FBUyxPQUFPLENBQUMsTUFBTSwwRUFBMEUsQ0FBQyxDQUFDO1lBQzVHLE1BQU0sSUFBSSxDQUFDLFNBQVMsRUFBRSxDQUFDO1lBRXZCLEtBQUssTUFBTSxDQUFDLElBQUksRUFBRSxNQUFNLENBQUMsSUFBSTtnQkFDM0IsQ0FBQyxZQUFZLENBQUMsYUFBYSxFQUFFLE9BQU8sQ0FBQyxZQUFZLENBQUM7Z0JBQ2xELENBQUMsWUFBWSxDQUFDLGNBQWMsRUFBRSxPQUFPLENBQUMsYUFBYSxDQUFDO2dCQUNwRCxDQUFDLFlBQVksQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLENBQUMsY0FBYyxDQUFDO2dCQUN4RCxDQUFDLFlBQVksQ0FBQyxzQkFBc0IsRUFBRSxPQUFPLENBQUMsaUJBQWlCLENBQUM7YUFDeEQsRUFBRTtnQkFDVixNQUFNLElBQUksQ0FBQyxhQUFhLENBQ3RCLElBQUksRUFDSixNQUFNLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQ2hDLENBQUM7YUFDSDtZQUVELEtBQUssTUFBTSxTQUFTLElBQUksT0FBTyxDQUFDLG1CQUFtQixFQUFFO2dCQUNuRCxJQUFJLFNBQVMsQ0FBQyxPQUFPLEVBQUU7b0JBQUUsU0FBUztnQkFDbEMsTUFBTSxFQUFFLFFBQVEsRUFBRSxTQUFTLEVBQUUsR0FBRyxTQUFTLENBQUM7Z0JBQzFDLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxZQUFZLENBQUMsZ0JBQWdCLEVBQUUsUUFBUSxDQUFDLFFBQVEsRUFBRSxFQUFFLFNBQVMsQ0FBQyxLQUFLLENBQUMsQ0FBQzthQUM3RjtZQUVELEtBQUssTUFBTSxDQUFDLE9BQU8sRUFBRSxRQUFRLENBQUMsSUFBSTtnQkFDaEMsQ0FBQyxZQUFZLENBQUMsaUJBQWlCLEVBQUUsWUFBWSxDQUFDLDRCQUE0QixDQUFDO2dCQUMzRSxDQUFDLFlBQVksQ0FBQyxhQUFhLEVBQUUsWUFBWSxDQUFDLHdCQUF3QixDQUFDO2dCQUNuRSxDQUFDLFlBQVksQ0FBQyxzQkFBc0IsRUFBRSxZQUFZLENBQUMsNEJBQTRCLENBQUM7YUFDeEUsRUFBRTtnQkFDVixNQUFNLFdBQVcsR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLE9BQU8sQ0FBQyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztnQkFDdEQsTUFBTSxJQUFJLENBQUMsYUFBYSxDQUFDLFFBQVEsRUFBRSxDQUFDLFdBQVcsQ0FBQyxDQUFDLENBQUM7YUFDbkQ7WUFDRCxNQUFNLElBQUksQ0FBQyxPQUFPLEVBQUUsQ0FBQztTQUN0QjtRQUNELEtBQUssTUFBTSxNQUFNLElBQUksYUFBYSxFQUFFLEVBQUU7WUFDcEMsTUFBTSxJQUFJLEdBQUcsTUFBTSxJQUFJLENBQUMsWUFBWSxDQUFDLE1BQU0sRUFBRSxLQUFLLENBQUMsQ0FBQztZQUNwRCxJQUFJLENBQUMsR0FBRyxDQUFDLFFBQVEsWUFBWSxDQUFDLE1BQU0sQ0FBQyxzQkFBc0IsSUFBSSxDQUFDLElBQUksU0FBUyxJQUFJLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxLQUFLLENBQUMsRUFBRSxDQUFDLENBQUM7U0FDM0c7SUFDSCxDQUFDO0NBQ0YifQ==

package/package.json

@@ -0,0 +1,15 @@
+{
+  "name": "@aztec/world-state",
+  "version": "0.1.0-alpha11",
+  "exports": "./dest/index.js",
+  "type": "module",
+  "dependencies": {
+    "@aztec/circuits.js": "0.1.0-alpha11",
+    "@aztec/foundation": "0.1.0-alpha11",
+    "@aztec/merkle-tree": "0.1.0-alpha11",
+    "@aztec/types": "0.1.0-alpha11",
+    "levelup": "^5.1.1",
+    "memdown": "^6.1.1",
+    "tslib": "^2.4.0"
+  }
+}

package/src/index.ts

@@ -0,0 +1,3 @@
+export * from './synchroniser/index.js';
+export * from './world-state-db/index.js';
+export * from './utils.js';

package/src/merkle-tree/merkle_tree_operations_facade.ts

@@ -0,0 +1,164 @@
+import { LeafData, MerkleTreeDb, TreeInfo, MerkleTreeOperations, CurrentCommitmentTreeRoots } from '../index.js';
+import { L2Block, MerkleTreeId } from '@aztec/types';
+import { LowLeafWitnessData, SiblingPath } from '@aztec/merkle-tree';
+
+/**
+ * Wraps a MerkleTreeDbOperations to call all functions with a preset includeUncommitted flag.
+ */
+export class MerkleTreeOperationsFacade implements MerkleTreeOperations {
+  constructor(private trees: MerkleTreeDb, private includeUncommitted: boolean) {}
+
+  /**
+   * Returns the tree info for the specified tree id.
+   * @param treeId - Id of the tree to get information from.
+   * @param includeUncommitted - Indicates whether to include uncommitted data.
+   * @returns The tree info for the specified tree.
+   */
+  getTreeInfo(treeId: MerkleTreeId): Promise<TreeInfo> {
+    return this.trees.getTreeInfo(treeId, this.includeUncommitted);
+  }
+
+  /**
+   * Get the current roots of the commitment trees.
+   * @returns The current roots of the trees.
+   */
+  getCommitmentTreeRoots(): CurrentCommitmentTreeRoots {
+    return this.trees.getCommitmentTreeRoots(this.includeUncommitted);
+  }
+
+  /**
+   * Appends a set of leaf values to the tree.
+   * @param treeId - Id of the tree to append leaves to.
+   * @param leaves - The set of leaves to be appended.
+   * @returns The tree info of the specified tree.
+   */
+  appendLeaves(treeId: MerkleTreeId, leaves: Buffer[]): Promise<void> {
+    return this.trees.appendLeaves(treeId, leaves);
+  }
+
+  /**
+   * Returns the sibling path for a requested leaf index.
+   * @param treeId - Id of the tree to get the sibling path from.
+   * @param index - The index of the leaf for which a sibling path is required.
+   * @returns A promise with the sibling path of the specified leaf index.
+   */
+  getSiblingPath(treeId: MerkleTreeId, index: bigint): Promise<SiblingPath<number>> {
+    return this.trees.getSiblingPath(treeId, index, this.includeUncommitted);
+  }
+
+  /**
+   * Finds the index of the largest leaf whose value is less than or equal to the provided value.
+   * @param treeId - The ID of the tree to search.
+   * @param value - The value to be inserted into the tree.
+   * @param includeUncommitted - If true, the uncommitted changes are included in the search.
+   * @returns The found leaf index and a flag indicating if the corresponding leaf's value is equal to `newValue`.
+   */
+  getPreviousValueIndex(
+    treeId: MerkleTreeId.NULLIFIER_TREE,
+    value: bigint,
+  ): Promise<{
+    /**
+     * The index of the found leaf.
+     */
+    index: number;
+    /**
+     * A flag indicating if the corresponding leaf's value is equal to `newValue`.
+     */
+    alreadyPresent: boolean;
+  }> {
+    return this.trees.getPreviousValueIndex(treeId, value, this.includeUncommitted);
+  }
+
+  /**
+   * Updates a leaf in a tree at a given index.
+   * @param treeId - The ID of the tree.
+   * @param leaf - The new leaf value.
+   * @param index - The index to insert into.
+   * @returns Empty promise.
+   */
+  updateLeaf(treeId: MerkleTreeId.NULLIFIER_TREE, leaf: LeafData, index: bigint): Promise<void> {
+    return this.trees.updateLeaf(treeId, leaf, index);
+  }
+
+  /**
+   * Gets the leaf data at a given index and tree.
+   * @param treeId - The ID of the tree get the leaf from.
+   * @param index - The index of the leaf to get.
+   * @returns Leaf data.
+   */
+  getLeafData(treeId: MerkleTreeId.NULLIFIER_TREE, index: number): Promise<LeafData | undefined> {
+    return this.trees.getLeafData(treeId, index, this.includeUncommitted);
+  }
+
+  /**
+   * Returns the index of a leaf given its value, or undefined if no leaf with that value is found.
+   * @param treeId - The ID of the tree.
+   * @param value - The leaf value to look for.
+   * @returns The index of the first leaf found with a given value (undefined if not found).
+   */
+  findLeafIndex(treeId: MerkleTreeId, value: Buffer): Promise<bigint | undefined> {
+    return this.trees.findLeafIndex(treeId, value, this.includeUncommitted);
+  }
+
+  /**
+   * Gets the value at the given index.
+   * @param treeId - The ID of the tree to get the leaf value from.
+   * @param index - The index of the leaf.
+   * @param includeUncommitted - Indicates whether to include uncommitted changes.
+   * @returns Leaf value at the given index (undefined if not found).
+   */
+  getLeafValue(treeId: MerkleTreeId, index: bigint): Promise<Buffer | undefined> {
+    return this.trees.getLeafValue(treeId, index, this.includeUncommitted);
+  }
+
+  /**
+   * Inserts into the roots trees (CONTRACT_TREE_ROOTS_TREE, PRIVATE_DATA_TREE_ROOTS_TREE)
+   * the current roots of the corresponding trees (CONTRACT_TREE, PRIVATE_DATA_TREE).
+   * @returns Empty promise.
+   */
+  public updateHistoricRootsTrees(): Promise<void> {
+    return this.trees.updateHistoricRootsTrees(this.includeUncommitted);
+  }
+
+  /**
+   * Handles a single L2 block (i.e. Inserts the new commitments into the merkle tree).
+   * @param block - The L2 block to handle.
+   * @returns Empty promise.
+   */
+  public handleL2Block(block: L2Block): Promise<void> {
+    return this.trees.handleL2Block(block);
+  }
+
+  /**
+   * Commits all pending updates.
+   * @returns Empty promise.
+   */
+  public async commit(): Promise<void> {
+    return await this.trees.commit();
+  }
+
+  /**
+   * Rolls back all pending updates.
+   * @returns Empty promise.
+   */
+  public async rollback(): Promise<void> {
+    return await this.trees.rollback();
+  }
+
+  /**
+   * Batch insert multiple leaves into the tree.
+   * @param treeId - The ID of the tree.
+   * @param leaves - Leaves to insert into the tree.
+   * @param treeHeight - Height of the tree.
+   * @param subtreeHeight - Height of the subtree.
+   * @returns The data for the leaves to be updated when inserting the new ones.
+   */
+  public batchInsert(
+    treeId: MerkleTreeId,
+    leaves: Buffer[],
+    treeHeight: number,
+    subtreeHeight: number,
+  ): Promise<[LowLeafWitnessData<number>[], SiblingPath<number>] | [undefined, SiblingPath<number>]> {
+    return this.trees.batchInsert(treeId, leaves, treeHeight, subtreeHeight);
+  }
+}

package/src/synchroniser/config.ts

@@ -0,0 +1,27 @@
+/**
+ * World State synchroniser configuration values.
+ */
+export interface WorldStateConfig {
+  /**
+   * The frequency in which to check.
+   */
+  checkInterval: number;
+
+  /**
+   * Size of queue of L2 blocks to store.
+   */
+  l2QueueSize: number;
+}
+
+/**
+ * Returns the configuration values for the world state synchroniser.
+ * @returns The configuration values for the world state synchroniser.
+ */
+export function getConfigEnvVars(): WorldStateConfig {
+  const { WS_CHECK_INTERVAL, WS_L2_BLOCK_QUEUE_SIZE } = process.env;
+  const envVars: WorldStateConfig = {
+    checkInterval: WS_CHECK_INTERVAL ? +WS_CHECK_INTERVAL : 100,
+    l2QueueSize: WS_L2_BLOCK_QUEUE_SIZE ? +WS_L2_BLOCK_QUEUE_SIZE : 1000,
+  };
+  return envVars;
+}

package/src/synchroniser/index.ts

@@ -0,0 +1,2 @@
+export * from './server_world_state_synchroniser.js';
+export * from './world_state_synchroniser.js';