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