An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
-
Updated
Sep 4, 2023 - Rust
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
ZPrize 2022 - All qualified entries
A toolchain for interaction with the Proof Market protocol.
Implementation of Dusk Network privacy-oriented PoS protocol, aka Proof of Blind Bid
ZK13: A Super Fast Zero-Knowledge Proof Protocol for Set Membership
Add a description, image, and links to the zkproof-prover topic page so that developers can more easily learn about it.
To associate your repository with the zkproof-prover topic, visit your repo's landing page and select "manage topics."