lookups_execution.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_execution_bytecode_retrieval_result_settings_
struct	bb::avm2::lookup_execution_instruction_fetching_result_settings_
struct	bb::avm2::lookup_execution_instruction_fetching_body_settings_
struct	bb::avm2::lookup_execution_exec_spec_read_settings_
struct	bb::avm2::lookup_execution_dyn_l2_factor_bitwise_settings_
struct	bb::avm2::lookup_execution_check_radix_gt_256_settings_
struct	bb::avm2::lookup_execution_get_p_limbs_settings_
struct	bb::avm2::lookup_execution_get_max_limbs_settings_
struct	bb::avm2::lookup_execution_check_written_storage_slot_settings_
struct	bb::avm2::lookup_execution_dispatch_to_alu_settings_
struct	bb::avm2::lookup_execution_dispatch_to_bitwise_settings_
struct	bb::avm2::lookup_execution_dispatch_to_cast_settings_
struct	bb::avm2::lookup_execution_dispatch_to_set_settings_
struct	bb::avm2::lookup_execution_dispatch_to_emit_unencrypted_log_settings_

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

Typedefs
using	bb::avm2::lookup_execution_bytecode_retrieval_result_settings = lookup_settings< lookup_execution_bytecode_retrieval_result_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_bytecode_retrieval_result_relation = lookup_relation_base< FF_, lookup_execution_bytecode_retrieval_result_settings >
using	bb::avm2::lookup_execution_instruction_fetching_result_settings = lookup_settings< lookup_execution_instruction_fetching_result_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_instruction_fetching_result_relation = lookup_relation_base< FF_, lookup_execution_instruction_fetching_result_settings >
using	bb::avm2::lookup_execution_instruction_fetching_body_settings = lookup_settings< lookup_execution_instruction_fetching_body_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_instruction_fetching_body_relation = lookup_relation_base< FF_, lookup_execution_instruction_fetching_body_settings >
using	bb::avm2::lookup_execution_exec_spec_read_settings = lookup_settings< lookup_execution_exec_spec_read_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_exec_spec_read_relation = lookup_relation_base< FF_, lookup_execution_exec_spec_read_settings >
using	bb::avm2::lookup_execution_dyn_l2_factor_bitwise_settings = lookup_settings< lookup_execution_dyn_l2_factor_bitwise_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_dyn_l2_factor_bitwise_relation = lookup_relation_base< FF_, lookup_execution_dyn_l2_factor_bitwise_settings >
using	bb::avm2::lookup_execution_check_radix_gt_256_settings = lookup_settings< lookup_execution_check_radix_gt_256_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_check_radix_gt_256_relation = lookup_relation_base< FF_, lookup_execution_check_radix_gt_256_settings >
using	bb::avm2::lookup_execution_get_p_limbs_settings = lookup_settings< lookup_execution_get_p_limbs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_get_p_limbs_relation = lookup_relation_base< FF_, lookup_execution_get_p_limbs_settings >
using	bb::avm2::lookup_execution_get_max_limbs_settings = lookup_settings< lookup_execution_get_max_limbs_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_get_max_limbs_relation = lookup_relation_base< FF_, lookup_execution_get_max_limbs_settings >
using	bb::avm2::lookup_execution_check_written_storage_slot_settings = lookup_settings< lookup_execution_check_written_storage_slot_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_check_written_storage_slot_relation = lookup_relation_base< FF_, lookup_execution_check_written_storage_slot_settings >
using	bb::avm2::lookup_execution_dispatch_to_alu_settings = lookup_settings< lookup_execution_dispatch_to_alu_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_dispatch_to_alu_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_alu_settings >
using	bb::avm2::lookup_execution_dispatch_to_bitwise_settings = lookup_settings< lookup_execution_dispatch_to_bitwise_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_dispatch_to_bitwise_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_bitwise_settings >
using	bb::avm2::lookup_execution_dispatch_to_cast_settings = lookup_settings< lookup_execution_dispatch_to_cast_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_dispatch_to_cast_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_cast_settings >
using	bb::avm2::lookup_execution_dispatch_to_set_settings = lookup_settings< lookup_execution_dispatch_to_set_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_dispatch_to_set_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_set_settings >
using	bb::avm2::lookup_execution_dispatch_to_emit_unencrypted_log_settings = lookup_settings< lookup_execution_dispatch_to_emit_unencrypted_log_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_execution_dispatch_to_emit_unencrypted_log_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_emit_unencrypted_log_settings >