pub fn inner_product_par<FX, PX, PY>(xs: &[PX], ys: &[PY]) -> FX
where PX: PackedField<Scalar = FX>, PY: PackedField, FX: ExtensionField<PY::Scalar>,