Module commitment

Functions

combine_commitments

Takes commitments C_i, computes α = hash(C_0 || C_1 || … || C_n), returns ∑ α^i C_i.

commit_to_field_elems