Lagrange-Labs/plonky2-recursion 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

Lagrange-Labs/plonky2-recursion

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/Lagrange-Labs/plonky2-recursion)

Close

Lagrange-Labs / plonky2-recursionView on GitHubMore

• External links
• Readme badge

plonky2 recursion framework handling different circuits in unified way.

☆16Mar 22, 2024Updated 2 years ago

Alternatives and similar repositories for plonky2-recursion

Users that are interested in plonky2-recursion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• zhenfeizhang / origami

  View on GitHub
  [wip] implementing origami VDF
  ☆13Mar 1, 2023Updated 3 years ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• hero78119 / risc0-nova

  View on GitHub
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Jun 27, 2023Updated 2 years ago
• privacy-ethereum / Nova

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• QEDProtocol / plonky2.5

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

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

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

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• hashcloak / plonky2-merkle-trees

  View on GitHub
  ☆16Jan 5, 2024Updated 2 years ago
• dmpierre / ark-superspartan

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

  View on GitHub
  ☆20May 31, 2024Updated last year
• CharmsDev / polymath

  View on GitHub
  Polymath: Groth16 Is Not The Limit
  ☆31Feb 6, 2025Updated last year
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated 2 years ago
• arkworks-rs / spartan

  View on GitHub
  Spartan on Arkworks
  ☆47Aug 19, 2025Updated 7 months ago
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Mar 13, 2026Updated last week
• paritytech / fflonk

  View on GitHub
  ☆31Feb 19, 2026Updated last month
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• ingonyama-zk / super-sumcheck

  View on GitHub
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆41Feb 17, 2025Updated last year
• sampritipanda / msm-webgpu

  View on GitHub
  ☆19Dec 19, 2023Updated 2 years ago
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• JumpCrypto / plonky2-crypto

  View on GitHub
  Crypto Gadgets for Plonky2
  ☆77May 16, 2024Updated last year
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• brevis-network / zk-benchmark

  View on GitHub
  Benchmark of multiple zk implementations.
  ☆83Aug 3, 2023Updated 2 years ago
• WizardOfMenlo / stir

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

  View on GitHub
  Writing tasm with Rust syntax
  ☆16May 12, 2025Updated 10 months ago
• ingonyama-zk / smallfield-super-sumcheck

  View on GitHub
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆20May 16, 2025Updated 10 months ago
• zksecurity / zprize-ecdsa-varuna

  View on GitHub
  specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification
  ☆10Oct 9, 2023Updated 2 years ago
• pornin / ecgfp5

  View on GitHub
  Curve ecGFp5
  ☆69Mar 31, 2022Updated 3 years ago
• PolyhedraZK / Expander-cpp

  View on GitHub
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆65Feb 17, 2025Updated last year
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• LBruyne / Scalable-Collaborative-zkSNARK

  View on GitHub
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆58Aug 2, 2025Updated 7 months ago
• arielgabizon / Lectures

  View on GitHub
  ☆28Jan 12, 2026Updated 2 months ago