Function bellperson::groth16::verify_proofs_batch [−][src]
pub fn verify_proofs_batch<'a, E: Engine, R: RngCore>(
pvk: &'a PreparedVerifyingKey<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>,
Expand description
Randomized batch verification - see Appendix B.2 in Zcash spec