Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | Private Member Functions | Private Attributes | List of all members
bb::avm2::fuzzer::FuzzerLowLevelDB Class Reference

#include <dbs.hpp>

Inheritance diagram for bb::avm2::fuzzer::FuzzerLowLevelDB:
bb::avm2::simulation::LowLevelMerkleDBInterface

Public Member Functions

TreeSnapshots get_tree_roots () const override
 
simulation::SiblingPath get_sibling_path (simulation::MerkleTreeId tree_id, index_t leaf_index) const override
 
GetLowIndexedLeafResponse get_low_indexed_leaf (simulation::MerkleTreeId tree_id, const FF &value) const override
 
FF get_leaf_value (simulation::MerkleTreeId tree_id, index_t leaf_index) const override
 
simulation::IndexedLeaf< PublicDataLeafValue > get_leaf_preimage_public_data_tree (index_t leaf_index) const override
 
simulation::IndexedLeaf< NullifierLeafValue > get_leaf_preimage_nullifier_tree (index_t leaf_index) const override
 
simulation::SequentialInsertionResult< PublicDataLeafValue > insert_indexed_leaves_public_data_tree (const PublicDataLeafValue &leaf_value) override
 
simulation::SequentialInsertionResult< NullifierLeafValue > insert_indexed_leaves_nullifier_tree (const NullifierLeafValue &leaf_value) override
 
std::vector< simulation::AppendLeafResult > append_leaves (simulation::MerkleTreeId tree_id, std::span< const FF > leaves) override
 
void pad_tree (simulation::MerkleTreeId tree_id, size_t num_leaves) override
 
void create_checkpoint () override
 
void commit_checkpoint () override
 
void revert_checkpoint () override
 
uint32_t get_checkpoint_id () const override
 
void insert_contract_address (const AztecAddress &contract_address)
 
- Public Member Functions inherited from bb::avm2::simulation::LowLevelMerkleDBInterface
virtual ~LowLevelMerkleDBInterface ()=default
 

Private Member Functions

std::pair< FF, index_t > get_indexed_low_leaf_helper (const std::vector< std::pair< FF, index_t > > &value_sorted_leaves, const FF &value) const
 

Private Attributes

std::vector< std::pair< FF, index_t > > nullifier_values { { 0, 0 } }
 
std::vector< std::pair< FF, index_t > > public_data_slots { { 0, 0 } }
 
std::unordered_map< index_t, NullifierLeafValue > nullifier_leaves { { 0, NullifierLeafValue(0) } }
 
std::unordered_map< index_t, PublicDataLeafValue > public_data_leaves { { 0, PublicDataLeafValue(0, 0) } }
 
std::vector< FF > note_hash_leaves
 
uint64_t next_available_nullifier_index = 1
 
uint64_t next_available_public_data_index = 1
 
uint64_t next_available_note_hash_index = 0
 

Detailed Description

Definition at line 14 of file dbs.hpp.

Member Function Documentation

◆ append_leaves()

std::vector< AppendLeafResult > bb::avm2::fuzzer::FuzzerLowLevelDB::append_leaves ( simulation::MerkleTreeId  tree_id,
std::span< const FF >  leaves 
)
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 161 of file dbs.cpp.

◆ commit_checkpoint()

void bb::avm2::fuzzer::FuzzerLowLevelDB::commit_checkpoint ( )
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 171 of file dbs.cpp.

◆ create_checkpoint()

void bb::avm2::fuzzer::FuzzerLowLevelDB::create_checkpoint ( )
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 170 of file dbs.cpp.

◆ get_checkpoint_id()

uint32_t bb::avm2::fuzzer::FuzzerLowLevelDB::get_checkpoint_id ( ) const
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 173 of file dbs.cpp.

◆ get_indexed_low_leaf_helper()

std::pair< FF, index_t > bb::avm2::fuzzer::FuzzerLowLevelDB::get_indexed_low_leaf_helper ( const std::vector< std::pair< FF, index_t > > &  value_sorted_leaves,
const FF &  value 
) const
private

Definition at line 31 of file dbs.cpp.

◆ get_leaf_preimage_nullifier_tree()

simulation::IndexedLeaf< NullifierLeafValue > bb::avm2::fuzzer::FuzzerLowLevelDB::get_leaf_preimage_nullifier_tree ( index_t  leaf_index) const
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 100 of file dbs.cpp.

◆ get_leaf_preimage_public_data_tree()

