pub fn extract_bulletproof<'a, F: FieldWitness, I: IntoIterator<Item = &'a PaddedSeq<PicklesReducedMessagesForNextProofOverSameFieldWrapChallengesVectorStableV2A, N>>, const N: usize>(
v: I,
) -> Vec<[F; N]>pub fn extract_bulletproof<'a, F: FieldWitness, I: IntoIterator<Item = &'a PaddedSeq<PicklesReducedMessagesForNextProofOverSameFieldWrapChallengesVectorStableV2A, N>>, const N: usize>(
v: I,
) -> Vec<[F; N]>