Alternatives and similar repositories for math-notes

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

• 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 6 months ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆34Updated this week
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆27Updated 8 months ago
• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• nulltea / tlock-rs
  Rust library for practical time-lock encryption using `drand` threshold network
  ☆41Updated 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…
  ☆38Updated 2 years ago
• Lagrange-Labs / reckle-trees
  ☆32Updated last year
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated last year
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆38Updated 2 weeks ago
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated 2 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆50Updated 2 years ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• arkworks-rs / nonnative
  R1CS constraints for non-native field arithmetic
  ☆21Updated 4 years ago
• pluto / edge
  client side proving
  ☆34Updated 6 months ago
• conroi / lcpc
  polynomial commitments from linear codes
  ☆46Updated 9 months ago
• sedaprotocol / bn254
  ☆17Updated 2 months ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated 2 years ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• w3f / fflonk
  ☆31Updated 5 months ago
• RustCrypto / book
  Reference manual for the RustCrypto project, implemented as an MDBook [WIP]
  ☆21Updated last year
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆15Updated 2 years ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 7 months ago
• Lagrange-Labs / mapreduce-plonky2
  ☆22Updated 3 months ago
• NP-Eng / gkr_tutorial
  ☆12Updated last year
• lurk-lab / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Updated 6 months ago
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆81Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• zcash / pasta
  Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo
  ☆57Updated 2 years ago