Projects in Awesome Lists tagged with zkvm
A curated list of projects in awesome lists tagged with zkvm .
https://github.com/nexus-xyz/nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
cryptography nexus rust snark zero-knowledge zkvm
Last synced: 19 Apr 2025
https://github.com/darkrenaissance/darkfi
Anonymous. Uncensored. Sovereign.
crypto cryptocurrency halo2 rust zero-knowledge zk zk-snarks zkvm
Last synced: 14 May 2025
https://github.com/a16z/jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto. ⚡ 💌
arkworks crypto cryptography snark zk zk-snarks zkp zkvm
Last synced: 19 Apr 2025
https://github.com/ProjectZKM/zkm
The universal zkVM empowering Ethereum as the Global Settlement Layer
mips verifiable-computing zkp zkvm
Last synced: 19 Jul 2025
https://github.com/jiayaoqijia/eth2030
Ethereum execution client targeting the 2030 roadmap. 50 packages, 18K+ tests, 58 EIPs, 100% EF conformance.
blockchain eip ethereum ethereum-client evm execution-layer go peerdas post-quantum zkvm
Last synced: 04 Apr 2026
https://github.com/erhant/zkbrainfuck
A Brainfuck zkVM with Circom.
brainfuck circom golang zero-knowledge zkvm
Last synced: 21 Mar 2025
https://github.com/a16z/zkvm-benchmarks
Benchmarks of popular zkVMs including Jolt
arkworks crypto cryptography snark zk zk-snarks zkp zkvm
Last synced: 19 Jul 2025
https://github.com/eth-act/zkevm-benchmark-workload
zkVM benchmarking for Ethereum
Last synced: 21 Jan 2026
https://github.com/kkrt-labs/stwo-brainfuck
A ZK-VM for the Brainfuck language, based on Stwo
air stark stwo zero-knowledge zkvm
Last synced: 18 Aug 2025
https://github.com/0xeigenlabs/eigen-prover
Eigen zkVM's Proving Service
eigen-zkvm proof-market stark zkvm
Last synced: 29 Jul 2025
https://github.com/scroll-tech/zkvm-prover
Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
Last synced: 10 Aug 2025
https://github.com/arcxteam/nexus-node
Nexus is ZkVM a Modular Verifiable Internet. A Complete Guide - Run Nexus node as Prover Network.
nexus nexus-cli nexus-node nexus-scripts nexuslabs node-guide node-runtime prover rust-lang supercomputer testnet-node zkevm zkproof zkproof-prover zkvm
Last synced: 19 Oct 2025
https://github.com/jonas089/spectre-rad
Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)
consensus ethereum light-client risc0 sp1 zkvm
Last synced: 14 Jul 2025
https://github.com/okm165/stwo-web-stark
Cairo circuits STWO web demos
cairo circlestark mobile stark wasm web zkvm
Last synced: 07 Sep 2025
https://github.com/sanjay-sol/zkvm
A Minimal STARK based zkVM.
air execution-trace field-elements fri goldilocks memory merkle-tree registers zkvm
Last synced: 31 May 2026
https://github.com/shiroonigami23-ui/veritas-protocol-ai-agents
Self-sovereign verifiable compute audit chain prototype for agentic AI code generation (Veritas Iteration 0).
ai-agents audit-chain compliance verifiable-compute zkvm
Last synced: 15 May 2026
https://github.com/jonas089/zk-state-proofs
Prove Blockchain State in Zero Knowledge
consensus ethereum light-client risc0 sp1 zkvm
Last synced: 28 Apr 2026
https://github.com/varun-doshi/sp1-evm-header
EVM Block header verification using SP1
Last synced: 27 Apr 2026
https://github.com/arcxteam/succinct-prover
Guides Run Succinct Prover Spn-Node CPU with Docker
nodetestnet prover succinct succinctprover testnet zkproof zkvm
Last synced: 06 Feb 2026
https://github.com/olegfomenko/risc0-examples
RISC Zero Pedersen commitment verification example
Last synced: 28 Jul 2025
https://github.com/masaun/zk-energy-trading-platform-in-risc0
ZK based Energy Trading Platform in zkVM / Boundless powered by RISC Zero
boundless foundry risc-zero rust solidity zero-knowledge-proof zkvm
Last synced: 20 May 2026
https://github.com/mikebrown0409/project-fuse
Zero-knowledge proof system for verifiable compliance envelopes. Proves compliance checkers executed correctly without revealing sensitive data. Built with RISC Zero zkVM. Phase 1 complete.
audit compliance cryptography gdpr privacy-preserving regulatory-compliance risc-zero rust soc2 zero-knowledge-proofs zkp zkvm
Last synced: 11 Jan 2026
https://github.com/martincastroalvarez/zk-proof
Risc Zero Rust App
docker risc-v risczero rust zero-knowledge zero-knowledge-proofs zkvm
Last synced: 04 Apr 2026
https://github.com/jimmychu0807/epf-cohort6-zkvm
zkVM integration research for Ethereum Protocol Fellowship Cohort 6
Last synced: 31 May 2026
https://github.com/blocksense-network/zkvms-benchmarks
Setups and programs for zero-knowledge virtual machine benchmarking
benchmark-framework benchmark-problems benchmark-suite benchmarking contribute-here jolt nexus nix nix-flake performance reproducible risc0 rust sp1 zero-knowledge zero-knowledge-proofs zero-knowledge-virtual-machines zkm zkvm zkwasm
Last synced: 09 Nov 2025
https://github.com/adust09/leansig-zkvm-bench
Comparing zkVM performance for post-quantum signature verification using LeanSig
Last synced: 16 Jan 2026
https://github.com/masaun/zk-attestation-for-ai-generated-contents
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
rust sp1 succinct zero-knowledge-proof zkvm
Last synced: 05 Apr 2025
https://github.com/olegfomenko/valida-examples
Valida Pedersen commitment verification example
Last synced: 16 Oct 2025