bb::avm2::tracegen::IndexedTreeCheckTraceBuilder Class Reference

#include <indexed_tree_check_trace.hpp>

Public Member Functions
void	process (const simulation::EventEmitterInterface< simulation::IndexedTreeCheckEvent >::Container &events, TraceContainer &trace)
	Process generic indexed tree check events and populate the relevant columns in the trace.

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 10 of file indexed_tree_check_trace.hpp.

Member Function Documentation

process()

void bb::avm2::tracegen::IndexedTreeCheckTraceBuilder::process	(	const simulation::EventEmitterInterface< simulation::IndexedTreeCheckEvent >::Container &	events,
		TraceContainer &	trace
	)

Process generic indexed tree check events and populate the relevant columns in the trace.

The event stream contains both read/write events and checkpoint events (create, commit, revert). We use process_with_discard to consume the checkpoint events and reconstruct a discard flag for each read/write event, indicating whether it belongs to a reverted checkpoint. Discarded events still produce trace rows but are excluded from public input writes.

Each non-checkpoint event produces one trace row covering: siloing, low leaf validation, indexed tree membership checks, low leaf updates, new leaf insertion, and Merkle proofs.

Parameters

events	The container of indexed tree check events to process.
trace	The trace container to populate with indexed tree check rows.

Definition at line 26 of file indexed_tree_check_trace.cpp.

Member Data Documentation

interactions

const InteractionDefinition bb::avm2::tracegen::IndexedTreeCheckTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        .add<lookup_indexed_tree_check_silo_poseidon2_settings, InteractionType::LookupSequential>()
        .add<lookup_indexed_tree_check_low_leaf_poseidon2_settings, InteractionType::LookupSequential>()
        .add<lookup_indexed_tree_check_updated_low_leaf_poseidon2_settings, InteractionType::LookupSequential>()
        .add<lookup_indexed_tree_check_low_leaf_merkle_check_settings, InteractionType::LookupSequential>()
        .add<lookup_indexed_tree_check_low_leaf_value_validation_settings,
             InteractionType::LookupGeneric>() 
        .add<lookup_indexed_tree_check_low_leaf_next_value_validation_settings,
             InteractionType::LookupGeneric>() 
        .add<lookup_indexed_tree_check_new_leaf_poseidon2_settings, InteractionType::LookupSequential>()
        .add<lookup_indexed_tree_check_new_leaf_merkle_check_settings, InteractionType::LookupSequential>()
        .add<lookup_indexed_tree_check_write_value_to_public_inputs_settings,
             InteractionType::LookupIntoIndexedByRow>()

Definition at line 15 of file indexed_tree_check_trace.hpp.

---

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

• src/barretenberg/vm2/tracegen/indexed_tree_check_trace.hpp
• src/barretenberg/vm2/tracegen/indexed_tree_check_trace.cpp