use ark_ff::fields::PrimeField; pub fn vec_add(a: &Vec, b: &[F]) -> Vec { let mut r: Vec = vec![F::zero(); a.len()]; for i in 0..a.len() { r[i] = a[i] + b[i]; } r } pub fn vec_scalar_mul(vec: &[F], c: &F) -> Vec { let mut result = vec![F::zero(); vec.len()]; for (i, a) in vec.iter().enumerate() { result[i] = *a * c; } result }