pub fn combine_commitments<G: AffineRepr, EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>>(
sponge: &mut EFqSponge,
commitments: &[G],
) -> (G, G::ScalarField)Expand description
Takes commitments C_i, computes α = hash(C_0 || C_1 || … || C_n), returns ∑ α^i C_i.