Alternatives and similar repositories for math-notes:

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

• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated last year
• vorot93 / otterscan-rs
  Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.
  ☆24Updated 2 years ago
• fxfactorial / celestia-iphone
  ☆15Updated last year
• alloy-rs / nybbles
  Efficient nibble-sized (4-bit) byte sequence data structure
  ☆26Updated 2 months ago
• 0xPolygonZero / plonky2-ecdsa
  ECDSA gadgets for plonky2
  ☆18Updated last year
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 3 weeks ago
• althea-net / serde-rlp
  Ethereum's RLP encoding implemented as a Serde data format
  ☆13Updated 2 years ago
• penumbra-zone / cnidarium
  A high-performance verifiable storage layer for appchains and L2s.
  ☆11Updated 2 months ago
• sedaprotocol / bn254
  ☆15Updated 10 months ago
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆19Updated 3 years ago
• siraben / evm-assembler
  No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)
  ☆13Updated last year
• reilabs / gnark-lean-extractor
  A tool to extract gnark circuits defined in Go to Lean for formal verification.
  ☆12Updated last month
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆23Updated this week
• rust-blockchain / verkle
  ☆14Updated 3 years ago
• kariy / starkmint
  ☆13Updated 2 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• jtriley2p / etherleaks
  Ring Signature-like Protocol for Anonymous Ethereum Signatures
  ☆9Updated 4 months ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆30Updated 6 months ago
• 0xmagus / huff-practice
  A collection of huff examples.
  ☆14Updated 2 years ago
• zkmopro / gpu-acceleration
  ☆18Updated this week
• xJonathanLEI / starkware-crypto-rs
  Rust FFI bindings for StarkWare's crypto-cpp library
  ☆15Updated 2 years ago
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated last month
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• PayneJoe / PNova
  Plonkish Nova implementation along with advanced features
  ☆15Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆35Updated 3 weeks ago
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• MachinaIO / diamond-io
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆27Updated this week
• Evalir / matchmaker-rs
  Rust client library for Flashbot's mev-share.
  ☆20Updated last year