GitHub repository: trailofbits/reverie
Primary language: Rust
Description: An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.