Function inner_product_buffers 

pub fn inner_product_buffers<F, P, DataA, DataB>(
    a: &FieldBuffer<P, DataA>,
    b: &FieldBuffer<P, DataB>,
) -> F
where
    F: Field,
    P: PackedField<Scalar = F>,
    DataA: Deref<Target = [P]>,
    DataB: Deref<Target = [P]>,

Sums the coefficient-by-coefficient products of two multilinears.

result = sum_i a_i * b_i

This is not the product polynomial; it is a single field element. Pairing a polynomial with an equality indicator expansion evaluates it at that point.

Preconditions

• the two buffers must hold the same number of coefficients