bb::Relation< RelationImpl > Class Template Reference

A wrapper for Relations to expose methods used by the Sumcheck prover or verifier to add the contribution of a given relation to the corresponding accumulator. More...

#include <relation_types.hpp>

Inheritance diagram for bb::Relation< RelationImpl >:

Public Types
using	FF = typename RelationImpl::FF
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 >

Static Public Attributes
static constexpr size_t	RELATION_LENGTH

Detailed Description

template<typename RelationImpl>
class bb::Relation< RelationImpl >

A wrapper for Relations to expose methods used by the Sumcheck prover or verifier to add the contribution of a given relation to the corresponding accumulator.

Template Parameters

FF
RelationImpl	Base class that implements the arithmetic for a given relation (or set of sub-relations)

Definition at line 96 of file relation_types.hpp.

Member Typedef Documentation

FF

template<typename RelationImpl >

using bb::Relation< RelationImpl >::FF = typename RelationImpl::FF

Definition at line 98 of file relation_types.hpp.

SumcheckArrayOfValuesOverSubrelations

template<typename RelationImpl >

using bb::Relation< RelationImpl >::SumcheckArrayOfValuesOverSubrelations = ArrayOfValues<FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS>

Definition at line 106 of file relation_types.hpp.

SumcheckTupleOfUnivariatesOverSubrelations

template<typename RelationImpl >

using bb::Relation< RelationImpl >::SumcheckTupleOfUnivariatesOverSubrelations = TupleOfUnivariates<FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS>

Definition at line 103 of file relation_types.hpp.

UnivariateAccumulator0

template<typename RelationImpl >

using bb::Relation< RelationImpl >::UnivariateAccumulator0 = std::tuple_element_t<0, SumcheckTupleOfUnivariatesOverSubrelations>

Definition at line 110 of file relation_types.hpp.

ValueAccumulator0

template<typename RelationImpl >

using bb::Relation< RelationImpl >::ValueAccumulator0 = std::tuple_element_t<0, SumcheckArrayOfValuesOverSubrelations>

Definition at line 111 of file relation_types.hpp.

Member Data Documentation

RELATION_LENGTH

template<typename RelationImpl >

constexpr size_t bb::Relation< RelationImpl >::RELATION_LENGTH

staticconstexpr

Initial value:

= *std::max_element(RelationImpl::SUBRELATION_PARTIAL_LENGTHS.begin(),
                                                                RelationImpl::SUBRELATION_PARTIAL_LENGTHS.end())

Definition at line 100 of file relation_types.hpp.

---

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

• src/barretenberg/relations/relation_types.hpp