bb::avm2::perm_execution_dispatch_to_keccakf1600_settings_ Struct Reference

#include <perms_execution.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "PERM_EXECUTION_DISPATCH_TO_KECCAKF1600"
static constexpr std::string_view	RELATION_NAME = "execution"
static constexpr size_t	COLUMNS_PER_SET = 5
static constexpr Column	SRC_SELECTOR = Column::execution_sel_exec_dispatch_keccakf1600
static constexpr Column	DST_SELECTOR = Column::keccakf1600_start
static constexpr Column	INVERSES = Column::perm_execution_dispatch_to_keccakf1600_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 190 of file perms_execution.hpp.

Member Data Documentation

COLUMNS_PER_SET

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

staticconstexpr

Definition at line 193 of file perms_execution.hpp.

DST_COLUMNS

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

staticconstexpr

Initial value:

= { ColumnAndShifts::keccakf1600_clk,
                                                                                  ColumnAndShifts::keccakf1600_dst_addr,
                                                                                  ColumnAndShifts::keccakf1600_src_addr,
                                                                                  ColumnAndShifts::keccakf1600_space_id,
                                                                                  ColumnAndShifts::keccakf1600_error }

Definition at line 204 of file perms_execution.hpp.

DST_SELECTOR

constexpr Column bb::avm2::perm_execution_dispatch_to_keccakf1600_settings_::DST_SELECTOR = Column::keccakf1600_start

staticconstexpr

Definition at line 195 of file perms_execution.hpp.

INVERSES

constexpr Column bb::avm2::perm_execution_dispatch_to_keccakf1600_settings_::INVERSES = Column::perm_execution_dispatch_to_keccakf1600_inv

staticconstexpr

Definition at line 196 of file perms_execution.hpp.

NAME

constexpr std::string_view bb::avm2::perm_execution_dispatch_to_keccakf1600_settings_::NAME = "PERM_EXECUTION_DISPATCH_TO_KECCAKF1600"

staticconstexpr

Definition at line 191 of file perms_execution.hpp.

RELATION_NAME

constexpr std::string_view bb::avm2::perm_execution_dispatch_to_keccakf1600_settings_::RELATION_NAME = "execution"

staticconstexpr

Definition at line 192 of file perms_execution.hpp.

SRC_COLUMNS

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

staticconstexpr

Initial value:

= {
        ColumnAndShifts::precomputed_clk,
        ColumnAndShifts::execution_rop_0_,
        ColumnAndShifts::execution_rop_1_,
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_sel_opcode_error
    }

Definition at line 197 of file perms_execution.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::perm_execution_dispatch_to_keccakf1600_settings_::SRC_SELECTOR = Column::execution_sel_exec_dispatch_keccakf1600

staticconstexpr

Definition at line 194 of file perms_execution.hpp.

---

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

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