CharmsDev/polymath 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

CharmsDev/polymath

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/CharmsDev/polymath)

Close

CharmsDev / polymathView on GitHubMore

• External links
• Readme badge

Polymath: Groth16 Is Not The Limit

☆31Feb 6, 2025Updated last year

Alternatives and similar repositories for polymath

Users that are interested in polymath are comparing it to the libraries listed below

• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Feb 12, 2026Updated 2 weeks ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• zk-VerITAS / VerITAS

  View on GitHub
  ☆14Oct 9, 2024Updated last year
• PolyhedraZK / Expander-cpp

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

  View on GitHub
  ☆31Feb 19, 2026Updated last week
• dmpierre / ark-superspartan

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

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• arkworks-rs / spongefish

  View on GitHub
  Fiat-Shamir for the masses.
  ☆88Feb 14, 2026Updated 2 weeks ago
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• CPerezz / Awesome-crypto-articles

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

  View on GitHub
  snarkpack for arkwork
  ☆22Jun 11, 2023Updated 2 years ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• alinush / asvc-paper

  View on GitHub
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Jun 3, 2021Updated 4 years ago
• phantomzone-org / obfustopia

  View on GitHub
  We're living in Obfustopia
  ☆27Jan 2, 2025Updated last year
• zama-ai / verifiable-fhe-paper

  View on GitHub
  Verifiable FHE prototype
  ☆27Aug 12, 2024Updated last year
• conroi / lcpc

  View on GitHub
  polynomial commitments from linear codes
  ☆50Dec 13, 2024Updated last year
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• WizardOfMenlo / stir

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

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated 2 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
• drahnr / rs-ec-perf

  View on GitHub
  ☆13Aug 7, 2023Updated 2 years ago
• td-kwj-zp2023 / webgpu-msm-bls12-377

  View on GitHub
  WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023
  ☆14Nov 18, 2024Updated last year
• ethresearch / Shuffle_SSLE

  View on GitHub
  ☆15Sep 28, 2020Updated 5 years ago
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated 11 months ago
• greenhat / omnizk

  View on GitHub
  Compiler framework for ZK VMs
  ☆35Aug 2, 2023Updated 2 years ago
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆261Updated this week
• Lagrange-Labs / plonky2-recursion

  View on GitHub
  plonky2 recursion framework handling different circuits in unified way.
  ☆16Mar 22, 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
• gy001 / hypercube

  View on GitHub
  ☆41Jan 7, 2024Updated 2 years ago
• geometryxyz / wgsl-poseidon

  View on GitHub
  ☆33Sep 9, 2023Updated 2 years ago
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated 3 weeks ago
• snarkify / sirius

  View on GitHub
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Mar 24, 2025Updated 11 months ago
• ingonyama-zk / open-binius

  View on GitHub
  building blocks for accelerating ZK proofs over binary fields
  ☆48Jun 19, 2025Updated 8 months ago
• ed255 / riscu-jolt

  View on GitHub
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Dec 11, 2023Updated 2 years ago
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 3 months ago