Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
lookups_data_copy.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_data_copy_max_read_index_gt_settings_
 
struct  bb::avm2::lookup_data_copy_check_src_addr_in_range_settings_
 
struct  bb::avm2::lookup_data_copy_check_dst_addr_in_range_settings_
 
struct  bb::avm2::lookup_data_copy_offset_gt_max_read_index_settings_
 
struct  bb::avm2::lookup_data_copy_mem_write_settings_
 
struct  bb::avm2::lookup_data_copy_mem_read_settings_
 
struct  bb::avm2::lookup_data_copy_col_read_settings_
 

Namespaces

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

Typedefs

using bb::avm2::lookup_data_copy_max_read_index_gt_settings = lookup_settings< lookup_data_copy_max_read_index_gt_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_data_copy_max_read_index_gt_relation = lookup_relation_base< FF_, lookup_data_copy_max_read_index_gt_settings >
 
using bb::avm2::lookup_data_copy_check_src_addr_in_range_settings = lookup_settings< lookup_data_copy_check_src_addr_in_range_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_data_copy_check_src_addr_in_range_relation = lookup_relation_base< FF_, lookup_data_copy_check_src_addr_in_range_settings >
 
using bb::avm2::lookup_data_copy_check_dst_addr_in_range_settings = lookup_settings< lookup_data_copy_check_dst_addr_in_range_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_data_copy_check_dst_addr_in_range_relation = lookup_relation_base< FF_, lookup_data_copy_check_dst_addr_in_range_settings >
 
using bb::avm2::lookup_data_copy_offset_gt_max_read_index_settings = lookup_settings< lookup_data_copy_offset_gt_max_read_index_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_data_copy_offset_gt_max_read_index_relation = lookup_relation_base< FF_, lookup_data_copy_offset_gt_max_read_index_settings >
 
using bb::avm2::lookup_data_copy_mem_write_settings = lookup_settings< lookup_data_copy_mem_write_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_data_copy_mem_write_relation = lookup_relation_base< FF_, lookup_data_copy_mem_write_settings >
 
using bb::avm2::lookup_data_copy_mem_read_settings = lookup_settings< lookup_data_copy_mem_read_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_data_copy_mem_read_relation = lookup_relation_base< FF_, lookup_data_copy_mem_read_settings >
 
using bb::avm2::lookup_data_copy_col_read_settings = lookup_settings< lookup_data_copy_col_read_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_data_copy_col_read_relation = lookup_relation_base< FF_, lookup_data_copy_col_read_settings >