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

#include <lookups_tx.hpp>

Static Public Attributes

static constexpr std::string_view NAME = "LOOKUP_TX_BALANCE_VALIDATION"
 
static constexpr std::string_view RELATION_NAME = "tx"
 
static constexpr size_t LOOKUP_TUPLE_SIZE = 3
 
static constexpr Column SRC_SELECTOR = Column::tx_is_collect_fee
 
static constexpr Column DST_SELECTOR = Column::ff_gt_sel_gt
 
static constexpr Column COUNTS = Column::lookup_tx_balance_validation_counts
 
static constexpr Column INVERSES = Column::lookup_tx_balance_validation_inv
 
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZESRC_COLUMNS
 
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZEDST_COLUMNS
 

Detailed Description

Definition at line 525 of file lookups_tx.hpp.

Member Data Documentation

◆ COUNTS

constexpr Column bb::avm2::lookup_tx_balance_validation_settings_::COUNTS = Column::lookup_tx_balance_validation_counts
staticconstexpr

Definition at line 531 of file lookups_tx.hpp.

◆ DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_tx_balance_validation_settings_::DST_COLUMNS
staticconstexpr
Initial value:
= { ColumnAndShifts::ff_gt_a,
ColumnAndShifts::ff_gt_b,
ColumnAndShifts::ff_gt_result }

Definition at line 536 of file lookups_tx.hpp.

◆ DST_SELECTOR

constexpr Column bb::avm2::lookup_tx_balance_validation_settings_::DST_SELECTOR = Column::ff_gt_sel_gt
staticconstexpr

Definition at line 530 of file lookups_tx.hpp.

◆ INVERSES

constexpr Column bb::avm2::lookup_tx_balance_validation_settings_::INVERSES = Column::lookup_tx_balance_validation_inv
staticconstexpr

Definition at line 532 of file lookups_tx.hpp.

◆ LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_tx_balance_validation_settings_::LOOKUP_TUPLE_SIZE = 3
staticconstexpr

Definition at line 528 of file lookups_tx.hpp.

◆ NAME

constexpr std::string_view bb::avm2::lookup_tx_balance_validation_settings_::NAME = "LOOKUP_TX_BALANCE_VALIDATION"
staticconstexpr

Definition at line 526 of file lookups_tx.hpp.

◆ RELATION_NAME

constexpr std::string_view bb::avm2::lookup_tx_balance_validation_settings_::RELATION_NAME = "tx"
staticconstexpr

Definition at line 527 of file lookups_tx.hpp.

◆ SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_tx_balance_validation_settings_::SRC_COLUMNS
staticconstexpr
Initial value:
= {
ColumnAndShifts::tx_fee, ColumnAndShifts::tx_fee_payer_balance, ColumnAndShifts::precomputed_zero
}

Definition at line 533 of file lookups_tx.hpp.

◆ SRC_SELECTOR

constexpr Column bb::avm2::lookup_tx_balance_validation_settings_::SRC_SELECTOR = Column::tx_is_collect_fee
staticconstexpr

Definition at line 529 of file lookups_tx.hpp.


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