Trait halo2_proofs::poly::commitment::Verifier

pub trait Verifier<'params, Scheme: CommitmentScheme> {
    type Guard: Guard<Scheme, MSMAccumulator = Self::MSMAccumulator>;
    type MSMAccumulator;

    const QUERY_INSTANCE: bool;

    fn new(params: &'params Scheme::ParamsVerifier) -> Self;
    fn verify_proof<'com, E: EncodedChallenge<Scheme::Curve>, T: TranscriptRead<Scheme::Curve, E>, I>(
        &self,
        transcript: &mut T,
        queries: I,
        msm: Self::MSMAccumulator
    ) -> Result<Self::Guard, Error>
    where
        'params: 'com,
        I: IntoIterator<Item = VerifierQuery<'com, Scheme::Curve, <Scheme::ParamsVerifier as Params<'params, Scheme::Curve>>::MSM>> + Clone;
}

Common multi-open verifier interface for various commitment schemes

Required Associated Types

type Guard: Guard<Scheme, MSMAccumulator = Self::MSMAccumulator>

Unfinalized verification result. This is returned in verification to allow developer to compress or combined verification results

type MSMAccumulator

Accumulator fot comressed verification

Required Associated Constants

const QUERY_INSTANCE: bool

Query instance or not

Required Methods

fn new(params: &'params Scheme::ParamsVerifier) -> Self

Creates new verifier instance

fn verify_proof<'com, E: EncodedChallenge<Scheme::Curve>, T: TranscriptRead<Scheme::Curve, E>, I>(
    &self,
    transcript: &mut T,
    queries: I,
    msm: Self::MSMAccumulator
) -> Result<Self::Guard, Error>where
    'params: 'com,
    I: IntoIterator<Item = VerifierQuery<'com, Scheme::Curve, <Scheme::ParamsVerifier as Params<'params, Scheme::Curve>>::MSM>> + Clone,

Process the proof and returns unfinished result named Guard

Implementors

impl<'params, C: CurveAffine> Verifier<'params, IPACommitmentScheme<C>> for VerifierIPA<'params, C>

type Guard = GuardIPA<'params, C>

type MSMAccumulator = MSMIPA<'params, C>

const QUERY_INSTANCE: bool = true

impl<'params, E> Verifier<'params, KZGCommitmentScheme<E>> for VerifierGWC<'params, E>where
    E: MultiMillerLoop + Debug,
    E::G1Affine: SerdeCurveAffine,
    E::G2Affine: SerdeCurveAffine,

type Guard = GuardKZG<'params, E>

type MSMAccumulator = DualMSM<'params, E>

const QUERY_INSTANCE: bool = false

impl<'params, E> Verifier<'params, KZGCommitmentScheme<E>> for VerifierSHPLONK<'params, E>where
    E: MultiMillerLoop + Debug,
    E::G1Affine: SerdeCurveAffine,
    E::G2Affine: SerdeCurveAffine,
    E::Scalar: Hash,

type Guard = GuardKZG<'params, E>

type MSMAccumulator = DualMSM<'params, E>

const QUERY_INSTANCE: bool = false