a16z/jolt

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

Language: Rust - Size: 19.4 MB - Last synced at: about 12 hours ago - Pushed at: about 13 hours ago - Stars: 778 - Forks: 226

blocksense-network/zkVMs-benchmarks

Setups and programs for zero-knowledge virtual machine benchmarking

Language: Rust - Size: 647 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 3

rkdud007/awesome-zkvm

A curated list of zkVM, zero-knowledge virtual machine

Size: 131 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 200 - Forks: 24

scroll-tech/zkvm-prover

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

Language: Rust - Size: 77.6 MB - Last synced at: 2 days ago - Pushed at: 7 days ago - Stars: 7 - Forks: 2

zkMIPS/zkMIPS

An open-source, simple, stable, and universal zkVM on MIPS32r2.

Language: Rust - Size: 14.5 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 5 - Forks: 9

darkrenaissance/darkfi

Anonymous. Uncensored. Sovereign.

Language: Rust - Size: 102 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 1,221 - Forks: 130

nexus-xyz/nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

Language: Rust - Size: 71.7 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 2,413 - Forks: 431

zkMIPS/zkm

The universal zkvm empowering Ethereum as the global settlement layer

Language: Rust - Size: 35 MB - Last synced at: 14 days ago - Pushed at: 17 days ago - Stars: 124 - Forks: 61

kkrt-labs/stwo-brainfuck

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

Language: Rust - Size: 688 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 29 - Forks: 7

walirt/sp1-jump-game

Play online(mock)

Language: HTML - Size: 5.27 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

Okm165/stwo-web-stark

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

Language: TypeScript - Size: 380 KB - Last synced at: 19 days ago - Pushed at: about 1 month ago - Stars: 25 - Forks: 2

a16z/zkvm-benchmarks

Benchmarks of popular zkVMs including Jolt

Language: Rust - Size: 55.7 KB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 59 - Forks: 22

Sindri-Labs/sindri-rust

A rust client for interacting with the Sindri API.

Language: Rust - Size: 663 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 0

0xEigenLabs/eigen-prover

Eigen zkVM's Proving Service

Language: Rust - Size: 1.26 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 29 - Forks: 9

jonas089/spectre-rad

Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

Language: Solidity - Size: 11.2 MB - Last synced at: 22 days ago - Pushed at: 3 months ago - Stars: 4 - Forks: 1

masaun/ZK-energy-trading-platform-in-RISC0

ZK based Energy Trading Platform in zkVM / Boundless powered by RISC Zero

Language: Rust - Size: 98.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

arcxteam/nexus-node

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

Language: Shell - Size: 90.8 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 8 - Forks: 2

InfinityVM/InfinityVM

A new blockchain architecture with native offchain compute.

Language: Rust - Size: 9.58 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 20 - Forks: 2

0xEigenLabs/eigen-zkvm

A Rust zkVM with a Modular Proof System

Language: Rust - Size: 75.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 141 - Forks: 36

HerodotusDev/hdp

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

Language: Rust - Size: 6.86 MB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 28 - Forks: 4

risc0/risc0-lean4

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

Language: Lean - Size: 3.14 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 62 - Forks: 4

MartinCastroAlvarez/zk-proof

Risc Zero Rust App

Language: Rust - Size: 3.54 MB - Last synced at: 21 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

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

Language: Rust - Size: 30.3 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

varun-doshi/sp1-evm-header

EVM Block header verification using SP1

Language: Rust - Size: 127 KB - Last synced at: 28 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

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

Language: Rust - Size: 43.9 MB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Okm165/swiftness-solana

Cairo-VM Stark Verifier Solana deployment

Language: Rust - Size: 219 KB - Last synced at: 25 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

iosis-tech/swiftness

Cairo-VM STONE STARK Verifier Rust implementation

Language: Rust - Size: 10.5 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 40 - Forks: 12

jonas089/zk-state-proofs

Prove Blockchain State in Zero Knowledge

Language: Rust - Size: 856 KB - Last synced at: 22 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 1

olegfomenko/risc0-examples

RISC Zero Pedersen commitment verification example

Language: Rust - Size: 8.79 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

olegfomenko/valida-examples

Valida Pedersen commitment verification example

Language: Rust - Size: 13.7 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

erhant/zkbrainfuck

A Brainfuck zkVM with Circom.

Language: Circom - Size: 115 KB - Last synced at: 23 days ago - Pushed at: almost 2 years ago - Stars: 58 - Forks: 1

keroro520/lc3-zkvm

LC3 Zero-Knowledge Virtual Machine

Language: Rust - Size: 338 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

keroro520/keroro520.github.io

Size: 755 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

0xEigenLabs/eigencc

A TEE framework to ship zkVM/zkEVM

Language: Rust - Size: 60.5 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 30 - Forks: 10

Marky-Shi/sp1_demo

sp1 examples

Language: Rust - Size: 4.4 MB - Last synced at: 6 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

keroro520/zk-puzzle-chain

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

Language: Rust - Size: 43.9 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

zksecurity/stark-book

STARK book

Language: CSS - Size: 3.22 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 21 - Forks: 1

jonas089/sha256-zk-benchmark

Risc0, Risc0-Groth16, SP1 bechmarks for SHA256

Language: Rust - Size: 257 KB - Last synced at: 22 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

supragya/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

Language: Rust - Size: 60.5 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

0xEigenLabs/0xEigenLabs.github.io

Language: JavaScript - Size: 57.6 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 3

cryptape/ckb-bf-zkvm

A BrainFuck zkVM implementation on CKB, using Halo2.

Language: Rust - Size: 938 KB - Last synced at: 23 days ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 1

0xch4/brainplonk

A BrainFuck zkVM based on a customised version of PlonkUp

Language: Rust - Size: 20.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Vesnica/risc0-rust-starter

Language: Rust - Size: 56.6 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0