Function batch_verify 

fn batch_verify(proofs: &[VerificationContext<'_>]) -> Result<(), VerifyError>