Static Public Member Functions
static Field	compute_quotient_evaluation_contribution (typename Transcript::Key *, const Field &alpha_base, const Transcript &transcript, Field &quotient_numerator_eval)
	Computes the evaluation at challenge point 'z' of the terms in the quotient polynomial associated with z_lookup.

static Field	append_scalar_multiplication_inputs (typename Transcript::Key *, const Field &alpha_base, const Transcript &transcript, std::map< std::string, Field > &scalars)

Member Function Documentation

◆ compute_quotient_evaluation_contribution()

template<typename Field , typename Group , typename Transcript , const size_t num_roots_cut_out_of_vanishing_polynomial>

Field proof_system::plonk::VerifierPlookupWidget< Field, Group, Transcript, num_roots_cut_out_of_vanishing_polynomial >::compute_quotient_evaluation_contribution	(	typename Transcript::Key *	key,
		const Field &	alpha_base,
		const Transcript &	transcript,
		Field &	quotient_numerator_eval
	)

static

Computes the evaluation at challenge point 'z' of the terms in the quotient polynomial associated with z_lookup.

Template Parameters

Field
Group
Transcript
num_roots_cut_out_of_vanishing_polynomial

Parameters

Used by verifier in computation of quotient polynomial evaluation at challenge point 'z'.

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

src/barretenberg/plonk/proof_system/widgets/random_widgets/plookup_widget.hpp
src/barretenberg/plonk/proof_system/widgets/random_widgets/plookup_widget_impl.hpp