Alternatives and similar repositories for research:

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

• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆20Updated last year
• 0xPolygonZero / plonky2-ecdsa
  ECDSA gadgets for plonky2
  ☆18Updated last year
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• asm-nop / lemma
  ZK Theorem Proving
  ☆10Updated 6 months ago
• delendum-xyz / starkvm-compiler
  compiler tooling for Stark-based zkVMs
  ☆16Updated 2 years ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated 7 months ago
• gubsheep / Setup
  trusted setup MPC tools
  ☆12Updated 4 years ago
• quadratic-funding / mpc-phase2-suite
  The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies
  ☆16Updated last year
• 0x3327 / SKProof
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆18Updated this week
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated last year
• Modulus-Labs / leela_vs_world
  A repository for the Leela VS the World project for On-Chain machine learning
  ☆18Updated 4 months ago
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆35Updated last year
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated last year
• DelphinusLab / zkWasm-prover
  ☆20Updated last week
• 0xPolygonZero / hyperstark
  Early prototype.
  ☆23Updated last year
• daira / plonk-standard
  Draft documents for standardization of Plonkish arithmetization
  ☆23Updated 11 months ago
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated last year
• Consensys / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆23Updated last month
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• 0xClandestine / zk-2fa
  Single owner authorization with zk-based two-factor-authorization.
  ☆18Updated 2 years ago
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• kaushik-himself / winterfell-boilerplate
  ☆13Updated 2 years ago