Noir is a domain specific language for zero knowledge proofs

A modular stack for zkVMs, with a focus on productivity, security and performance.

The Nexus zkVM: The zero-knowledge virtual machine

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

A Decentralized Operating System for ZK Applications

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

A toolkit for polynomial IOPs (PIOPs)

Nova: High-speed recursive arguments from folding schemes

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

zkSnark circuit compiler

The fastest, most feature-complete zkVM for developers.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

A STARK prover and verifier for arbitrary computations

Experimental folding schemes library