microbecode/zk-languages external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

microbecode/zk-languages

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/microbecode/zk-languages)

Close

microbecode / zk-languagesView on GitHubMore

• External links
• Readme badge

Introduction to various ZK languages

☆89Sep 5, 2025Updated 5 months ago

Alternatives and similar repositories for zk-languages

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

• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 4 months ago
• keep-starknet-strange / scaffold-garaga

  View on GitHub
  Noir + Garaga + Starknet web app tutorial (in-browser proving)
  ☆27Dec 4, 2025Updated 2 months ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• ingonyama-zk / smallfield-super-sumcheck

  View on GitHub
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆19May 16, 2025Updated 9 months ago
• erhant / lambda-0b10

  View on GitHub
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆29Oct 13, 2024Updated last year
• QEDProtocol / plonky2.5

  View on GitHub
  🪩 verify plonky3 proofs in plonky2
  ☆19Mar 28, 2024Updated last year
• BrianSeong99 / Plonky3_RangeCheck

  View on GitHub
  This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…
  ☆27Apr 4, 2025Updated 10 months ago
• banyancomputer / hot-proofs-blake3-circom

  View on GitHub
  banyan's hot on-chain data storage zk proofs
  ☆14May 22, 2025Updated 9 months ago
• francoperez03 / noir-cookbook

  View on GitHub
  ☆14May 8, 2025Updated 9 months ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• Okm165 / binius-web-snark

  View on GitHub
  Binius circuits web demos
  ☆14Dec 15, 2024Updated last year
• kurtpan666 / Baby-Binius

  View on GitHub
  Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes​.
  ☆12May 27, 2024Updated last year
• BrianSeong99 / Plonky3_Fibonacci

  View on GitHub
  This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
  ☆42Jun 29, 2025Updated 8 months ago
• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated last month
• privacy-ethereum / DefinitelySetup

  View on GitHub
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Jul 18, 2025Updated 7 months ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• iden3 / rapidsnark

  View on GitHub
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆90Jan 7, 2026Updated last month
• microbecode / stark-from-zero

  View on GitHub
  Create a Stark prover & verifier from zero
  ☆68Feb 17, 2026Updated last week
• levs57 / protostar-works

  View on GitHub
  bottom text
  ☆16Jan 26, 2024Updated 2 years ago
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• Okm165 / stwo-web-stark

  View on GitHub
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆29May 30, 2025Updated 9 months ago
• a16z / zkvm-benchmarks

  View on GitHub
  Benchmarks of popular zkVMs including Jolt
  ☆64Apr 19, 2024Updated last year
• PayneJoe / PNova

  View on GitHub
  Plonkish Nova implementation along with advanced features
  ☆16Dec 16, 2023Updated 2 years ago
• nemi-fi / mezcal

  View on GitHub
  Cutting edge on-chain dark pool
  ☆20Sep 26, 2025Updated 5 months ago
• zk-bankai / soulforge

  View on GitHub
  ☆18Jul 16, 2025Updated 7 months ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 months ago
• hash-based-snargs-book / hash-based-snargs-book

  View on GitHub
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆225Dec 4, 2025Updated 2 months ago
• IrreducibleOSS / binius

  View on GitHub
  A SNARK using towers of binary fields, implemented in Rust .
  ☆128Sep 9, 2025Updated 5 months ago
• pnyda / zkjson

  View on GitHub
  JSON parser written in Lurk
  ☆28Jun 17, 2023Updated 2 years ago
• paritytech / fflonk

  View on GitHub
  ☆31Feb 19, 2026Updated last week
• vacp2p / zk-explorations

  View on GitHub
  ☆32Apr 15, 2024Updated last year
• puma314 / batch-ecdsa

  View on GitHub
  Batch ECDSA in circom
  ☆35Jul 20, 2022Updated 3 years ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 months ago