Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Static Public Attributes | List of all members
bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_ Struct Reference

#include <lookups_alu.hpp>

Static Public Attributes

static constexpr std::string_view NAME = "LOOKUP_ALU_RANGE_CHECK_DECOMPOSITION_B_HI"
 
static constexpr std::string_view RELATION_NAME = "alu"
 
static constexpr size_t LOOKUP_TUPLE_SIZE = 2
 
static constexpr Column SRC_SELECTOR = Column::alu_sel_mul_div_u128
 
static constexpr Column DST_SELECTOR = Column::range_check_sel
 
static constexpr Column COUNTS = Column::lookup_alu_range_check_decomposition_b_hi_counts
 
static constexpr Column INVERSES = Column::lookup_alu_range_check_decomposition_b_hi_inv
 
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
 
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
 

Detailed Description

Definition at line 135 of file lookups_alu.hpp.

Member Data Documentation

◆ COUNTS

constexpr Column bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_::COUNTS = Column::lookup_alu_range_check_decomposition_b_hi_counts
staticconstexpr

Definition at line 141 of file lookups_alu.hpp.

◆ DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_::DST_COLUMNS
staticconstexpr
Initial value:
= {
ColumnAndShifts::range_check_value, ColumnAndShifts::range_check_rng_chk_bits
}

Definition at line 145 of file lookups_alu.hpp.

◆ DST_SELECTOR

constexpr Column bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_::DST_SELECTOR = Column::range_check_sel
staticconstexpr

Definition at line 140 of file lookups_alu.hpp.

◆ INVERSES

constexpr Column bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_::INVERSES = Column::lookup_alu_range_check_decomposition_b_hi_inv
staticconstexpr

Definition at line 142 of file lookups_alu.hpp.

◆ LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_::LOOKUP_TUPLE_SIZE = 2
staticconstexpr

Definition at line 138 of file lookups_alu.hpp.

◆ NAME

constexpr std::string_view bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_::NAME = "LOOKUP_ALU_RANGE_CHECK_DECOMPOSITION_B_HI"
staticconstexpr

Definition at line 136 of file lookups_alu.hpp.

◆ RELATION_NAME

constexpr std::string_view bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_::RELATION_NAME = "alu"
staticconstexpr

Definition at line 137 of file lookups_alu.hpp.

◆ SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_::SRC_COLUMNS
staticconstexpr
Initial value:
= { ColumnAndShifts::alu_b_hi,
ColumnAndShifts::alu_constant_64 }

Definition at line 143 of file lookups_alu.hpp.

◆ SRC_SELECTOR

constexpr Column bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_::SRC_SELECTOR = Column::alu_sel_mul_div_u128
staticconstexpr

Definition at line 139 of file lookups_alu.hpp.

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