C++2x Performance library

A community-maintained Python framework for creating mathematical animations.

M4GB: Efficient Groebner Basis algorithm

Cryptographic Primitive Code Generation by Fiat

a portable and fast pairing-based cryptography library

C++ library for Finite Fields and Elliptic Curves

Primitives for cryptographic operations on the secp256k1 curve, with zero dependencies and excellent performance.

Cairo is the first Turing-complete language for creating provable programs for general computation.

Cryptographic primitives used in Polygon Miden rollup

A library for generating zk-STARKs.

A pure-Rust implementation of Bulletproofs using Ristretto.

A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)

Monorepo of halo2 crates

The Halo2 zero-knowledge proving system

A toolkit for polynomial IOPs (PIOPs)

Recursive SNARKs based on Plonk and Halo

The proof systems used by Mina

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

zkSnark circuit compiler

zk-SNARK library.

C++ library for zkSNARKs

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

A performant NumPy extension for Galois fields and their applications

A STARK prover and verifier for arbitrary computations

OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.

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