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-Network 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

Zero-knowledge template library

Cryptographic Addition Chain Generation in Go

ZPiE: Zero-knowledge Proofs in Embedded systems

Circuits for functions of interest to cryptography

C library for prototyping and experimenting with quantum-resistant cryptography

MSVC's implementation of the C++ Standard Library.

Download 'TIDAL' Music On Windows/Linux/MacOs (PYTHON/C#)