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

#include <indexed_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::IndexedTreeCheckInterface:
bb::avm2::simulation::IndexedTreeCheck bb::avm2::simulation::MockIndexedTreeCheck

Public Member Functions

virtual ~IndexedTreeCheckInterface ()=default
 
virtual void assert_read (const FF &value, std::optional< IndexedTreeSiloingParameters > siloing_params, bool exists, const IndexedTreeLeafData &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot)=0
 
virtual AppendOnlyTreeSnapshot write (const FF &value, std::optional< IndexedTreeSiloingParameters > siloing_params, std::optional< uint64_t > public_inputs_index, const IndexedTreeLeafData &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::optional< std::span< const FF > > insertion_sibling_path)=0
 

Detailed Description

Definition at line 13 of file indexed_tree_check.hpp.

Constructor & Destructor Documentation

◆ ~IndexedTreeCheckInterface()

virtual bb::avm2::simulation::IndexedTreeCheckInterface::~IndexedTreeCheckInterface ( )
virtualdefault

Member Function Documentation

◆ assert_read()

virtual void bb::avm2::simulation::IndexedTreeCheckInterface::assert_read ( const FF &  value,
std::optional< IndexedTreeSiloingParameters >  siloing_params,
bool  exists,
const IndexedTreeLeafData &  low_leaf_preimage,
uint64_t  low_leaf_index,
std::span< const FF >  sibling_path,
const AppendOnlyTreeSnapshot &  snapshot 
)
pure virtual

Implemented in bb::avm2::simulation::IndexedTreeCheck.

◆ write()

virtual AppendOnlyTreeSnapshot bb::avm2::simulation::IndexedTreeCheckInterface::write ( const FF &  value,
std::optional< IndexedTreeSiloingParameters >  siloing_params,
std::optional< uint64_t >  public_inputs_index,
const IndexedTreeLeafData &  low_leaf_preimage,
uint64_t  low_leaf_index,
std::span< const FF >  low_leaf_sibling_path,
const AppendOnlyTreeSnapshot &  prev_snapshot,
std::optional< std::span< const FF > >  insertion_sibling_path 
)
pure virtual

Implemented in bb::avm2::simulation::IndexedTreeCheck.

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