bb::avm2::simulation::MerkleCheckInterface Class Reference

#include <merkle_check.hpp>

Inheritance diagram for bb::avm2::simulation::MerkleCheckInterface:

Public Member Functions
virtual	~MerkleCheckInterface ()=default
virtual void	assert_membership (const FF &leaf_value, const uint64_t leaf_index, std::span< const FF > sibling_path, const FF &root)=0
virtual FF	write (const FF &current_value, const FF &new_value, const uint64_t leaf_index, std::span< const FF > sibling_path, const FF &current_root)=0

Detailed Description

Definition at line 16 of file merkle_check.hpp.

Constructor & Destructor Documentation

~MerkleCheckInterface()

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

virtualdefault

Member Function Documentation

assert_membership()

virtual void bb::avm2::simulation::MerkleCheckInterface::assert_membership ( const FF &  leaf_value, const uint64_t  leaf_index, std::span< const FF >  sibling_path, const FF &  root  )

pure virtual

Implemented in bb::avm2::simulation::MerkleCheck.

write()

virtual FF bb::avm2::simulation::MerkleCheckInterface::write ( const FF &  current_value, const FF &  new_value, const uint64_t  leaf_index, std::span< const FF >  sibling_path, const FF &  current_root  )

pure virtual

Implemented in bb::avm2::simulation::MerkleCheck.

---

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

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