Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Static Public Member Functions | Static Public Attributes | List of all members
bb::avm2::addressing< FF > Class Template Reference

#include <addressing.hpp>

Inheritance diagram for bb::avm2::addressing< FF >:
bb::Relation< addressingImpl< FF > > bb::avm2::addressingImpl< FF >

Static Public Member Functions

static std::string get_subrelation_label (size_t index)
 
- Static Public Member Functions inherited from bb::avm2::addressingImpl< FF >
static bool skip (const AllEntities &in)
 
static void accumulate (ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
 

Static Public Attributes

static constexpr const std::string_view NAME = "addressing"
 
static constexpr size_t SR_INDIRECT_RECONSTRUCTION = 16
 
static constexpr size_t SR_NUM_RELATIVE_INV_CHECK = 24
 
static constexpr size_t SR_BASE_ADDRESS_CHECK = 25
 
static constexpr size_t SR_NOT_RELATIVE_NO_OVERFLOW_0 = 33
 
static constexpr size_t SR_NOT_RELATIVE_NO_OVERFLOW_1 = 34
 
static constexpr size_t SR_NOT_RELATIVE_NO_OVERFLOW_2 = 35
 
static constexpr size_t SR_NOT_RELATIVE_NO_OVERFLOW_3 = 36
 
static constexpr size_t SR_NOT_RELATIVE_NO_OVERFLOW_4 = 37
 
static constexpr size_t SR_NOT_RELATIVE_NO_OVERFLOW_5 = 38
 
static constexpr size_t SR_NOT_RELATIVE_NO_OVERFLOW_6 = 39
 
static constexpr size_t SR_RELATIVE_RESOLUTION_0 = 40
 
static constexpr size_t SR_RELATIVE_RESOLUTION_1 = 41
 
static constexpr size_t SR_RELATIVE_RESOLUTION_2 = 42
 
static constexpr size_t SR_RELATIVE_RESOLUTION_3 = 43
 
static constexpr size_t SR_RELATIVE_RESOLUTION_4 = 44
 
static constexpr size_t SR_RELATIVE_RESOLUTION_5 = 45
 
static constexpr size_t SR_RELATIVE_RESOLUTION_6 = 46
 
static constexpr size_t SR_RELATIVE_OVERFLOW_RESULT_0 = 48
 
static constexpr size_t SR_RELATIVE_OVERFLOW_RESULT_1 = 49
 
static constexpr size_t SR_RELATIVE_OVERFLOW_RESULT_2 = 50
 
static constexpr size_t SR_RELATIVE_OVERFLOW_RESULT_3 = 51
 
static constexpr size_t SR_RELATIVE_OVERFLOW_RESULT_4 = 52
 
static constexpr size_t SR_RELATIVE_OVERFLOW_RESULT_5 = 53
 
static constexpr size_t SR_RELATIVE_OVERFLOW_RESULT_6 = 54
 
static constexpr size_t SR_INDIRECT_GATING_0 = 55
 
static constexpr size_t SR_INDIRECT_GATING_1 = 56
 
static constexpr size_t SR_INDIRECT_GATING_2 = 57
 
static constexpr size_t SR_INDIRECT_GATING_3 = 58
 
static constexpr size_t SR_INDIRECT_GATING_4 = 59
 
static constexpr size_t SR_INDIRECT_GATING_5 = 60
 
static constexpr size_t SR_INDIRECT_GATING_6 = 61
 
static constexpr size_t SR_INDIRECT_PROPAGATION_0 = 62
 
static constexpr size_t SR_INDIRECT_PROPAGATION_1 = 63
 
static constexpr size_t SR_INDIRECT_PROPAGATION_2 = 64
 
static constexpr size_t SR_INDIRECT_PROPAGATION_3 = 65
 
static constexpr size_t SR_INDIRECT_PROPAGATION_4 = 66
 
static constexpr size_t SR_INDIRECT_PROPAGATION_5 = 67
 
static constexpr size_t SR_INDIRECT_PROPAGATION_6 = 68
 
static constexpr size_t SR_BATCHED_TAGS_DIFF_CHECK = 69
 
static constexpr size_t SR_ADDRESSING_COLLECTION_INV_CHECK = 70
 
- Static Public Attributes inherited from bb::Relation< addressingImpl< FF > >
static constexpr std::array< size_t, RelationImpl::SUBRELATION_PARTIAL_LENGTHS.size()> SUBRELATION_TOTAL_LENGTHS
 
static constexpr size_t RELATION_LENGTH
 
static constexpr size_t TOTAL_RELATION_LENGTH
 
- Static Public Attributes inherited from bb::avm2::addressingImpl< FF >
static constexpr std::array< size_t, 72 > SUBRELATION_PARTIAL_LENGTHS
 

Additional Inherited Members

- Public Types inherited from bb::Relation< addressingImpl< FF > >
using FF = typename RelationImpl::FF
 
using ProtogalaxyTupleOfUnivariatesOverSubrelationsNoOptimisticSkipping = TupleOfUnivariates< FF, compute_composed_subrelation_partial_lengths< NUM_KEYS >(SUBRELATION_TOTAL_LENGTHS)>
 
using ProtogalaxyTupleOfUnivariatesOverSubrelations = TupleOfUnivariatesWithOptimisticSkipping< FF, compute_composed_subrelation_partial_lengths< NUM_KEYS >(SUBRELATION_TOTAL_LENGTHS), NUM_KEYS - 1 >
 
using SumcheckTupleOfUnivariatesOverSubrelations = TupleOfUnivariates< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS >
 
using SumcheckArrayOfValuesOverSubrelations = ArrayOfValues< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS >
 
using UnivariateAccumulator0 = std::tuple_element_t< 0, SumcheckTupleOfUnivariatesOverSubrelations >
 
using ValueAccumulator0 = std::tuple_element_t< 0, SumcheckArrayOfValuesOverSubrelations >
 
- Public Types inherited from bb::avm2::addressingImpl< FF >
using FF = FF
 

Detailed Description

template<typename FF>
class bb::avm2::addressing< FF >

Definition at line 39 of file addressing.hpp.

Member Function Documentation

◆ get_subrelation_label()

template<typename FF >
static std::string bb::avm2::addressing< FF >::get_subrelation_label ( size_t  index)
inlinestatic

Definition at line 43 of file addressing.hpp.

Member Data Documentation

◆ NAME

template<typename FF >
constexpr const std::string_view bb::avm2::addressing< FF >::NAME = "addressing"
staticconstexpr

Definition at line 41 of file addressing.hpp.

◆ SR_ADDRESSING_COLLECTION_INV_CHECK

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_ADDRESSING_COLLECTION_INV_CHECK = 70
staticconstexpr

Definition at line 170 of file addressing.hpp.

◆ SR_BASE_ADDRESS_CHECK

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_BASE_ADDRESS_CHECK = 25
staticconstexpr

Definition at line 133 of file addressing.hpp.

◆ SR_BATCHED_TAGS_DIFF_CHECK

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_BATCHED_TAGS_DIFF_CHECK = 69
staticconstexpr

Definition at line 169 of file addressing.hpp.

◆ SR_INDIRECT_GATING_0

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_GATING_0 = 55
staticconstexpr

Definition at line 155 of file addressing.hpp.

◆ SR_INDIRECT_GATING_1

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_GATING_1 = 56
staticconstexpr

Definition at line 156 of file addressing.hpp.

◆ SR_INDIRECT_GATING_2

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_GATING_2 = 57
staticconstexpr

Definition at line 157 of file addressing.hpp.

◆ SR_INDIRECT_GATING_3

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_GATING_3 = 58
staticconstexpr

Definition at line 158 of file addressing.hpp.

◆ SR_INDIRECT_GATING_4

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_GATING_4 = 59
staticconstexpr

Definition at line 159 of file addressing.hpp.

◆ SR_INDIRECT_GATING_5

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_GATING_5 = 60
staticconstexpr

Definition at line 160 of file addressing.hpp.

◆ SR_INDIRECT_GATING_6

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_GATING_6 = 61
staticconstexpr

Definition at line 161 of file addressing.hpp.

◆ SR_INDIRECT_PROPAGATION_0

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_PROPAGATION_0 = 62
staticconstexpr

Definition at line 162 of file addressing.hpp.

◆ SR_INDIRECT_PROPAGATION_1

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_PROPAGATION_1 = 63
staticconstexpr

Definition at line 163 of file addressing.hpp.

◆ SR_INDIRECT_PROPAGATION_2

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_PROPAGATION_2 = 64
staticconstexpr

Definition at line 164 of file addressing.hpp.

◆ SR_INDIRECT_PROPAGATION_3

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_PROPAGATION_3 = 65
staticconstexpr

Definition at line 165 of file addressing.hpp.

◆ SR_INDIRECT_PROPAGATION_4

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_PROPAGATION_4 = 66
staticconstexpr

Definition at line 166 of file addressing.hpp.

◆ SR_INDIRECT_PROPAGATION_5

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_PROPAGATION_5 = 67
staticconstexpr

Definition at line 167 of file addressing.hpp.

◆ SR_INDIRECT_PROPAGATION_6

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_PROPAGATION_6 = 68
staticconstexpr

Definition at line 168 of file addressing.hpp.

◆ SR_INDIRECT_RECONSTRUCTION

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_INDIRECT_RECONSTRUCTION = 16
staticconstexpr

Definition at line 131 of file addressing.hpp.

◆ SR_NOT_RELATIVE_NO_OVERFLOW_0

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_NOT_RELATIVE_NO_OVERFLOW_0 = 33
staticconstexpr

Definition at line 134 of file addressing.hpp.

◆ SR_NOT_RELATIVE_NO_OVERFLOW_1

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_NOT_RELATIVE_NO_OVERFLOW_1 = 34
staticconstexpr

Definition at line 135 of file addressing.hpp.

◆ SR_NOT_RELATIVE_NO_OVERFLOW_2

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_NOT_RELATIVE_NO_OVERFLOW_2 = 35
staticconstexpr

Definition at line 136 of file addressing.hpp.

◆ SR_NOT_RELATIVE_NO_OVERFLOW_3

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_NOT_RELATIVE_NO_OVERFLOW_3 = 36
staticconstexpr

Definition at line 137 of file addressing.hpp.

◆ SR_NOT_RELATIVE_NO_OVERFLOW_4

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_NOT_RELATIVE_NO_OVERFLOW_4 = 37
staticconstexpr

Definition at line 138 of file addressing.hpp.

◆ SR_NOT_RELATIVE_NO_OVERFLOW_5

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_NOT_RELATIVE_NO_OVERFLOW_5 = 38
staticconstexpr

Definition at line 139 of file addressing.hpp.

◆ SR_NOT_RELATIVE_NO_OVERFLOW_6

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_NOT_RELATIVE_NO_OVERFLOW_6 = 39
staticconstexpr

Definition at line 140 of file addressing.hpp.

◆ SR_NUM_RELATIVE_INV_CHECK

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_NUM_RELATIVE_INV_CHECK = 24
staticconstexpr

Definition at line 132 of file addressing.hpp.

◆ SR_RELATIVE_OVERFLOW_RESULT_0

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_OVERFLOW_RESULT_0 = 48
staticconstexpr

Definition at line 148 of file addressing.hpp.

◆ SR_RELATIVE_OVERFLOW_RESULT_1

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_OVERFLOW_RESULT_1 = 49
staticconstexpr

Definition at line 149 of file addressing.hpp.

◆ SR_RELATIVE_OVERFLOW_RESULT_2

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_OVERFLOW_RESULT_2 = 50
staticconstexpr

Definition at line 150 of file addressing.hpp.

◆ SR_RELATIVE_OVERFLOW_RESULT_3

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_OVERFLOW_RESULT_3 = 51
staticconstexpr

Definition at line 151 of file addressing.hpp.

◆ SR_RELATIVE_OVERFLOW_RESULT_4

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_OVERFLOW_RESULT_4 = 52
staticconstexpr

Definition at line 152 of file addressing.hpp.

◆ SR_RELATIVE_OVERFLOW_RESULT_5

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_OVERFLOW_RESULT_5 = 53
staticconstexpr

Definition at line 153 of file addressing.hpp.

◆ SR_RELATIVE_OVERFLOW_RESULT_6

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_OVERFLOW_RESULT_6 = 54
staticconstexpr

Definition at line 154 of file addressing.hpp.

◆ SR_RELATIVE_RESOLUTION_0

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_RESOLUTION_0 = 40
staticconstexpr

Definition at line 141 of file addressing.hpp.

◆ SR_RELATIVE_RESOLUTION_1

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_RESOLUTION_1 = 41
staticconstexpr

Definition at line 142 of file addressing.hpp.

◆ SR_RELATIVE_RESOLUTION_2

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_RESOLUTION_2 = 42
staticconstexpr

Definition at line 143 of file addressing.hpp.

◆ SR_RELATIVE_RESOLUTION_3

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_RESOLUTION_3 = 43
staticconstexpr

Definition at line 144 of file addressing.hpp.

◆ SR_RELATIVE_RESOLUTION_4

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_RESOLUTION_4 = 44
staticconstexpr

Definition at line 145 of file addressing.hpp.

◆ SR_RELATIVE_RESOLUTION_5

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_RESOLUTION_5 = 45
staticconstexpr

Definition at line 146 of file addressing.hpp.

◆ SR_RELATIVE_RESOLUTION_6

template<typename FF >
constexpr size_t bb::avm2::addressing< FF >::SR_RELATIVE_RESOLUTION_6 = 46
staticconstexpr

Definition at line 147 of file addressing.hpp.

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