Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
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 = 4
 
static constexpr Column SRC_SELECTOR = Column::execution_sel_gas_sstore
 
static constexpr Column DST_SELECTOR = Column::written_public_data_slots_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_SIZESRC_COLUMNS
 
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZEDST_COLUMNS
 

Detailed Description

Definition at line 311 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 317 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::written_public_data_slots_tree_check_address,
ColumnAndShifts::written_public_data_slots_tree_check_slot,
ColumnAndShifts::written_public_data_slots_tree_check_leaf_not_exists,
ColumnAndShifts::written_public_data_slots_tree_check_root
}

Definition at line 325 of file lookups_execution.hpp.

◆ DST_SELECTOR

constexpr Column bb::avm2::lookup_execution_check_written_storage_slot_settings_::DST_SELECTOR = Column::written_public_data_slots_tree_check_sel
staticconstexpr

Definition at line 316 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 318 of file lookups_execution.hpp.

◆ LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_execution_check_written_storage_slot_settings_::LOOKUP_TUPLE_SIZE = 4
staticconstexpr

Definition at line 314 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 312 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 313 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_contract_address,
ColumnAndShifts::execution_register_1_,
ColumnAndShifts::execution_dynamic_da_gas_factor,
ColumnAndShifts::execution_prev_written_public_data_slots_tree_root
}

Definition at line 319 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 315 of file lookups_execution.hpp.


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