Composable proof transcripts for public-coin arguments of knowledge
☆131Mar 9, 2023Updated 2 years ago
Alternatives and similar repositories for merlin
Users that are interested in merlin are comparing it to the libraries listed below
Sorting:
- Experimental zero-knowledge proof compiler in Rust macros☆164Oct 23, 2023Updated 2 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 5 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆13Dec 20, 2019Updated 6 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- dalek-compatible implementation of the merlin transcript protocol☆28Feb 11, 2020Updated 6 years ago
- SageMath library for constructing elliptic curves☆74Jul 14, 2023Updated 2 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆324Jan 18, 2024Updated 2 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,116Jul 23, 2024Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- Traits and utilities for working with finite fields.☆255Apr 17, 2025Updated 10 months ago
- A pure rust implementation of Arcturus proofs for confidential transactions.☆12Sep 28, 2025Updated 5 months ago
- ☆111Nov 27, 2025Updated 3 months ago
- A Solidity implementation of Halo2's Pasta curves☆50Mar 30, 2023Updated 2 years ago
- A Rust library for polynomial commitments☆423Dec 2, 2024Updated last year
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆62Sep 4, 2023Updated 2 years ago
- Interfaces for Relations and SNARKs for these relations☆894Sep 12, 2025Updated 5 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated last year
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆186Sep 12, 2025Updated 5 months ago
- Composable proof transcripts for public-coin arguments of knowledge☆52Aug 21, 2024Updated last year
- Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific☆24May 10, 2020Updated 5 years ago
- A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group☆15Jan 15, 2021Updated 5 years ago
- ARCHIVED/MOVED: please visit the new location☆703Dec 6, 2025Updated 2 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- Minimal Merkle Tree implementations☆31Jun 13, 2025Updated 8 months ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- elliptic curve construction tool☆17Feb 24, 2023Updated 3 years ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- Compact linkable ring signatures. A modification on MLSAG.☆19May 10, 2020Updated 5 years ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Implementations of popular elliptic curves☆311Dec 18, 2023Updated 2 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Jun 13, 2023Updated 2 years ago
- Pairing-friendly elliptic curve library.☆353Apr 17, 2025Updated 10 months ago
- A consensus-compatible Zcash node client written in Rust. 🦓☆80Jun 6, 2022Updated 3 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago