0xMiden/miden-vm

The Nexus zkVM: The zero-knowledge virtual machine

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

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

A zkVM for Decentralized Private Computations (DPC)

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

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

StarkWare's next gen prover

The proof systems used by Mina

Noir is a domain specific language for zero knowledge proofs