Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::lookup_gas_is_out_of_gas_l2_settings_ Struct Reference

#include <lookups_gas.hpp>

Static Public Attributes

static constexpr std::string_view NAME = "LOOKUP_GAS_IS_OUT_OF_GAS_L2"
 
static constexpr std::string_view RELATION_NAME = "gas"
 
static constexpr size_t LOOKUP_TUPLE_SIZE = 3
 
static constexpr Column SRC_SELECTOR = Column::execution_sel_should_check_gas
 
static constexpr Column DST_SELECTOR = Column::gt_sel_gas
 
static constexpr Column COUNTS = Column::lookup_gas_is_out_of_gas_l2_counts
 
static constexpr Column INVERSES = Column::lookup_gas_is_out_of_gas_l2_inv
 
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZESRC_COLUMNS
 
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZEDST_COLUMNS
 

Detailed Description

Definition at line 38 of file lookups_gas.hpp.

Member Data Documentation

◆ COUNTS

constexpr Column bb::avm2::lookup_gas_is_out_of_gas_l2_settings_::COUNTS = Column::lookup_gas_is_out_of_gas_l2_counts
staticconstexpr

Definition at line 44 of file lookups_gas.hpp.

◆ DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_gas_is_out_of_gas_l2_settings_::DST_COLUMNS
staticconstexpr
Initial value:
= { ColumnAndShifts::gt_input_a,
ColumnAndShifts::gt_input_b,
ColumnAndShifts::gt_res }

Definition at line 51 of file lookups_gas.hpp.

◆ DST_SELECTOR

constexpr Column bb::avm2::lookup_gas_is_out_of_gas_l2_settings_::DST_SELECTOR = Column::gt_sel_gas
staticconstexpr

Definition at line 43 of file lookups_gas.hpp.

◆ INVERSES

constexpr Column bb::avm2::lookup_gas_is_out_of_gas_l2_settings_::INVERSES = Column::lookup_gas_is_out_of_gas_l2_inv
staticconstexpr

Definition at line 45 of file lookups_gas.hpp.

◆ LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_gas_is_out_of_gas_l2_settings_::LOOKUP_TUPLE_SIZE = 3
staticconstexpr

Definition at line 41 of file lookups_gas.hpp.

◆ NAME

constexpr std::string_view bb::avm2::lookup_gas_is_out_of_gas_l2_settings_::NAME = "LOOKUP_GAS_IS_OUT_OF_GAS_L2"
staticconstexpr

Definition at line 39 of file lookups_gas.hpp.

◆ RELATION_NAME

constexpr std::string_view bb::avm2::lookup_gas_is_out_of_gas_l2_settings_::RELATION_NAME = "gas"
staticconstexpr

Definition at line 40 of file lookups_gas.hpp.

◆ SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_gas_is_out_of_gas_l2_settings_::SRC_COLUMNS
staticconstexpr
Initial value:
= {
ColumnAndShifts::execution_total_gas_l2,
ColumnAndShifts::execution_l2_gas_limit,
ColumnAndShifts::execution_out_of_gas_l2
}

Definition at line 46 of file lookups_gas.hpp.

◆ SRC_SELECTOR

constexpr Column bb::avm2::lookup_gas_is_out_of_gas_l2_settings_::SRC_SELECTOR = Column::execution_sel_should_check_gas
staticconstexpr

Definition at line 42 of file lookups_gas.hpp.


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