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 ()
auto	get_shifted () const
DataType &	operator[] (EntityId id)
const DataType &	operator[] (EntityId id) const

Additional Inherited Members
Public Types inherited from bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >
enum class	EntityId : uint16_t {   q_m = 0 , q_l , q_r , q_o ,   q_4 , q_c , q_arith , q_test ,   w_l , w_r , w_o , w_4 ,   w_test_1 , w_test_2 , w_l_shift , w_4_shift }
Static Public Attributes inherited from bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >
static constexpr std::array< DataType AllEntities::*, NUM_ALL_ENTITIES >	ENTITY_REFS

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 283 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 286 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 299 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 305 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 311 of file sumcheck_test_flavor.hpp.

---

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

• src/barretenberg/flavor/sumcheck_test_flavor.hpp