pub fn inner_product<F: Field>( a: impl IntoIterator<Item = F>, b: impl IntoIterator<Item = F>, ) -> F