bb::RoundUnivariateHandler< Flavor, IsGrumpkin > Struct Template Reference

Handler for processing round univariates in sumcheck. Default implementation: send evaluations directly to transcript. More...

#include <sumcheck.hpp>

Public Types
using	FF = typename Flavor::FF
using	Transcript = typename Flavor::Transcript
using	CommitmentKey = typename Flavor::CommitmentKey

Public Member Functions
	RoundUnivariateHandler (std::shared_ptr< Transcript > transcript)
void	process_round_univariate (size_t round_idx, bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &round_univariate)
void	finalize_last_round (size_t, const bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &, const FF &)
std::vector< std::array< FF, 3 > >	get_evaluations ()
std::vector< Polynomial< FF > >	get_univariates ()

Public Attributes
std::shared_ptr< Transcript >	transcript

Static Public Attributes
static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = Flavor::BATCHED_RELATION_PARTIAL_LENGTH

Detailed Description

template<typename Flavor, bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>
struct bb::RoundUnivariateHandler< Flavor, IsGrumpkin >

Handler for processing round univariates in sumcheck. Default implementation: send evaluations directly to transcript.

Definition at line 24 of file sumcheck.hpp.

Member Typedef Documentation

CommitmentKey

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

using bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::CommitmentKey = typename Flavor::CommitmentKey

Definition at line 27 of file sumcheck.hpp.

FF

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

using bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::FF = typename Flavor::FF

Definition at line 25 of file sumcheck.hpp.

Transcript

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

using bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::Transcript = typename Flavor::Transcript

Definition at line 26 of file sumcheck.hpp.

Constructor & Destructor Documentation

RoundUnivariateHandler()

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::RoundUnivariateHandler ( std::shared_ptr< Transcript >  transcript )

inline

Definition at line 32 of file sumcheck.hpp.

Member Function Documentation

finalize_last_round()

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

void bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::finalize_last_round ( size_t  , const bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &  , const FF &    )

inline

Definition at line 42 of file sumcheck.hpp.

get_evaluations()

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

std::vector< std::array< FF, 3 > > bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::get_evaluations ( )

inline

Definition at line 47 of file sumcheck.hpp.

get_univariates()

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

std::vector< Polynomial< FF > > bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::get_univariates ( )

inline

Definition at line 48 of file sumcheck.hpp.

process_round_univariate()

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

void bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::process_round_univariate ( size_t  round_idx, bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &  round_univariate  )

inline

Definition at line 36 of file sumcheck.hpp.

Member Data Documentation

BATCHED_RELATION_PARTIAL_LENGTH

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

constexpr size_t bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::BATCHED_RELATION_PARTIAL_LENGTH = Flavor::BATCHED_RELATION_PARTIAL_LENGTH

staticconstexpr

Definition at line 28 of file sumcheck.hpp.

transcript

template<typename Flavor , bool IsGrumpkin = IsGrumpkinFlavor<Flavor>>

std::shared_ptr<Transcript> bb::RoundUnivariateHandler< Flavor, IsGrumpkin >::transcript

Definition at line 30 of file sumcheck.hpp.

---

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

• src/barretenberg/sumcheck/sumcheck.hpp