zkProver
zk verifier
A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries.
1 stars
0 watching
0 forks
Language: Rust
last commit: 7 months ago
Linked from 1 awesome list
crisgarner/awesome-foundryRelated projects:
| Repository | Description | Stars |
|---|---|---|
 nulltea/zk-sql | An engine for proving the correctness of SQL queries without trusting the data source | 84 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 159 |
 delendum-xyz/zk-benchmarking | A benchmarking framework for comparing the performance of different zero-knowledge proof libraries in a variety of use cases and environments. | 128 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
 privacy-scaling-explorations/chiquito | A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance. | 189 |
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 risc0/zeth | A tool that proves Ethereum blocks are valid without relying on external validators or committees. | 385 |
 zk-garage/plonk | A Rust implementation of PLONK proving system with optimized performance and genericity for curve types | 295 |
 leventerkok/sbv | A tool for expressing and proving properties about Haskell programs using SMT solvers. | 245 |
 dalek-cryptography/bulletproofs | A high-performance Rust implementation of Bulletproofs, enabling efficient single-party and multi-party computations with programmable constraints. | 1,058 |
 succinctlabs/succinctx | A collaborative project that provides tools and libraries for building Zero-Knowledge applications using Rust. | 135 |
 lucasgleba/zkriscv | A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness | 47 |
| scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,846 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |