Alternatives and similar repositories for researches

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

• lita-xyz / reva

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆13Jul 2, 2025Updated 7 months ago
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 3 years ago
• Janmajayamall / ObliviousMessageRetrieval-Old

  View on GitHub
  ☆17Mar 18, 2023Updated 2 years ago
• nullity00 / maci-noir

  View on GitHub
  Writing MACI circuits in Noir
  ☆16Oct 8, 2023Updated 2 years ago
• matter-labs / alloy-zksync

  View on GitHub
  ZKsync support for alloy
  ☆16Jul 14, 2025Updated 7 months ago
• HerodotusDev / accumulators

  View on GitHub
  ☆11Jan 17, 2024Updated 2 years ago
• noir-lang / book

  View on GitHub
  ☆17Mar 25, 2023Updated 2 years ago
• anoma / zkp-compiler-shootout

  View on GitHub
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Dec 19, 2023Updated 2 years ago
• NilFoundation / solana-consensus-proof

  View on GitHub
  In-EVM Solana Light Client State Verification
  ☆36May 10, 2024Updated last year
• 0xyicheng / Awesome-Modular-Blockchain

  View on GitHub
  📃 List of articles and materials about Modular Blockchain
  ☆22May 24, 2022Updated 3 years ago
• ruleslabs / core

  View on GitHub
  ⚙️ Rules core smart contracts
  ☆12Nov 24, 2023Updated 2 years ago
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• Developer-DAO / hardhat-fe

  View on GitHub
  Hardhat plugin to develop smart contracts with Fe
  ☆15Aug 2, 2022Updated 3 years ago
• vacp2p / zk-explorations

  View on GitHub
  ☆32Apr 15, 2024Updated last year
• nulltea / zk-SQL

  View on GitHub
  ZK-based engine for self-sovereign SQL queries
  ☆90Jul 28, 2022Updated 3 years ago
• malik672 / open-stylus

  View on GitHub
  openzepplin smart contracts written in rust for arbritum stylus
  ☆13Apr 20, 2024Updated last year
• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 2024Updated last year
• SorellaLabs / angstrom-santa-claus

  View on GitHub
  Uses magic (zk) to distribute gifts (rewards) to kids (validators)
  ☆13May 9, 2025Updated 9 months ago
• Zellic / weth

  View on GitHub
  Formal verification of WETH9.sol with Z3
  ☆59Nov 19, 2022Updated 3 years ago
• 0xEigenLabs / eigen-zkvm

  View on GitHub
  A Rust zkVM with a Modular Proof System
  ☆141Jul 24, 2025Updated 6 months ago
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• zkcrypto / group

  View on GitHub
  Elliptic curve group traits and utilities.
  ☆99Apr 17, 2025Updated 10 months ago
• iosis-tech / zetina

  View on GitHub
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Dec 5, 2024Updated last year
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• privacy-ethereum / maze

  View on GitHub
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆61May 2, 2023Updated 2 years ago
• nikkolasg / snarkpack

  View on GitHub
  snarkpack for arkwork
  ☆22Jun 11, 2023Updated 2 years ago
• zksecurity / stark-evm-adapter

  View on GitHub
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Oct 2, 2024Updated last year
• CPerezz / Awesome-crypto-articles

  View on GitHub
  A list of worth-reading articles about Cryptohraphy
  ☆16Jul 24, 2024Updated last year
• EDGDrummond / DeVo

  View on GitHub
  Decentralised Voting Scheme
  ☆16Dec 5, 2021Updated 4 years ago
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• gakonst / awesome-sp1

  View on GitHub
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆110Mar 18, 2025Updated 10 months ago
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• eqlabs / zksync-state-reconstruct

  View on GitHub
  Tool to reconstruct zkSync state from commit blocks published on L1
  ☆16Aug 22, 2024Updated last year
• geometryxyz / technical_notes

  View on GitHub
  A collection of technical notes from the Geometry research team.
  ☆47Apr 17, 2023Updated 2 years ago
• thor314 / pebble-stark

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

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• franklynwang / EcneProject

  View on GitHub
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆114Aug 2, 2022Updated 3 years ago
• HerodotusDev / herodotus-evm

  View on GitHub
  Herodotus EVM contracts
  ☆17Sep 1, 2025Updated 5 months ago
• dusk-network / plonkup

  View on GitHub
  Proof system with plonkup back-end proving arguments
  ☆14Jun 16, 2022Updated 3 years ago