Function halo2_backend::plonk::verifier::verify_proof_with_strategy

pub fn verify_proof_with_strategy<'params, Scheme: CommitmentScheme, V: Verifier<'params, Scheme>, E: EncodedChallenge<Scheme::Curve>, T: TranscriptRead<Scheme::Curve, E>, Strategy: VerificationStrategy<'params, Scheme, V>>(
    params: &'params Scheme::ParamsVerifier,
    vk: &VerifyingKey<Scheme::Curve>,
    strategy: Strategy,
    instances: &[Vec<Vec<Scheme::Scalar>>],
    transcript: &mut T
) -> Result<Strategy, Error>
where
    Scheme::Scalar: WithSmallOrderMulGroup<3> + FromUniformBytes<64>,

Process the proof, checks that the proof is valid and returns the Strategy output.