Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | List of all members
bb::avm2::simulation::HighLevelMerkleDBInterface Class Referenceabstract

#include <db_interfaces.hpp>

Inheritance diagram for bb::avm2::simulation::HighLevelMerkleDBInterface:
bb::avm2::simulation::MerkleDB bb::avm2::simulation::MockHighLevelMerkleDB

Public Member Functions

virtual ~HighLevelMerkleDBInterface ()=default
 
virtual TreeStates get_tree_state () const =0
 
virtual FF storage_read (const AztecAddress &contract_address, const FF &slot) const =0
 
virtual void storage_write (const AztecAddress &contract_address, const FF &slot, const FF &value, bool is_protocol_write)=0
 
virtual bool was_storage_written (const AztecAddress &contract_address, const FF &slot) const =0
 
virtual bool nullifier_exists (const AztecAddress &contract_address, const FF &nullifier) const =0
 
virtual bool siloed_nullifier_exists (const FF &nullifier) const =0
 
virtual bool nullifier_write (const AztecAddress &contract_address, const FF &nullifier)=0
 
virtual bool siloed_nullifier_write (const FF &nullifier)=0
 
virtual bool note_hash_exists (uint64_t leaf_index, const FF &unique_note_hash) const =0
 
virtual void note_hash_write (const AztecAddress &contract_address, const FF &note_hash)=0
 
virtual void siloed_note_hash_write (const FF &note_hash)=0
 
virtual void unique_note_hash_write (const FF &note_hash)=0
 
virtual bool l1_to_l2_msg_exists (uint64_t leaf_index, const FF &msg_hash) const =0
 
virtual void create_checkpoint ()=0
 
virtual void commit_checkpoint ()=0
 
virtual void revert_checkpoint ()=0
 
virtual uint32_t get_checkpoint_id () const =0
 
virtual void pad_trees ()=0
 
virtual LowLevelMerkleDBInterface & as_unconstrained () const =0
 

Detailed Description

Definition at line 74 of file db_interfaces.hpp.

Constructor & Destructor Documentation

◆ ~HighLevelMerkleDBInterface()

virtual bb::avm2::simulation::HighLevelMerkleDBInterface::~HighLevelMerkleDBInterface ( )
virtualdefault

Member Function Documentation

◆ as_unconstrained()

virtual LowLevelMerkleDBInterface & bb::avm2::simulation::HighLevelMerkleDBInterface::as_unconstrained ( ) const
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ commit_checkpoint()

virtual void bb::avm2::simulation::HighLevelMerkleDBInterface::commit_checkpoint ( )
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ create_checkpoint()

virtual void bb::avm2::simulation::HighLevelMerkleDBInterface::create_checkpoint ( )
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ get_checkpoint_id()

virtual uint32_t bb::avm2::simulation::HighLevelMerkleDBInterface::get_checkpoint_id ( ) const
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ get_tree_state()

virtual TreeStates bb::avm2::simulation::HighLevelMerkleDBInterface::get_tree_state ( ) const
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ l1_to_l2_msg_exists()

virtual bool bb::avm2::simulation::HighLevelMerkleDBInterface::l1_to_l2_msg_exists ( uint64_t  leaf_index,
const FF &  msg_hash 
) const
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ note_hash_exists()

virtual bool bb::avm2::simulation::HighLevelMerkleDBInterface::note_hash_exists ( uint64_t  leaf_index,
const FF &  unique_note_hash 
) const
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ note_hash_write()

virtual void bb::avm2::simulation::HighLevelMerkleDBInterface::note_hash_write ( const AztecAddress &  contract_address,
const FF &  note_hash 
)
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ nullifier_exists()

virtual bool bb::avm2::simulation::HighLevelMerkleDBInterface::nullifier_exists ( const AztecAddress &  contract_address,
const FF &  nullifier 
) const
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ nullifier_write()

virtual bool bb::avm2::simulation::HighLevelMerkleDBInterface::nullifier_write ( const AztecAddress &  contract_address,
const FF &  nullifier 
)
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ pad_trees()

virtual void bb::avm2::simulation::HighLevelMerkleDBInterface::pad_trees ( )
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ revert_checkpoint()

virtual void bb::avm2::simulation::HighLevelMerkleDBInterface::revert_checkpoint ( )
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ siloed_note_hash_write()

virtual void bb::avm2::simulation::HighLevelMerkleDBInterface::siloed_note_hash_write ( const FF &  note_hash)
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ siloed_nullifier_exists()

virtual bool bb::avm2::simulation::HighLevelMerkleDBInterface::siloed_nullifier_exists ( const FF &  nullifier) const
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ siloed_nullifier_write()

virtual bool bb::avm2::simulation::HighLevelMerkleDBInterface::siloed_nullifier_write ( const FF &  nullifier)
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ storage_read()

virtual FF bb::avm2::simulation::HighLevelMerkleDBInterface::storage_read ( const AztecAddress &  contract_address,
const FF &  slot 
) const
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ storage_write()

virtual void bb::avm2::simulation::HighLevelMerkleDBInterface::storage_write ( const AztecAddress &  contract_address,
const FF &  slot,
const FF &  value,
bool  is_protocol_write 
)
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ unique_note_hash_write()

virtual void bb::avm2::simulation::HighLevelMerkleDBInterface::unique_note_hash_write ( const FF &  note_hash)
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

◆ was_storage_written()

virtual bool bb::avm2::simulation::HighLevelMerkleDBInterface::was_storage_written ( const AztecAddress &  contract_address,
const FF &  slot 
) const
pure virtual

Implemented in bb::avm2::simulation::MerkleDB.

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