Function extract_polynomial_commitment

pub fn extract_polynomial_commitment<'a, F: FieldWitness, I: IntoIterator<Item = &'a (BigInt, BigInt)>>(
    curves: I,
) -> Result<Vec<InnerCurve<F>>, InvalidBigInt>