The proof systems used by Mina

Penumbra is a privacy-preserving decentralized exchange for all of crypto

「Rustでもわかるシステムプログラミング」

Nockchain protocol monorepo

A Rust library for polynomial commitments

Commonware Library Primitives and Examples

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Pairing-friendly elliptic curve library.

A STARK-based VM focused on code reuse, performance, and modularity

Rust Poseidon implementation (contact: @porcuquine)

Cryptography Educational Foundations

A suite of rust libraries for secure multi-party computation

A Rust library for the Marlin preprocessing zkSNARK

A Rust implementation of the Groth16 zkSNARK

Complete Starknet library in Rust™

A pure Rust PLONK implementation using arkworks as a backend.

Implementations of popular elliptic curves

Boojum, the scariest SNARK implementation.

A compiler for fully homomorphic encryption and zero knowledge proofs

Monorepo of halo2 crates

Candid Library for the Internet Computer

The ZK Compression Protocol For Solana

A performant and modular zkVM framework built for customization and extensibility.

Multi-party computation libraries written in Rust 🦀

Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.