zkproof-prover topic
List
zkproof-prover repositories
reverie
57
Stars
5
Forks
Watchers
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
2022-entries
50
Stars
21
Forks
Watchers
ZPrize 2022 - All qualified entries
proof-market-toolchain
22
Stars
4
Forks
Watchers
A toolchain for interaction with the Proof Market protocol.