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) |