Function composition_hash

pub fn composition_hash<P: PackedField, C: CompositionPolyOS<P>>(
    composition: &C,
) -> P

Fingerprinting for composition polynomials done by evaluation at a deterministic random point. Outputs f(r_0,…,r_n-1) where f is a composite and the r_i are the components of the random point.

Probabilistic collision resistance comes from Schwartz-Zippel on the equation f(x_0,…,x_n-1) = g(x_0,…,x_n-1) for two distinct multivariate polynomials f and g.

NOTE: THIS IS NOT ADVERSARIALLY COLLISION RESISTANT, COLLISIONS CAN BE MANUFACTURED EASILY