Alternatives and similar repositories for zk-languages

Users that are interested in zk-languages are comparing it to the libraries listed below

• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆89Updated 2 weeks ago
• privacy-ethereum / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆113Updated last year
• zkemail / zk-regex
  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…
  ☆102Updated 2 months ago
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆103Updated 3 years ago
• erhant / circomkit
  A testing & development environment for Circom.
  ☆117Updated 5 months ago
• tonk-labs / dappicom
  Provable play of Nintendo Entertainment System in Noir
  ☆136Updated last year
• icemelon / halo2-examples
  Include halo2 example circuits
  ☆92Updated 2 years ago
• zkjargon / zkjargon.github.io
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆111Updated last week
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆102Updated last year
• Plonky3 / awesome-plonky3
  A curated list of Plonky3 resources, libraries, tools and more.
  ☆42Updated last month
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆72Updated last month
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆132Updated 2 years ago
• thor314 / uncloak
  a community-maintained cryptography resource
  ☆92Updated last year
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆55Updated 9 months ago
• axiom-crypto / halo2-scaffold
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆112Updated 2 years ago
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆133Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆107Updated 2 years ago
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆181Updated last year
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆139Updated 7 months ago
• ZKCamp / aztec-noir-course
  Resources for learning Noir from ZKCamp's Aztec Course
  ☆59Updated 2 years ago
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆147Updated last year
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆245Updated last year
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆219Updated 2 years ago
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆97Updated 2 months ago
• yi-sun / circom-pairing
  ☆204Updated 2 years ago
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆79Updated last month
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆78Updated last year
• aragonzkresearch / noir-trie-proofs
  ☆71Updated last year
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆58Updated last year
• privacy-ethereum / chiquito
  DSL for Halo2 circuits
  ☆188Updated last year