Trait halo2_proofs::poly::commitment::ParamsProver

pub trait ParamsProver<C>: Params<C>
where
    C: CurveAffine,
{
    // Required methods
    fn new(k: u32) -> Self;
    fn commit(
        &self,
        engine: &impl MsmAccel<C>,
        poly: &Polynomial<<C as CurveAffine>::ScalarExt, Coeff>,
        r: Blind<<C as CurveAffine>::ScalarExt>
    ) -> <C as CurveAffine>::CurveExt;
}

Parameters for circuit synthesis and prover parameters.

Required Methods

fn new(k: u32) -> Self

Returns new instance of parameters

fn commit( &self, engine: &impl MsmAccel<C>, poly: &Polynomial<<C as CurveAffine>::ScalarExt, Coeff>, r: Blind<<C as CurveAffine>::ScalarExt> ) -> <C as CurveAffine>::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.

Object Safety

This trait is not object safe.

Implementors

impl<E> ParamsProver<<E as Engine>::G1Affine> for ParamsKZG<E>

where E: Engine, <E as Engine>::G1: CurveExt<AffineExt = <E as Engine>::G1Affine>, <E as Engine>::G1Affine: SerdeCurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>, <E as Engine>::G2Affine: SerdeCurveAffine,