bb::SumcheckOutput< Flavor > Struct Template Reference

Contains the evaluations of multilinear polynomials \( P_1, \ldots, P_N\) at the challenge point \(\vec u =(u_0,\ldots, u_{d-1})\). These are computed by Sumcheck Prover and need to be checked using Shplemini. More...

#include <sumcheck_output.hpp>

Public Types
using	FF = typename Flavor::FF
using	ClaimedEvaluations = typename Flavor::AllValues
using	Commitment = typename Flavor::Commitment

Public Attributes
std::vector< FF >	challenge
ClaimedEvaluations	claimed_evaluations
bool	verified = false
FF	claimed_libra_evaluation = FF{ 0 }
std::vector< Commitment >	round_univariate_commitments = {}
std::vector< bb::Polynomial< FF > >	round_univariates = {}
std::vector< std::array< FF, 3 > >	round_univariate_evaluations = {}

Detailed Description

template<typename Flavor>
struct bb::SumcheckOutput< Flavor >

Contains the evaluations of multilinear polynomials \( P_1, \ldots, P_N\) at the challenge point \(\vec u =(u_0,\ldots, u_{d-1})\). These are computed by Sumcheck Prover and need to be checked using Shplemini.

Template Parameters

Flavor

Definition at line 22 of file sumcheck_output.hpp.

Member Typedef Documentation

ClaimedEvaluations

template<typename Flavor >

using bb::SumcheckOutput< Flavor >::ClaimedEvaluations = typename Flavor::AllValues

Definition at line 24 of file sumcheck_output.hpp.

Commitment

template<typename Flavor >

using bb::SumcheckOutput< Flavor >::Commitment = typename Flavor::Commitment

Definition at line 25 of file sumcheck_output.hpp.

FF

template<typename Flavor >

using bb::SumcheckOutput< Flavor >::FF = typename Flavor::FF

Definition at line 23 of file sumcheck_output.hpp.

Member Data Documentation

challenge

template<typename Flavor >

std::vector<FF> bb::SumcheckOutput< Flavor >::challenge

Definition at line 28 of file sumcheck_output.hpp.

claimed_evaluations

template<typename Flavor >

ClaimedEvaluations bb::SumcheckOutput< Flavor >::claimed_evaluations

Definition at line 30 of file sumcheck_output.hpp.

claimed_libra_evaluation

template<typename Flavor >

FF bb::SumcheckOutput< Flavor >::claimed_libra_evaluation = FF{ 0 }

Definition at line 35 of file sumcheck_output.hpp.

round_univariate_commitments

template<typename Flavor >

std::vector<Commitment> bb::SumcheckOutput< Flavor >::round_univariate_commitments = {}

Definition at line 37 of file sumcheck_output.hpp.

round_univariate_evaluations

template<typename Flavor >

std::vector<std::array<FF, 3> > bb::SumcheckOutput< Flavor >::round_univariate_evaluations = {}

Definition at line 41 of file sumcheck_output.hpp.

round_univariates

template<typename Flavor >

std::vector<bb::Polynomial<FF> > bb::SumcheckOutput< Flavor >::round_univariates = {}

Definition at line 39 of file sumcheck_output.hpp.

verified

template<typename Flavor >

bool bb::SumcheckOutput< Flavor >::verified = false

Definition at line 33 of file sumcheck_output.hpp.

---

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

• src/barretenberg/sumcheck/sumcheck_output.hpp