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

#include <merkle_check.hpp>

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

Public Member Functions

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

Detailed Description

Definition at line 10 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 ( uint64_t  domain_separator,
const FF &  leaf_value,
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 ( uint64_t  domain_separator,
const FF &  current_value,
const FF &  new_value,
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: