Exposes the function in the PR and renames it to be more specific (since it also checks equality) and to be consistent with the rest of the enforce_ methods.
Context: I'm writing a point compression gadget and would prefer to have this exposed, instead of having to do to_bits and then check that my value is <= (p-1)/2
Exposes the function in the PR and renames it to be more specific (since it also checks equality) and to be consistent with the rest of the
enforce_methods.Context: I'm writing a point compression gadget and would prefer to have this exposed, instead of having to do
to_bitsand then check that my value is <= (p-1)/2