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