bulletproofs
Zero-knowledge proof library
A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values.
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
535 stars
30 watching
44 forks
Language: Haskell
last commit: almost 2 years ago
Linked from 1 awesome list
bulletproofscryptographyelliptic-curvespedersen-commitmentrange-proofssigmazero-knowledgezk-snarkszksnarks
matter-labs/awesome-zero-knowledge-proofsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 dalek-cryptography/bulletproofs | A high-performance Rust implementation of Bulletproofs, enabling efficient single-party and multi-party computations with programmable constraints. | 1,049 |
 brownie/cashlib | A system for specifying and executing cryptographic operations and electronic cash transactions in a high-level language. | 54 |
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 234 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 694 |
 baro77/zkbasicscs | A concise introduction to Zero-Knowledge Proofs basics | 119 |
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,790 |
 supranational/sppark | A high-performance library for accelerating zero-knowledge proof generation operations on GPUs | 185 |
| sdiehl/zurihac-crypto | Small minimal examples of modern cryptographic techniques in Haskell | 79 |
 adamisz/from0k2bp | Exploring the development of a cryptographic protocol from scratch to production-ready implementation | 157 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
| iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 210 |
 dusk-network/plonk | A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs | 551 |
 noir-lang/noir | A language for creating secure and efficient proofs in cryptography using a compiler and runtime system | 895 |
 mratsim/constantine | A high-performance cryptography library for cryptographic primitives and protocols used in blockchain and zero-knowledge proof systems | 408 |
 privacy-scaling-explorations/chiquito | A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance. | 188 |