pub fn aggregate_commitments<G: AffineRepr>( randomness: G::ScalarField, commitments: &[G], ) -> G
For commitments C_i and randomness r, returns ∑ r^i C_i.