Trait halo2_proofs::poly::commitment::ParamsProver

pub trait ParamsProver<'params, C: CurveAffine>: Params<'params, C> {
    type ParamsVerifier: ParamsVerifier<'params, C>;

    fn new(k: u32) -> Self;
    fn commit(
        &self,
        poly: &Polynomial<C::ScalarExt, Coeff>,
        r: Blind<C::ScalarExt>
    ) -> C::CurveExt;
    fn get_g(&self) -> &[C];
    fn verifier_params(&'params self) -> &'params Self::ParamsVerifier;
}

Parameters for circuit sysnthesis and prover parameters.

Required Associated Types

type ParamsVerifier: ParamsVerifier<'params, C>

Constant verifier parameters.

Required Methods

fn new(k: u32) -> Self

Returns new instance of parameters

fn commit(
    &self,
    poly: &Polynomial<C::ScalarExt, Coeff>,
    r: Blind<C::ScalarExt>
) -> C::CurveExt

This computes a commitment to a polynomial described by the provided slice of coefficients. The commitment may be blinded by the blinding factor r.

fn get_g(&self) -> &[C]

Getter for g generators

fn verifier_params(&'params self) -> &'params Self::ParamsVerifier

Returns verification parameters.

Implementors

impl<'params, C: CurveAffine> ParamsProver<'params, C> for ParamsIPA<C>

type ParamsVerifier = ParamsIPA<C>

impl<'params, E: Engine + Debug> ParamsProver<'params, <E as Engine>::G1Affine> for ParamsKZG<E>where
    E::G1Affine: SerdeCurveAffine,
    E::G2Affine: SerdeCurveAffine,

type ParamsVerifier = ParamsKZG<E>