Alternatives and similar repositories for zk-atlas

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

• metacraft-labs / DendrETH
  A smart contract implementation of the Ethereum light client sync protocol
  ☆66Updated last week
• privacy-ethereum / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• getZeFi / circomjs
  CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.
  ☆49Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated 2 years ago
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆23Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• b-wagn / hash-sig
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆45Updated last week
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated 2 years ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• privacy-ethereum / zkspecs
  ☆25Updated 8 months ago
• anonklub / anonklub
  Anonymous Proof of Ethereum Address Ownership
  ☆43Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated last year
• aragonzkresearch / noir-trie-proofs
  ☆70Updated last year
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆33Updated 3 years ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆34Updated 3 years ago
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆56Updated last year
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated 2 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• leanEthereum / leanSpec
  Lean Ethereum protocol specifications and test vector generation framework.
  ☆55Updated this week
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• ChihChengLiang / poseidon-tornado
  ☆89Updated 3 years ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆64Updated last year
• patrickbiel01 / Cairo_Verifier
  ☆36Updated 4 years ago
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆65Updated 4 months ago
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated 2 years ago
• privacy-ethereum / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 3 months ago