Alternatives and similar repositories for zk-languages

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

• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆101Updated 2 years ago
• erhant / circomkit
  A testing & development environment for Circom.
  ☆114Updated last month
• privacy-ethereum / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆110Updated 11 months ago
• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆84Updated 8 months ago
• Plonky3 / awesome-plonky3
  A curated list of Plonky3 resources, libraries, tools and more.
  ☆33Updated 4 months ago
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆66Updated last week
• tonk-labs / dappicom
  Provable play of Nintendo Entertainment System in Noir
  ☆137Updated last year
• ZKCamp / aztec-noir-course
  Resources for learning Noir from ZKCamp's Aztec Course
  ☆56Updated 2 years ago
• 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 5 months ago
• icemelon / halo2-examples
  Include halo2 example circuits
  ☆91Updated last year
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆132Updated 2 years ago
• tarassh / zkSNARK-under-the-hood
  Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
  ☆80Updated last year
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆77Updated 11 months ago
• 0xPARC / plonkathon
  educational python plonk implementation, based on vitalik's py_plonk
  ☆219Updated last year
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆173Updated this week
• ReamLabs / ream
  ream: an Ethereum Lean client written in Rust
  ☆111Updated last week
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆212Updated last year
• thor314 / uncloak
  a community-maintained cryptography resource
  ☆90Updated last year
• rdi-berkeley / zkp-mooc-lab
  ☆87Updated 2 years ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆113Updated last year
• zkjargon / zkjargon.github.io
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆107Updated 2 months ago
• aragonzkresearch / noir-trie-proofs
  ☆70Updated last year
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆52Updated last year
• eth-act / zkevm-book
  Ethereum zkEVM book
  ☆68Updated last week
• ethproofs / ethproofs
  the race to prove Ethereum in real-time
  ☆114Updated this week
• 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…
  ☆100Updated last week
• ret2basic / MoonMath-Companion
  MoonMath Manual notes, exercise solution and extra comments.
  ☆29Updated last year
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆64Updated 3 months ago
• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆91Updated last year
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆74Updated 2 months ago