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. ⚡

A curated list of zkVM, zero-knowledge virtual machine

A Rust zkVM with a Modular Proof System

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

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

Benchmarks of popular zkVMs including Jolt

A Brainfuck zkVM with Circom.

Cairo-VM STONE STARK Verifier Rust implementation

A TEE framework to ship zkVM/zkEVM

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

Eigen zkVM's Proving Service

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

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

STARK book

A new blockchain architecture with native offchain compute.

A BrainFuck zkVM based on a customised version of PlonkUp

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

Basic Groth16 SnarkJS verifier compatible with SP1.