Alternatives and similar repositories for zk-lean:

Users that are interested in zk-lean are comparing it to the libraries listed below

• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆23Updated last year
• NP-Eng / gkr_tutorial
  ☆12Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆37Updated last week
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 3 weeks ago
• dmpierre / ark-superspartan
  An arkworks implementation of the superspartan PIOP
  ☆13Updated 7 months ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 9 months ago
• halo2-ce / halo2
  ☆28Updated 2 years ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆29Updated this week
• zkmopro / gpu-acceleration
  ☆18Updated this week
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 5 months ago
• dmpierre / plonky3-ccs
  ☆10Updated 7 months ago
• PayneJoe / PNova
  Plonkish Nova implementation along with advanced features
  ☆15Updated last year
• avras / mimc-halo2
  MiMC implementation in Halo2
  ☆9Updated 2 years ago
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆23Updated 3 months ago
• iden3 / circom-witnesscalc
  ☆14Updated last week
• geometryxyz / halo2-cq
  ☆14Updated last year
• td-kwj-zp2023 / webgpu-msm-bls12-377
  WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023
  ☆13Updated 4 months ago
• kilic / halo2msm
  ☆13Updated last year
• clvv / rcc
  ☆24Updated last year
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated last year
• mmaker / tinybear
  ☆23Updated last month
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆25Updated this week
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated 2 years ago
• odyssey2077 / halo2-cairo
  verify cairo execution in Halo2
  ☆16Updated last year
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Updated last year
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• Lagrange-Labs / mapreduce-plonky2
  ☆19Updated last week
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago