There are 0 repository under zkproof-prover topic.
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