Alternatives and similar repositories for circom2llvm

Users that are interested in circom2llvm are comparing it to the libraries listed below

• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• whbjzzwjxq / ZKAP
  ☆24Updated 9 months ago
• banyancomputer / hot-proofs-blake3-circom
  banyan's hot on-chain data storage zk proofs
  ☆14Updated 2 weeks ago
• Veridise / Coda
  ☆47Updated last year
• succinctlabs / zkvm-perf
  ☆25Updated 4 months ago
• shuklaayush / chip0
  The first CHIP-8 zkvm
  ☆20Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆55Updated 6 months ago
• reilabs / gnark-lean-extractor
  A tool to extract gnark circuits defined in Go to Lean for formal verification.
  ☆13Updated 2 months ago
• reilabs / gnark-lean-demo
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆15Updated last year
• Consensys / corset
  ☆19Updated last month
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last year
• olehmisar / nodash
  A Swiss knife for Noir
  ☆12Updated 2 weeks ago
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆19Updated this week
• arnaucube / protogalaxy-poc
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Updated last year
• conroi / lcpc
  polynomial commitments from linear codes
  ☆44Updated 5 months ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Updated 2 years ago
• nulltea / hyper-greco
  Verifiable FHE with GKR
  ☆26Updated 8 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆76Updated last year
• lattirust / lattirust
  ☆43Updated 3 weeks ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆49Updated this week
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer
  ☆14Updated this week
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 2 months ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• FranklinZty / KiloNova-poc
  A proof-of-concept implementation of KiloNova
  ☆11Updated 7 months ago
• zksecurity / halo2-course
  A course on Halo2 in collaboration with Zircuit
  ☆25Updated 4 months ago
• Janmajayamall / bfv
  ☆26Updated last year
• Yoii-Inc / zk-mpc
  ☆27Updated 2 weeks ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year