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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• han0110 / gkr

  View on GitHub
  ☆20May 31, 2024Updated last year
• DrPeterVanNostrand / halo2-merkle

  View on GitHub
  Halo2 Merkle tree circuits
  ☆33May 28, 2021Updated 4 years ago
• Dhole / polyexen

  View on GitHub
  Polynomial Expression Engine
  ☆35Feb 13, 2024Updated 2 years ago
• 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
• freelerobot / thaler

  View on GitHub
  ☆27May 20, 2022Updated 3 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
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• summa-dev / halo2-experiments

  View on GitHub
  For practice to using halo2
  ☆23Jun 7, 2023Updated 2 years ago
• privacy-ethereum / Nova

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• jtguibas / halo2-merkle-tree

  View on GitHub
  ☆18Mar 28, 2023Updated 2 years ago
• fabrizio-m / TyPLONK

  View on GitHub
  Rust PLONK implementation
  ☆39Sep 6, 2024Updated last year
• CPerezz / Awesome-crypto-articles

  View on GitHub
  A list of worth-reading articles about Cryptohraphy
  ☆16Jul 24, 2024Updated last year
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• dmpierre / nova-browser-ecdsa

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

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆38Mar 3, 2024Updated 2 years ago
• qope / plonky2-examples

  View on GitHub
  ☆11Feb 26, 2023Updated 3 years ago
• icemelon / halo2-examples

  View on GitHub
  Include halo2 example circuits
  ☆92Oct 16, 2023Updated 2 years ago
• EDGDrummond / EF-grant

  View on GitHub
  ☆22Nov 1, 2023Updated 2 years ago
• geometryxyz / technical_notes

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

  View on GitHub
  Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'
  ☆21Mar 11, 2026Updated last week
• zhazhahan / pocket

  View on GitHub
  👾自学三天，我重新开发了口袋48
  ☆12Nov 24, 2025Updated 3 months ago
• adria0 / awesome-halo2

  View on GitHub
  List of halo2-related resources
  ☆203Jan 30, 2025Updated last year
• urbit / star.market

  View on GitHub
  ☆10Mar 13, 2024Updated 2 years ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• fluidex / plonkit

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

  View on GitHub
  High performance EraVM for zkSync.
  ☆23Mar 13, 2026Updated last week
• sampritipanda / msm-webgpu

  View on GitHub
  ☆19Dec 19, 2023Updated 2 years ago
• tokamak-network / DEPRECATED-zvm

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

  View on GitHub
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆73Nov 6, 2025Updated 4 months ago
• jasonmorton / halo2-examples

  View on GitHub
  Include halo2 example circuits
  ☆10Jul 4, 2022Updated 3 years ago
• enricobottazzi / halo2-intro

  View on GitHub
  ☆30Mar 24, 2023Updated 3 years ago
• arkworks-rs / circom-compat

  View on GitHub
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆281Aug 26, 2025Updated 6 months ago
• openvm-org / stark-backend

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week
• summa-dev / circuits-circom

  View on GitHub
  Circuits, written in circom, for Proof Of Solvency
  ☆26Feb 11, 2023Updated 3 years ago
• DelphinusLab / halo2aggregator-s

  View on GitHub
  ☆18Oct 27, 2025Updated 4 months ago
• wesfloyd / pinception

  View on GitHub
  Decentralized IPFS Pinning Service AVS
  ☆13Oct 28, 2024Updated last year
• privacy-ethereum / chiquito

  View on GitHub
  DSL for Halo2 circuits
  ☆188Nov 4, 2024Updated last year
• ethresearch / Shuffle_SSLE

  View on GitHub
  ☆15Sep 28, 2020Updated 5 years ago
• anishathalye / chroniton

  View on GitHub
  A tool for formally verifying constant-time software against hardware 🕰️
  ☆14Feb 1, 2025Updated last year