There are 3 repositories under zkvm topic.
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 model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Benchmarks of popular zkVMs including Jolt
Cairo-VM STONE STARK Verifier Rust implementation
A ZK-VM for the Brainfuck language, based on Stwo
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. 👇
Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
Docker Complete Guide - Run Nexus node as Prover Network.
A BrainFuck zkVM based on a customised version of PlonkUp
A BrainFuck zkVM implementation on CKB, using Halo2.
Basic Groth16 SnarkJS verifier compatible with SP1.
Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)
Setups and programs for zero-knowledge virtual machine benchmarking
Prove Blockchain State in Zero Knowledge
A rust client for interacting with the Sindri API.
Risc Zero Rust App
A simple virtual machine whose execution can be proven in ZERO-KNOWLEDGE. Showcases the intricacies of: Trace Generation | Cross-Table Lookups | RangeChecks | Recursive Proofs / Proof Aggregation
ZK-Puzzle-Chain: A Simple Chain, Integrating RISC-Zero's zkVM for PoW
Zero-Knowledge Contract Trust Mechanism
By attesting a ZKP to AI-generated contents (i.e. images), IP of these AI-generated contents can be protected. SP1 / Succinct would be used for generating/verifying a ZKP, which is attested to AI-generated contents