Function darkfi::zk::halo2::plonk::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