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_val_0_,    ColumnAndShifts::keccak_memory_val_1_,
        ColumnAndShifts::keccak_memory_val_2_,    ColumnAndShifts::keccak_memory_val_3_,
        ColumnAndShifts::keccak_memory_val_4_,    ColumnAndShifts::keccak_memory_val_5_,
        ColumnAndShifts::keccak_memory_val_6_,    ColumnAndShifts::keccak_memory_val_7_,
        ColumnAndShifts::keccak_memory_val_8_,    ColumnAndShifts::keccak_memory_val_9_,
        ColumnAndShifts::keccak_memory_val_10_,   ColumnAndShifts::keccak_memory_val_11_,
        ColumnAndShifts::keccak_memory_val_12_,   ColumnAndShifts::keccak_memory_val_13_,
        ColumnAndShifts::keccak_memory_val_14_,   ColumnAndShifts::keccak_memory_val_15_,
        ColumnAndShifts::keccak_memory_val_16_,   ColumnAndShifts::keccak_memory_val_17_,
        ColumnAndShifts::keccak_memory_val_18_,   ColumnAndShifts::keccak_memory_val_19_,
        ColumnAndShifts::keccak_memory_val_20_,   ColumnAndShifts::keccak_memory_val_21_,
        ColumnAndShifts::keccak_memory_val_22_,   ColumnAndShifts::keccak_memory_val_23_,
        ColumnAndShifts::keccak_memory_val_24_,   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_10,
        ColumnAndShifts::keccakf1600_state_chi_20,  ColumnAndShifts::keccakf1600_state_chi_30,
        ColumnAndShifts::keccakf1600_state_chi_40,  ColumnAndShifts::keccakf1600_state_chi_01,
        ColumnAndShifts::keccakf1600_state_chi_11,  ColumnAndShifts::keccakf1600_state_chi_21,
        ColumnAndShifts::keccakf1600_state_chi_31,  ColumnAndShifts::keccakf1600_state_chi_41,
        ColumnAndShifts::keccakf1600_state_chi_02,  ColumnAndShifts::keccakf1600_state_chi_12,
        ColumnAndShifts::keccakf1600_state_chi_22,  ColumnAndShifts::keccakf1600_state_chi_32,
        ColumnAndShifts::keccakf1600_state_chi_42,  ColumnAndShifts::keccakf1600_state_chi_03,
        ColumnAndShifts::keccakf1600_state_chi_13,  ColumnAndShifts::keccakf1600_state_chi_23,
        ColumnAndShifts::keccakf1600_state_chi_33,  ColumnAndShifts::keccakf1600_state_chi_43,
        ColumnAndShifts::keccakf1600_state_chi_04,  ColumnAndShifts::keccakf1600_state_chi_14,
        ColumnAndShifts::keccakf1600_state_chi_24,  ColumnAndShifts::keccakf1600_state_chi_34,
        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