Stars
A pure-Rust implementation of Bulletproofs using Ristretto.
Spartan: High-speed zkSNARKs without trusted setup
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
A preprocessor for mdBook, rendering LaTex equations to HTML at build time.
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
Composable proof transcripts for public-coin arguments of knowledge
A lattice-based non-interactive folding scheme written in Rust
A collection of crates for SPIFFE workload identity, Workload API clients, SPIRE-specific APIs, and TLS integration.
Zero-Knowledge Proof systems: A Deep Dive from Foundations to Frontiers
Code for "Efficient Proofs of Possession for Legacy Signatures", by Woo et al., IEEE S&P 2025
Schnorr Signature algorithm usiing BLS12-381 Curve
CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness
𝅘𝅥𝅮𝅘𝅥𝅮 If life’s little worries are bringing you down, you might want to try this thing I found. I think it will do for you what it’s doing for me. You need to pump iron. You need to push out another s…
Some Rust crates for building zero-knowledge proofs of signature possession.