Function inner_product_subfield 

pub fn inner_product_subfield<F, FSub>(
    a: impl IntoIterator<Item = FSub>,
    b: impl IntoIterator<Item = F>,
) -> F
where
    F: Field + ExtensionField<FSub>,
    FSub: Field,

Computes the inner product sum_i a_i * b_i.

The left side lies in a subfield of the right side’s field.

Panics

Panics if the two sequences have different lengths.