Trait Guard

pub trait Guard<Scheme: CommitmentScheme> {
    type MSMAccumulator;
}

Guards is unfinished verification result. Implement this to construct various verification strategies such as aggregation and recursion.

Required Associated Types

type MSMAccumulator

Multi scalar engine which is not evaluated yet.

Implementors

impl<'params, C: CurveAffine> Guard<IPACommitmentScheme<C>> for GuardIPA<'params, C>

Define accumulator type as MSMIPA

type MSMAccumulator = MSMIPA<'params, C>

impl<'params, E> Guard<KZGCommitmentScheme<E>> for GuardKZG<'params, E>

where E: MultiMillerLoop + Debug, E::G1Affine: SerdeCurveAffine<ScalarExt = E::Fr, CurveExt = E::G1>, E::G2Affine: SerdeCurveAffine,

Define accumulator type as DualMSM

type MSMAccumulator = DualMSM<'params, E>