bb::DependentTestRelationImpl< FF_ > Class Template Reference

A linearly dependent test relation for sumcheck testing. More...

#include <sumcheck_test_flavor.hpp>

Public Types
using	FF = FF_

Static Public Member Functions
template<typename AllEntities >
static bool	skip (const AllEntities &in)
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &evals, const AllEntities &in, const Parameters &, const FF &)

Static Public Attributes
static constexpr std::array< size_t, 1 >	SUBRELATION_PARTIAL_LENGTHS
static constexpr std::array< bool, 1 >	SUBRELATION_LINEARLY_INDEPENDENT

Detailed Description

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

A linearly dependent test relation for sumcheck testing.

This relation has a single subrelation that is linearly dependent, meaning it should NOT be scaled by the sumcheck scaling factor during accumulation.

This is used alongside ArithmeticRelation (which IS linearly independent and gets scaled) to test that sumcheck correctly handles the SUBRELATION_LINEARLY_INDEPENDENT array.

Relation: q_test * w_test_1

Definition at line 73 of file sumcheck_test_flavor.hpp.

Member Typedef Documentation

FF

template<typename FF_ >

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

Definition at line 75 of file sumcheck_test_flavor.hpp.

Member Function Documentation

accumulate()

template<typename FF_ >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

static void bb::DependentTestRelationImpl< FF_ >::accumulate ( ContainerOverSubrelations &  evals, const AllEntities &  in, const Parameters &  , const FF &    )

inlinestatic

Definition at line 88 of file sumcheck_test_flavor.hpp.

skip()

template<typename FF_ >

template<typename AllEntities >

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

inlinestatic

Definition at line 85 of file sumcheck_test_flavor.hpp.

Member Data Documentation

SUBRELATION_LINEARLY_INDEPENDENT

template<typename FF_ >

constexpr std::array<bool, 1> bb::DependentTestRelationImpl< FF_ >::SUBRELATION_LINEARLY_INDEPENDENT

staticconstexpr

Initial value:

{
        false 
    }

Definition at line 81 of file sumcheck_test_flavor.hpp.

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 1> bb::DependentTestRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Initial value:

{
        2 
    }

Definition at line 77 of file sumcheck_test_flavor.hpp.

---

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

• src/barretenberg/flavor/sumcheck_test_flavor.hpp