RowDisablingPolynomialTest< Flavor > Class Template Reference

Test fixture for RowDisablingPolynomial tests. More...

Inheritance diagram for RowDisablingPolynomialTest< Flavor >:

Classes
struct	SumcheckSetup

Public Types
using	FF = typename Flavor::FF
using	ProverPolynomials = typename Flavor::ProverPolynomials
using	SumcheckRound = SumcheckProverRound< Flavor >
using	ZKData = ZKSumcheckData< Flavor >
using	SubrelationSeparators = std::array< FF, Flavor::NUM_SUBRELATIONS - 1 >

Static Public Member Functions
static SumcheckSetup	create_sumcheck_setup (size_t multivariate_d)
	Create standard sumcheck setup with transcript-derived challenges.

Detailed Description

template<typename Flavor>
class RowDisablingPolynomialTest< Flavor >

Test fixture for RowDisablingPolynomial tests.

Provides common setup for relation parameters, gate challenges, and alphas

Definition at line 15 of file row_disabling_polynomial.test.cpp.

Member Typedef Documentation

FF

template<typename Flavor >

using RowDisablingPolynomialTest< Flavor >::FF = typename Flavor::FF

Definition at line 17 of file row_disabling_polynomial.test.cpp.

ProverPolynomials

template<typename Flavor >

using RowDisablingPolynomialTest< Flavor >::ProverPolynomials = typename Flavor::ProverPolynomials

Definition at line 18 of file row_disabling_polynomial.test.cpp.

SubrelationSeparators

template<typename Flavor >

using RowDisablingPolynomialTest< Flavor >::SubrelationSeparators = std::array<FF, Flavor::NUM_SUBRELATIONS - 1>

Definition at line 21 of file row_disabling_polynomial.test.cpp.

SumcheckRound

template<typename Flavor >

using RowDisablingPolynomialTest< Flavor >::SumcheckRound = SumcheckProverRound<Flavor>

Definition at line 19 of file row_disabling_polynomial.test.cpp.

ZKData

template<typename Flavor >

using RowDisablingPolynomialTest< Flavor >::ZKData = ZKSumcheckData<Flavor>

Definition at line 20 of file row_disabling_polynomial.test.cpp.

Member Function Documentation

create_sumcheck_setup()

template<typename Flavor >

static SumcheckSetup RowDisablingPolynomialTest< Flavor >::create_sumcheck_setup ( size_t  multivariate_d )

inlinestatic

Create standard sumcheck setup with transcript-derived challenges.

Definition at line 34 of file row_disabling_polynomial.test.cpp.

---

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

• src/barretenberg/sumcheck/row_disabling_polynomial.test.cpp