Spartan
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
Spartan: High-speed zkSNARKs without trusted setup
707 stars
16 watching
126 forks
Language: Rust
last commit: 5 months ago cryptography-librarynizkrust-libraryverifiable-computingzero-knowledge-proofszksnarks
Related projects:
| Repository | Description | Stars |
|---|---|---|
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |
 dusk-network/plonk | A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs | 554 |
 baro77/zkbasicscs | A concise introduction to Zero-Knowledge Proofs basics | 119 |
| microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 722 |
 iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 211 |
 sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 534 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
| iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,801 |
| 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 |
 worldcoin/proto-neural-zkp | A system to verify neural networks in zero-knowledge proofs using cryptographic techniques | 172 |
 privacy-scaling-explorations/chiquito | A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance. | 189 |
| dusk-network/poseidon252 | An implementation of a hash algorithm suitable for use in zero-knowledge proof systems | 210 |
 supranational/sppark | A high-performance library for accelerating zero-knowledge proof generation operations on GPUs | 188 |
 delendum-xyz/zk-knowledge | An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications | 117 |