Inheritance diagram for proof_system::honk::pcs::CommitmentTest< Curve >:

Public Member Functions
std::shared_ptr< CK >	ck ()

std::shared_ptr< VK >	vk ()

Commitment	commit (const Polynomial &polynomial)

Polynomial	random_polynomial (const size_t n)

Fr	random_element ()

OpeningPair< Curve >	random_eval (const Polynomial &polynomial)

std::pair< OpeningClaim< Curve >, Polynomial >	random_claim (const size_t n)

std::vector< Fr >	random_evaluation_point (const size_t num_variables)

void	verify_opening_claim (const OpeningClaim< Curve > &claim, const Polynomial &witness)

void	verify_opening_pair (const OpeningPair< Curve > &opening_pair, const Polynomial &witness)

void	verify_batch_opening_claim (std::span< const OpeningClaim< Curve > > multi_claims, std::span< const Polynomial > witnesses)
	Ensures that a 'BatchOpeningClaim' is correct by checking that.

void	verify_batch_opening_pair (std::span< const OpeningPair< Curve > > opening_pairs, std::span< const Polynomial > witnesses)
	Ensures that a set of opening pairs is correct by checking that evaluations are correct by recomputing them from each witness polynomial.

Static Public Member Functions
static void	SetUpTestSuite ()

static void	TearDownTestSuite ()

Member Function Documentation

◆ verify_batch_opening_claim()

template<typename Curve >

void proof_system::honk::pcs::CommitmentTest< Curve >::verify_batch_opening_claim	(	std::span< const OpeningClaim< Curve > >	multi_claims,
		std::span< const Polynomial >	witnesses
	)

inline

Ensures that a 'BatchOpeningClaim' is correct by checking that.

all evaluations are correct by recomputing them from each witness polynomial.
commitments are correct by recomputing a commitment from each witness polynomial.
each 'queries' is a subset of 'all_queries' and 'all_queries' is the union of all 'queries'
each 'commitment' of each 'SubClaim' appears only once.

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