proof_system::honk::sumcheck::SumcheckVerifier< Flavor > Class Template Reference

Public Types
using	Utils = barretenberg::RelationUtils< Flavor >
using	FF = typename Flavor::FF
using	ClaimedEvaluations = typename Flavor::AllValues
using	Transcript = typename Flavor::Transcript

Public Member Functions
	SumcheckVerifier (size_t multivariate_n)
SumcheckOutput< Flavor >	verify (const proof_system::RelationParameters< FF > &relation_parameters, FF alpha, const std::shared_ptr< Transcript > &transcript)
	Extract round univariate, check sum, generate challenge, compute next target sum..., repeat until final round, then use purported evaluations to generate purported full Honk relation value and check against final target sum.

Public Attributes
const size_t	multivariate_d
SumcheckVerifierRound< Flavor >	round

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

Member Function Documentation

verify()

template<typename Flavor >

SumcheckOutput< Flavor > proof_system::honk::sumcheck::SumcheckVerifier< Flavor >::verify ( const proof_system::RelationParameters< FF > &  relation_parameters, FF  alpha, const std::shared_ptr< Transcript > &  transcript  )

inline

Extract round univariate, check sum, generate challenge, compute next target sum..., repeat until final round, then use purported evaluations to generate purported full Honk relation value and check against final target sum.

If verification fails, returns std::nullopt, otherwise returns SumcheckOutput

Parameters

relation_parameters
transcript

---

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

• src/barretenberg/sumcheck/sumcheck.hpp