Showing 2 of 2 repositories tagged #zkproof-prover, ranked by stars
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
Docker Complete Guide - Run Nexus node as Prover Network.
