lookups_instr_fetching.hpp File Reference

#include <cstddef>
#include <string_view>
#include <tuple>
#include "../columns.hpp"
#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
#include "barretenberg/vm2/constraining/relations/interactions_base.hpp"

Go to the source code of this file.

Classes
struct	bb::avm2::lookup_instr_fetching_pc_abs_diff_positive_settings_
struct	bb::avm2::lookup_instr_fetching_instr_abs_diff_positive_settings_
struct	bb::avm2::lookup_instr_fetching_tag_value_validation_settings_
struct	bb::avm2::lookup_instr_fetching_bytecode_size_from_bc_dec_settings_
struct	bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings_
struct	bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2

Typedefs
using	bb::avm2::lookup_instr_fetching_pc_abs_diff_positive_settings = lookup_settings< lookup_instr_fetching_pc_abs_diff_positive_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_instr_fetching_pc_abs_diff_positive_relation = lookup_relation_base< FF_, lookup_instr_fetching_pc_abs_diff_positive_settings >
using	bb::avm2::lookup_instr_fetching_instr_abs_diff_positive_settings = lookup_settings< lookup_instr_fetching_instr_abs_diff_positive_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_instr_fetching_instr_abs_diff_positive_relation = lookup_relation_base< FF_, lookup_instr_fetching_instr_abs_diff_positive_settings >
using	bb::avm2::lookup_instr_fetching_tag_value_validation_settings = lookup_settings< lookup_instr_fetching_tag_value_validation_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_instr_fetching_tag_value_validation_relation = lookup_relation_base< FF_, lookup_instr_fetching_tag_value_validation_settings >
using	bb::avm2::lookup_instr_fetching_bytecode_size_from_bc_dec_settings = lookup_settings< lookup_instr_fetching_bytecode_size_from_bc_dec_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_instr_fetching_bytecode_size_from_bc_dec_relation = lookup_relation_base< FF_, lookup_instr_fetching_bytecode_size_from_bc_dec_settings >
using	bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_settings = lookup_settings< lookup_instr_fetching_bytes_from_bc_dec_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_instr_fetching_bytes_from_bc_dec_relation = lookup_relation_base< FF_, lookup_instr_fetching_bytes_from_bc_dec_settings >
using	bb::avm2::lookup_instr_fetching_wire_instruction_info_settings = lookup_settings< lookup_instr_fetching_wire_instruction_info_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_instr_fetching_wire_instruction_info_relation = lookup_relation_base< FF_, lookup_instr_fetching_wire_instruction_info_settings >