openzklib/openzl

Use `BitDecomposition` to build a generic implementation of `AssertWithinBitRange`

SupremoUGH opened this issue · 0 comments

Should we use bit decomposition trait here and use this to build a generic impl of assert_within_range. If you think it's a good idea mark an issue for it.

Originally posted by @bhgomes in #37 (comment)