bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ > Class Template Reference

#include <multi_permutation_builder.hpp>

Inheritance diagram for bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >:

Public Member Functions
	MultiPermutationBuilder (Column dst_table_selector)
	~MultiPermutationBuilder () override=default
void	process (TraceContainer &trace) override
template<typename PermutationSettings >
void	set_destination_selector (TraceContainer &trace)
void	init (TraceContainer &trace)
Public Member Functions inherited from bb::avm2::tracegen::InteractionBuilderInterface
virtual	~InteractionBuilderInterface ()=default
virtual size_t	get_destination_columns_fingerprint () const

Private Types
using	REPRESENTATIVE_PERM = std::tuple_element_t< 0, flat_tuple::tuple< PermutationSettings_... > >

Private Attributes
Column	dst_table_selector
unordered_flat_map< std::array< FF, COLUMNS_PER_SET >, std::vector< uint32_t > >	row_idx

Static Private Attributes
static constexpr auto	DST_COLUMNS = REPRESENTATIVE_PERM::DST_COLUMNS
static constexpr size_t	COLUMNS_PER_SET = DST_COLUMNS.size()

Detailed Description

template<typename... PermutationSettings_>
class bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >

Suppose you have n permutations (P1, ..., Pn) such that

• The destination tuple columns (and therefore table) are the same for all of them (e.g., mem.address, mem.value).
• There is a "global" destination table selector (mem.sel)
• The source selectors are different, and already set (e.g., execution.sel_addressing_base, execution.sel_addressing_indirect_0..., sha256.mem_op_1...)
• The destination selectors are different, but UNSET. E.g., mem.sel_addressing_base, mem.sel_addressing_indirect_0...).

You want to find, for each source row of each permutation, a row in the destination table and set the right destination selector. For the next source row or permutation, you should not be able to consider the "already used" destination rows, because this is a permutation.

Definition at line 34 of file multi_permutation_builder.hpp.

Member Typedef Documentation

REPRESENTATIVE_PERM

template<typename... PermutationSettings_>

using bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::REPRESENTATIVE_PERM = std::tuple_element_t<0, flat_tuple::tuple<PermutationSettings_...> >

private

Definition at line 90 of file multi_permutation_builder.hpp.

Constructor & Destructor Documentation

MultiPermutationBuilder()

template<typename... PermutationSettings_>

bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::MultiPermutationBuilder ( Column  dst_table_selector )

inline

Definition at line 36 of file multi_permutation_builder.hpp.

~MultiPermutationBuilder()

template<typename... PermutationSettings_>

bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::~MultiPermutationBuilder ( )

overridedefault

Member Function Documentation

init()

template<typename... PermutationSettings_>

void bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::init ( TraceContainer &  trace )

inline

Definition at line 77 of file multi_permutation_builder.hpp.

process()

template<typename... PermutationSettings_>

void bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::process ( TraceContainer &  trace )

inlineoverridevirtual

Implements bb::avm2::tracegen::InteractionBuilderInterface.

Definition at line 41 of file multi_permutation_builder.hpp.

set_destination_selector()

template<typename... PermutationSettings_>

template<typename PermutationSettings >

void bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::set_destination_selector ( TraceContainer &  trace )

inline

Definition at line 53 of file multi_permutation_builder.hpp.

Member Data Documentation

COLUMNS_PER_SET

template<typename... PermutationSettings_>

constexpr size_t bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::COLUMNS_PER_SET = DST_COLUMNS.size()

staticconstexprprivate

Definition at line 92 of file multi_permutation_builder.hpp.

DST_COLUMNS

template<typename... PermutationSettings_>

constexpr auto bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::DST_COLUMNS = REPRESENTATIVE_PERM::DST_COLUMNS

staticconstexprprivate

Definition at line 91 of file multi_permutation_builder.hpp.

dst_table_selector

template<typename... PermutationSettings_>

Column bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::dst_table_selector

private

Definition at line 96 of file multi_permutation_builder.hpp.

row_idx

template<typename... PermutationSettings_>

unordered_flat_map<std::array<FF, COLUMNS_PER_SET>, std::vector<uint32_t> > bb::avm2::tracegen::MultiPermutationBuilder< PermutationSettings_ >::row_idx

private

Definition at line 103 of file multi_permutation_builder.hpp.

---

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

• src/barretenberg/vm2/tracegen/lib/multi_permutation_builder.hpp