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/zkMIPS/zkm
The universal zkVM empowering Ethereum as the Global Settlement Layer
mips verifiable-computing zkp zkvm
Last synced: 27 Nov 2024
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 Apr 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: 12 Apr 2025
https://github.com/okm165/stwo-web-stark
Cairo circuits STWO web demos
cairo circlestark mobile stark wasm web zkvm
Last synced: 02 Jan 2025
https://github.com/jonas089/spectre-rad
Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)
consensus ethereum light-client risc0 sp1 zkvm
Last synced: 04 Apr 2025
https://github.com/varun-doshi/sp1-evm-header
EVM Block header verification using SP1
Last synced: 29 Mar 2025
https://github.com/olegfomenko/valida-examples
Valida Pedersen commitment verification example
Last synced: 23 Mar 2025
https://github.com/olegfomenko/risc0-examples
RISC Zero Pedersen commitment verification example
Last synced: 23 Mar 2025
https://github.com/martincastroalvarez/zk-proof
Risc Zero Rust App
docker risc-v risczero rust zero-knowledge zero-knowledge-proofs zkvm
Last synced: 05 Apr 2025
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: 18 Feb 2025
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/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: 17 Mar 2025
https://github.com/jonas089/zk-state-proofs
Prove Blockchain State in Zero Knowledge
consensus ethereum light-client risc0 sp1 zkvm
Last synced: 04 Apr 2025