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 2 years ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Updated this week
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆27Updated last year
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 11 months ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 3 years ago
• nulltea / tlock-rs
  Rust library for practical time-lock encryption using `drand` threshold network
  ☆41Updated 3 years ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆31Updated last year
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆29Updated 3 years ago
• vorot93 / otterscan-rs
  Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.
  ☆24Updated 3 years ago
• celestiaorg / hana
  Celestia derivation pipeline and proof crate built with kona
  ☆15Updated last month
• RustCrypto / book
  Reference manual for the RustCrypto project, implemented as an MDBook [WIP]
  ☆22Updated 2 years ago
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated 2 years ago
• bcc-research / Ligerito.jl
  implentation of Ligerito
  ☆19Updated 2 months ago
• zemse / partial-mpt
  calculate new mpt root without loading entire trie
  ☆17Updated last year
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated 2 years ago
• pluto / edge
  client side proving
  ☆39Updated 10 months ago
• cronokirby / boo-hoo
  An implementation of ZKBoo
  ☆33Updated 3 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆51Updated 2 years ago
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆33Updated last year
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 3 years ago
• clvv / rcc
  ☆25Updated 2 years ago
• zcash / pasta
  Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo
  ☆59Updated 2 years ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆38Updated 2 years ago
• mattsse / cairo-lang-rs
  ☆40Updated 4 years ago
• iden3 / circom-witnesscalc
  ☆21Updated last week
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆77Updated 7 months ago
• 0xPolygonZero / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆31Updated 6 years ago
• adizere / rem-poc
  {{{ rem = reth + malachite }}} {{{ proof of concept }}}
  ☆20Updated last year