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
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆23Updated 4 months ago
• halo2-ce / halo2
  ☆28Updated 2 years ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆29Updated last month
• Lagrange-Labs / reckle-trees
  ☆28Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆37Updated this week
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆16Updated this week
• crate-crypto / rust-eth-kzg
  ☆17Updated this week
• dmpierre / plonky3-ccs
  ☆10Updated 7 months ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆27Updated this week
• lurk-lab / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated 2 months ago
• NP-Eng / gkr_tutorial
  ☆12Updated last year
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆13Updated 11 months ago
• iden3 / circom-witnesscalc
  ☆14Updated 3 weeks ago
• PayneJoe / PNova
  Plonkish Nova implementation along with advanced features
  ☆16Updated last year
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Updated last year
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated last month
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated last year
• zkemail / halo2-base64
  Base64 decoding circuit in halo2
  ☆14Updated last year
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆25Updated 2 weeks ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 10 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• dmpierre / ark-superspartan
  An arkworks implementation of the superspartan PIOP
  ☆13Updated 8 months ago
• avras / mimc-halo2
  MiMC implementation in Halo2
  ☆9Updated 2 years ago
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆30Updated 7 months ago
• kilic / halo2msm
  ☆13Updated last year
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆34Updated 3 weeks ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• qope / plonky2-bn254-pairing
  plonky2 implementation of bn254 pairing
  ☆18Updated last year
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 6 months ago