#include <indexed_tree_check_event.hpp>

Public Member Functions
bool	operator== (const IndexedTreeReadWriteEvent &other) const =default

Public Attributes
FF	value = 0

AppendOnlyTreeSnapshot	prev_snapshot {}

AppendOnlyTreeSnapshot	next_snapshot {}

uint64_t	tree_height = 0

FF	merkle_hash_separator = 0

IndexedTreeLeafData	low_leaf_data {}

FF	low_leaf_hash = 0

uint64_t	low_leaf_index = 0

bool	write = false

std::optional< IndexedLeafSiloingData >	siloing_data = std::nullopt

std::optional< uint64_t >	public_inputs_index = std::nullopt

std::optional< IndexedLeafAppendData >	append_data = std::nullopt

Detailed Description

Definition at line 45 of file indexed_tree_check_event.hpp.

Member Function Documentation

◆ operator==()

bool bb::avm2::simulation::IndexedTreeReadWriteEvent::operator== ( const IndexedTreeReadWriteEvent & other ) const

default

Member Data Documentation

◆ append_data

std::optional<IndexedLeafAppendData> bb::avm2::simulation::IndexedTreeReadWriteEvent::append_data = std::nullopt

Definition at line 62 of file indexed_tree_check_event.hpp.

◆ low_leaf_data

IndexedTreeLeafData bb::avm2::simulation::IndexedTreeReadWriteEvent::low_leaf_data {}

Definition at line 54 of file indexed_tree_check_event.hpp.

◆ low_leaf_hash

FF bb::avm2::simulation::IndexedTreeReadWriteEvent::low_leaf_hash = 0

Definition at line 55 of file indexed_tree_check_event.hpp.

◆ low_leaf_index

uint64_t bb::avm2::simulation::IndexedTreeReadWriteEvent::low_leaf_index = 0

Definition at line 56 of file indexed_tree_check_event.hpp.

◆ merkle_hash_separator

FF bb::avm2::simulation::IndexedTreeReadWriteEvent::merkle_hash_separator = 0

Per-tree merkle-node domain separator (e.g. DOM_SEP__NULLIFIER_MERKLE). Carried through to the generated trace so the merkle_check lookup sees the tree-specific constant.

Definition at line 52 of file indexed_tree_check_event.hpp.