bb::avm2::lookup_nullifier_check_low_leaf_nullifier_validation_settings_ Struct Reference

#include <lookups_nullifier_check.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "LOOKUP_NULLIFIER_CHECK_LOW_LEAF_NULLIFIER_VALIDATION"
static constexpr std::string_view	RELATION_NAME = "nullifier_check"
static constexpr size_t	LOOKUP_TUPLE_SIZE = 3
static constexpr Column	SRC_SELECTOR = Column::nullifier_check_leaf_not_exists
static constexpr Column	DST_SELECTOR = Column::ff_gt_sel_gt
static constexpr Column	COUNTS = Column::lookup_nullifier_check_low_leaf_nullifier_validation_counts
static constexpr Column	INVERSES = Column::lookup_nullifier_check_low_leaf_nullifier_validation_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 137 of file lookups_nullifier_check.hpp.

Member Data Documentation

COUNTS

constexpr Column bb::avm2::lookup_nullifier_check_low_leaf_nullifier_validation_settings_::COUNTS = Column::lookup_nullifier_check_low_leaf_nullifier_validation_counts

staticconstexpr

Definition at line 143 of file lookups_nullifier_check.hpp.

DST_COLUMNS

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

staticconstexpr

Initial value:

= { ColumnAndShifts::ff_gt_a,
                                                                                    ColumnAndShifts::ff_gt_b,
                                                                                    ColumnAndShifts::ff_gt_result }

Definition at line 150 of file lookups_nullifier_check.hpp.

DST_SELECTOR

constexpr Column bb::avm2::lookup_nullifier_check_low_leaf_nullifier_validation_settings_::DST_SELECTOR = Column::ff_gt_sel_gt

staticconstexpr

Definition at line 142 of file lookups_nullifier_check.hpp.

INVERSES

constexpr Column bb::avm2::lookup_nullifier_check_low_leaf_nullifier_validation_settings_::INVERSES = Column::lookup_nullifier_check_low_leaf_nullifier_validation_inv

staticconstexpr

Definition at line 144 of file lookups_nullifier_check.hpp.

LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_nullifier_check_low_leaf_nullifier_validation_settings_::LOOKUP_TUPLE_SIZE = 3

staticconstexpr

Definition at line 140 of file lookups_nullifier_check.hpp.

NAME

constexpr std::string_view bb::avm2::lookup_nullifier_check_low_leaf_nullifier_validation_settings_::NAME = "LOOKUP_NULLIFIER_CHECK_LOW_LEAF_NULLIFIER_VALIDATION"

staticconstexpr

Definition at line 138 of file lookups_nullifier_check.hpp.

RELATION_NAME

constexpr std::string_view bb::avm2::lookup_nullifier_check_low_leaf_nullifier_validation_settings_::RELATION_NAME = "nullifier_check"

staticconstexpr

Definition at line 139 of file lookups_nullifier_check.hpp.

SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_nullifier_check_low_leaf_nullifier_validation_settings_::SRC_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::nullifier_check_siloed_nullifier,
        ColumnAndShifts::nullifier_check_low_leaf_nullifier,
        ColumnAndShifts::nullifier_check_sel
    }

Definition at line 145 of file lookups_nullifier_check.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::lookup_nullifier_check_low_leaf_nullifier_validation_settings_::SRC_SELECTOR = Column::nullifier_check_leaf_not_exists

staticconstexpr

Definition at line 141 of file lookups_nullifier_check.hpp.

---

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

• src/barretenberg/vm2/generated/relations/lookups_nullifier_check.hpp