Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType > Class Template Reference

All entities combined. More...

#include <sumcheck_test_flavor.hpp>

Inheritance diagram for bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >:
bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::PrecomputedEntities< DataType > bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::WitnessEntities< DataType > bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ShiftedEntities< DataType > bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllValues bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::PartiallyEvaluatedMultivariates bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::ProverPolynomials

Public Member Functions

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>
template<typename DataType>
class bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >

All entities combined.

Note: We don't include gemini_masking_poly here because that's a Gemini/PCS concept, not a sumcheck concept. For ZK sumcheck testing, the key difference is the increased BATCHED_RELATION_PARTIAL_LENGTH to accommodate Libra masking univariates.

Definition at line 241 of file sumcheck_test_flavor.hpp.

Member Function Documentation

◆ get_precomputed()

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>
template<typename DataType >
auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::get_precomputed ( )
inline

Definition at line 247 of file sumcheck_test_flavor.hpp.

◆ get_shifted()

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>
template<typename DataType >
auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::get_shifted ( )
inline

Definition at line 250 of file sumcheck_test_flavor.hpp.

◆ get_witness() [1/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>
template<typename DataType >
auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::get_witness ( )
inline

Definition at line 248 of file sumcheck_test_flavor.hpp.

◆ get_witness() [2/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>
template<typename DataType >
auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::get_witness ( ) const
inline

Definition at line 249 of file sumcheck_test_flavor.hpp.


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