#include <to_radix_trace.hpp>

Public Member Functions
void	process (const simulation::EventEmitterInterface< simulation::ToRadixEvent >::Container &events, TraceContainer &trace)
	Processes the non-memory aware to_radix subtrace ingesting ToRadixEvent events. The populated number of rows per event is equal to the number of limbs in the event. Simulation guarantees that the limbs in the event fully decompose the value (no truncation) but high limbs might be zero.

void	process_with_memory (const simulation::EventEmitterInterface< simulation::ToRadixMemoryEvent >::Container &events, TraceContainer &trace)
	Processes the memory aware to_radix subtrace ingesting ToRadixMemoryEvent events. The populated number of rows per event is equal to event.num_limbs if there is no error and num_limbs is not zero. Otherwise, a single row is populated.

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 10 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
	)

Processes the non-memory aware to_radix subtrace ingesting ToRadixEvent events. The populated number of rows per event is equal to the number of limbs in the event. Simulation guarantees that the limbs in the event fully decompose the value (no truncation) but high limbs might be zero.

Parameters

events	The events of type ToRadixEvent to process.
trace	The trace to populate.

Definition at line 28 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
	)

Processes the memory aware to_radix subtrace ingesting ToRadixMemoryEvent events. The populated number of rows per event is equal to event.num_limbs if there is no error and num_limbs is not zero. Otherwise, a single row is populated.

Parameters

events	The events of type ToRadixMemoryEvent to process.
trace	The trace to populate.

Definition at line 126 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::LookupIntoIndexedByRow>()
        .add<lookup_to_radix_limb_less_than_radix_range_settings, InteractionType::LookupIntoIndexedByRow>()
        .add<lookup_to_radix_fetch_safe_limbs_settings, InteractionType::LookupIntoIndexedByRow>()
        .add<lookup_to_radix_fetch_p_limb_settings, InteractionType::LookupIntoPDecomposition>()
        .add<lookup_to_radix_limb_p_diff_range_settings, InteractionType::LookupIntoIndexedByRow>()
        
        
        .add<lookup_to_radix_mem_check_dst_addr_in_range_settings, InteractionType::LookupGeneric>(C::gt_sel)
        .add<lookup_to_radix_mem_check_radix_lt_2_settings, InteractionType::LookupGeneric>(C::gt_sel)
        .add<lookup_to_radix_mem_check_radix_gt_256_settings, InteractionType::LookupGeneric>(C::gt_sel)
        
        
        
        
        .add<lookup_to_radix_mem_input_output_to_radix_settings,
             InteractionType::LookupGeneric>()

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