fix: assert that the binary decomposition of a variable is less than the modulus#835
Merged
ivokub merged 18 commits intomasterfrom fix/cmp-reducecheckSep 19, 2023
+346-45
Commits
Commits on Sep 12, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
