Function batch_add_assign 

pub fn batch_add_assign<P: SWCurveConfig>(
    denominators: &mut [P::BaseField],
    v0: &mut [Affine<P>],
    v1: &[Affine<P>],
)

Given arrays of curve points v0 and v1 do v0[i] += v1[i] for each i.