Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves
☆77Dec 16, 2022Updated 3 years ago
Alternatives and similar repositories for bulletproofs
Users that are interested in bulletproofs are comparing it to the libraries listed below
Sorting:
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- ☆19May 5, 2020Updated 5 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 5 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- Oracle feeder service (presently supporting Terra)☆14Jan 23, 2023Updated 3 years ago
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermint☆100Jan 19, 2021Updated 5 years ago
- ☆15May 27, 2021Updated 4 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23May 6, 2019Updated 6 years ago
- A Rust library for building R1CS gadgets☆92Oct 14, 2021Updated 4 years ago
- A list of exceptionally good cryptography libraries that inspire our work☆15Jul 26, 2019Updated 6 years ago
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago
- Rust language general purpose elliptic curve cryptography.☆273Jul 21, 2024Updated last year
- ☆117Aug 6, 2021Updated 4 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 6 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Jun 24, 2019Updated 6 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆67Feb 13, 2023Updated 3 years ago
- Cryptographic accumulators in Rust.☆139Mar 15, 2025Updated 11 months ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,117Jul 23, 2024Updated last year
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 4 years ago
- A rust implementation of Alexey Akhunov's multiproof algorithm☆33Sep 17, 2020Updated 5 years ago
- ☆78Dec 10, 2019Updated 6 years ago
- Zero Knowledge Proofs Toolkit for CKB☆69Nov 2, 2022Updated 3 years ago
- Driver for round-based protocols in Rust☆24Jan 17, 2024Updated 2 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
- A minimal RedJubjub implementation for use in Zebra.☆30Feb 13, 2026Updated 2 weeks ago
- ECDSA based construction for Anonymous Multi-Hop Locks (https://eprint.iacr.org/2018/472.pdf)☆43Jul 22, 2023Updated 2 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- FS-DKR: One Round Distributed Key Rotation☆34Oct 20, 2023Updated 2 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 6 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- ☆12Jun 25, 2021Updated 4 years ago
- ☆10Oct 2, 2021Updated 4 years ago