BitDecomposition in eclair - Githubissues

openzklib / openzl

Zero-Knowledge Cryptography Infrastructure Stack

https://openzl.org

Other

126 stars 14 forks source link

BitDecomposition in eclair #37

Closed SupremoUGH closed 1 year ago

SupremoUGH commented 1 year ago

Bit decomposition in eclair:

Changes: eclair:

[x] bool.rs: Defined the BitDecomposition trait, implemented it for the native compiler and the usual types.
[x] num.rs: Impl for UnsignedInteger
[x] define to_bits_be() in the trait with default impl

plugins::arkworks

[x] constraint: Impl for FpVar
[x] algebra: Impl for ScalarVar

Before we can merge this PR, please make sure that all the following items have been checked off:

[x] Linked to an issue with discussion and accepted design OR have an explanation in the PR that describes this work.
[x] Added one line describing your change in CHANGELOG.md and added the appropriate L- label to the PR.
[x] Re-reviewed Files changed in the GitHub PR explorer.
[x] Checked that changes and commits conform to the standards outlined in CONTRIBUTING.md.