#include <concrete_dbs.hpp>

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

Public Member Functions
	MerkleDB (LowLevelMerkleDBInterface &raw_merkle_db, PublicDataTreeCheckInterface &public_data_tree_check, NullifierTreeCheckInterface &nullifier_tree_check, NoteHashTreeCheckInterface &note_hash_tree_check, WrittenPublicDataSlotsInterface &written_public_data_slots, L1ToL2MessageTreeCheckInterface &l1_to_l2_msg_tree_check)

TreeStates	get_tree_state () const override

void	create_checkpoint () override

void	commit_checkpoint () override

void	revert_checkpoint () override

uint32_t	get_checkpoint_id () const override

FF	storage_read (const AztecAddress &contract_address, const FF &slot) const override

void	storage_write (const AztecAddress &contract_address, const FF &slot, const FF &value, bool is_protocol_write) override

bool	was_storage_written (const AztecAddress &contract_address, const FF &slot) const override

bool	nullifier_exists (const AztecAddress &contract_address, const FF &nullifier) const override

bool	siloed_nullifier_exists (const FF &nullifier) const override

bool	nullifier_write (const AztecAddress &contract_address, const FF &nullifier) override

bool	siloed_nullifier_write (const FF &nullifier) override

bool	note_hash_exists (uint64_t leaf_index, const FF &unique_note_hash) const override

void	note_hash_write (const AztecAddress &contract_address, const FF &note_hash) override

void	siloed_note_hash_write (const FF &note_hash) override

void	unique_note_hash_write (const FF &note_hash) override

bool	l1_to_l2_msg_exists (uint64_t leaf_index, const FF &msg_hash) const override

void	pad_trees () override

void	add_checkpoint_listener (CheckpointNotifiable &listener)

LowLevelMerkleDBInterface &	as_unconstrained () const override

Public Member Functions inherited from bb::avm2::simulation::HighLevelMerkleDBInterface
virtual	~HighLevelMerkleDBInterface ()=default

Private Types
using	Slot = FF

Private Member Functions
bool	nullifier_exists_internal (std::optional< AztecAddress > contract_address, const FF &nullifier) const

bool	nullifier_write_internal (std::optional< AztecAddress > contract_address, const FF &nullifier)

Private Attributes
LowLevelMerkleDBInterface &	raw_merkle_db

PublicDataTreeCheckInterface &	public_data_tree_check

NullifierTreeCheckInterface &	nullifier_tree_check

NoteHashTreeCheckInterface &	note_hash_tree_check

WrittenPublicDataSlotsInterface &	written_public_data_slots

L1ToL2MessageTreeCheckInterface &	l1_to_l2_msg_tree_check

std::vector< CheckpointNotifiable * >	checkpoint_listeners

std::stack< TreeCounters >	tree_counters_stack

Detailed Description

Definition at line 54 of file concrete_dbs.hpp.

Member Typedef Documentation

◆ Slot

using bb::avm2::simulation::MerkleDB::Slot = FF

private

Definition at line 118 of file concrete_dbs.hpp.

Constructor & Destructor Documentation

◆ MerkleDB()

bb::avm2::simulation::MerkleDB::MerkleDB	(	LowLevelMerkleDBInterface &	raw_merkle_db,
		PublicDataTreeCheckInterface &	public_data_tree_check,
		NullifierTreeCheckInterface &	nullifier_tree_check,
		NoteHashTreeCheckInterface &	note_hash_tree_check,
		WrittenPublicDataSlotsInterface &	written_public_data_slots,
		L1ToL2MessageTreeCheckInterface &	l1_to_l2_msg_tree_check
	)

inline

Definition at line 56 of file concrete_dbs.hpp.

Member Function Documentation

◆ add_checkpoint_listener()

void bb::avm2::simulation::MerkleDB::add_checkpoint_listener ( CheckpointNotifiable & listener )

inline

Definition at line 100 of file concrete_dbs.hpp.

◆ as_unconstrained()

LowLevelMerkleDBInterface & bb::avm2::simulation::MerkleDB::as_unconstrained ( ) const

inlineoverridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 102 of file concrete_dbs.hpp.

◆ commit_checkpoint()

void bb::avm2::simulation::MerkleDB::commit_checkpoint ( )

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 289 of file concrete_dbs.cpp.

◆ create_checkpoint()

void bb::avm2::simulation::MerkleDB::create_checkpoint ( )

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 279 of file concrete_dbs.cpp.

◆ get_checkpoint_id()

uint32_t bb::avm2::simulation::MerkleDB::get_checkpoint_id ( ) const

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 311 of file concrete_dbs.cpp.

◆ get_tree_state()

TreeStates bb::avm2::simulation::MerkleDB::get_tree_state ( ) const

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 37 of file concrete_dbs.cpp.

◆ l1_to_l2_msg_exists()

bool bb::avm2::simulation::MerkleDB::l1_to_l2_msg_exists	(	uint64_t	leaf_index,
		const FF &	msg_hash
	)		const

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 262 of file concrete_dbs.cpp.

◆ note_hash_exists()

bool bb::avm2::simulation::MerkleDB::note_hash_exists	(	uint64_t	leaf_index,
		const FF &	unique_note_hash
	)		const

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 194 of file concrete_dbs.cpp.

◆ note_hash_write()

void bb::avm2::simulation::MerkleDB::note_hash_write	(	const AztecAddress &	contract_address,
		const FF &	note_hash
	)

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 202 of file concrete_dbs.cpp.

◆ nullifier_exists()

bool bb::avm2::simulation::MerkleDB::nullifier_exists	(	const AztecAddress &	contract_address,
		const FF &	nullifier
	)		const

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 102 of file concrete_dbs.cpp.

