proof_system::honk::pcs::shplonk::ShplonkProver_< Curve > Class Template Reference

Shplonk Prover. More...

#include <shplonk.hpp>

Static Public Member Functions
static Polynomial	compute_batched_quotient (std::span< const OpeningPair< Curve > > opening_pairs, std::span< const Polynomial > witness_polynomials, const Fr &nu)
	Compute batched quotient polynomial Q(X) = ∑ⱼ ρʲ ⋅ ( fⱼ(X) − vⱼ) / ( X − xⱼ )
static ProverOutput< Curve >	compute_partially_evaluated_batched_quotient (std::span< const OpeningPair< Curve > > opening_pairs, std::span< const Polynomial > witness_polynomials, Polynomial &&batched_quotient_Q, const Fr &nu_challenge, const Fr &z_challenge)
	Compute partially evaluated batched quotient polynomial difference Q(X) - Q_z(X)

Detailed Description

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

Shplonk Prover.

Template Parameters

Curve

EC parameters

Member Function Documentation

compute_batched_quotient()

template<typename Curve >

static Polynomial proof_system::honk::pcs::shplonk::ShplonkProver_< Curve >::compute_batched_quotient ( std::span< const OpeningPair< Curve > >  opening_pairs, std::span< const Polynomial >  witness_polynomials, const Fr &  nu  )

inlinestatic

Compute batched quotient polynomial Q(X) = ∑ⱼ ρʲ ⋅ ( fⱼ(X) − vⱼ) / ( X − xⱼ )

Parameters

opening_pairs	list of opening pairs (xⱼ, vⱼ) for a witness polynomial fⱼ(X), s.t. fⱼ(xⱼ) = vⱼ.
witness_polynomials	list of polynomials fⱼ(X).
nu

Returns

Polynomial Q(X)

compute_partially_evaluated_batched_quotient()

template<typename Curve >

static ProverOutput< Curve > proof_system::honk::pcs::shplonk::ShplonkProver_< Curve >::compute_partially_evaluated_batched_quotient ( std::span< const OpeningPair< Curve > >  opening_pairs, std::span< const Polynomial >  witness_polynomials, Polynomial &&  batched_quotient_Q, const Fr &  nu_challenge, const Fr &  z_challenge  )

inlinestatic

Compute partially evaluated batched quotient polynomial difference Q(X) - Q_z(X)

Parameters

opening_pairs	list of opening pairs (xⱼ, vⱼ) for a witness polynomial fⱼ(X), s.t. fⱼ(xⱼ) = vⱼ.
witness_polynomials	list of polynomials fⱼ(X).
batched_quotient_Q	Q(X) = ∑ⱼ ρʲ ⋅ ( fⱼ(X) − vⱼ) / ( X − xⱼ )
nu_challenge
z_challenge

Returns

Output{OpeningPair, Polynomial}

---

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

• src/barretenberg/commitment_schemes/shplonk/shplonk.hpp