icemelon/halo2-tutorial 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

icemelon/halo2-tutorial

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/icemelon/halo2-tutorial)

Close

icemelon / halo2-tutorialView on GitHubMore

• External links
• Readme badge

☆10Mar 25, 2022Updated 3 years ago

Alternatives and similar repositories for halo2-tutorial

Users that are interested in halo2-tutorial are comparing it to the libraries listed below

• han0110 / gkr

  View on GitHub
  ☆20May 31, 2024Updated last year
• Consensys / gkr-mimc

  View on GitHub
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Jun 24, 2024Updated last year
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• freelerobot / thaler

  View on GitHub
  ☆27May 20, 2022Updated 3 years ago
• Dhole / polyexen

  View on GitHub
  Polynomial Expression Engine
  ☆35Feb 13, 2024Updated 2 years ago
• qope / plonky2-examples

  View on GitHub
  ☆11Feb 26, 2023Updated 3 years ago
• dmpierre / nova-browser-ecdsa

  View on GitHub
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆35Sep 13, 2023Updated 2 years ago
• DrPeterVanNostrand / halo2-merkle

  View on GitHub
  Halo2 Merkle tree circuits
  ☆33May 28, 2021Updated 4 years ago
• privacy-ethereum / zkvm-ideas

  View on GitHub
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Apr 6, 2023Updated 2 years ago
• jtguibas / halo2-merkle-tree

  View on GitHub
  ☆18Mar 28, 2023Updated 2 years ago
• CPerezz / Awesome-crypto-articles

  View on GitHub
  A list of worth-reading articles about Cryptohraphy
  ☆16Jul 24, 2024Updated last year
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated 2 years ago
• fabrizio-m / TyPLONK

  View on GitHub
  Rust PLONK implementation
  ☆39Sep 6, 2024Updated last year
• geometryxyz / technical_notes

  View on GitHub
  A collection of technical notes from the Geometry research team.
  ☆47Apr 17, 2023Updated 2 years ago
• privacy-ethereum / Nova

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• sampritipanda / msm-webgpu

  View on GitHub
  ☆19Dec 19, 2023Updated 2 years ago
• DelphinusLab / halo2aggregator-s

  View on GitHub
  ☆18Oct 27, 2025Updated 4 months ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated last year
• EDGDrummond / EF-grant

  View on GitHub
  ☆22Nov 1, 2023Updated 2 years ago
• montekki / thaler-study

  View on GitHub
  Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'
  ☆21Jan 15, 2026Updated last month
• matter-labs / vm2

  View on GitHub
  High performance EraVM for zkSync.
  ☆23Updated this week
• tokamak-network / DEPRECATED-zvm

  View on GitHub
  Zero Knowledge based Ethereum Virtual Machine in Circom language
  ☆17Jun 3, 2025Updated 9 months ago
• adria0 / awesome-halo2

  View on GitHub
  List of halo2-related resources
  ☆203Jan 30, 2025Updated last year
• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• icemelon / halo2-examples

  View on GitHub
  Include halo2 example circuits
  ☆92Oct 16, 2023Updated 2 years ago
• summa-dev / halo2-experiments

  View on GitHub
  For practice to using halo2
  ☆23Jun 7, 2023Updated 2 years ago
• EdgeMatrixChain / emc_java_sdk

  View on GitHub
  ☆12Sep 6, 2023Updated 2 years ago
• privacy-ethereum / nova-by-hand

  View on GitHub
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆29Jun 12, 2024Updated last year
• fluidex / plonkit

  View on GitHub
  A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
  ☆159Jan 24, 2023Updated 3 years ago
• summa-dev / circuits-circom

  View on GitHub
  Circuits, written in circom, for Proof Of Solvency
  ☆26Feb 11, 2023Updated 3 years ago
• WizardOfMenlo / stir

  View on GitHub
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆72Nov 6, 2025Updated 3 months ago
• erhant / circom101

  View on GitHub
  Circom arithmetic circuits and concepts explained, in depth.
  ☆31May 26, 2025Updated 9 months ago
• wenjin1997 / awesome-zkp-learning

  View on GitHub
  Personal notes about ZKP
  ☆29Jun 12, 2024Updated last year
• phantomzone-org / poulpy

  View on GitHub
  A backend agnostic modular FHE library over the Torus using bivariate polynomial representation
  ☆51Feb 24, 2026Updated last week
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• enricobottazzi / halo2-intro

  View on GitHub
  ☆30Mar 24, 2023Updated 2 years ago
• DelphinusLab / continuation-batcher

  View on GitHub
  customizable halo2 circuits batcher
  ☆31Oct 25, 2025Updated 4 months ago
• openvm-org / stark-backend

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week