Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::simulation::MockHighLevelMerkleDB Class Reference

#include <mock_dbs.hpp>

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

Public Member Functions

 MockHighLevelMerkleDB ()
 
 ~MockHighLevelMerkleDB () override
 
 MOCK_METHOD (TreeStates, get_tree_state,(),(const, override))
 
 MOCK_METHOD (FF, storage_read,(const AztecAddress &contract_address, const FF &slot),(const, override))
 
 MOCK_METHOD (void, storage_write,(const AztecAddress &contract_address, const FF &slot, const FF &value, bool is_protocol_write),(override))
 
 MOCK_METHOD (bool, was_storage_written,(const AztecAddress &contract_address, const FF &slot),(const, override))
 
 MOCK_METHOD (bool, nullifier_exists,(const AztecAddress &contract_address, const FF &nullifier),(const, override))
 
 MOCK_METHOD (bool, siloed_nullifier_exists,(const FF &nullifier),(const, override))
 
 MOCK_METHOD (bool, nullifier_write,(const AztecAddress &contract_address, const FF &nullifier),(override))
 
 MOCK_METHOD (bool, siloed_nullifier_write,(const FF &nullifier),(override))
 
 MOCK_METHOD (bool, note_hash_exists,(uint64_t leaf_index, const FF &unique_note_hash),(const, override))
 
 MOCK_METHOD (void, note_hash_write,(const AztecAddress &contract_address, const FF &note_hash),(override))
 
 MOCK_METHOD (void, siloed_note_hash_write,(const FF &note_hash),(override))
 
 MOCK_METHOD (void, unique_note_hash_write,(const FF &note_hash),(override))
 
 MOCK_METHOD (bool, l1_to_l2_msg_exists,(uint64_t leaf_index, const FF &msg_hash),(const, override))
 
 MOCK_METHOD (void, create_checkpoint,(),(override))
 
 MOCK_METHOD (void, commit_checkpoint,(),(override))
 
 MOCK_METHOD (void, revert_checkpoint,(),(override))
 
 MOCK_METHOD (uint32_t, get_checkpoint_id,(),(const, override))
 
 MOCK_METHOD (void, pad_trees,(),(override))
 
 MOCK_METHOD (LowLevelMerkleDBInterface &, as_unconstrained,(),(const, override))
 
- Public Member Functions inherited from bb::avm2::simulation::HighLevelMerkleDBInterface
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 LowLevelMerkleDBInterfaceas_unconstrained () const =0
 

Detailed Description

Definition at line 63 of file mock_dbs.hpp.

Constructor & Destructor Documentation

◆ MockHighLevelMerkleDB()

bb::avm2::simulation::MockHighLevelMerkleDB::MockHighLevelMerkleDB ( )
default

◆ ~MockHighLevelMerkleDB()

bb::avm2::simulation::MockHighLevelMerkleDB::~MockHighLevelMerkleDB ( )
overridedefault

Member Function Documentation

◆ MOCK_METHOD() [1/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( bool  ,
l1_to_l2_msg_exists  ,
(uint64_t leaf_index, const FF &msg_hash)  ,
(const, override)   
)

◆ MOCK_METHOD() [2/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( bool  ,
note_hash_exists  ,
(uint64_t leaf_index, const FF &unique_note_hash)  ,
(const, override)   
)

◆ MOCK_METHOD() [3/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( bool  ,
nullifier_exists  ,
(const AztecAddress &contract_address, const FF &nullifier ,
(const, override)   
)

◆ MOCK_METHOD() [4/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( bool  ,
nullifier_write  ,
(const AztecAddress &contract_address, const FF &nullifier ,
(override)   
)

◆ MOCK_METHOD() [5/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( bool  ,
siloed_nullifier_exists  ,
(const FF &nullifier ,
(const, override)   
)

◆ MOCK_METHOD() [6/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( bool  ,
siloed_nullifier_write  ,
(const FF &nullifier ,
(override)   
)

◆ MOCK_METHOD() [7/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( bool  ,
was_storage_written  ,
(const AztecAddress &contract_address, const FF &slot ,
(const, override)   
)

◆ MOCK_METHOD() [8/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( FF  ,
storage_read  ,
(const AztecAddress &contract_address, const FF &slot ,
(const, override)   
)

◆ MOCK_METHOD() [9/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( LowLevelMerkleDBInterface ,
as_unconstrained  ,
()  ,
(const, override)   
)

◆ MOCK_METHOD() [10/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( TreeStates  ,
get_tree_state  ,
()  ,
(const, override)   
)

◆ MOCK_METHOD() [11/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( uint32_t  ,
get_checkpoint_id  ,
()  ,
(const, override)   
)

◆ MOCK_METHOD() [12/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( void  ,
commit_checkpoint  ,
()  ,
(override)   
)

◆ MOCK_METHOD() [13/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( void  ,
create_checkpoint  ,
()  ,
(override)   
)

◆ MOCK_METHOD() [14/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( void  ,
note_hash_write  ,
(const AztecAddress &contract_address, const FF &note_hash)  ,
(override)   
)

◆ MOCK_METHOD() [15/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( void  ,
pad_trees  ,
()  ,
(override)   
)

◆ MOCK_METHOD() [16/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( void  ,
revert_checkpoint  ,
()  ,
(override)   
)

◆ MOCK_METHOD() [17/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( void  ,
siloed_note_hash_write  ,
(const FF &note_hash)  ,
(override)   
)

◆ MOCK_METHOD() [18/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( void  ,
storage_write  ,
(const AztecAddress &contract_address, const FF &slot, const FF &value, bool is_protocol_write)  ,
(override)   
)

◆ MOCK_METHOD() [19/19]

bb::avm2::simulation::MockHighLevelMerkleDB::MOCK_METHOD ( void  ,
unique_note_hash_write  ,
(const FF &note_hash)  ,
(override)   
)

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