Alternatives and similar repositories for math-notes

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

• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆34Updated last week
• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated last year
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆27Updated 7 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated 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 5 months ago
• kilic / cyclone-msm-expreriment
  ☆11Updated last year
• Lagrange-Labs / mapreduce-plonky2
  ☆21Updated last month
• Lagrange-Labs / reckle-trees
  ☆31Updated last year
• nulltea / tlock-rs
  Rust library for practical time-lock encryption using `drand` threshold network
  ☆41Updated 2 years ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• leonardoalt / powdr-brainfuck
  ZK proofs for Brainfuck execution using powdr
  ☆17Updated 11 months ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated last year
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆33Updated 2 months ago
• zemse / partial-mpt
  calculate new mpt root without loading entire trie
  ☆16Updated last year
• 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
• iden3 / circom_runtime
  circom runtime
  ☆19Updated 9 months ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 6 months ago
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Updated 2 years ago
• RustCrypto / book
  Reference manual for the RustCrypto project, implemented as an MDBook [WIP]
  ☆21Updated last year
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆22Updated last year
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆26Updated 9 months ago
• noir-lang / acvm
  ☆47Updated last year
• geometryxyz / wgsl-poseidon
  ☆33Updated last year
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated 2 years ago
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆23Updated 3 weeks ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• ethereum / yul-isabelle
  ☆41Updated 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