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
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆20Updated last year
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 11 months ago
• asm-nop / lemma
  ZK Theorem Proving
  ☆10Updated 9 months ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated last year
• therealyingtong / plonkathon
  ☆10Updated 2 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 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
• zkemail / halo2-base64
  Base64 decoding circuit in halo2
  ☆14Updated last year
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆13Updated this week
• 0xPolygonZero / plonky2-ecdsa
  ECDSA gadgets for plonky2
  ☆18Updated last year
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆31Updated 10 months ago
• 0x3327 / SKProof
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆18Updated 3 months ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• paradigmxyz / humanizooor
  ☆17Updated 2 years ago
• ConsenSysDiligence / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆25Updated this week
• DelphinusLab / zkWasm-prover
  ☆20Updated 2 months ago
• maple-labs / xMPL
  Token for accruing protocol revenues
  ☆16Updated 3 years ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• delendum-xyz / starkvm-compiler
  compiler tooling for Stark-based zkVMs
  ☆16Updated 2 years ago
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 3 months ago
• protolambda / rollup-node-experiments
  rollup node experiments
  ☆15Updated 3 years ago