Trait halo2_proofs::poly::VerificationStrategy

pub trait VerificationStrategy<'params, Scheme: CommitmentScheme, V: Verifier<'params, Scheme>> {
    type Output;

    fn new(params: &'params Scheme::ParamsVerifier) -> Self;
    fn process(
        self,
        f: impl FnOnce(V::MSMAccumulator) -> Result<V::Guard, Error>
    ) -> Result<Self::Output, Error>;
    fn finalize(self) -> bool;
}

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 new(params: &'params Scheme::ParamsVerifier) -> Self

Creates new verification strategy instance

fn process(
    self,
    f: impl FnOnce(V::MSMAccumulator) -> Result<V::Guard, Error>
) -> Result<Self::Output, Error>

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

fn finalize(self) -> bool

Finalizes the batch and checks its validity.

Returns false if some proof was invalid. If the caller needs to identify specific failing proofs, it must re-process the proofs separately.

Implementors

impl<'params, C: CurveAffine> VerificationStrategy<'params, IPACommitmentScheme<C>, VerifierIPA<'params, C>> for halo2_proofs::poly::ipa::strategy::AccumulatorStrategy<'params, C>

type Output = AccumulatorStrategy<'params, C>

impl<'params, C: CurveAffine> VerificationStrategy<'params, IPACommitmentScheme<C>, VerifierIPA<'params, C>> for halo2_proofs::poly::ipa::strategy::SingleStrategy<'params, C>

type Output = ()

impl<'params, E: MultiMillerLoop + Debug, V: Verifier<'params, KZGCommitmentScheme<E>, MSMAccumulator = DualMSM<'params, E>, Guard = GuardKZG<'params, E>>> VerificationStrategy<'params, KZGCommitmentScheme<E>, V> for halo2_proofs::poly::kzg::strategy::AccumulatorStrategy<'params, E>where
    E::G1Affine: SerdeCurveAffine,
    E::G2Affine: SerdeCurveAffine,

type Output = AccumulatorStrategy<'params, E>

impl<'params, E: MultiMillerLoop + Debug, V: Verifier<'params, KZGCommitmentScheme<E>, MSMAccumulator = DualMSM<'params, E>, Guard = GuardKZG<'params, E>>> VerificationStrategy<'params, KZGCommitmentScheme<E>, V> for halo2_proofs::poly::kzg::strategy::SingleStrategy<'params, E>where
    E::G1Affine: SerdeCurveAffine,
    E::G2Affine: SerdeCurveAffine,

type Output = ()