bb::avm2::simulation::PublicDataTreeCheckInterface Class Reference

#include <public_data_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::PublicDataTreeCheckInterface:

Public Member Functions
virtual	~PublicDataTreeCheckInterface ()=default
virtual void	assert_read (const FF &slot, const AztecAddress &contract_address, const FF &value, const PublicDataTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot)=0
virtual AppendOnlyTreeSnapshot	write (const FF &slot, const AztecAddress &contract_address, const FF &value, const PublicDataTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::span< const FF > insertion_sibling_path, bool is_protocol_write)=0

Detailed Description

Definition at line 11 of file public_data_tree_check.hpp.

Constructor & Destructor Documentation

~PublicDataTreeCheckInterface()

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

virtualdefault

Member Function Documentation

assert_read()

virtual void bb::avm2::simulation::PublicDataTreeCheckInterface::assert_read ( const FF &  slot, const AztecAddress &  contract_address, const FF &  value, const PublicDataTreeLeafPreimage &  low_leaf_preimage, uint64_t  low_leaf_index, std::span< const FF >  sibling_path, const AppendOnlyTreeSnapshot &  snapshot  )

pure virtual

Implemented in bb::avm2::simulation::PublicDataTreeCheck.

write()

virtual AppendOnlyTreeSnapshot bb::avm2::simulation::PublicDataTreeCheckInterface::write ( const FF &  slot, const AztecAddress &  contract_address, const FF &  value, const PublicDataTreeLeafPreimage &  low_leaf_preimage, uint64_t  low_leaf_index, std::span< const FF >  low_leaf_sibling_path, const AppendOnlyTreeSnapshot &  prev_snapshot, std::span< const FF >  insertion_sibling_path, bool  is_protocol_write  )

pure virtual

Implemented in bb::avm2::simulation::PublicDataTreeCheck.

---

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

• src/barretenberg/vm2/simulation/public_data_tree_check.hpp