bb::avm2::tracegen::PublicDataTreeTraceBuilder Class Reference

#include <public_data_tree_trace.hpp>

Public Member Functions
void	process (const simulation::EventEmitterInterface< simulation::PublicDataTreeCheckEvent >::Container &events, TraceContainer &trace)

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 13 of file public_data_tree_trace.hpp.

Member Function Documentation

process()

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

Definition at line 187 of file public_data_tree_trace.cpp.

Member Data Documentation

interactions

const InteractionDefinition bb::avm2::tracegen::PublicDataTreeTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        
        .add<lookup_public_data_check_silo_poseidon2_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_low_leaf_slot_validation_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_low_leaf_next_slot_validation_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_low_leaf_poseidon2_0_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_low_leaf_poseidon2_1_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_updated_low_leaf_poseidon2_0_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_updated_low_leaf_poseidon2_1_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_low_leaf_merkle_check_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_new_leaf_poseidon2_0_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_new_leaf_poseidon2_1_settings, InteractionType::LookupGeneric>()
        .add<lookup_public_data_check_new_leaf_merkle_check_settings, InteractionType::LookupGeneric>()
        .add<perm_public_data_check_squashing_settings, InteractionType::Permutation>()
        .add<lookup_public_data_check_write_writes_length_to_public_inputs_settings,
             InteractionType::LookupIntoIndexedByClk>()
        
        
        
        
        .add<lookup_public_data_check_write_public_data_to_public_inputs_settings,
             InteractionType::LookupIntoIndexedByClk>()

Definition at line 18 of file public_data_tree_trace.hpp.

---

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

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