Function add_vecs

utils/src/ff.rs:37–47

Add two vectors of scalars

(a: &[F], b: &[F])

/// Add two vectors of scalars
pub fn add_vecs<F: Field>(a: &[F], b: &[F]) -> Vec<F> {
    let (a_len, b_len) = (a.len(), b.len());
    let res_len = ark_std::cmp::max(a_len, b_len);
    cfg_into_iter!(0..res_len)
        .map(|i| {
            let a_i = a.get(i).cloned().unwrap_or(F::zero());
            let b_i = b.get(i).cloned().unwrap_or(F::zero());
            a_i + b_i
        })
        .collect()
}

/// Weighted inner product of 2 vectors `a` and `b` with weight `w`. Calculated as `\sum_{i=0}(a_i * b_i * w^{i+1})`
pub fn weighted_inner_product<F: Field>(a: &[F], b: &[F], w: &F) -> F {