pub trait VerificationStrategy<'params, C>
where C: CurveAffine,
{ type Output; // Required method fn process<E>( self, f: impl FnOnce(MSM<'params, C>) -> Result<Guard<'params, C, E>, Error> ) -> Result<Self::Output, Error> where E: EncodedChallenge<C>; }
Expand description

Trait representing a strategy for verifying Halo 2 proofs.

Required Associated Types§

type Output

The output type of this verification strategy after processing a proof.

Required Methods§

fn process<E>( self, f: impl FnOnce(MSM<'params, C>) -> Result<Guard<'params, C, E>, Error> ) -> Result<Self::Output, Error>
where E: EncodedChallenge<C>,

Obtains an MSM from the verifier strategy and yields back the strategy’s output.

Object Safety§

This trait is not object safe.

Implementors§

§

impl<'params, C> VerificationStrategy<'params, C> for SingleVerifier<'params, C>
where C: CurveAffine,

§

type Output = ()