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)
	Process the public data 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 public_data_tree_trace.hpp.

Member Function Documentation

process()

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

Process the public data tree check events and populate the relevant columns in the trace.

Reconstructs discard status from checkpoint events, sorts events by clk for the main trace and by (leaf_slot, clk) for the squash trace, then delegates to the two sub-trace builders.

Parameters

events	The container of PublicDataTreeCheckEvent variants (read/write events and checkpoint markers).
trace	The trace container to populate.

Definition at line 242 of file public_data_tree_trace.cpp.

Member Data Documentation

interactions

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

static

Initial value:

=
    InteractionDefinition()
        
        .add<InteractionType::LookupGeneric, lookup_public_data_check_silo_poseidon2_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_low_leaf_slot_validation_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_low_leaf_next_slot_validation_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_low_leaf_poseidon2_0_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_low_leaf_poseidon2_1_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_updated_low_leaf_poseidon2_0_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_updated_low_leaf_poseidon2_1_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_low_leaf_merkle_check_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_new_leaf_poseidon2_0_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_new_leaf_poseidon2_1_settings>()
        .add<InteractionType::LookupGeneric, lookup_public_data_check_new_leaf_merkle_check_settings>()
        .add<InteractionType::MultiPermutation, perm_sstore_storage_write_settings, perm_tx_balance_update_settings>(
            Column::public_data_check_write)
        .add<InteractionType::Permutation, perm_public_data_check_squashing_settings>()
        .add<InteractionType::LookupIntoIndexedByRow,
             lookup_public_data_check_write_writes_length_to_public_inputs_settings>()
        .add<InteractionType::LookupIntoIndexedByRow, lookup_public_data_check_clk_diff_range_lo_settings>()
        .add<InteractionType::LookupIntoIndexedByRow, lookup_public_data_check_clk_diff_range_hi_settings>()
        .add<InteractionType::LookupIntoIndexedByRow,
             lookup_public_data_check_write_public_data_to_public_inputs_settings>()
        
        .add<InteractionType::LookupGeneric, lookup_public_data_squash_leaf_slot_increase_ff_gt_settings>()
        .add<InteractionType::LookupIntoIndexedByRow, lookup_public_data_squash_clk_diff_range_lo_settings>()
        .add<InteractionType::LookupIntoIndexedByRow, lookup_public_data_squash_clk_diff_range_hi_settings>()

Definition at line 15 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