zkvm

The Nexus zkVM: The zero-knowledge virtual machine

Anonymous. Uncensored. Sovereign.

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

Agent behavior that compiles

A curated list of zkVM, zero-knowledge virtual machine

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

A Rust zkVM with a Modular Proof System

prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.

zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

Ethereum execution client targeting the 2030 roadmap. 50 packages, 18K+ tests, 58 EIPs, 100% EF conformance.

Unified zkVM Interface & Toolkit

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

Ethereum zkEVM book

Benchmarks of popular zkVMs including Jolt

A Brainfuck zkVM with Circom.

zkVM benchmarking for Ethereum

Cairo-VM STONE STARK Verifier Rust implementation

A ZK-VM for the Brainfuck language, based on Stwo

Trustless access web2 from web3. Proveable TLS for all chains.