bb::avm2::perm_keccakf1600_read_to_slice_settings_ Struct Reference

#include <perms_keccakf1600.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "PERM_KECCAKF1600_READ_TO_SLICE"
static constexpr std::string_view	RELATION_NAME = "keccakf1600"
static constexpr size_t	COLUMNS_PER_SET = 29
static constexpr Column	SRC_SELECTOR = Column::keccakf1600_sel_slice_read
static constexpr Column	DST_SELECTOR = Column::keccak_memory_start_read
static constexpr Column	INVERSES = Column::perm_keccakf1600_read_to_slice_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_keccakf1600.hpp.

Member Data Documentation

COLUMNS_PER_SET

constexpr size_t bb::avm2::perm_keccakf1600_read_to_slice_settings_::COLUMNS_PER_SET = 29

staticconstexpr

Definition at line 19 of file perms_keccakf1600.hpp.

DST_COLUMNS

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

staticconstexpr

Initial value:

= {
        ColumnAndShifts::keccak_memory_val00,    ColumnAndShifts::keccak_memory_val01,
        ColumnAndShifts::keccak_memory_val02,    ColumnAndShifts::keccak_memory_val03,
        ColumnAndShifts::keccak_memory_val04,    ColumnAndShifts::keccak_memory_val10,
        ColumnAndShifts::keccak_memory_val11,    ColumnAndShifts::keccak_memory_val12,
        ColumnAndShifts::keccak_memory_val13,    ColumnAndShifts::keccak_memory_val14,
        ColumnAndShifts::keccak_memory_val20,    ColumnAndShifts::keccak_memory_val21,
        ColumnAndShifts::keccak_memory_val22,    ColumnAndShifts::keccak_memory_val23,
        ColumnAndShifts::keccak_memory_val24,    ColumnAndShifts::keccak_memory_val30,
        ColumnAndShifts::keccak_memory_val31,    ColumnAndShifts::keccak_memory_val32,
        ColumnAndShifts::keccak_memory_val33,    ColumnAndShifts::keccak_memory_val34,
        ColumnAndShifts::keccak_memory_val40,    ColumnAndShifts::keccak_memory_val41,
        ColumnAndShifts::keccak_memory_val42,    ColumnAndShifts::keccak_memory_val43,
        ColumnAndShifts::keccak_memory_val44,    ColumnAndShifts::keccak_memory_clk,
        ColumnAndShifts::keccak_memory_addr,     ColumnAndShifts::keccak_memory_space_id,
        ColumnAndShifts::keccak_memory_tag_error
    }

Definition at line 40 of file perms_keccakf1600.hpp.

DST_SELECTOR

constexpr Column bb::avm2::perm_keccakf1600_read_to_slice_settings_::DST_SELECTOR = Column::keccak_memory_start_read

staticconstexpr

Definition at line 21 of file perms_keccakf1600.hpp.

INVERSES

constexpr Column bb::avm2::perm_keccakf1600_read_to_slice_settings_::INVERSES = Column::perm_keccakf1600_read_to_slice_inv

staticconstexpr

Definition at line 22 of file perms_keccakf1600.hpp.

NAME

constexpr std::string_view bb::avm2::perm_keccakf1600_read_to_slice_settings_::NAME = "PERM_KECCAKF1600_READ_TO_SLICE"

staticconstexpr

Definition at line 17 of file perms_keccakf1600.hpp.

RELATION_NAME

constexpr std::string_view bb::avm2::perm_keccakf1600_read_to_slice_settings_::RELATION_NAME = "keccakf1600"

staticconstexpr

Definition at line 18 of file perms_keccakf1600.hpp.

SRC_COLUMNS

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

staticconstexpr

Initial value:

= {
        ColumnAndShifts::keccakf1600_state_in_00, ColumnAndShifts::keccakf1600_state_in_01,
        ColumnAndShifts::keccakf1600_state_in_02, ColumnAndShifts::keccakf1600_state_in_03,
        ColumnAndShifts::keccakf1600_state_in_04, ColumnAndShifts::keccakf1600_state_in_10,
        ColumnAndShifts::keccakf1600_state_in_11, ColumnAndShifts::keccakf1600_state_in_12,
        ColumnAndShifts::keccakf1600_state_in_13, ColumnAndShifts::keccakf1600_state_in_14,
        ColumnAndShifts::keccakf1600_state_in_20, ColumnAndShifts::keccakf1600_state_in_21,
        ColumnAndShifts::keccakf1600_state_in_22, ColumnAndShifts::keccakf1600_state_in_23,
        ColumnAndShifts::keccakf1600_state_in_24, ColumnAndShifts::keccakf1600_state_in_30,
        ColumnAndShifts::keccakf1600_state_in_31, ColumnAndShifts::keccakf1600_state_in_32,
        ColumnAndShifts::keccakf1600_state_in_33, ColumnAndShifts::keccakf1600_state_in_34,
        ColumnAndShifts::keccakf1600_state_in_40, ColumnAndShifts::keccakf1600_state_in_41,
        ColumnAndShifts::keccakf1600_state_in_42, ColumnAndShifts::keccakf1600_state_in_43,
        ColumnAndShifts::keccakf1600_state_in_44, ColumnAndShifts::keccakf1600_clk,
        ColumnAndShifts::keccakf1600_src_addr,    ColumnAndShifts::keccakf1600_space_id,
        ColumnAndShifts::keccakf1600_tag_error
    }

Definition at line 23 of file perms_keccakf1600.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::perm_keccakf1600_read_to_slice_settings_::SRC_SELECTOR = Column::keccakf1600_sel_slice_read

staticconstexpr

Definition at line 20 of file perms_keccakf1600.hpp.

---

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

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