zkproof-prover
Here are 8 public repositories matching this topic...
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
- Updated
Sep 4, 2023 - Rust
ZPrize 2022 - All qualified entries
- Updated
Sep 21, 2023 - Rust
A toolchain for interaction with the Proof Market protocol.
- Updated
Jan 5, 2024 - C++
Nexus is ZkVM a Modular Verifiable Internet. A Complete Guide - Run Nexus node as Prover Network.
- Updated
Feb 20, 2025 - Shell
Implementation of Dusk Network privacy-oriented PoS protocol, aka Proof of Blind Bid
- Updated
Apr 8, 2020 - Rust
ZK13: A Super Fast Zero-Knowledge Proof Protocol for Set Membership
- Updated
Apr 9, 2024 - Go
- Updated
May 10, 2024 - Assembly
Noir proof verifier, boilerplate for adding privacy to dapps
- Updated
Mar 5, 2025 - Solidity
Improve this page
Add a description, image, and links to thezkproof-prover topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thezkproof-prover topic, visit your repo's landing page and select "manage topics."