The proof systems used by Mina
-
Updated
Apr 16, 2025 - Rust
The proof systems used by Mina
Arithmatic circuits convertible to R1CS based on Bulletproofs
Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves
Zerocaf: A library built for EC operations in Zero Knowledge.
Argument systems for inner pairing products
Efficient zero-knowledge arguments in the discrete log setting, revisited
A rust library providing ffi for functionality from dalek-cryptography along with some custom functions for use in confidential transactions
Zero-knowledge P&L Prover
A pure-Rust implementation of Bulletproofs using Ristretto.
Exonum service implementing privacy-preserving cryptocurrency
Bulletproofs for a pairing friendly curve using milagro crypto
Add a description, image, and links to the bulletproofs topic page so that developers can more easily learn about it.
To associate your repository with the bulletproofs topic, visit your repo's landing page and select "manage topics."