pub fn extract_recursion_challenges<const N: usize>(
proofs: &[&PicklesProofProofsVerified2ReprStableV2; N],
) -> Result<Vec<RecursionChallenge<GroupAffine<Fq>>>>
pub fn extract_recursion_challenges<const N: usize>(
proofs: &[&PicklesProofProofsVerified2ReprStableV2; N],
) -> Result<Vec<RecursionChallenge<GroupAffine<Fq>>>>