bb::avm2::lookup_execution_check_written_storage_slot_settings_ Struct Reference

#include <lookups_execution.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "LOOKUP_EXECUTION_CHECK_WRITTEN_STORAGE_SLOT"
static constexpr std::string_view	RELATION_NAME = "execution"
static constexpr size_t	LOOKUP_TUPLE_SIZE = 8
static constexpr Column	SRC_SELECTOR = Column::execution_sel_gas_sstore
static constexpr Column	DST_SELECTOR = Column::indexed_tree_check_sel
static constexpr Column	COUNTS = Column::lookup_execution_check_written_storage_slot_counts
static constexpr Column	INVERSES = Column::lookup_execution_check_written_storage_slot_inv
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE >	SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE >	DST_COLUMNS

Detailed Description

Definition at line 323 of file lookups_execution.hpp.

Member Data Documentation

COUNTS

constexpr Column bb::avm2::lookup_execution_check_written_storage_slot_settings_::COUNTS = Column::lookup_execution_check_written_storage_slot_counts

staticconstexpr

Definition at line 329 of file lookups_execution.hpp.

DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_execution_check_written_storage_slot_settings_::DST_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::indexed_tree_check_not_exists,
        ColumnAndShifts::indexed_tree_check_value,
        ColumnAndShifts::indexed_tree_check_root,
        ColumnAndShifts::indexed_tree_check_tree_height,
        ColumnAndShifts::indexed_tree_check_merkle_hash_separator,
        ColumnAndShifts::indexed_tree_check_sel_silo,
        ColumnAndShifts::indexed_tree_check_siloing_separator,
        ColumnAndShifts::indexed_tree_check_address
    }

Definition at line 341 of file lookups_execution.hpp.

DST_SELECTOR

constexpr Column bb::avm2::lookup_execution_check_written_storage_slot_settings_::DST_SELECTOR = Column::indexed_tree_check_sel

staticconstexpr

Definition at line 328 of file lookups_execution.hpp.

INVERSES

constexpr Column bb::avm2::lookup_execution_check_written_storage_slot_settings_::INVERSES = Column::lookup_execution_check_written_storage_slot_inv

staticconstexpr

Definition at line 330 of file lookups_execution.hpp.

LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_execution_check_written_storage_slot_settings_::LOOKUP_TUPLE_SIZE = 8

staticconstexpr

Definition at line 326 of file lookups_execution.hpp.

NAME

constexpr std::string_view bb::avm2::lookup_execution_check_written_storage_slot_settings_::NAME = "LOOKUP_EXECUTION_CHECK_WRITTEN_STORAGE_SLOT"

staticconstexpr

Definition at line 324 of file lookups_execution.hpp.

RELATION_NAME

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

staticconstexpr

Definition at line 325 of file lookups_execution.hpp.

SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_execution_check_written_storage_slot_settings_::SRC_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::execution_dynamic_da_gas_factor,
        ColumnAndShifts::execution_register_1_,
        ColumnAndShifts::execution_prev_written_public_data_slots_tree_root,
        ColumnAndShifts::execution_written_slots_tree_height,
        ColumnAndShifts::execution_written_slots_merkle_separator,
        ColumnAndShifts::execution_sel_gas_sstore,
        ColumnAndShifts::execution_written_slots_tree_siloing_separator,
        ColumnAndShifts::execution_contract_address
    }

Definition at line 331 of file lookups_execution.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::lookup_execution_check_written_storage_slot_settings_::SRC_SELECTOR = Column::execution_sel_gas_sstore

staticconstexpr

Definition at line 327 of file lookups_execution.hpp.

---

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

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