Alternatives and similar repositories for zk-lean

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

• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆38Updated 3 weeks ago
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆26Updated 5 months ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆30Updated this week
• banyancomputer / hot-proofs-blake3-circom
  banyan's hot on-chain data storage zk proofs
  ☆14Updated last week
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆23Updated last year
• NP-Eng / gkr_tutorial
  ☆12Updated last year
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆30Updated last month
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆19Updated last week
• kilic / halo2msm
  ☆13Updated last year
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 2 months ago
• iden3 / circom-witnesscalc
  ☆15Updated this week
• Lagrange-Labs / mapreduce-plonky2
  ☆21Updated last week
• jtriley2p / etherleaks
  Ring Signature-like Protocol for Anonymous Ethereum Signatures
  ☆9Updated 6 months ago
• dmpierre / plonky3-ccs
  ☆10Updated 8 months ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 3 months ago
• dmpierre / ark-superspartan
  An arkworks implementation of the superspartan PIOP
  ☆13Updated 8 months ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆27Updated 2 weeks ago
• Lagrange-Labs / reckle-trees
  ☆30Updated last year
• td-kwj-zp2023 / webgpu-msm-bls12-377
  WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023
  ☆13Updated 6 months ago
• halo2-ce / halo2
  ☆28Updated 2 years ago
• Yoii-Inc / zk-mpc
  ☆27Updated 2 weeks ago
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 7 months ago
• avras / mimc-halo2
  MiMC implementation in Halo2
  ☆9Updated 2 years ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆34Updated 3 weeks ago
• geometryxyz / halo2-cq
  ☆14Updated last year
• reilabs / gnark-lean-demo
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆15Updated last year
• crate-crypto / rust-eth-kzg
  ☆22Updated this week
• HerodotusDev / hdp-sp1
  Herodotus Data Processor using SP1 as backend
  ☆16Updated 6 months ago
• Layr-Labs / rust-kzg-bn254
  ☆14Updated last week
• Okm165 / binius-web-snark
  Binius circuits web demos
  ☆14Updated 5 months ago