bb::avm2::lookup_nullifier_check_low_leaf_merkle_check_settings_ Struct Reference

#include <lookups_nullifier_check.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "LOOKUP_NULLIFIER_CHECK_LOW_LEAF_MERKLE_CHECK"
static constexpr std::string_view	RELATION_NAME = "nullifier_check"
static constexpr size_t	LOOKUP_TUPLE_SIZE = 7
static constexpr Column	SRC_SELECTOR = Column::nullifier_check_sel
static constexpr Column	DST_SELECTOR = Column::merkle_check_start
static constexpr Column	COUNTS = Column::lookup_nullifier_check_low_leaf_merkle_check_counts
static constexpr Column	INVERSES = Column::lookup_nullifier_check_low_leaf_merkle_check_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 107 of file lookups_nullifier_check.hpp.

Member Data Documentation

COUNTS

constexpr Column bb::avm2::lookup_nullifier_check_low_leaf_merkle_check_settings_::COUNTS = Column::lookup_nullifier_check_low_leaf_merkle_check_counts

staticconstexpr

Definition at line 113 of file lookups_nullifier_check.hpp.

DST_COLUMNS

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

staticconstexpr

Initial value:

= {
        ColumnAndShifts::merkle_check_write,      ColumnAndShifts::merkle_check_read_node,
        ColumnAndShifts::merkle_check_write_node, ColumnAndShifts::merkle_check_index,
        ColumnAndShifts::merkle_check_path_len,   ColumnAndShifts::merkle_check_read_root,
        ColumnAndShifts::merkle_check_write_root
    }

Definition at line 121 of file lookups_nullifier_check.hpp.

DST_SELECTOR

constexpr Column bb::avm2::lookup_nullifier_check_low_leaf_merkle_check_settings_::DST_SELECTOR = Column::merkle_check_start

staticconstexpr

Definition at line 112 of file lookups_nullifier_check.hpp.

INVERSES

constexpr Column bb::avm2::lookup_nullifier_check_low_leaf_merkle_check_settings_::INVERSES = Column::lookup_nullifier_check_low_leaf_merkle_check_inv

staticconstexpr

Definition at line 114 of file lookups_nullifier_check.hpp.

LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_nullifier_check_low_leaf_merkle_check_settings_::LOOKUP_TUPLE_SIZE = 7

staticconstexpr

Definition at line 110 of file lookups_nullifier_check.hpp.

NAME

constexpr std::string_view bb::avm2::lookup_nullifier_check_low_leaf_merkle_check_settings_::NAME = "LOOKUP_NULLIFIER_CHECK_LOW_LEAF_MERKLE_CHECK"

staticconstexpr

Definition at line 108 of file lookups_nullifier_check.hpp.

RELATION_NAME

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

staticconstexpr

Definition at line 109 of file lookups_nullifier_check.hpp.

SRC_COLUMNS

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

staticconstexpr

Initial value:

= {
        ColumnAndShifts::nullifier_check_should_insert,         ColumnAndShifts::nullifier_check_low_leaf_hash,
        ColumnAndShifts::nullifier_check_updated_low_leaf_hash, ColumnAndShifts::nullifier_check_low_leaf_index,
        ColumnAndShifts::nullifier_check_tree_height,           ColumnAndShifts::nullifier_check_root,
        ColumnAndShifts::nullifier_check_intermediate_root
    }

Definition at line 115 of file lookups_nullifier_check.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::lookup_nullifier_check_low_leaf_merkle_check_settings_::SRC_SELECTOR = Column::nullifier_check_sel

staticconstexpr

Definition at line 111 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