zkproof-prover topic

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

trailofbits

ZPrize 2022 - All qualified entries

z-prize

A toolchain for interaction with the Proof Market protocol.

NilFoundation