The proof systems used by Mina
-
Updated
Dec 17, 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
Exonum service implementing privacy-preserving cryptocurrency
A pure-Rust implementation of Bulletproofs using Ristretto.
Bulletproofs for a pairing friendly curve using milagro crypto
Library for privacy-preserving cryptocurrency accounts and transactions.
❄️(zk)Certificates Of Deposit Ledger - Fuego's modular ZK (bulletproofs) L3 Hyperchain rollup. Facilitating CD interest payments, Ξmbers (HEAT) mint verification, C0LDAO, Fuego Mob assets, & DIGM treasury. Powered 100% by XFG collateral burns via Fuego Ξmbers (HEAT) erc20 custom gas token.🔥1 Fwei = 1M Gwei
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."