bb::avm2::tracegen::NoteHashTreeCheckTraceBuilder Class Reference

#include <note_hash_tree_check_trace.hpp>

Public Member Functions
void	process (const simulation::EventEmitterInterface< simulation::NoteHashTreeCheckEvent >::Container &events, TraceContainer &trace)
	Process the note hash 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 note_hash_tree_check_trace.hpp.

Member Function Documentation

process()

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

Process the note hash 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 event produces one trace row covering: siloing, nonce derivation, uniqueness, Merkle membership/write, and existence checking. The diff inverse column is batch-inverted at the end.

Parameters

events	The container of note hash tree check events to process.
trace	The trace container.

Definition at line 28 of file note_hash_tree_check_trace.cpp.

Member Data Documentation

interactions

const InteractionDefinition bb::avm2::tracegen::NoteHashTreeCheckTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        .add<lookup_note_hash_tree_check_silo_poseidon2_settings, InteractionType::LookupSequential>()
        .add<lookup_note_hash_tree_check_read_first_nullifier_settings, InteractionType::LookupIntoIndexedByRow>()
        .add<lookup_note_hash_tree_check_nonce_computation_poseidon2_settings, InteractionType::LookupSequential>()
        .add<lookup_note_hash_tree_check_unique_note_hash_poseidon2_settings, InteractionType::LookupSequential>()
        .add<lookup_note_hash_tree_check_merkle_check_settings, InteractionType::LookupSequential>()
        .add<lookup_note_hash_tree_check_write_note_hash_to_public_inputs_settings,
             InteractionType::LookupIntoIndexedByRow>()

Definition at line 15 of file note_hash_tree_check_trace.hpp.

---

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

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