Alternatives and similar repositories for math-notes

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

• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆34Updated this week
• nulltea / tlock-rs
  Rust library for practical time-lock encryption using `drand` threshold network
  ☆41Updated 2 years ago
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆27Updated 8 months ago
• Lagrange-Labs / reckle-trees
  ☆31Updated last year
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated last year
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 5 months ago
• thibmeu / tlock-rs
  Rust encryption library for practical time-lock encryption.
  ☆33Updated last year
• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated last year
• bcc-research / Ligerito.jl
  implentation of Ligerito
  ☆20Updated 3 months ago
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆23Updated 2 weeks ago
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆28Updated 9 months ago
• Lagrange-Labs / mapreduce-plonky2
  ☆22Updated 2 months ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 6 months ago
• chainwayxyz / risc0-to-bitvm2
  ☆19Updated 2 months ago
• clvv / rcc
  ☆24Updated last year
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Updated 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
• 0xPolygonZero / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆31Updated 5 years ago
• iden3 / circom-witnesscalc
  ☆16Updated last week
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• pluto / edge
  client side proving
  ☆34Updated 5 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆35Updated last week
• noir-lang / acvm
  ☆49Updated last year
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆50Updated 2 years ago
• w3f / fflonk
  ☆30Updated 4 months ago
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆81Updated 11 months ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆32Updated this week