Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Static Public Attributes | List of all members
bb::avm2::lookup_context_ctx_stack_rollback_settings_ Struct Reference

#include <lookups_context.hpp>

Static Public Attributes

static constexpr std::string_view NAME = "LOOKUP_CONTEXT_CTX_STACK_ROLLBACK"
 
static constexpr std::string_view RELATION_NAME = "context"
 
static constexpr size_t LOOKUP_TUPLE_SIZE = 26
 
static constexpr Column SRC_SELECTOR = Column::execution_rollback_context
 
static constexpr Column DST_SELECTOR = Column::context_stack_sel
 
static constexpr Column COUNTS = Column::lookup_context_ctx_stack_rollback_counts
 
static constexpr Column INVERSES = Column::lookup_context_ctx_stack_rollback_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 88 of file lookups_context.hpp.

Member Data Documentation

◆ COUNTS

constexpr Column bb::avm2::lookup_context_ctx_stack_rollback_settings_::COUNTS = Column::lookup_context_ctx_stack_rollback_counts
staticconstexpr

Definition at line 94 of file lookups_context.hpp.

◆ DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_context_ctx_stack_rollback_settings_::DST_COLUMNS
staticconstexpr
Initial value:
= {
ColumnAndShifts::context_stack_entered_context_id,
ColumnAndShifts::context_stack_context_id,
ColumnAndShifts::context_stack_parent_id,
ColumnAndShifts::context_stack_next_pc,
ColumnAndShifts::context_stack_msg_sender,
ColumnAndShifts::context_stack_contract_address,
ColumnAndShifts::context_stack_bytecode_id,
ColumnAndShifts::context_stack_is_static,
ColumnAndShifts::context_stack_parent_calldata_addr,
ColumnAndShifts::context_stack_parent_calldata_size,
ColumnAndShifts::context_stack_parent_l2_gas_limit,
ColumnAndShifts::context_stack_parent_da_gas_limit,
ColumnAndShifts::context_stack_parent_l2_gas_used,
ColumnAndShifts::context_stack_parent_da_gas_used,
ColumnAndShifts::context_stack_note_hash_tree_root,
ColumnAndShifts::context_stack_note_hash_tree_size,
ColumnAndShifts::context_stack_num_note_hashes_emitted,
ColumnAndShifts::context_stack_nullifier_tree_root,
ColumnAndShifts::context_stack_nullifier_tree_size,
ColumnAndShifts::context_stack_num_nullifiers_emitted,
ColumnAndShifts::context_stack_public_data_tree_root,
ColumnAndShifts::context_stack_public_data_tree_size,
ColumnAndShifts::context_stack_written_public_data_slots_tree_root,
ColumnAndShifts::context_stack_written_public_data_slots_tree_size,
ColumnAndShifts::context_stack_num_unencrypted_logs,
ColumnAndShifts::context_stack_num_l2_to_l1_messages
}

Definition at line 124 of file lookups_context.hpp.

◆ DST_SELECTOR

constexpr Column bb::avm2::lookup_context_ctx_stack_rollback_settings_::DST_SELECTOR = Column::context_stack_sel
staticconstexpr

Definition at line 93 of file lookups_context.hpp.

◆ INVERSES

constexpr Column bb::avm2::lookup_context_ctx_stack_rollback_settings_::INVERSES = Column::lookup_context_ctx_stack_rollback_inv
staticconstexpr

Definition at line 95 of file lookups_context.hpp.

◆ LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_context_ctx_stack_rollback_settings_::LOOKUP_TUPLE_SIZE = 26
staticconstexpr

Definition at line 91 of file lookups_context.hpp.

◆ NAME

constexpr std::string_view bb::avm2::lookup_context_ctx_stack_rollback_settings_::NAME = "LOOKUP_CONTEXT_CTX_STACK_ROLLBACK"
staticconstexpr

Definition at line 89 of file lookups_context.hpp.

◆ RELATION_NAME

constexpr std::string_view bb::avm2::lookup_context_ctx_stack_rollback_settings_::RELATION_NAME = "context"
staticconstexpr

Definition at line 90 of file lookups_context.hpp.

◆ SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_context_ctx_stack_rollback_settings_::SRC_COLUMNS
staticconstexpr
Initial value:
= {
ColumnAndShifts::execution_context_id,
ColumnAndShifts::execution_context_id_shift,
ColumnAndShifts::execution_parent_id_shift,
ColumnAndShifts::execution_pc_shift,
ColumnAndShifts::execution_msg_sender_shift,
ColumnAndShifts::execution_contract_address_shift,
ColumnAndShifts::execution_bytecode_id_shift,
ColumnAndShifts::execution_is_static_shift,
ColumnAndShifts::execution_parent_calldata_addr_shift,
ColumnAndShifts::execution_parent_calldata_size_shift,
ColumnAndShifts::execution_parent_l2_gas_limit_shift,
ColumnAndShifts::execution_parent_da_gas_limit_shift,
ColumnAndShifts::execution_parent_l2_gas_used_shift,
ColumnAndShifts::execution_parent_da_gas_used_shift,
ColumnAndShifts::execution_prev_note_hash_tree_root_shift,
ColumnAndShifts::execution_prev_note_hash_tree_size_shift,
ColumnAndShifts::execution_prev_num_note_hashes_emitted_shift,
ColumnAndShifts::execution_prev_nullifier_tree_root_shift,
ColumnAndShifts::execution_prev_nullifier_tree_size_shift,
ColumnAndShifts::execution_prev_num_nullifiers_emitted_shift,
ColumnAndShifts::execution_prev_public_data_tree_root_shift,
ColumnAndShifts::execution_prev_public_data_tree_size_shift,
ColumnAndShifts::execution_prev_written_public_data_slots_tree_root_shift,
ColumnAndShifts::execution_prev_written_public_data_slots_tree_size_shift,
ColumnAndShifts::execution_prev_num_unencrypted_logs_shift,
ColumnAndShifts::execution_prev_num_l2_to_l1_messages_shift
}

Definition at line 96 of file lookups_context.hpp.

◆ SRC_SELECTOR

constexpr Column bb::avm2::lookup_context_ctx_stack_rollback_settings_::SRC_SELECTOR = Column::execution_rollback_context
staticconstexpr

Definition at line 92 of file lookups_context.hpp.

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