bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ProverPolynomials Class Reference

Container for prover polynomials. More...

#include <sumcheck_test_flavor.hpp>

Inheritance diagram for bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ProverPolynomials:

Public Member Functions
	ProverPolynomials ()=default
	ProverPolynomials (size_t circuit_size)
size_t	get_polynomial_size () const
auto	get_to_be_shifted ()
	Get the polynomials that will be shifted.
void	set_shifted ()
	Set all shifted polynomials based on their to-be-shifted counterpart.
Public Member Functions inherited from bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >
auto	get_precomputed ()
auto	get_witness ()
auto	get_witness () const
auto	get_shifted ()

Detailed Description

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>
class bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ProverPolynomials

Container for prover polynomials.

Definition at line 256 of file sumcheck_test_flavor.hpp.

Constructor & Destructor Documentation

ProverPolynomials() [1/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ProverPolynomials::ProverPolynomials ( )

default

ProverPolynomials() [2/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ProverPolynomials::ProverPolynomials ( size_t  circuit_size )

inline

Definition at line 259 of file sumcheck_test_flavor.hpp.

Member Function Documentation

get_polynomial_size()

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

size_t bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ProverPolynomials::get_polynomial_size ( ) const

inline

Definition at line 272 of file sumcheck_test_flavor.hpp.

get_to_be_shifted()

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ProverPolynomials::get_to_be_shifted ( )

inline

Get the polynomials that will be shifted.

Returns

RefArray of polynomials to be shifted (w_l, w_4)

Definition at line 278 of file sumcheck_test_flavor.hpp.

set_shifted()

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

void bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ProverPolynomials::set_shifted ( )

inline

Set all shifted polynomials based on their to-be-shifted counterpart.

This must be called after the witness polynomials are populated

Definition at line 284 of file sumcheck_test_flavor.hpp.

---

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

• src/barretenberg/flavor/sumcheck_test_flavor.hpp