Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_ Struct Reference

#include <lookups_instr_fetching.hpp>

Static Public Attributes

static constexpr std::string_view NAME = "LOOKUP_INSTR_FETCHING_BYTES_FROM_BC_DEC"
 
static constexpr std::string_view RELATION_NAME = "instr_fetching"
 
static constexpr size_t LOOKUP_TUPLE_SIZE = 40
 
static constexpr Column SRC_SELECTOR = Column::instr_fetching_sel_pc_in_range
 
static constexpr Column DST_SELECTOR = Column::bc_decomposition_sel
 
static constexpr Column COUNTS = Column::lookup_instr_fetching_bytes_from_bc_dec_counts
 
static constexpr Column INVERSES = Column::lookup_instr_fetching_bytes_from_bc_dec_inv
 
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZESRC_COLUMNS
 
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZEDST_COLUMNS
 

Detailed Description

Definition at line 114 of file lookups_instr_fetching.hpp.

Member Data Documentation

◆ COUNTS

constexpr Column bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_::COUNTS = Column::lookup_instr_fetching_bytes_from_bc_dec_counts
staticconstexpr

Definition at line 120 of file lookups_instr_fetching.hpp.

◆ DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_::DST_COLUMNS
staticconstexpr

Definition at line 144 of file lookups_instr_fetching.hpp.

◆ DST_SELECTOR

constexpr Column bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_::DST_SELECTOR = Column::bc_decomposition_sel
staticconstexpr

Definition at line 119 of file lookups_instr_fetching.hpp.

◆ INVERSES

constexpr Column bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_::INVERSES = Column::lookup_instr_fetching_bytes_from_bc_dec_inv
staticconstexpr

Definition at line 121 of file lookups_instr_fetching.hpp.

◆ LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_::LOOKUP_TUPLE_SIZE = 40
staticconstexpr

Definition at line 117 of file lookups_instr_fetching.hpp.

◆ NAME

constexpr std::string_view bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_::NAME = "LOOKUP_INSTR_FETCHING_BYTES_FROM_BC_DEC"
staticconstexpr

Definition at line 115 of file lookups_instr_fetching.hpp.

◆ RELATION_NAME

constexpr std::string_view bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_::RELATION_NAME = "instr_fetching"
staticconstexpr

Definition at line 116 of file lookups_instr_fetching.hpp.

◆ SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_::SRC_COLUMNS
staticconstexpr
Initial value:
= {
ColumnAndShifts::instr_fetching_bytecode_id, ColumnAndShifts::instr_fetching_pc,
ColumnAndShifts::instr_fetching_bytes_to_read, ColumnAndShifts::instr_fetching_bd0,
ColumnAndShifts::instr_fetching_bd1, ColumnAndShifts::instr_fetching_bd2,
ColumnAndShifts::instr_fetching_bd3, ColumnAndShifts::instr_fetching_bd4,
ColumnAndShifts::instr_fetching_bd5, ColumnAndShifts::instr_fetching_bd6,
ColumnAndShifts::instr_fetching_bd7, ColumnAndShifts::instr_fetching_bd8,
ColumnAndShifts::instr_fetching_bd9, ColumnAndShifts::instr_fetching_bd10,
ColumnAndShifts::instr_fetching_bd11, ColumnAndShifts::instr_fetching_bd12,
ColumnAndShifts::instr_fetching_bd13, ColumnAndShifts::instr_fetching_bd14,
ColumnAndShifts::instr_fetching_bd15, ColumnAndShifts::instr_fetching_bd16,
ColumnAndShifts::instr_fetching_bd17, ColumnAndShifts::instr_fetching_bd18,
ColumnAndShifts::instr_fetching_bd19, ColumnAndShifts::instr_fetching_bd20,
ColumnAndShifts::instr_fetching_bd21, ColumnAndShifts::instr_fetching_bd22,
ColumnAndShifts::instr_fetching_bd23, ColumnAndShifts::instr_fetching_bd24,
ColumnAndShifts::instr_fetching_bd25, ColumnAndShifts::instr_fetching_bd26,
ColumnAndShifts::instr_fetching_bd27, ColumnAndShifts::instr_fetching_bd28,
ColumnAndShifts::instr_fetching_bd29, ColumnAndShifts::instr_fetching_bd30,
ColumnAndShifts::instr_fetching_bd31, ColumnAndShifts::instr_fetching_bd32,
ColumnAndShifts::instr_fetching_bd33, ColumnAndShifts::instr_fetching_bd34,
ColumnAndShifts::instr_fetching_bd35, ColumnAndShifts::instr_fetching_bd36
}

Definition at line 122 of file lookups_instr_fetching.hpp.

◆ SRC_SELECTOR

constexpr Column bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_::SRC_SELECTOR = Column::instr_fetching_sel_pc_in_range
staticconstexpr

Definition at line 118 of file lookups_instr_fetching.hpp.


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