bb::TranslatorShiftableFirstCoeffZeroRelationImpl< FF_ > Class Template Reference

#include <translator_shiftable_first_coeff_zero_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)
	Anchors the first coefficient of the shiftable ordered_range_constraints polynomials to zero.

Static Public Attributes
static constexpr size_t	RELATION_LENGTH = 3
static constexpr std::array< size_t, 5 >	SUBRELATION_PARTIAL_LENGTHS

Detailed Description

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

Definition at line 12 of file translator_shiftable_first_coeff_zero_relation.hpp.

Member Typedef Documentation

FF

template<typename FF_ >

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

Definition at line 14 of file translator_shiftable_first_coeff_zero_relation.hpp.

Member Function Documentation

accumulate()

template<typename FF >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

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

static

Anchors the first coefficient of the shiftable ordered_range_constraints polynomials to zero.

Anchors ordered_range_constraints_i[0] = 0 for each of the 5 sorted range-check wires.

A to-be-shifted polynomial g is opened as the left-shift g/X off the same commitment, so the Gemini/Shplemini PCS already forces g[0] = 0. This relation makes that invariant explicit at the relation level for the ordered_range_constraints wires, which are the only shiftable Translator polynomials whose first coefficient is not already pinned to 0 by another relation: z_perm is anchored by the permutation relation, and the range-constraint and op-queue wires are pinned by the zero-constraints relation (which forces them to 0 on every row outside the minicircuit, including the first row). Anchoring the lower endpoint of each sorted range here removes the delta-range argument's dependence on the PCS shift property.

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.
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 22 of file translator_shiftable_first_coeff_zero_relation_impl.hpp.

Member Data Documentation

RELATION_LENGTH

template<typename FF_ >

constexpr size_t bb::TranslatorShiftableFirstCoeffZeroRelationImpl< FF_ >::RELATION_LENGTH = 3

staticconstexpr

Definition at line 18 of file translator_shiftable_first_coeff_zero_relation.hpp.

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 5> bb::TranslatorShiftableFirstCoeffZeroRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Initial value:

{
        3, 
        3, 
        3, 
        3, 
        3  
    }

Definition at line 20 of file translator_shiftable_first_coeff_zero_relation.hpp.

---

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

• src/barretenberg/relations/translator_vm/translator_shiftable_first_coeff_zero_relation.hpp
• src/barretenberg/relations/translator_vm/translator_shiftable_first_coeff_zero_relation_impl.hpp