bb::TranslatorDeltaRangeConstraintRelationImpl< FF_ > Class Template Reference

#include <translator_delta_range_constraint_relation.hpp>

Public Types
using	FF = FF_

Static Public Member Functions
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &accumulators, const AllEntities &in, const Parameters &, const FF &scaling_factor)
	Expression for the generalized permutation sort relation.

Static Public Attributes
static constexpr size_t	RELATION_LENGTH
static constexpr std::array< size_t, 10 >	SUBRELATION_PARTIAL_LENGTHS

Detailed Description

template<typename FF_>
class bb::TranslatorDeltaRangeConstraintRelationImpl< FF_ >

Definition at line 12 of file translator_delta_range_constraint_relation.hpp.

Member Typedef Documentation

FF

template<typename FF_ >

using bb::TranslatorDeltaRangeConstraintRelationImpl< FF_ >::FF = FF_

Definition at line 14 of file translator_delta_range_constraint_relation.hpp.

Member Function Documentation

accumulate()

template<typename FF >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

void bb::TranslatorDeltaRangeConstraintRelationImpl< FF >::accumulate ( ContainerOverSubrelations &  accumulators, const AllEntities &  in, const Parameters &  , const FF &  scaling_factor  )

static

Expression for the generalized permutation sort relation.

The relation enforces 2 constraints on each of the ordered_range_constraints wires: 1) 2 sequential values are non-descending and have a difference of at most 3, except for the value at last index 2) The value at last index is 2¹⁴ - 1.

When operating in zero knowledge, specific values of the polynomials, currently at the end, which contain random values, are marked to be excluded from the checks above.

Parameters

evals	transformed to evals + C(in(X)...)*scaling_factor
in	an std::array containing the fully extended Univariate edges.
parameters	contains beta, gamma, and public_input_delta, ....
scaling_factor	optional term to scale the evaluation before adding to evals.

The relation enforces 2 constraints on each of the ordered_range_constraints wires: 1) 2 sequential values are non-descending and have a difference of at most 3, except for the value at last index 2) The value at last index is 2¹⁴ - 1

Parameters

evals	transformed to evals + C(in(X)...)*scaling_factor
in	an std::array containing the fully extended Univariate edges.
parameters	contains beta, gamma, and public_input_delta, ....
scaling_factor	optional term to scale the evaluation before adding to evals.

Definition at line 26 of file translator_delta_range_constraint_relation_impl.hpp.

Member Data Documentation

RELATION_LENGTH

template<typename FF_ >

constexpr size_t bb::TranslatorDeltaRangeConstraintRelationImpl< FF_ >::RELATION_LENGTH

staticconstexpr

Initial value:

=
        7

Definition at line 17 of file translator_delta_range_constraint_relation.hpp.

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 10> bb::TranslatorDeltaRangeConstraintRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Initial value:

{
        7, 
        7, 
        7, 
        7, 
        7, 
        3, 
        3, 
        3, 
        3, 
        3  
 
    }

Definition at line 20 of file translator_delta_range_constraint_relation.hpp.

---

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

• src/barretenberg/relations/translator_vm/translator_delta_range_constraint_relation.hpp
• src/barretenberg/relations/translator_vm/translator_delta_range_constraint_relation_impl.hpp