halo2_proofs::poly::multiopen

Function verify_proof

Source 
pub fn verify_proof<'r, 'params: 'r, I, C: CurveAffine, E: EncodedChallenge<C>, T: TranscriptRead<C, E>>(
    params: &'params Params<C>,
    transcript: &mut T,
    queries: I,
    msm: MSM<'params, C>,
) -> Result<Guard<'params, C, E>, Error>
where
    I: IntoIterator<Item = VerifierQuery<'r, 'params, C>> + Clone,
Expand description

Verify a multi-opening proof