bb::avm2::perm_keccakf1600_write_to_slice_settings_ Struct Reference

#include <perms_keccakf1600.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "PERM_KECCAKF1600_WRITE_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_write
static constexpr Column	DST_SELECTOR = Column::keccak_memory_start_write
static constexpr Column	INVERSES = Column::perm_keccakf1600_write_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 65 of file perms_keccakf1600.hpp.

Member Data Documentation

COLUMNS_PER_SET

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

staticconstexpr

Definition at line 68 of file perms_keccakf1600.hpp.

DST_COLUMNS

constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> bb::avm2::perm_keccakf1600_write_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_num_rounds
    }

Definition at line 89 of file perms_keccakf1600.hpp.

DST_SELECTOR

constexpr Column bb::avm2::perm_keccakf1600_write_to_slice_settings_::DST_SELECTOR = Column::keccak_memory_start_write

staticconstexpr

Definition at line 70 of file perms_keccakf1600.hpp.

INVERSES

constexpr Column bb::avm2::perm_keccakf1600_write_to_slice_settings_::INVERSES = Column::perm_keccakf1600_write_to_slice_inv

staticconstexpr

Definition at line 71 of file perms_keccakf1600.hpp.

NAME

constexpr std::string_view bb::avm2::perm_keccakf1600_write_to_slice_settings_::NAME = "PERM_KECCAKF1600_WRITE_TO_SLICE"

staticconstexpr

Definition at line 66 of file perms_keccakf1600.hpp.

RELATION_NAME

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

staticconstexpr

Definition at line 67 of file perms_keccakf1600.hpp.

SRC_COLUMNS

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

staticconstexpr

Initial value:

= {
        ColumnAndShifts::keccakf1600_state_iota_00, ColumnAndShifts::keccakf1600_state_chi_01,
        ColumnAndShifts::keccakf1600_state_chi_02,  ColumnAndShifts::keccakf1600_state_chi_03,
        ColumnAndShifts::keccakf1600_state_chi_04,  ColumnAndShifts::keccakf1600_state_chi_10,
        ColumnAndShifts::keccakf1600_state_chi_11,  ColumnAndShifts::keccakf1600_state_chi_12,
        ColumnAndShifts::keccakf1600_state_chi_13,  ColumnAndShifts::keccakf1600_state_chi_14,
        ColumnAndShifts::keccakf1600_state_chi_20,  ColumnAndShifts::keccakf1600_state_chi_21,
        ColumnAndShifts::keccakf1600_state_chi_22,  ColumnAndShifts::keccakf1600_state_chi_23,
        ColumnAndShifts::keccakf1600_state_chi_24,  ColumnAndShifts::keccakf1600_state_chi_30,
        ColumnAndShifts::keccakf1600_state_chi_31,  ColumnAndShifts::keccakf1600_state_chi_32,
        ColumnAndShifts::keccakf1600_state_chi_33,  ColumnAndShifts::keccakf1600_state_chi_34,
        ColumnAndShifts::keccakf1600_state_chi_40,  ColumnAndShifts::keccakf1600_state_chi_41,
        ColumnAndShifts::keccakf1600_state_chi_42,  ColumnAndShifts::keccakf1600_state_chi_43,
        ColumnAndShifts::keccakf1600_state_chi_44,  ColumnAndShifts::keccakf1600_clk,
        ColumnAndShifts::keccakf1600_dst_addr,      ColumnAndShifts::keccakf1600_space_id,
        ColumnAndShifts::keccakf1600_round
    }

Definition at line 72 of file perms_keccakf1600.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::perm_keccakf1600_write_to_slice_settings_::SRC_SELECTOR = Column::keccakf1600_sel_slice_write

staticconstexpr

Definition at line 69 of file perms_keccakf1600.hpp.

---

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

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