◆ nullifier_exists_internal()

bool bb::avm2::simulation::MerkleDB::nullifier_exists_internal	(	std::optional< AztecAddress >	contract_address,
		const FF &	nullifier
	)		const

private

Definition at line 112 of file concrete_dbs.cpp.

◆ nullifier_write()

bool bb::avm2::simulation::MerkleDB::nullifier_write	(	const AztecAddress &	contract_address,
		const FF &	nullifier
	)

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 136 of file concrete_dbs.cpp.

◆ nullifier_write_internal()

bool bb::avm2::simulation::MerkleDB::nullifier_write_internal	(	std::optional< AztecAddress >	contract_address,
		const FF &	nullifier
	)

private

Definition at line 146 of file concrete_dbs.cpp.

◆ pad_trees()

void bb::avm2::simulation::MerkleDB::pad_trees ( )

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 270 of file concrete_dbs.cpp.

◆ revert_checkpoint()

void bb::avm2::simulation::MerkleDB::revert_checkpoint ( )

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 301 of file concrete_dbs.cpp.

◆ siloed_note_hash_write()

void bb::avm2::simulation::MerkleDB::siloed_note_hash_write ( const FF & note_hash )

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 225 of file concrete_dbs.cpp.

◆ siloed_nullifier_exists()

bool bb::avm2::simulation::MerkleDB::siloed_nullifier_exists ( const FF & nullifier ) const

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 107 of file concrete_dbs.cpp.

◆ siloed_nullifier_write()

bool bb::avm2::simulation::MerkleDB::siloed_nullifier_write ( const FF & nullifier )

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 141 of file concrete_dbs.cpp.

◆ storage_read()

FF bb::avm2::simulation::MerkleDB::storage_read	(	const AztecAddress &	contract_address,
		const FF &	slot
	)		const

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 51 of file concrete_dbs.cpp.

◆ storage_write()

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

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 66 of file concrete_dbs.cpp.

◆ unique_note_hash_write()

void bb::avm2::simulation::MerkleDB::unique_note_hash_write ( const FF & note_hash )

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 246 of file concrete_dbs.cpp.

◆ was_storage_written()

bool bb::avm2::simulation::MerkleDB::was_storage_written	(	const AztecAddress &	contract_address,
		const FF &	slot
	)		const

overridevirtual

Implements bb::avm2::simulation::HighLevelMerkleDBInterface.

Definition at line 97 of file concrete_dbs.cpp.

Member Data Documentation

◆ checkpoint_listeners

std::vector<CheckpointNotifiable*> bb::avm2::simulation::MerkleDB::checkpoint_listeners

private

Definition at line 119 of file concrete_dbs.hpp.

◆ l1_to_l2_msg_tree_check

L1ToL2MessageTreeCheckInterface& bb::avm2::simulation::MerkleDB::l1_to_l2_msg_tree_check

private

Definition at line 115 of file concrete_dbs.hpp.

◆ note_hash_tree_check

NoteHashTreeCheckInterface& bb::avm2::simulation::MerkleDB::note_hash_tree_check

private

Definition at line 113 of file concrete_dbs.hpp.

◆ nullifier_tree_check

NullifierTreeCheckInterface& bb::avm2::simulation::MerkleDB::nullifier_tree_check

private

Definition at line 112 of file concrete_dbs.hpp.

◆ public_data_tree_check

PublicDataTreeCheckInterface& bb::avm2::simulation::MerkleDB::public_data_tree_check

private

Definition at line 111 of file concrete_dbs.hpp.

◆ raw_merkle_db

LowLevelMerkleDBInterface& bb::avm2::simulation::MerkleDB::raw_merkle_db

private

Definition at line 108 of file concrete_dbs.hpp.

◆ tree_counters_stack

std::stack<TreeCounters> bb::avm2::simulation::MerkleDB::tree_counters_stack

private

Initial value:

{
        { { .note_hash_counter = 0, .nullifier_counter = 0, .l2_to_l1_msg_counter = 0 } }
    }

Definition at line 122 of file concrete_dbs.hpp.

◆ written_public_data_slots

WrittenPublicDataSlotsInterface& bb::avm2::simulation::MerkleDB::written_public_data_slots

private

Definition at line 114 of file concrete_dbs.hpp.

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

src/barretenberg/vm2/simulation/concrete_dbs.hpp
src/barretenberg/vm2/simulation/concrete_dbs.cpp

Public Member Functions

Private Types

Private Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

◆ Slot

Constructor & Destructor Documentation

◆ MerkleDB()

Member Function Documentation

◆ add_checkpoint_listener()

◆ as_unconstrained()

◆ commit_checkpoint()

◆ create_checkpoint()

◆ get_checkpoint_id()

◆ get_tree_state()

◆ l1_to_l2_msg_exists()

◆ note_hash_exists()

◆ note_hash_write()

◆ nullifier_exists()

◆ nullifier_exists_internal()

◆ nullifier_write()

◆ nullifier_write_internal()

◆ pad_trees()

◆ revert_checkpoint()

◆ siloed_note_hash_write()

◆ siloed_nullifier_exists()

◆ siloed_nullifier_write()

◆ storage_read()

◆ storage_write()

◆ unique_note_hash_write()

◆ was_storage_written()

Member Data Documentation

◆ checkpoint_listeners

◆ l1_to_l2_msg_tree_check

◆ note_hash_tree_check

◆ nullifier_tree_check

◆ public_data_tree_check

◆ raw_merkle_db

◆ tree_counters_stack

◆ written_public_data_slots