Trait halo2_proofs::poly::commitment::ParamsVerifier

source · [−]

pub trait ParamsVerifier<'params, C: CurveAffine>: Params<'params, C> { }

Expand description

Verifier specific functionality with circuit constaints

Implementors

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

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