Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)
☆184May 20, 2022Updated 3 years ago
Alternatives and similar repositories for BulletProofLib
Users that are interested in BulletProofLib are comparing it to the libraries listed below
Sorting:
- Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.☆84Jun 20, 2024Updated last year
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,117Jul 23, 2024Updated last year
- Learning how to bulletproofs☆38Dec 22, 2018Updated 7 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- Java library for distributed zero knowledge proof systems☆249Apr 13, 2022Updated 3 years ago
- A Java library for zk-SNARK circuits☆215Dec 17, 2022Updated 3 years ago
- ZKProofs website☆90Oct 25, 2023Updated 2 years ago
- Recursive SNARKs based on Plonk and Halo☆116Oct 19, 2021Updated 4 years ago
- ☆52May 12, 2023Updated 2 years ago
- Pairing-friendly elliptic curve library.☆353Apr 17, 2025Updated 10 months ago
- A private payment system for Ethereum-based blockchains, with no trusted setup.☆309Jun 24, 2024Updated last year
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- C++ library for IOP-based zkSNARKs☆176Jan 12, 2024Updated 2 years ago
- a VRF implementation following this ietf draft: https://tools.ietf.org/html/draft-goldbe-vrf-00☆21Jul 16, 2018Updated 7 years ago
- C++ library for zkSNARKs☆1,916Jun 12, 2025Updated 8 months ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Feb 9, 2018Updated 8 years ago
- Sample implementation of NSEC5 cryptography☆23Aug 27, 2018Updated 7 years ago
- OCaml DSL for verifiable computation☆505Jan 22, 2026Updated last month
- A proof-of-concept for stateless Bitcoin nodes.☆30Apr 18, 2019Updated 6 years ago
- Dynamic Universal Accumulator with Batch Update over Bilinear Groups☆15Sep 13, 2021Updated 4 years ago
- A curated list of awesome things related to plonk proof system☆239Aug 17, 2024Updated last year
- zk-SNARK library.☆1,113Updated this week
- Experimental zero-knowledge proof compiler in Rust macros☆164Oct 23, 2023Updated 2 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Apr 5, 2022Updated 3 years ago
- DPC with Universal Setup☆46May 25, 2023Updated 2 years ago
- Fawkes-Crypto - zkSNARKs framework☆22Feb 6, 2024Updated 2 years ago
- A toolbox for zkSNARKs on Ethereum☆1,881Aug 1, 2024Updated last year
- one of many proofs, ring signatures, and zerocoin algo from https://eprint.iacr.org/2014/764.pdf☆15Dec 12, 2022Updated 3 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆77Dec 16, 2022Updated 3 years ago
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago
- Communal zk-SNARK MPC for Public Parameters☆145Jun 1, 2021Updated 4 years ago
- Library for zero-knowledge proof based applications (like anonymous credentials)☆239Nov 25, 2022Updated 3 years ago
- zk-SNARK parameter multi-party computation protocol☆176Oct 30, 2019Updated 6 years ago
- a web page / paper☆18Feb 24, 2017Updated 9 years ago
- zkSNARK library implementation in Go from scratch (compiler, setup, prover, verifier)☆262Jun 13, 2021Updated 4 years ago