trailofbits / reverie

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

Home Page:https://crates.io/crates/reverie-zk

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

trailofbits/reverie Stargazers