Alternatives and similar repositories for zk_os

Users that are interested in zk_os are comparing it to the libraries listed below

• lambdaclass / starknet_rollup_on_bitcoin

  View on GitHub
  Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
  ☆13Jul 14, 2023Updated 2 years ago
• recmo / evm-groth16

  View on GitHub
  Groth16 verifier in EVM
  ☆23Jul 8, 2023Updated 2 years ago
• matter-labs / risc_v_simulator

  View on GitHub
  ☆22Dec 4, 2024Updated last year
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• lambdaclass / lambdaworks_kzg

  View on GitHub
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Jun 2, 2023Updated 2 years ago
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 6 months ago
• jules / grumpkin

  View on GitHub
  Implementation of the Grumpkin curve in Rust.
  ☆29Jul 5, 2023Updated 2 years ago
• jonas089 / DISEQ

  View on GitHub
  distributed sequencer with zk consensus
  ☆31Apr 13, 2025Updated 10 months ago
• thor314 / pebble-stark

  View on GitHub
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Oct 29, 2024Updated last year
• zhenfeizhang / larkworks

  View on GitHub
  a lattice lib for building snarks
  ☆21May 20, 2024Updated last year
• asn-d6 / curdleproofs

  View on GitHub
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Oct 16, 2023Updated 2 years ago
• matter-labs / era-boojum

  View on GitHub
  Boojum, the scariest SNARK implementation.
  ☆302Aug 15, 2024Updated last year
• conroi / lcpc

  View on GitHub
  polynomial commitments from linear codes
  ☆50Dec 13, 2024Updated last year
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• succinctlabs / btc-warp

  View on GitHub
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆60May 19, 2023Updated 2 years ago
• zhenfeizhang / origami

  View on GitHub
  [wip] implementing origami VDF
  ☆13Mar 1, 2023Updated 2 years ago
• Evalir / matchmaker-rs

  View on GitHub
  Rust client library for Flashbot's mev-share.
  ☆20Apr 19, 2023Updated 2 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• matter-labs / era-shivini

  View on GitHub
  A library implementing GPU-accelerated zkSync prover.
  ☆28Aug 16, 2024Updated last year
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• zippiehq / rv32i-to-bitvm

  View on GitHub
  ☆15Feb 14, 2024Updated 2 years ago
• matter-labs / era-bellman-cuda

  View on GitHub
  A library implementing GPU-accelerated cryptographic functionality for the zkSync prover
  ☆78Updated this week
• axiom-crypto / axiom-v1-contracts

  View on GitHub
  Axiom smart contracts
  ☆26Jul 17, 2023Updated 2 years ago
• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Feb 25, 2023Updated 2 years ago
• matter-labs / rescue-poseidon

  View on GitHub
  Rescue and Poseidon hash function implementations
  ☆43Aug 15, 2024Updated last year
• summa-dev / summa-solvency

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year
• hero78119 / risc0-nova

  View on GitHub
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Jun 27, 2023Updated 2 years ago
• jbaylina / nova-circom-verifier

  View on GitHub
  Nova Verifier in Circom so it can be verified onChain
  ☆59Jun 9, 2023Updated 2 years ago
• jtriley2p / libhuff

  View on GitHub
  optimized huff snippets
  ☆20May 2, 2023Updated 2 years ago
• NilFoundation / zkEVM1

  View on GitHub
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Jan 3, 2024Updated 2 years ago
• zkjargon / zkjargon.github.io

  View on GitHub
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆113Jan 1, 2026Updated last month
• microsoft / Spartan2

  View on GitHub
  Spartan: High-speed zkSNARKs without trusted setup
  ☆126Jan 30, 2026Updated 2 weeks ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated last year
• 0xkitetsu-dineshsm / Huff-Challenge

  View on GitHub
  ☆18Aug 31, 2022Updated 3 years ago
• odradev / evm-at-risc0

  View on GitHub
  ☆17Feb 13, 2023Updated 3 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• qope / SIPP

  View on GitHub
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Oct 8, 2023Updated 2 years ago
• 0xfuturistic / sequencer-commitments

  View on GitHub
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Dec 4, 2023Updated 2 years ago