Repositories list

• boundless

  Public
  Monorepo for Boundless, the universal ZK protocol.

  rustcryptographyethereum+ 4

  rustcryptographyethereumblockchainweb3zero-knowledgeverifiable-computation

  Rust

  •

  Apache License 2.0

  •173173 forks•195195 stars•66 issues•3939 pull requests•Updated Jul 9, 2026Jul 9, 2026

• rs-soroban-ultrahonk

  Public
  Rust

  •

  MIT License

  •1111 forks•00 stars•00 issues•00 pull requests•Updated Jul 7, 2026Jul 7, 2026

• steel

  Public
  Steel: The ZK Coprocessor for EVM Apps

  Rust

  •

  Apache License 2.0

  •55 forks•1111 stars•11 issue•44 pull requests•Updated Jun 26, 2026Jun 26, 2026

• kailua

  Public
  The Ultimate ZK Proving Software Suite for Securing OP Rollups

  securityevmkailua+ 4

  securityevmkailuaoptimismdispute-resolutionzero-knowledge-proofsrollups

  Rust

  •

  Apache License 2.0

  •3333 forks•7070 stars•00 issues•11 pull request•Updated Jun 22, 2026Jun 22, 2026

• zeth

  Public
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

  Rust

  •

  Apache License 2.0

  •106106 forks•449449 stars•66 issues•1010 pull requests•Updated Jun 19, 2026Jun 19, 2026

• Signal-Ethereum

  Public
  Rust

  •

  Apache License 2.0

  •55 forks•2323 stars•11 issue•00 pull requests•Updated May 18, 2026May 18, 2026

• stellar-risc0-verifier

  Public
  Implementation of the Risc0 verifier for Stellar blockchain

  Rust

  •

  Apache License 2.0

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

• docs

  Public
  MDX

  •00 forks•11 star•00 issues•00 pull requests•Updated May 12, 2026May 12, 2026

• risc0-crypto

  Public
  Rust

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 4, 2026May 4, 2026

• signal-xrpl

  Public
  Proof of (subjective) finality for the XRPL Blockchain

  Rust

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 27, 2026Apr 27, 2026

• boundless-cross-chain

  Public
  On-chain primitives for Boundless cross-chain verification, starting with Boundless-DVN for LayerZero.

  TypeScript

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

• xrpl-boundless-starter

  Public template
  A starter kit for developing XRPL Smart Escrows with Boundless ZK proof integration

  HTML

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 14, 2026Apr 14, 2026

• boundless-foundry-template

  Public
  Template for developing applications with Boundless and RISC Zero via Foundry

  Rust

  •

  Apache License 2.0

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

• risc0-xrpl-wasm

  Public
  Verifier for RISC0 proofs to be used within the xrpl-wasm environment

  Rust

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 24, 2026Mar 24, 2026

• zk-price-feeds

  Public
  Rust

  •00 forks•33 stars•00 issues•00 pull requests•Updated Mar 20, 2026Mar 20, 2026

• zkc

  Public
  Solidity

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 13, 2026Mar 13, 2026

• signal-on-stellar

  Public
  A Signal: Ethereum light-client on Stellar!

  Rust

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jan 27, 2026Jan 27, 2026

• lido-accounting-oracle

  Public
  LIP-23 Lido oracle that proves computation over beacon state

  Rust

  •

  Apache License 2.0

  •00 forks•11 star•33 issues•11 pull request•Updated Dec 19, 2025Dec 19, 2025

• ethereum-consensus

  Public
  Rust

  •

  Apache License 2.0

  •6767 forks•00 stars•00 issues•00 pull requests•Updated Nov 26, 2025Nov 26, 2025

• 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

  •721721 forks•00 stars•00 issues•00 pull requests•Updated Nov 6, 2025Nov 6, 2025

• risc0-solana

  Public
  TypeScript

  •

  Apache License 2.0

  •99 forks•4343 stars•00 issues•00 pull requests•Updated Oct 24, 2025Oct 24, 2025

• boundless-security

  Public
  00 forks•44 stars•00 issues•00 pull requests•Updated Oct 23, 2025Oct 23, 2025

• kona

  Public
  A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.

  Rust

  •

  MIT License

  •213213 forks•00 stars•00 issues•00 pull requests•Updated Oct 9, 2025Oct 9, 2025

• fullstack-take-home-assignment

  Public
  Fullstack take-home assignment (Next.js)

  11 fork•11 star•00 issues•00 pull requests•Updated Oct 6, 2025Oct 6, 2025

• boundless-transceiver

  Public
  Solidity

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•22 pull requests•Updated Sep 29, 2025Sep 29, 2025

• airdrop-eligibility

  Public
  22 forks•00 stars•11 issue•00 pull requests•Updated Sep 7, 2025Sep 7, 2025

• raiko

  Public
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.

  Rust

  •

  Apache License 2.0

  •134134 forks•00 stars•00 issues•00 pull requests•Updated Aug 30, 2025Aug 30, 2025

• blobstream0

  Public
  Rust

  •

  Apache License 2.0

  •66 forks•1313 stars•22 issues•33 pull requests•Updated Aug 30, 2025Aug 30, 2025

• reth

  Public
  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

  Rust

  •

  Apache License 2.0

  •2.5k2.5k forks•11 star•00 issues•00 pull requests•Updated Aug 18, 2025Aug 18, 2025

• eq-service

  Public
  Rust

  •

  MIT License

  •1010 forks•00 stars•00 issues•00 pull requests•Updated Aug 15, 2025Aug 15, 2025