Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
lookups_to_radix.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_to_radix_limb_range_settings_
 
struct  bb::avm2::lookup_to_radix_limb_less_than_radix_range_settings_
 
struct  bb::avm2::lookup_to_radix_fetch_safe_limbs_settings_
 
struct  bb::avm2::lookup_to_radix_fetch_p_limb_settings_
 
struct  bb::avm2::lookup_to_radix_limb_p_diff_range_settings_
 

Namespaces

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

Typedefs

using bb::avm2::lookup_to_radix_limb_range_settings = lookup_settings< lookup_to_radix_limb_range_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_to_radix_limb_range_relation = lookup_relation_base< FF_, lookup_to_radix_limb_range_settings >
 
using bb::avm2::lookup_to_radix_limb_less_than_radix_range_settings = lookup_settings< lookup_to_radix_limb_less_than_radix_range_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_to_radix_limb_less_than_radix_range_relation = lookup_relation_base< FF_, lookup_to_radix_limb_less_than_radix_range_settings >
 
using bb::avm2::lookup_to_radix_fetch_safe_limbs_settings = lookup_settings< lookup_to_radix_fetch_safe_limbs_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_to_radix_fetch_safe_limbs_relation = lookup_relation_base< FF_, lookup_to_radix_fetch_safe_limbs_settings >
 
using bb::avm2::lookup_to_radix_fetch_p_limb_settings = lookup_settings< lookup_to_radix_fetch_p_limb_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_to_radix_fetch_p_limb_relation = lookup_relation_base< FF_, lookup_to_radix_fetch_p_limb_settings >
 
using bb::avm2::lookup_to_radix_limb_p_diff_range_settings = lookup_settings< lookup_to_radix_limb_p_diff_range_settings_ >
 
template<typename FF_ >
using bb::avm2::lookup_to_radix_limb_p_diff_range_relation = lookup_relation_base< FF_, lookup_to_radix_limb_p_diff_range_settings >