Function halo2_backend::plonk::verifier::verify_proof

source ยท 
pub fn verify_proof<'params, Scheme, V, E, T, Strategy>(
    params: &'params Scheme::ParamsVerifier,
    vk: &VerifyingKey<Scheme::Curve>,
    instance: Vec<Vec<Scheme::Scalar>>,
    transcript: &mut T
) -> bool
where
    Scheme::Scalar: WithSmallOrderMulGroup<3> + FromUniformBytes<64>,
    Scheme: CommitmentScheme,
    V: Verifier<'params, Scheme>,
    E: EncodedChallenge<Scheme::Curve>,
    T: TranscriptRead<Scheme::Curve, E>,
    Strategy: VerificationStrategy<'params, Scheme, V>,
Expand description

Returns a boolean indicating whether or not the proof is valid. Verifies a single proof (not batched).