Static Public Member Functions
static std::vector< OpeningClaim< Curve > >	reduce_verification (std::span< const Fr > mle_opening_point, const Fr batched_evaluation, GroupElement &batched_f, GroupElement &batched_g, auto &transcript)
	Returns univariate opening claims for the Fold polynomials to be checked later.

Member Function Documentation

◆ reduce_verification()

template<typename Curve >

static std::vector< OpeningClaim< Curve > > proof_system::honk::pcs::gemini::GeminiVerifier_< Curve >::reduce_verification	(	std::span< const Fr >	mle_opening_point,
		const Fr	batched_evaluation,
		GroupElement &	batched_f,
		GroupElement &	batched_g,
		auto &	transcript
	)

inlinestatic

Returns univariate opening claims for the Fold polynomials to be checked later.

Parameters

mle_opening_point	the MLE evaluation point u
batched_evaluation	batched evaluation from multivariate evals at the point u
batched_f	batched commitment to unshifted polynomials
batched_g	batched commitment to to-be-shifted polynomials
proof	commitments to the m-1 folded polynomials, and alleged evaluations.
transcript

Returns: Fold polynomial opening claims: (r, A₀(r), C₀₊), (-r, A₀(-r), C₀₋), and (Cⱼ, Aⱼ(-r^{2ʲ}), -r^{2}), j = [1, ..., m-1]

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