Function batch_verify_impl 

fn batch_verify_impl<AppState>(
    proofs: &[(&AppState, &PicklesProofProofsVerified2ReprStableV2, &VK<'_>)],
) -> Result<bool>
where
    AppState: ToFieldElements<Fp>,