bb::avm2::simulation::LowLevelMerkleDBInterface Class Reference

#include <db_interfaces.hpp>

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

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

Detailed Description

Definition at line 42 of file db_interfaces.hpp.

Constructor & Destructor Documentation

~LowLevelMerkleDBInterface()

virtual bb::avm2::simulation::LowLevelMerkleDBInterface::~LowLevelMerkleDBInterface ( )

virtualdefault

Member Function Documentation

append_leaves()

virtual std::vector< AppendLeafResult > bb::avm2::simulation::LowLevelMerkleDBInterface::append_leaves ( MerkleTreeId  tree_id, std::span< const FF >  leaves  )

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

commit_checkpoint()

virtual void bb::avm2::simulation::LowLevelMerkleDBInterface::commit_checkpoint ( )

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

create_checkpoint()

virtual void bb::avm2::simulation::LowLevelMerkleDBInterface::create_checkpoint ( )

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

get_checkpoint_id()

virtual uint32_t bb::avm2::simulation::LowLevelMerkleDBInterface::get_checkpoint_id ( ) const

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

get_leaf_preimage_nullifier_tree()

virtual IndexedLeaf< NullifierLeafValue > bb::avm2::simulation::LowLevelMerkleDBInterface::get_leaf_preimage_nullifier_tree ( index_t  leaf_index ) const

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

get_leaf_preimage_public_data_tree()

virtual IndexedLeaf< PublicDataLeafValue > bb::avm2::simulation::LowLevelMerkleDBInterface::get_leaf_preimage_public_data_tree ( index_t  leaf_index ) const

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

get_leaf_value()

virtual FF bb::avm2::simulation::LowLevelMerkleDBInterface::get_leaf_value ( MerkleTreeId  tree_id, index_t  leaf_index  ) const

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

get_low_indexed_leaf()

virtual GetLowIndexedLeafResponse bb::avm2::simulation::LowLevelMerkleDBInterface::get_low_indexed_leaf ( MerkleTreeId  tree_id, const FF &  value  ) const

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

get_sibling_path()

virtual SiblingPath bb::avm2::simulation::LowLevelMerkleDBInterface::get_sibling_path ( MerkleTreeId  tree_id, index_t  leaf_index  ) const

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

get_tree_roots()

virtual const TreeSnapshots & bb::avm2::simulation::LowLevelMerkleDBInterface::get_tree_roots ( ) const

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

insert_indexed_leaves_nullifier_tree()

virtual SequentialInsertionResult< NullifierLeafValue > bb::avm2::simulation::LowLevelMerkleDBInterface::insert_indexed_leaves_nullifier_tree ( const NullifierLeafValue &  leaf_value )

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

insert_indexed_leaves_public_data_tree()

virtual SequentialInsertionResult< PublicDataLeafValue > bb::avm2::simulation::LowLevelMerkleDBInterface::insert_indexed_leaves_public_data_tree ( const PublicDataLeafValue &  leaf_value )

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

pad_tree()

virtual void bb::avm2::simulation::LowLevelMerkleDBInterface::pad_tree ( MerkleTreeId  tree_id, size_t  num_leaves  )

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

revert_checkpoint()

virtual void bb::avm2::simulation::LowLevelMerkleDBInterface::revert_checkpoint ( )

pure virtual

Implemented in bb::avm2::simulation::HintedRawMerkleDB.

---

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

• src/barretenberg/vm2/simulation/lib/db_interfaces.hpp