nit: "non-zero leading terms" is awkward phrasing

[bennetyee]

oasis-core/secret-sharing/src/churp/dealer.rs

Line 41 in 3f241f7

/// leading terms. This ensures that more than the threshold number

usual definitions of polynomials will always have a non-zero leading term; the only common restriction is for the leading coefficient to be 1, and have the polynomial be monic. here, the non-zero-ness has more to do with the representation and the kinds of polynomials that can be represented, since the number of coefficients is fixed.

maybe something like "... the polynomial B(x, y) will have partial evaluation polynomials f(x) = B(x, 0) and g(y) = B(0, y) such that deg f = t and deg g = 2t." instead?

either that, or just directly talk about the fixed-number-of-coefficients representation; currently it mixes representation and the more abstract mathematical description, and is confusing.