bb::avm2::lookup_nullifier_check_new_leaf_merkle_check_settings_ Struct Reference

#include <lookups_nullifier_check.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "LOOKUP_NULLIFIER_CHECK_NEW_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_should_insert
static constexpr Column	DST_SELECTOR = Column::merkle_check_start
static constexpr Column	COUNTS = Column::lookup_nullifier_check_new_leaf_merkle_check_counts
static constexpr Column	INVERSES = Column::lookup_nullifier_check_new_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 219 of file lookups_nullifier_check.hpp.

Member Data Documentation

COUNTS

constexpr Column bb::avm2::lookup_nullifier_check_new_leaf_merkle_check_settings_::COUNTS = Column::lookup_nullifier_check_new_leaf_merkle_check_counts

staticconstexpr

Definition at line 225 of file lookups_nullifier_check.hpp.

DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_nullifier_check_new_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 233 of file lookups_nullifier_check.hpp.

DST_SELECTOR

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

staticconstexpr

Definition at line 224 of file lookups_nullifier_check.hpp.

INVERSES

constexpr Column bb::avm2::lookup_nullifier_check_new_leaf_merkle_check_settings_::INVERSES = Column::lookup_nullifier_check_new_leaf_merkle_check_inv

staticconstexpr

Definition at line 226 of file lookups_nullifier_check.hpp.

LOOKUP_TUPLE_SIZE

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

staticconstexpr

Definition at line 222 of file lookups_nullifier_check.hpp.

NAME

constexpr std::string_view bb::avm2::lookup_nullifier_check_new_leaf_merkle_check_settings_::NAME = "LOOKUP_NULLIFIER_CHECK_NEW_LEAF_MERKLE_CHECK"

staticconstexpr

Definition at line 220 of file lookups_nullifier_check.hpp.

RELATION_NAME

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

staticconstexpr

Definition at line 221 of file lookups_nullifier_check.hpp.

SRC_COLUMNS

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

staticconstexpr

Initial value:

= {
        ColumnAndShifts::nullifier_check_sel,           ColumnAndShifts::precomputed_zero,
        ColumnAndShifts::nullifier_check_new_leaf_hash, ColumnAndShifts::nullifier_check_tree_size_before_write,
        ColumnAndShifts::nullifier_check_tree_height,   ColumnAndShifts::nullifier_check_intermediate_root,
        ColumnAndShifts::nullifier_check_write_root
    }

Definition at line 227 of file lookups_nullifier_check.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::lookup_nullifier_check_new_leaf_merkle_check_settings_::SRC_SELECTOR = Column::nullifier_check_should_insert

staticconstexpr

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