proof_system::GoblinTranslatorGenPermSortRelationImpl< FF_ > Class Template Reference

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 = 6
static constexpr std::array< size_t, 10 >	SUBRELATION_PARTIAL_LENGTHS

Member Function Documentation

accumulate()

template<typename FF >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

void proof_system::GoblinTranslatorGenPermSortRelationImpl< 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

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.

Member Data Documentation

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 10> proof_system::GoblinTranslatorGenPermSortRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Initial value:

{
        6, 
        6, 
        6, 
        6, 
        6, 
        3, 
        3, 
        3, 
        3, 
        3  
 
    }

---

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

• src/barretenberg/relations/translator_vm/translator_gen_perm_sort_relation.hpp
• src/barretenberg/relations/translator_vm/translator_gen_perm_sort_relation.cpp