Trait halo2_backend::poly::commitment::ParamsVerifier

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

    const COMMIT_INSTANCE: bool;

    // Required method
    fn empty_msm(&'params self) -> Self::MSM;
}

Verifier specific functionality with circuit constraints

Required Associated Types

type MSM: MSM<C> + 'params

Multiscalar multiplication engine

Required Associated Constants

const COMMIT_INSTANCE: bool

Can commit to instance or not.

Required Methods

fn empty_msm(&'params self) -> Self::MSM

Generates an empty multiscalar multiplication struct using the appropriate params.

Object Safety

This trait is not object safe.

Implementors

impl<'params, E: Engine> ParamsVerifier<'params, <E as Engine>::G1Affine> for ParamsKZG<E>

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

type MSM = MSMKZG<E>

const COMMIT_INSTANCE: bool = true

impl<'params, E: Engine> ParamsVerifier<'params, <E as Engine>::G1Affine> for ParamsVerifierKZG<E>

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

type MSM = MSMKZG<E>

const COMMIT_INSTANCE: bool = false