proof_system::honk::sumcheck::SumcheckOutput< Flavor > Struct Template Reference

Contains the multi-linear evaluations of the polynomials at the challenge point 'u'. These are computed by the prover and need to be checked using a multi-linear PCS like Gemini. More...

#include <sumcheck_output.hpp>

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

Public Attributes
std::vector< FF >	challenge
ClaimedEvaluations	claimed_evaluations
std::optional< bool >	verified = false

Detailed Description

template<typename Flavor>
struct proof_system::honk::sumcheck::SumcheckOutput< Flavor >

Contains the multi-linear evaluations of the polynomials at the challenge point 'u'. These are computed by the prover and need to be checked using a multi-linear PCS like Gemini.

---

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

• src/barretenberg/sumcheck/sumcheck_output.hpp