/reverie

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

Primary LanguageRustGNU Affero General Public License v3.0AGPL-3.0

No issues in this repository yet.