Experimental zero-knowledge proof compiler in Rust macros
☆164Oct 23, 2023Updated 2 years ago
Alternatives and similar repositories for zkp
Users that are interested in zkp are comparing it to the libraries listed below
Sorting:
- Composable proof transcripts for public-coin arguments of knowledge☆131Mar 9, 2023Updated 2 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,116Jul 23, 2024Updated last year
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆91Dec 31, 2022Updated 3 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
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆12Nov 18, 2017Updated 8 years ago
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆662Apr 23, 2024Updated last year
- A Rust library for building R1CS gadgets☆92Oct 14, 2021Updated 4 years ago
- A Rust library for polynomial commitments☆423Dec 2, 2024Updated last year
- Communal zk-SNARK MPC for Public Parameters☆145Jun 1, 2021Updated 4 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆59May 19, 2023Updated 2 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆13Dec 20, 2019Updated 6 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- Diffie-Hellman key exchange using the Ristretto255 group, in Rust.☆22Jan 6, 2023Updated 3 years ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆21Sep 15, 2021Updated 4 years ago
- Pairing-friendly elliptic curve library.☆353Apr 17, 2025Updated 10 months ago
- Compact linkable ring signatures. A modification on MLSAG.☆19May 10, 2020Updated 5 years ago
- EIP1962 implementation effort☆70Jul 2, 2024Updated last year
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Nov 24, 2020Updated 5 years ago
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- Zero-knowledge virtual machine written in Rust☆246Mar 17, 2023Updated 2 years ago
- Interfaces for Relations and SNARKs for these relations☆894Sep 12, 2025Updated 5 months ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 4 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Zerocaf: A library built for EC operations in Zero Knowledge.☆51Aug 20, 2021Updated 4 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆324Jan 18, 2024Updated 2 years ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- Zcash "Sapling" cryptography☆87Dec 5, 2025Updated 2 months ago
- A list of exceptionally good cryptography libraries that inspire our work☆15Jul 26, 2019Updated 6 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- ☆117Aug 6, 2021Updated 4 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆92Oct 14, 2022Updated 3 years ago