bb::avm2::tracegen::AluTraceBuilder Class Reference

#include <alu_trace.hpp>

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

Static Public Attributes
static const InteractionDefinition	interactions

Private Member Functions
std::vector< std::pair< Column, FF > >	get_operation_specific_columns (const simulation::AluEvent &event) const
FF	get_tag_diff_inverse (const MemoryTag a_tag, const MemoryTag b_tag) const
std::vector< std::pair< Column, FF > >	get_tag_error_columns (const simulation::AluEvent &event) const

Private Attributes
std::array< FF, NUM_TAGS >	tag_inverses

Static Private Attributes
static constexpr size_t	NUM_TAGS = static_cast<size_t>(MemoryTag::MAX) + 1

Detailed Description

Definition at line 11 of file alu_trace.hpp.

Constructor & Destructor Documentation

AluTraceBuilder()

bb::avm2::tracegen::AluTraceBuilder::AluTraceBuilder

(

)

Definition at line 20 of file alu_trace.cpp.

Member Function Documentation

get_operation_specific_columns()

std::vector< std::pair< Column, FF > > bb::avm2::tracegen::AluTraceBuilder::get_operation_specific_columns ( const simulation::AluEvent &  event ) const

private

Definition at line 37 of file alu_trace.cpp.

get_tag_diff_inverse()

FF bb::avm2::tracegen::AluTraceBuilder::get_tag_diff_inverse ( const MemoryTag  a_tag, const MemoryTag  b_tag  ) const

private

Definition at line 28 of file alu_trace.cpp.

get_tag_error_columns()

std::vector< std::pair< Column, FF > > bb::avm2::tracegen::AluTraceBuilder::get_tag_error_columns ( const simulation::AluEvent &  event ) const

private

Definition at line 273 of file alu_trace.cpp.

process()

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

Definition at line 308 of file alu_trace.cpp.

Member Data Documentation

interactions

const InteractionDefinition bb::avm2::tracegen::AluTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        .add<lookup_alu_tag_max_bits_value_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_alu_range_check_decomposition_a_lo_settings, InteractionType::LookupGeneric>(
            Column::range_check_sel)
        .add<lookup_alu_range_check_decomposition_a_hi_settings, InteractionType::LookupGeneric>(
            Column::range_check_sel)
        .add<lookup_alu_range_check_decomposition_b_lo_settings, InteractionType::LookupGeneric>(
            Column::range_check_sel)
        .add<lookup_alu_range_check_decomposition_b_hi_settings, InteractionType::LookupGeneric>(
            Column::range_check_sel)
        .add<lookup_alu_range_check_mul_u128_c_hi_settings, InteractionType::LookupGeneric>(Column::range_check_sel)
        .add<lookup_alu_gt_div_remainder_settings, InteractionType::LookupGeneric>(Column::gt_sel)
        .add<lookup_alu_ff_gt_settings, InteractionType::LookupGeneric>()
        .add<lookup_alu_int_gt_settings, InteractionType::LookupGeneric>(Column::gt_sel)
        .add<lookup_alu_shifts_two_pow_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_alu_range_check_trunc_mid_settings, InteractionType::LookupGeneric>(Column::range_check_sel)
        .add<lookup_alu_large_trunc_canonical_dec_settings, InteractionType::LookupGeneric>()

Definition at line 17 of file alu_trace.hpp.

NUM_TAGS

constexpr size_t bb::avm2::tracegen::AluTraceBuilder::NUM_TAGS = static_cast<size_t>(MemoryTag::MAX) + 1

staticconstexprprivate

Definition at line 20 of file alu_trace.hpp.

tag_inverses

std::array<FF, NUM_TAGS> bb::avm2::tracegen::AluTraceBuilder::tag_inverses

private

Definition at line 22 of file alu_trace.hpp.

---

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

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