Function halo2_proofs::plonk::verify_proof

source ·

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

Expand description

Returns a boolean indicating whether or not the proof is valid