Function bellperson::groth16::verify_proofs_batch

pub fn verify_proofs_batch<'a, E: Engine, R: RngCore>(
    pvk: &'a BatchPreparedVerifyingKey<E>, 
    rng: &mut R, 
    proofs: &[&Proof<E>], 
    public_inputs: &[Vec<E::Fr>]
) -> Result<bool, SynthesisError> where
    <<E as ScalarEngine>::Fr as PrimeField>::Repr: From<<E as ScalarEngine>::Fr>, 

Randomized batch verification - see Appendix B.2 in Zcash spec