reverie
trailofbits/reverie
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
62stars
Forks
6
Open issues
6
Watchers
62
Size
1.6 MB
RustGNU Affero General Public License v3.0
blake3cryptocryptographynizkrust-langzkzkproof-prover
Created: Jun 5, 2020
Updated: Feb 22, 2026
Last push: Sep 4, 2023