Alternatives and similar repositories for math-notes

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

• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated last year
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆34Updated this week
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆27Updated 10 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated 2 years ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 8 months ago
• RustCrypto / book
  Reference manual for the RustCrypto project, implemented as an MDBook [WIP]
  ☆22Updated last year
• clvv / rcc
  ☆24Updated 2 years ago
• iden3 / circom-witnesscalc
  ☆19Updated 3 weeks ago
• Lagrange-Labs / mapreduce-plonky2
  ☆22Updated 4 months ago
• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated 2 years ago
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆30Updated last year
• nulltea / tlock-rs
  Rust library for practical time-lock encryption using `drand` threshold network
  ☆41Updated 2 years ago
• noir-lang / acvm
  ☆49Updated 2 years ago
• pluto / edge
  client side proving
  ☆36Updated 7 months ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆30Updated last week
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• TritonVM / tasm-lang
  Writing tasm with Rust syntax
  ☆15Updated 5 months ago
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated last year
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆32Updated 2 years ago
• noir-lang / acvm-backend-barretenberg
  ☆41Updated 2 years ago
• vorot93 / otterscan-rs
  Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.
  ☆24Updated 3 years ago
• bcc-research / Ligerito.jl
  implentation of Ligerito
  ☆19Updated 5 months ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆30Updated 9 months ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• zemse / partial-mpt
  calculate new mpt root without loading entire trie
  ☆16Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆21Updated 2 years ago
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 7 months ago