Top 6 Rust zero-knowledge-proof Projects

grin

36 5,040 6.5 Rust

Minimal implementation of the Mimblewimble protocol.

Project mention: Which other cryptos do you like, and why? | /r/Monero | 2023-05-08

Only XMR and GRIN. Everything else lacks transactional uniformity, or is centralized corpo garbage, or both!

cairo

1 1,389 9.9 Rust

Cairo is the first Turing-complete language for creating provable programs for general computation. (by starkware-libs)
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Spartan

1 628 3.7 Rust

Spartan: High-speed zkSNARKs without trusted setup (by microsoft)
proof-systems

3 365 9.9 Rust

The proof systems used by Mina
zkbitcoin

1 159 9.6 Rust

zkBitcoin: zero-knowledge proofs on Bitcoin!

Project mention: ZkBitcoin: Zero-knowledge proof layer on top of Bitcoin | news.ycombinator.com | 2024-01-28

zk-paillier

2 108 0.0 Rust

A collection of Paillier cryptosystem zero knowledge proofs

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).