zkvm

There are 3 repositories under zkvm topic.

• nexus-xyz / nexus-zkvm

  The Nexus zkVM: The zero-knowledge virtual machine

  cryptographynexusrustsnarkzero-knowledgezkvm
  Language:Rust 2558

• darkrenaissance / darkfi

  Anonymous. Uncensored. Sovereign.

  cryptocryptocurrencyhalo2rustzero-knowledgezkzk-snarkszkvm
  Language:Rust 1292

• a16z / jolt

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

  arkworkscryptographysnarkzkzk-snarkszkpcryptozkvm
  Language:Rust 856

• rkdud007 / awesome-zkvm

  A curated list of zkVM, zero-knowledge virtual machine

  awesomezero-knowledgezkvm
  264

• 0xEigenLabs / eigen-zkvm

  A Rust zkVM with a Modular Proof System

  plonkstarkzkpzkvmcircomsnarkjsrust
  Language:Rust 141

• zkMIPS / zkm

  The universal zkvm empowering Ethereum as the global settlement layer

  mipsverifiable-computingzkpzkvm
  Language:Rust 124

• risc0 / risc0-lean4

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

  leanlean4risc-vrisc0riscvriscv32riscv32imzero-knowledgezk-starkzkvm
  Language:Lean 72

• a16z / zkvm-benchmarks

  Benchmarks of popular zkVMs including Jolt

  arkworkscryptocryptographysnarkzkzk-snarkszkpzkvm
  Language:Rust 63

• erhant / zkbrainfuck

  A Brainfuck zkVM with Circom.

  brainfuckcircomzkvmzero-knowledgegolang
  Language:Circom 59

• iosis-tech / swiftness

  Cairo-VM STONE STARK Verifier Rust implementation

  ruststarkverifierzkcairowasmzkvm
  Language:Rust 43

• kkrt-labs / stwo-brainfuck

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

  airstarkstwozero-knowledgezkvm
  Language:Rust 32

• 0xEigenLabs / eigencc

  A TEE framework to ship zkVM/zkEVM

  privacyzkevmzkproofzkvm
  Language:Rust 30

• 0xEigenLabs / eigen-prover

  Eigen zkVM's Proving Service

  proof-marketstarkzkvmeigen-zkvm
  Language:Rust 29
• hdp

  HerodotusDev / hdp

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

  data-processoretheureumruststarkzkvm
  Language:Rust 28

• Okm165 / stwo-web-stark

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

  cairowasmwebzkvmmobilestarkcirclestark
  Language:TypeScript 27

• scroll-tech / zkvm-prover

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

  ethereumscrollzkvm
  Language:Rust 23

• zksecurity / stark-book

  STARK book

  cairodeepfristarkzkvmethstark
  Language:CSS 20

• arcxteam / nexus-node

  Docker Complete Guide - Run Nexus node as Prover Network.

  nexusnode-guidenode-runtimerust-langtestnet-nodezkevmzkvmnexus-nodenexuslabsnexus-clinexus-scriptsproversupercomputerzkproofzkproof-prover
  Language:Shell 15

• 0xch4 / brainplonk

  A BrainFuck zkVM based on a customised version of PlonkUp

  arkworkscryptoplonkzero-knowledgezkzk-snarkszk-starkszkpzkvm
  Language:Rust 11

• cryptape / ckb-bf-zkvm

  A BrainFuck zkVM implementation on CKB, using Halo2.

  brainfuckckbzkvmhalo2zkpckb-vm
  Language:Rust 6

• lucasmenendez / groth16-sp1-verifier

  Basic Groth16 SnarkJS verifier compatible with SP1.

  circomgroth16snarkjssp1zero-knowledgezkvm
  Language:Rust 6

• jonas089 / spectre-rad

  Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

  consensusethereumlight-clientzkvmrisc0sp1
  Language:Solidity 4

• the3cloud / zktls

  Trustless access web2 from web3. Proveable TLS for all chains.

  zkzktlszkvm
  Language:Rust 4

• blocksense-network / zkVMs-benchmarks

  Setups and programs for zero-knowledge virtual machine benchmarking

  benchmark-frameworkbenchmark-problemsbenchmark-suitebenchmarkingcontribute-herejoltnexusnixnix-flakeperformancereproduciblerisc0rustsp1zero-knowledgezero-knowledge-proofszero-knowledge-virtual-machineszkmzkvmzkwasm
  Language:Rust 3

• Okm165 / swiftness-solana

  Cairo-VM Stark Verifier Solana deployment

  cairosolanastarkverifierzkzkvm
  Language:Rust 3

• jonas089 / zk-state-proofs

  Prove Blockchain State in Zero Knowledge

  consensusethereumlight-clientrisc0sp1zkvm
  Language:Rust 2

• Sindri-Labs / sindri-rust

  A rust client for interacting with the Sindri API.

  cryptographygroth16halo2joltplonkplonky2sp1zero-knowledgezkvm
  Language:Rust 2

• 0xEigenLabs / 0xEigenLabs.github.io

  blockchainzkpsnarkzkvm
  Language:JavaScript 1

• keroro520 / lc3-zkvm

  LC3 Zero-Knowledge Virtual Machine

  lc3lc3-vmzkstarkszkvm
  Language:Rust 1

• MartinCastroAlvarez / zk-proof

  Risc Zero Rust App

  dockerrisc-vrisczerorustzero-knowledgezero-knowledge-proofszkvm
  Language:Rust 1

• varun-doshi / sp1-evm-header

  EVM Block header verification using SP1

  ethereumzkzkvm
  Language:Rust 1

• broadvilks / PixieZKVM

  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

  plonky2starkzero-knowledgezkvm
  Language:Rust

• keroro520 / zk-puzzle-chain

  ZK-Puzzle-Chain: A Simple Chain, Integrating RISC-Zero's zkVM for PoW

  blockchainblockchain-technologyrisc-zerorisc0zkzkpzkvm
  Language:Rust

• MartinCastroAlvarez / zk-trust

  Zero-Knowledge Contract Trust Mechanism

  ethereumetherscanevmweb3zero-knowledgezkvmzokratescoinmarketcapsolidity
  Language:Python

• 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

  rustsp1succinctzero-knowledge-proofzkvm
  Language:Rust

• olegfomenko / valida-examples

  Valida Pedersen commitment verification example

  zkvm
  Language:Rust