Shplonk Verifier. More...

#include <shplonk.hpp>

Static Public Member Functions
static OpeningClaim< Curve >	reduce_verification (std::shared_ptr< VK > vk, std::span< const OpeningClaim< Curve > > claims, auto &transcript)
	Recomputes the new claim commitment [G] given the proof and the challenge r. No verification happens so this function always succeeds.

Detailed Description

template<typename Curve>
class proof_system::honk::pcs::shplonk::ShplonkVerifier_< Curve >

Shplonk Verifier.

Member Function Documentation

template<typename Curve >

static OpeningClaim< Curve > proof_system::honk::pcs::shplonk::ShplonkVerifier_< Curve >::reduce_verification	(	std::shared_ptr< VK >	vk,
		std::span< const OpeningClaim< Curve > >	claims,
		auto &	transcript
	)

inlinestatic

Recomputes the new claim commitment [G] given the proof and the challenge r. No verification happens so this function always succeeds.

Parameters

claims	list of opening claims (Cⱼ, xⱼ, vⱼ) for a witness polynomial fⱼ(X), s.t. fⱼ(xⱼ) = vⱼ.
proof	[Q(X)] = [ ∑ⱼ ρʲ ⋅ ( fⱼ(X) − vⱼ) / ( X − xⱼ ) ]
transcript

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