Alternatives and similar repositories for zk-lean

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

• jtriley2p / etherleaks
  Ring Signature-like Protocol for Anonymous Ethereum Signatures
  ☆9Updated 7 months ago
• Okm165 / binius-web-snark
  Binius circuits web demos
  ☆14Updated 7 months ago
• Lagrange-Labs / reckle-trees
  ☆30Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆38Updated 2 weeks ago
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆23Updated last year
• iden3 / circom-witnesscalc
  ☆15Updated this week
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆27Updated 6 months ago
• 0xPARC / frog-zone
  ☆10Updated 8 months ago
• banyancomputer / hot-proofs-blake3-circom
  banyan's hot on-chain data storage zk proofs
  ☆14Updated last month
• 0xAlcibiades / rusty-pong
  A modern Pong game implemented with Bevy and Rapier
  ☆8Updated 3 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆20Updated this week
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆32Updated last month
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆32Updated 2 months ago
• matter-labs / zksync-crypto-gpu
  GPU-acceselerated cryptography libraries for ZKsync
  ☆19Updated last month
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 8 months ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆33Updated last week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆73Updated 3 weeks ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆29Updated last month
• NP-Eng / gkr_tutorial
  ☆12Updated last year
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆30Updated 9 months ago
• Lagrange-Labs / mapreduce-plonky2
  ☆21Updated last month
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆37Updated last week
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 4 months ago
• olehmisar / nodash
  A Swiss knife for Noir
  ☆14Updated 3 weeks ago
• freelerobot / thaler
  ☆27Updated 3 years ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated 2 weeks ago
• Yoii-Inc / zk-mpc
  ☆27Updated last month
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆16Updated 2 years ago