The Nexus zkVM: The zero-knowledge virtual machine

• UpdatedMar 18, 2025
• Rust

Anonymous. Uncensored. Sovereign.

• UpdatedMar 20, 2025
• Rust

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

• UpdatedMar 21, 2025
• Rust

A curated list of zkVM, zero-knowledge virtual machine

• UpdatedMar 13, 2025

A Rust zkVM with a Modular Proof System

• UpdatedMar 16, 2025
• Rust

The universal zkvm empoering ethereum as the global settlement layer

• UpdatedMar 14, 2025
• Rust

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

• UpdatedFeb 14, 2023
• Lean

Benchmarks of popular zkVMs including Jolt

• UpdatedApr 19, 2024
• Rust

A Brainfuck zkVM with Circom.

• UpdatedJul 21, 2023
• Circom

Cairo-VM STONE STARK Verifier Rust implementation

• UpdatedFeb 4, 2025
• Rust

A TEE framework to ship zkVM/zkEVM

• UpdatedAug 11, 2022
• Rust

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

• UpdatedJan 29, 2025
• Rust

Eigen zkVM's Proving Service

• UpdatedMar 18, 2025
• Rust

Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner

• UpdatedFeb 20, 2025
• Rust

Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇

• UpdatedFeb 19, 2025
• TypeScript

STARK book

• UpdatedSep 25, 2024
• CSS

A BrainFuck zkVM based on a customised version of PlonkUp

• UpdatedMay 4, 2023
• Rust

Nexus is ZkVM a Modular Verifiable Internet. A Complete Guide - Run Nexus node as Prover Network.

• UpdatedFeb 20, 2025
• Shell

Basic Groth16 SnarkJS verifier compatible with SP1.

• UpdatedSep 27, 2024
• Rust

Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture

• UpdatedMar 21, 2025
• Rust