#include <to_radix_trace.hpp>

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

void	process_with_memory (const simulation::EventEmitterInterface< simulation::ToRadixMemoryEvent >::Container &events, TraceContainer &trace)

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 13 of file to_radix_trace.hpp.

Member Function Documentation

◆ process()

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

Definition at line 17 of file to_radix_trace.cpp.

◆ process_with_memory()

void bb::avm2::tracegen::ToRadixTraceBuilder::process_with_memory	(	const simulation::EventEmitterInterface< simulation::ToRadixMemoryEvent >::Container &	events,
		TraceContainer &	trace
	)

Definition at line 94 of file to_radix_trace.cpp.

Member Data Documentation

◆ interactions

const InteractionDefinition bb::avm2::tracegen::ToRadixTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        .add<lookup_to_radix_limb_range_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_to_radix_limb_less_than_radix_range_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_to_radix_fetch_safe_limbs_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_to_radix_fetch_p_limb_settings, InteractionType::LookupIntoPDecomposition>()
        .add<lookup_to_radix_limb_p_diff_range_settings, InteractionType::LookupIntoIndexedByClk>()
        
        
        .add<lookup_to_radix_mem_check_dst_addr_in_range_settings, InteractionType::LookupGeneric>(Column::gt_sel)
        .add<lookup_to_radix_mem_check_radix_lt_2_settings, InteractionType::LookupGeneric>(Column::gt_sel)
        .add<lookup_to_radix_mem_check_radix_gt_256_settings, InteractionType::LookupGeneric>(Column::gt_sel)
        
        .add<lookup_to_radix_mem_input_output_to_radix_settings, InteractionType::LookupGeneric>()

Definition at line 20 of file to_radix_trace.hpp.

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

src/barretenberg/vm2/tracegen/to_radix_trace.hpp
src/barretenberg/vm2/tracegen/to_radix_trace.cpp