arnaucube/math 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

arnaucube/math

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/arnaucube/math)

Close

arnaucube / mathView on GitHubMore

• External links
• Readme badge

Notes, code and documents done while reading books and papers.

☆21Updated this week

Alternatives and similar repositories for math

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

• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• levs57 / protostar-works

  View on GitHub
  bottom text
  ☆16Jan 26, 2024Updated 2 years ago
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Feb 12, 2026Updated 2 weeks 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
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• chancehudson / ashlang

  View on GitHub
  ☆12Dec 12, 2025Updated 2 months ago
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆23Nov 14, 2024Updated last year
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 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
• snarkify / sirius

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

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• lattice-complete / Lazarus

  View on GitHub
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆72Jan 6, 2025Updated last year
• openvm-org / stark-backend

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week
• jules / supernova

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

  View on GitHub
  A curated list of awesome things related to learning Circle STARK.
  ☆33Aug 26, 2025Updated 6 months ago
• han0110 / gkr

  View on GitHub
  ☆20May 31, 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
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 7 months ago
• zhenfeizhang / larkworks

  View on GitHub
  a lattice lib for building snarks
  ☆21May 20, 2024Updated last year
• EDGDrummond / EF-grant

  View on GitHub
  ☆22Nov 1, 2023Updated 2 years ago
• tcoratger / whir-p3

  View on GitHub
  ☆59Updated this week
• ICME-Lab / zkEngine_dev

  View on GitHub
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆40Oct 28, 2025Updated 4 months 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
• philsippl / circom-witness-rs

  View on GitHub
  ☆63Feb 10, 2026Updated 2 weeks ago
• WizardOfMenlo / stir

  View on GitHub
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆72Nov 6, 2025Updated 3 months ago
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated last month
• kobigurk / legogro16

  View on GitHub
  LegoGroth16 implementation on top of Zexe
  ☆25Dec 3, 2021Updated 4 years ago
• Janmajayamall / bfv

  View on GitHub
  ☆26Feb 25, 2024Updated 2 years ago
• TaceoLabs / co-snarks

  View on GitHub
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆212Feb 20, 2026Updated last week
• gy001 / hypercube

  View on GitHub
  ☆41Jan 7, 2024Updated 2 years ago
• trailofbits / decree

  View on GitHub
  Decree Fiat Shamir Library
  ☆12Mar 27, 2024Updated last year
• lazer-crypto / lazer

  View on GitHub
  ☆53Jun 10, 2025Updated 8 months ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated last year
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 3 months 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
• 0xfuturistic / plonkish-solidity

  View on GitHub
  ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.
  ☆11Aug 14, 2023Updated 2 years ago