Repositories list

• Ziren

  Public
  Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

  mipsblockchainstark+ 4

  mipsblockchainstarksnarkzkpmips32r2zkvm

  Rust

  •

  Apache License 2.0

  •8080 forks•114114 stars•99 issues•99 pull requests•Updated Apr 20, 2026Apr 20, 2026

• Plonky3

  Public
  A toolkit for polynomial IOPs (PIOPs)

  Rust

  •

  Apache License 2.0

  •417417 forks•00 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• ziren-wasm-verifier

  Public
  Verify STARK, Groth16 and Plonk proofs in browser.

  zkpzkvmziren+ 1

  zkpzkvmzirenzkmips

  Rust

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

• reth-processor

  Public
  Rust

  •55 forks•11 star•00 issues•11 pull request•Updated Apr 13, 2026Apr 13, 2026

• zkm-prover

  Public
  A parallel proving service for ZKM.

  Rust

  •2323 forks•2222 stars•00 issues•33 pull requests•Updated Mar 26, 2026Mar 26, 2026

• ziren-shape-bin

  Public
  11 fork•00 stars•00 issues•00 pull requests•Updated Mar 25, 2026Mar 25, 2026

• toolchain

  Public
  Shell

  •11 fork•00 stars•22 issues•00 pull requests•Updated Jan 9, 2026Jan 9, 2026

• rust-workspace

  Public
  Empowering everyone to build reliable and efficient software.

  Rust

  •

  Other

  •15k15k forks•00 stars•00 issues•00 pull requests•Updated Jan 8, 2026Jan 8, 2026

• llvm-project

  Public
  Rust-specific fork of LLVM.

  17k17k forks•00 stars•00 issues•00 pull requests•Updated Jan 8, 2026Jan 8, 2026

• semaphore-gnark-11

  Public
  Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool

  Go

  •

  Apache License 2.0

  •1515 forks•11 star•00 issues•00 pull requests•Updated Jan 5, 2026Jan 5, 2026

• gnark

  Public
  Go

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Dec 31, 2025Dec 31, 2025

• rust-bitcoin

  Public
  Rust Bitcoin library

  Rust

  •

  Creative Commons Zero v1.0 Universal

  •967967 forks•00 stars•00 issues•00 pull requests•Updated Aug 26, 2025Aug 26, 2025

• tendermint-rs

  Public
  Client libraries for Tendermint/CometBFT in Rust!

  Rust

  •

  Apache License 2.0

  •256256 forks•00 stars•00 issues•00 pull requests•Updated Aug 16, 2025Aug 16, 2025

• poseidon2

  Public
  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 27, 2025Jul 27, 2025

• zkvm-benchmarks

  Public
  Benchmarks of popular zkVMs including Jolt

  Rust

  •2525 forks•44 stars•00 issues•00 pull requests•Updated Jul 25, 2025Jul 25, 2025

• zkm-project-template

  Public
  ZKM Development Template/Framework

  Solidity

  •

  Apache License 2.0

  •1515 forks•3030 stars•00 issues•00 pull requests•Updated Jul 2, 2025Jul 2, 2025

• evm

  Public
  Rust

  •

  Apache License 2.0

  •9696 forks•00 stars•00 issues•00 pull requests•Updated Jun 3, 2025Jun 3, 2025

• cc-rs

  Public
  Rust library for build scripts to compile C/C++ code into a Rust library

  Rust

  •

  Apache License 2.0

  •572572 forks•00 stars•00 issues•22 pull requests•Updated May 22, 2025May 22, 2025

• revm

  Public
  Rust implementation of the Ethereum Virtual Machine.

  Rust

  •

  MIT License

  •993993 forks•00 stars•00 issues•00 pull requests•Updated Apr 25, 2025Apr 25, 2025

• revme

  Public
  Rust

  •33 forks•11 star•11 issue•00 pull requests•Updated Apr 24, 2025Apr 24, 2025

• zkmips-ci

  Public
  Dockerfile

  •22 forks•00 stars•00 issues•00 pull requests•Updated Apr 14, 2025Apr 14, 2025

• zkm

  Public archive
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA

  mipszkpverifiable-computing+ 1

  mipszkpverifiable-computingzkvm

  Rust

  •

  MIT License

  •6262 forks•133133 stars•77 issues•22 pull requests•Updated Apr 10, 2025Apr 10, 2025

• septic-curve-over-koalabear

  Public
  Constructing and verify the security of EC over septic extension of Koalabear Prime.

  Python

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Mar 27, 2025Mar 27, 2025

• powdr-revm

  Public
  Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity

  Rust

  •

  MIT License

  •993993 forks•00 stars•00 issues•00 pull requests•Updated Mar 22, 2025Mar 22, 2025

• gnark-plonky2-verifier

  Public
  Go

  •

  MIT License

  •44 forks•33 stars•00 issues•11 pull request•Updated Mar 5, 2025Mar 5, 2025

• docs

  Public
  TypeScript

  •44 forks•00 stars•00 issues•00 pull requests•Updated Feb 21, 2025Feb 21, 2025

• zkm-ci

  Public
  Dockerfile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 9, 2025Feb 9, 2025

• settlement-network

  Public
  TypeScript

  •22 forks•00 stars•00 issues•00 pull requests•Updated Nov 1, 2024Nov 1, 2024

• docs-archive

  Public
  55 forks•33 stars•11 issue•33 pull requests•Updated Aug 27, 2024Aug 27, 2024

• succinctx

  Public
  The schelling point for ZK applications.

  Rust

  •

  Apache License 2.0

  •7474 forks•00 stars•00 issues•00 pull requests•Updated Aug 9, 2024Aug 9, 2024