Trait halo2_proofs::poly::Guard
source · [−]pub trait Guard<Scheme: CommitmentScheme> {
type MSMAccumulator;
}Expand description
Guards is unfinished verification result. Implement this to construct various verification strategies such as aggregation and recursion.
Required Associated Types
sourcetype MSMAccumulator
type MSMAccumulator
Multi scalar engine which is not evaluated yet.
Implementors
sourceimpl<'params, C: CurveAffine> Guard<IPACommitmentScheme<C>> for GuardIPA<'params, C>
impl<'params, C: CurveAffine> Guard<IPACommitmentScheme<C>> for GuardIPA<'params, C>
Define accumulator type as MSMIPA
type MSMAccumulator = MSMIPA<'params, C>
sourceimpl<'params, E> Guard<KZGCommitmentScheme<E>> for GuardKZG<'params, E>where
E: MultiMillerLoop + Debug,
E::G1Affine: SerdeCurveAffine,
E::G2Affine: SerdeCurveAffine,
impl<'params, E> Guard<KZGCommitmentScheme<E>> for GuardKZG<'params, E>where
E: MultiMillerLoop + Debug,
E::G1Affine: SerdeCurveAffine,
E::G2Affine: SerdeCurveAffine,
Define accumulator type as DualMSM