bb::TranslatorZeroConstraintsRelationImpl< FF_ > Class Template Reference

#include <translator_extra_relations.hpp>

Public Types
using	FF = FF_

Static Public Member Functions
template<typename AllEntities >
static bool	skip (const AllEntities &in)
	Returns true if the contribution from all subrelations for the provided inputs is identically zero.
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &accumulators, const AllEntities &in, const Parameters &params, const FF &scaling_factor)
	Relation enforcing all the range-constraint polynomials to be zero after the minicircuit.

Static Public Attributes
static constexpr size_t	RELATION_LENGTH = 4
static constexpr std::array< size_t, 68 >	SUBRELATION_PARTIAL_LENGTHS

Detailed Description

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

Definition at line 111 of file translator_extra_relations.hpp.

Member Typedef Documentation

FF

template<typename FF_ >

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

Definition at line 113 of file translator_extra_relations.hpp.

Member Function Documentation

accumulate()

template<typename FF >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

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

static

Relation enforcing all the range-constraint polynomials to be zero after the minicircuit.

Relation enforcing all the range-constraint and op queue polynomials to be zero after the minicircuit.

This relation ensures that while we are out of the minicircuit the range constraint polynomials are zero

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 219 of file translator_extra_relations_impl.hpp.

skip()

template<typename FF_ >

template<typename AllEntities >

static bool bb::TranslatorZeroConstraintsRelationImpl< FF_ >::skip ( const AllEntities &  in )

inlinestatic

Returns true if the contribution from all subrelations for the provided inputs is identically zero.

Definition at line 195 of file translator_extra_relations.hpp.

Member Data Documentation

RELATION_LENGTH

template<typename FF_ >

constexpr size_t bb::TranslatorZeroConstraintsRelationImpl< FF_ >::RELATION_LENGTH = 4

staticconstexpr

Definition at line 116 of file translator_extra_relations.hpp.

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 68> bb::TranslatorZeroConstraintsRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Definition at line 118 of file translator_extra_relations.hpp.

---

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

• src/barretenberg/relations/translator_vm/translator_extra_relations.hpp
• src/barretenberg/relations/translator_vm/translator_extra_relations_impl.hpp