The library is not ready for production use!
This repo implements simplified RSA-based protocols used in the Veksel paper from the work Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular. Most of the code is from this repo by Kobi Gurkan. Important differences include:
- it implements a simplified set membership scheme. This version is not secure on its own without an additional range proof (the latter is described in the Veksel paper and its full implementation).
- it uses a wrapper around rug-integer to compute accurate proof sizes.
This code is licensed under either of the following licenses, at your discretion.
Unless you explicitly state otherwise, any contribution that you submit to this library shall be dual licensed as above (as defined in the Apache v2 License), without any additional terms or conditions.