simulation::IndexedLeaf< PublicDataLeafValue > bb::avm2::fuzzer::FuzzerLowLevelDB::get_leaf_preimage_public_data_tree ( index_t  leaf_index) const
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 78 of file dbs.cpp.

◆ get_leaf_value()

FF bb::avm2::fuzzer::FuzzerLowLevelDB::get_leaf_value ( simulation::MerkleTreeId  tree_id,
index_t  leaf_index 
) const
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 64 of file dbs.cpp.

◆ get_low_indexed_leaf()

GetLowIndexedLeafResponse bb::avm2::fuzzer::FuzzerLowLevelDB::get_low_indexed_leaf ( simulation::MerkleTreeId  tree_id,
const FF &  value 
) const
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 46 of file dbs.cpp.

◆ get_sibling_path()

SiblingPath bb::avm2::fuzzer::FuzzerLowLevelDB::get_sibling_path ( simulation::MerkleTreeId  tree_id,
index_t  leaf_index 
) const
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 25 of file dbs.cpp.

◆ get_tree_roots()

TreeSnapshots bb::avm2::fuzzer::FuzzerLowLevelDB::get_tree_roots ( ) const
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 15 of file dbs.cpp.

◆ insert_contract_address()

void bb::avm2::fuzzer::FuzzerLowLevelDB::insert_contract_address ( const AztecAddress &  contract_address)

Definition at line 179 of file dbs.cpp.

◆ insert_indexed_leaves_nullifier_tree()

simulation::SequentialInsertionResult< NullifierLeafValue > bb::avm2::fuzzer::FuzzerLowLevelDB::insert_indexed_leaves_nullifier_tree ( const NullifierLeafValue &  leaf_value)
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 142 of file dbs.cpp.

◆ insert_indexed_leaves_public_data_tree()

simulation::SequentialInsertionResult< PublicDataLeafValue > bb::avm2::fuzzer::FuzzerLowLevelDB::insert_indexed_leaves_public_data_tree ( const PublicDataLeafValue &  leaf_value)
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 123 of file dbs.cpp.

◆ pad_tree()

void bb::avm2::fuzzer::FuzzerLowLevelDB::pad_tree ( simulation::MerkleTreeId  tree_id,
size_t  num_leaves 
)
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 168 of file dbs.cpp.

◆ revert_checkpoint()

void bb::avm2::fuzzer::FuzzerLowLevelDB::revert_checkpoint ( )
overridevirtual

Implements bb::avm2::simulation::LowLevelMerkleDBInterface.

Definition at line 172 of file dbs.cpp.

Member Data Documentation

◆ next_available_note_hash_index

uint64_t bb::avm2::fuzzer::FuzzerLowLevelDB::next_available_note_hash_index = 0
private

Definition at line 61 of file dbs.hpp.

◆ next_available_nullifier_index

uint64_t bb::avm2::fuzzer::FuzzerLowLevelDB::next_available_nullifier_index = 1
private

Definition at line 59 of file dbs.hpp.

◆ next_available_public_data_index

uint64_t bb::avm2::fuzzer::FuzzerLowLevelDB::next_available_public_data_index = 1
private

Definition at line 60 of file dbs.hpp.

◆ note_hash_leaves

std::vector<FF> bb::avm2::fuzzer::FuzzerLowLevelDB::note_hash_leaves
private

Definition at line 56 of file dbs.hpp.

◆ nullifier_leaves

std::unordered_map<index_t, NullifierLeafValue> bb::avm2::fuzzer::FuzzerLowLevelDB::nullifier_leaves { { 0, NullifierLeafValue(0) } }
private

Definition at line 54 of file dbs.hpp.

◆ nullifier_values

std::vector<std::pair<FF, index_t> > bb::avm2::fuzzer::FuzzerLowLevelDB::nullifier_values { { 0, 0 } }
private

Definition at line 51 of file dbs.hpp.

◆ public_data_leaves

std::unordered_map<index_t, PublicDataLeafValue> bb::avm2::fuzzer::FuzzerLowLevelDB::public_data_leaves { { 0, PublicDataLeafValue(0, 0) } }
private

Definition at line 55 of file dbs.hpp.

◆ public_data_slots

std::vector<std::pair<FF, index_t> > bb::avm2::fuzzer::FuzzerLowLevelDB::public_data_slots { { 0, 0 } }
private

Definition at line 52 of file dbs.hpp.

The documentation for this class was generated from the following files: