darkfi::zk::halo2::plonk

Function verify_proof

pub fn verify_proof<'params, C, E, T, V>(
    params: &'params Params<C>,
    vk: &VerifyingKey<C>,
    strategy: V,
    instances: &[&[&[<C as PrimeCurveAffine>::Scalar]]],
    transcript: &mut T,
) -> Result<<V as VerificationStrategy<'params, C>>::Output, Error>
where
    C: CurveAffine,
    E: EncodedChallenge<C>,
    T: TranscriptRead<C, E>,
    V: VerificationStrategy<'params, C>,
Expand description

Returns a boolean indicating whether or not the proof is valid