bb::avm2::perm_public_data_check_squashing_settings_ Struct Reference

#include <perms_public_data_check.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "PERM_PUBLIC_DATA_CHECK_SQUASHING"
static constexpr std::string_view	RELATION_NAME = "public_data_check"
static constexpr size_t	COLUMNS_PER_SET = 5
static constexpr Column	SRC_SELECTOR = Column::public_data_check_nondiscaded_write
static constexpr Column	DST_SELECTOR = Column::public_data_squash_sel
static constexpr Column	INVERSES = Column::perm_public_data_check_squashing_inv
static constexpr std::array< ColumnAndShifts, COLUMNS_PER_SET >	SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, COLUMNS_PER_SET >	DST_COLUMNS

Detailed Description

Definition at line 16 of file perms_public_data_check.hpp.

Member Data Documentation

COLUMNS_PER_SET

constexpr size_t bb::avm2::perm_public_data_check_squashing_settings_::COLUMNS_PER_SET = 5

staticconstexpr

Definition at line 19 of file perms_public_data_check.hpp.

DST_COLUMNS

constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> bb::avm2::perm_public_data_check_squashing_settings_::DST_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::public_data_squash_leaf_slot,
        ColumnAndShifts::public_data_squash_clk,
        ColumnAndShifts::public_data_squash_write_to_public_inputs,
        ColumnAndShifts::public_data_squash_value,
        ColumnAndShifts::public_data_squash_final_value
    }

Definition at line 30 of file perms_public_data_check.hpp.

DST_SELECTOR

constexpr Column bb::avm2::perm_public_data_check_squashing_settings_::DST_SELECTOR = Column::public_data_squash_sel

staticconstexpr

Definition at line 21 of file perms_public_data_check.hpp.

INVERSES

constexpr Column bb::avm2::perm_public_data_check_squashing_settings_::INVERSES = Column::perm_public_data_check_squashing_inv

staticconstexpr

Definition at line 22 of file perms_public_data_check.hpp.

NAME

constexpr std::string_view bb::avm2::perm_public_data_check_squashing_settings_::NAME = "PERM_PUBLIC_DATA_CHECK_SQUASHING"

staticconstexpr

Definition at line 17 of file perms_public_data_check.hpp.

RELATION_NAME

constexpr std::string_view bb::avm2::perm_public_data_check_squashing_settings_::RELATION_NAME = "public_data_check"

staticconstexpr

Definition at line 18 of file perms_public_data_check.hpp.

SRC_COLUMNS

constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> bb::avm2::perm_public_data_check_squashing_settings_::SRC_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::public_data_check_leaf_slot,
        ColumnAndShifts::public_data_check_clk,
        ColumnAndShifts::public_data_check_should_write_to_public_inputs,
        ColumnAndShifts::public_data_check_value,
        ColumnAndShifts::public_data_check_final_value
    }

Definition at line 23 of file perms_public_data_check.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::perm_public_data_check_squashing_settings_::SRC_SELECTOR = Column::public_data_check_nondiscaded_write

staticconstexpr

Definition at line 20 of file perms_public_data_check.hpp.

---

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

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