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

#include <lookups_execution.hpp>

Static Public Attributes

static constexpr std::string_view NAME = "LOOKUP_EXECUTION_DISPATCH_TO_BITWISE"
 
static constexpr std::string_view RELATION_NAME = "execution"
 
static constexpr size_t LOOKUP_TUPLE_SIZE = 8
 
static constexpr Column SRC_SELECTOR = Column::execution_sel_exec_dispatch_bitwise
 
static constexpr Column DST_SELECTOR = Column::bitwise_sel
 
static constexpr Column COUNTS = Column::lookup_execution_dispatch_to_bitwise_counts
 
static constexpr Column INVERSES = Column::lookup_execution_dispatch_to_bitwise_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 367 of file lookups_execution.hpp.

Member Data Documentation

◆ COUNTS

constexpr Column bb::avm2::lookup_execution_dispatch_to_bitwise_settings_::COUNTS = Column::lookup_execution_dispatch_to_bitwise_counts
staticconstexpr

Definition at line 373 of file lookups_execution.hpp.

◆ DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_execution_dispatch_to_bitwise_settings_::DST_COLUMNS
staticconstexpr
Initial value:
= {
ColumnAndShifts::bitwise_op_id, ColumnAndShifts::bitwise_err, ColumnAndShifts::bitwise_acc_ia,
ColumnAndShifts::bitwise_tag_a, ColumnAndShifts::bitwise_acc_ib, ColumnAndShifts::bitwise_tag_b,
ColumnAndShifts::bitwise_acc_ic, ColumnAndShifts::bitwise_tag_c
}

Definition at line 381 of file lookups_execution.hpp.

◆ DST_SELECTOR

constexpr Column bb::avm2::lookup_execution_dispatch_to_bitwise_settings_::DST_SELECTOR = Column::bitwise_sel
staticconstexpr

Definition at line 372 of file lookups_execution.hpp.

◆ INVERSES

constexpr Column bb::avm2::lookup_execution_dispatch_to_bitwise_settings_::INVERSES = Column::lookup_execution_dispatch_to_bitwise_inv
staticconstexpr

Definition at line 374 of file lookups_execution.hpp.

◆ LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_execution_dispatch_to_bitwise_settings_::LOOKUP_TUPLE_SIZE = 8
staticconstexpr

Definition at line 370 of file lookups_execution.hpp.

◆ NAME

constexpr std::string_view bb::avm2::lookup_execution_dispatch_to_bitwise_settings_::NAME = "LOOKUP_EXECUTION_DISPATCH_TO_BITWISE"
staticconstexpr

Definition at line 368 of file lookups_execution.hpp.

◆ RELATION_NAME

constexpr std::string_view bb::avm2::lookup_execution_dispatch_to_bitwise_settings_::RELATION_NAME = "execution"
staticconstexpr

Definition at line 369 of file lookups_execution.hpp.

◆ SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_execution_dispatch_to_bitwise_settings_::SRC_COLUMNS
staticconstexpr
Initial value:
= {
ColumnAndShifts::execution_subtrace_operation_id, ColumnAndShifts::execution_sel_opcode_error,
ColumnAndShifts::execution_register_0_, ColumnAndShifts::execution_mem_tag_reg_0_,
ColumnAndShifts::execution_register_1_, ColumnAndShifts::execution_mem_tag_reg_1_,
ColumnAndShifts::execution_register_2_, ColumnAndShifts::execution_mem_tag_reg_2_
}

Definition at line 375 of file lookups_execution.hpp.

◆ SRC_SELECTOR

constexpr Column bb::avm2::lookup_execution_dispatch_to_bitwise_settings_::SRC_SELECTOR = Column::execution_sel_exec_dispatch_bitwise
staticconstexpr

Definition at line 371 of file lookups_execution.hpp.

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