pub fn inner_prod<F: Field>(xs: &[F], ys: &[F]) -> F
COmpute the inner product of two slices of field elements.