search

openzklib / openzl

Zero-Knowledge Cryptography Infrastructure Stack
https://openzl.org
Other
127 stars 14 forks source link

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

Open SupremoUGH opened 1 year ago

SupremoUGH commented 1 year ago

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 https://github.com/openzklib/openzl/pull/37#discussion_r1043795678_