maxgillett/halo2-fri-gadget 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

maxgillett/halo2-fri-gadget

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/maxgillett/halo2-fri-gadget)

Close

maxgillett / halo2-fri-gadgetView on GitHubMore

• External links
• Readme badge

A FRI verifier circuit for the Halo2 proof system

☆77Feb 22, 2023Updated 3 years ago

Alternatives and similar repositories for halo2-fri-gadget

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

• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Feb 25, 2023Updated 3 years ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated 2 years ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• zhenfeizhang / pasta-solidity

  View on GitHub
  A Solidity implementation of Halo2's Pasta curves
  ☆50Mar 30, 2023Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve

  View on GitHub
  ☆33Sep 22, 2023Updated 2 years ago
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• privacy-ethereum / halo2wrong

  View on GitHub
  ☆124Nov 30, 2024Updated last year
• zkemail / halo2-regex

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆36Jul 25, 2024Updated last year
• privacy-ethereum / nova-bench

  View on GitHub
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Apr 6, 2023Updated 2 years ago
• jbaylina / nova-circom-verifier

  View on GitHub
  Nova Verifier in Circom so it can be verified onChain
  ☆59Jun 9, 2023Updated 2 years ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• privacy-ethereum / Nova

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

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated 2 years ago
• scroll-tech / halo2-snark-aggregator

  View on GitHub
  halo2 ecc circuit
  ☆116Feb 17, 2023Updated 3 years ago
• geometryxyz / semacaulk

  View on GitHub
  Gas-efficient and blazing fast proving for private signaling
  ☆81Feb 3, 2024Updated 2 years ago
• matter-labs / rescue-poseidon

  View on GitHub
  Rescue and Poseidon hash function implementations
  ☆43Aug 15, 2024Updated last year
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• nikkolasg / halo2-circuits

  View on GitHub
  ☆28Dec 8, 2021Updated 4 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• qope / SIPP

  View on GitHub
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Oct 8, 2023Updated 2 years ago
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61May 22, 2023Updated 2 years ago
• privacy-ethereum / snark-verifier

  View on GitHub
  ☆155Feb 26, 2024Updated 2 years ago
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated last year
• lyronctk / zator

  View on GitHub
  Verifying a 512-layer CNN w/ Nova
  ☆171May 5, 2023Updated 2 years ago
• caulk-crypto / caulk

  View on GitHub
  ☆114Feb 6, 2024Updated 2 years ago
• succinctlabs / gnark-plonky2-verifier

  View on GitHub
  ☆108Aug 6, 2024Updated last year
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 3 years ago
• adria0 / awesome-halo2

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

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• supranational / pasta-msm

  View on GitHub
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆24Sep 6, 2025Updated 6 months ago
• han0110 / halo2-kzg-srs

  View on GitHub
  ☆33Jan 4, 2024Updated 2 years ago
• arnaucube / go-bellman-verifier

  View on GitHub
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Apr 22, 2020Updated 5 years ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• nalinbhardwaj / Nova-Scotia

  View on GitHub
  Middleware to compile Circom circuits to Nova prover
  ☆244Mar 1, 2024Updated 2 years ago
• yi-sun / circom-pairing

  View on GitHub
  ☆204Nov 25, 2023Updated 2 years ago
• Dhole / polyexen

  View on GitHub
  Polynomial Expression Engine
  ☆35Feb 13, 2024Updated 2 years ago
• jules / grumpkin

  View on GitHub
  Implementation of the Grumpkin curve in Rust.
  ☆29Jul 5, 2023Updated 2 years ago
• DelphinusLab / halo2ecc-s

  View on GitHub
  A re-implemented ECC circuits with halo2.
  ☆29Nov 23, 2024Updated last year