Trait halo2_backend::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§
source§impl<E> Guard<KZGCommitmentScheme<E>> for GuardKZG<E>where
E: MultiMillerLoop + Debug,
E::G1Affine: SerdeCurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>,
E::G1: CurveExt<AffineExt = E::G1Affine>,
E::G2Affine: SerdeCurveAffine,
impl<E> Guard<KZGCommitmentScheme<E>> for GuardKZG<E>where
E: MultiMillerLoop + Debug,
E::G1Affine: SerdeCurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>,
E::G1: CurveExt<AffineExt = E::G1Affine>,
E::G2Affine: SerdeCurveAffine,
Define accumulator type as DualMSM