Function halo2_proofs::plonk::verify_proof_multi

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

Returns a boolean indicating whether or not the proof is valid