Repositories list

• ethproofs

  Public
  the race to mainnet-grade L1 zkEVMs

  TypeScript

  •

  Apache License 2.0

  •6161 forks•146146 stars•1515 issues•00 pull requests•Updated Sep 15, 2026Sep 15, 2026

• zkdtvm-wasm-stark-verifier

  Public
  JavaScript

  •

  Other

  •11 fork•00 stars•00 issues•00 pull requests•Updated Sep 15, 2026Sep 15, 2026

• openvm2-wasm-stark-verifier

  Public
  Rust

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 5, 2026Sep 5, 2026

• zisk-wasm-stark-verifier

  Public
  WebAssembly bindings for the ZisK STARK verifier.

  HTML

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Sep 1, 2026Sep 1, 2026

• sp1-hypercube-wasm-verifier

  Public
  HTML

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 1, 2026Aug 1, 2026

• .github

  Public
  README for GH org

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 6, 2026Jul 6, 2026

• lighthouse

  Public
  Ethereum consensus client in Rust

  Rust

  •

  Apache License 2.0

  •1.1k1.1k forks•00 stars•00 issues•00 pull requests•Updated Jun 29, 2026Jun 29, 2026

• openvm-eth

  Public
  Rust

  •1515 forks•00 stars•00 issues•00 pull requests•Updated Jun 26, 2026Jun 26, 2026

• airbender-wasm-stark-verifier

  Public
  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 13, 2026May 13, 2026

• ethereum-prover

  Public
  ZK prover for the Ethereum STF

  Rust

  •

  Apache License 2.0

  •44 forks•00 stars•00 issues•00 pull requests•Updated May 12, 2026May 12, 2026

• pico-wasm-stark-verifier

  Public
  HTML

  •22 forks•11 star•00 issues•11 pull request•Updated Apr 30, 2026Apr 30, 2026

• ziren-wasm-stark-verifier

  Public
  HTML

  •44 forks•00 stars•00 issues•11 pull request•Updated Apr 14, 2026Apr 14, 2026

• venus-wasm-stark-verifier

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 6, 2026Apr 6, 2026

• venus

  Public
  Venus: Cysic's efforts on zkVM based on ZisK with customized hardware optimizations

  Rust

  •

  Apache License 2.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Apr 1, 2026Apr 1, 2026

• pico

  Public
  Rust

  •

  Apache License 2.0

  •5353 forks•00 stars•00 issues•00 pull requests•Updated Mar 3, 2026Mar 3, 2026

• risc0

  Public
  RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

  C++

  •

  Apache License 2.0

  •736736 forks•00 stars•00 issues•00 pull requests•Updated Jan 18, 2026Jan 18, 2026

• zksync-airbender

  Public
  RISC-V prover system for ZKsync OS

  Rust

  •

  Apache License 2.0

  •4646 forks•11 star•00 issues•00 pull requests•Updated Nov 21, 2025Nov 21, 2025

• openvm-wasm-stark-verifier

  Public
  HTML

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 19, 2025Nov 19, 2025

• sp1

  Public
  SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

  Rust

  •

  Apache License 2.0

  •703703 forks•00 stars•00 issues•00 pull requests•Updated Nov 13, 2025Nov 13, 2025

• pm

  Public archive
  Project Management: Task issues and project boards

  00 forks•00 stars•66 issues•00 pull requests•Updated Oct 26, 2025Oct 26, 2025

• sp1-wasm-stark-verifier

  Public
  Rust

  •

  MIT License

  •55 forks•00 stars•00 issues•00 pull requests•Updated Oct 25, 2025Oct 25, 2025

• PetraVM

  Public
  A verifiable supercomputer

  Rust

  •

  Apache License 2.0

  •66 forks•00 stars•00 issues•00 pull requests•Updated Sep 20, 2025Sep 20, 2025

• msm-webgpu

  Public
  WebGPU MSM implementation

  Rust

  •

  MIT License

  •33 forks•00 stars•00 issues•00 pull requests•Updated Sep 13, 2025Sep 13, 2025