🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A Decentralized Operating System for ZK Applications

A toolbox for zkSNARKs on Ethereum

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

Anonymous. Uncensored. Sovereign.

A Virtual Machine for Zero-Knowledge Executions

Rust implementation of Ziesha protocol

The fastest, most feature-complete zkVM for developers.

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Noir is a domain specific language for zero knowledge proofs

The Nexus zkVM: The zero-knowledge virtual machine

The Halo2 zero-knowledge proving system

STARK-based virtual machine

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

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

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

A pure Rust PLONK implementation using arkworks as a backend.

ethrex: Ethereum Rust Execution L1 and L2 client.

A privacy-preserving blockchain on Substrate