|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/crypto/merkle_tree/indexed_tree/indexed_leaf.hpp"#include "barretenberg/crypto/merkle_tree/lmdb_store/lmdb_tree_store.hpp"#include "barretenberg/crypto/merkle_tree/response.hpp"#include "barretenberg/crypto/merkle_tree/signal.hpp"#include "barretenberg/ecc/curves/bn254/fr.hpp"#include "barretenberg/numeric/random/engine.hpp"#include <cstdint>#include <gtest/gtest.h>#include <optional>Go to the source code of this file.
Namespaces | |
| namespace | bb |
| Entry point for Barretenberg command-line interface. | |
| namespace | bb::crypto |
| namespace | bb::crypto::merkle_tree |
Functions | |
| void | bb::crypto::merkle_tree::check_block_and_root_data (LMDBTreeStore::SharedPtr db, block_number_t blockNumber, fr root, bool expectedSuccess) |
| void | bb::crypto::merkle_tree::check_block_and_root_data (LMDBTreeStore::SharedPtr db, block_number_t blockNumber, fr root, bool expectedSuccess, bool expectedRootSuccess) |
| void | bb::crypto::merkle_tree::check_block_and_size_data (LMDBTreeStore::SharedPtr db, block_number_t blockNumber, index_t expectedSize, bool expectedSuccess) |
| void | bb::crypto::merkle_tree::check_indices_data (LMDBTreeStore::SharedPtr db, fr leaf, index_t index, bool entryShouldBePresent, bool indexShouldBePresent) |
| void | bb::crypto::merkle_tree::call_operation (std::function< void(std::function< void(const Response &response)>)> operation, bool expected_success=true) |
| template<typename LeafType , typename Hash > | |
| void | bb::crypto::merkle_tree::check_leaf_by_hash (LMDBTreeStore::SharedPtr db, IndexedLeaf< LeafType > leaf, bool shouldBePresent) |
| template<typename LeafValueType , typename TypeOfTree > | |
| void | bb::crypto::merkle_tree::check_find_leaf_index (TypeOfTree &tree, const std::vector< LeafValueType > &leaves, const std::vector< std::optional< index_t > > &expected_indices, bool expected_success, bool includeUncommitted=true) |
| template<typename LeafValueType , typename TypeOfTree > | |
| void | bb::crypto::merkle_tree::check_find_leaf_index_from (TypeOfTree &tree, const std::vector< LeafValueType > &leaves, index_t start_index, const std::vector< std::optional< index_t > > &expected_indices, bool expected_success, bool includeUncommitted=true) |
| template<typename LeafValueType , typename TypeOfTree > | |
| void | bb::crypto::merkle_tree::check_historic_find_leaf_index (TypeOfTree &tree, const std::vector< LeafValueType > &leaves, block_number_t blockNumber, const std::vector< std::optional< index_t > > &expected_indices, bool expected_success, bool includeUncommitted=true) |
| template<typename LeafValueType , typename TypeOfTree > | |
| void | bb::crypto::merkle_tree::check_historic_find_leaf_index_from (TypeOfTree &tree, const std::vector< LeafValueType > &leaves, block_number_t blockNumber, index_t start_index, const std::vector< std::optional< index_t > > &expected_indices, bool expected_success, bool includeUncommitted=true) |
| template<typename LeafValueType , typename TypeOfTree > | |
| void | bb::crypto::merkle_tree::check_find_leaf_index (TypeOfTree &tree, const LeafValueType &leaf, index_t expected_index, bool expected_success, bool includeUncommitted=true) |
| template<typename LeafValueType , typename TypeOfTree > | |
| void | bb::crypto::merkle_tree::check_find_leaf_index_from (TypeOfTree &tree, const LeafValueType &leaf, index_t start_index, index_t expected_index, bool expected_success, bool includeUncommitted=true) |
| template<typename LeafValueType , typename TypeOfTree > | |
| void | bb::crypto::merkle_tree::check_historic_find_leaf_index (TypeOfTree &tree, const LeafValueType &leaf, block_number_t blockNumber, index_t expected_index, bool expected_success, bool includeUncommitted=true) |
| template<typename LeafValueType , typename TypeOfTree > | |
| void | bb::crypto::merkle_tree::check_historic_find_leaf_index_from (TypeOfTree &tree, const LeafValueType &leaf, block_number_t blockNumber, index_t start_index, index_t expected_index, bool expected_success, bool includeUncommitted=true) |
| template<typename TypeOfTree > | |
| fr_sibling_path | bb::crypto::merkle_tree::get_sibling_path (TypeOfTree &tree, index_t index, bool includeUncommitted=true, bool expected_success=true) |
| template<typename TreeType > | |
| void | bb::crypto::merkle_tree::rollback_tree (TreeType &tree) |
| template<typename TreeType > | |
| void | bb::crypto::merkle_tree::checkpoint_tree (TreeType &tree) |
| template<typename TreeType > | |
| void | bb::crypto::merkle_tree::commit_checkpoint_tree (TreeType &tree, bool expected_success=true) |
| template<typename TreeType > | |
| void | bb::crypto::merkle_tree::revert_checkpoint_tree (TreeType &tree, bool expected_success=true) |
| template<typename TreeType > | |
| void | bb::crypto::merkle_tree::commit_all_tree_checkpoints (TreeType &tree, bool expected_success=true) |
| template<typename TreeType > | |
| void | bb::crypto::merkle_tree::revert_all_tree_checkpoints (TreeType &tree, bool expected_success=true) |