Alternatives and similar repositories for ZKP-Languages

Users that are interested in ZKP-Languages are comparing it to the libraries listed below

• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 3 months ago
• cursive-team / babyjubjub-ecdsa
  Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures
  ☆21Updated 7 months ago
• succinctlabs / hypercube-verifier
  ☆35Updated 2 weeks ago
• privacy-scaling-explorations / vOPRF-ID
  A monorepo for vOPRF-based secure nullifiers generation
  ☆15Updated last month
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆29Updated 6 months ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• Janmajayamall / tfhe-research
  ☆13Updated last year
• CPerezz / Awesome-crypto-articles
  A list of worth-reading articles about Cryptohraphy
  ☆16Updated 10 months ago
• privacy-scaling-explorations / Trinity
  Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…
  ☆21Updated last month
• crate-crypto / rust-eth-kzg
  ☆23Updated this week
• zkemail / noir-jwt
  Noir library to verify JWT tokens, and prove claims.
  ☆28Updated last month
• dmpierre / ark-superspartan
  An arkworks implementation of the superspartan PIOP
  ☆13Updated 8 months ago
• morgana-proofs / GKR-MSM
  ☆14Updated 5 months ago
• ret2basic / Groth16
  Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.
  ☆13Updated 11 months ago
• moven0831 / fraud-proof-groth16
  Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…
  ☆11Updated last year
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated last year
• ingonyama-zk / smallfield-super-sumcheck
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆13Updated 3 weeks ago
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆22Updated last year
• h-hafezi / kzh_fold
  ☆23Updated this week
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆21Updated last month
• NP-Eng / gkr_tutorial
  ☆12Updated last year
• zkspecs / zkspecs
  ☆21Updated 3 months ago
• zac-williamson / mpclib
  a noir library for multiparty computation primitives
  ☆18Updated 2 months ago
• b-wagn / hash-sig
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆22Updated this week
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆26Updated 7 months ago
• lambdaclass / noir_backend_using_gnark
  A Noir's backend implementation using Gnark
  ☆35Updated last year
• BrianSeong99 / Plonky3_RangeCheck
  This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…
  ☆16Updated 2 months ago
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 7 months ago
• pluto / edge
  client side proving
  ☆30Updated 2 months ago