Alternatives and similar repositories for zk-atlas

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

• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆22Updated last year
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• Ethan-000 / halo2_backend
  ☆38Updated last year
• lita-xyz / reth-valida
  revm/reth block proving on Valida
  ☆16Updated 4 months ago
• zkspecs / zkspecs
  ☆23Updated 3 months ago
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated last year
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆22Updated last year
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆34Updated 2 years ago
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 4 months ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated 8 months ago
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆30Updated 11 months ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• yetanotherco / zkRust
  ☆40Updated 8 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆25Updated last month
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆60Updated last year
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated last year
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆47Updated 2 years ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 3 months ago
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆49Updated 2 years ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆33Updated 2 years ago
• patrickbiel01 / Cairo_Verifier
  ☆36Updated 3 years ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆22Updated 2 months ago
• succinctlabs / hypercube-verifier
  ☆38Updated last month
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year