Projects in Awesome Lists tagged with zkproof-prover
A curated list of projects in awesome lists tagged with zkproof-prover .
https://github.com/trailofbits/reverie
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
blake3 crypto cryptography nizk rust-lang zk zkproof-prover
Last synced: 15 Apr 2025
https://github.com/arcxteam/nexus-node
Nexus is ZkVM a Modular Verifiable Internet. A Complete Guide - Run Nexus node as Prover Network.
nexus nexus-cli nexus-node nexus-scripts nexuslabs node-guide node-runtime prover rust-lang supercomputer testnet-node zkevm zkproof zkproof-prover zkvm
Last synced: 19 Oct 2025
https://github.com/privacy-ethereum/sol-spartan-whir
Solidity verifier for the Spartan-WHIR SNARK over the KoalaBear field
solidity-contracts zk zk-snarks zkp zkp-verifier zkproof-prover zksnarks
Last synced: 29 May 2026
