#include <lookups_tx.hpp>
Definition at line 96 of file lookups_tx.hpp.
◆ COUNTS
constexpr Column bb::avm2::lookup_tx_read_phase_length_settings_::COUNTS = Column::lookup_tx_read_phase_length_counts |
|
staticconstexpr |
◆ DST_COLUMNS
Initial value:= {
ColumnAndShifts::precomputed_clk, ColumnAndShifts::public_inputs_cols_0_
}
Definition at line 107 of file lookups_tx.hpp.
◆ DST_SELECTOR
constexpr Column bb::avm2::lookup_tx_read_phase_length_settings_::DST_SELECTOR = Column::public_inputs_sel |
|
staticconstexpr |
◆ INVERSES
constexpr Column bb::avm2::lookup_tx_read_phase_length_settings_::INVERSES = Column::lookup_tx_read_phase_length_inv |
|
staticconstexpr |
◆ LOOKUP_TUPLE_SIZE
constexpr size_t bb::avm2::lookup_tx_read_phase_length_settings_::LOOKUP_TUPLE_SIZE = 2 |
|
staticconstexpr |
◆ NAME
constexpr std::string_view bb::avm2::lookup_tx_read_phase_length_settings_::NAME = "LOOKUP_TX_READ_PHASE_LENGTH" |
|
staticconstexpr |
◆ RELATION_NAME
constexpr std::string_view bb::avm2::lookup_tx_read_phase_length_settings_::RELATION_NAME = "tx" |
|
staticconstexpr |
◆ SRC_COLUMNS
Initial value:= {
ColumnAndShifts::tx_read_pi_length_offset, ColumnAndShifts::tx_remaining_phase_counter
}
Definition at line 104 of file lookups_tx.hpp.
◆ SRC_SELECTOR
constexpr Column bb::avm2::lookup_tx_read_phase_length_settings_::SRC_SELECTOR = Column::tx_sel_read_phase_length |
|
staticconstexpr |
The documentation for this struct was generated from the following file: