Alternatives and similar repositories for research:

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

• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• lambdaclass / starknet_rollup_on_bitcoin
  Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
  ☆13Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• privacy-scaling-explorations / researches
  ☆10Updated 2 years ago
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• delendum-xyz / starkvm-compiler
  compiler tooling for Stark-based zkVMs
  ☆16Updated 2 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• zkemail / halo2-base64
  Base64 decoding circuit in halo2
  ☆14Updated last year
• 0xPolygonZero / plonky2-ecdsa
  ECDSA gadgets for plonky2
  ☆18Updated last year
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated last year
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• 0xPolygonZero / hyperstark
  Early prototype.
  ☆23Updated 2 years ago
• therealyingtong / plonkathon
  ☆10Updated 2 years ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• Modulus-Labs / leela_vs_world
  A repository for the Leela VS the World project for On-Chain machine learning
  ☆18Updated 7 months ago
• asm-nop / lemma
  ZK Theorem Proving
  ☆10Updated 8 months ago
• nalinbhardwaj / eddy255
  Eddy255 elliptic curve parameters and implementation (embedding Ed25519)
  ☆11Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• gubsheep / Setup
  trusted setup MPC tools
  ☆12Updated 5 years ago
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 2 years ago
• ingonyama-zk / smallfield-super-sumcheck
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆13Updated last week
• tintinweb / vscode-circom-pro
  👩‍💻 Circom compiler, snippets, hover and language support for Visual Studio Code
  ☆15Updated 2 years ago
• ZK-Hack / puzzle-zero-sum-game
  ☆36Updated 2 years ago
• celestiaorg / hana
  Celestia derivation pipeline and proof crate built with kona
  ☆14Updated last week