Public Types
using	FF = typename Flavor::FF

using	ClaimedEvaluations = typename Flavor::AllValues

Public Member Functions
bool	check_sum (barretenberg::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &univariate)

FF	compute_next_target_sum (barretenberg::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &univariate, FF &round_challenge)
	After checking that the univariate is good for this round, compute the next target sum.

FF	compute_full_honk_relation_purported_value (ClaimedEvaluations purported_evaluations, const proof_system::RelationParameters< FF > &relation_parameters, const barretenberg::PowUnivariate< FF > &pow_univariate, const FF alpha)
	General purpose method for applying a tuple of arrays (of FFs)

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

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = Flavor::BATCHED_RELATION_PARTIAL_LENGTH

Member Function Documentation

◆ compute_full_honk_relation_purported_value()

template<typename Flavor >

FF proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >::compute_full_honk_relation_purported_value	(	ClaimedEvaluations	purported_evaluations,
		const proof_system::RelationParameters< FF > &	relation_parameters,
		const barretenberg::PowUnivariate< FF > &	pow_univariate,
		const FF	alpha
	)

inline

General purpose method for applying a tuple of arrays (of FFs)

Template Parameters

Operation Any operation valid on elements of the inner arrays (FFs)

Parameters

tuple Tuple of arrays (of FFs)

template<typename Flavor >

FF proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >::compute_next_target_sum	(	barretenberg::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &	univariate,
		FF &	round_challenge
	)

inline

After checking that the univariate is good for this round, compute the next target sum.

Parameters

univariate	T^l(X), given by its evaluations over {0,1,2,...}, equal to S^{l}(X)/( (1−X) + X⋅ζ^{ 2^l } )
round_challenge	u_l

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