Alternatives and similar repositories for zapper

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

• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆89Updated last year
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• whbjzzwjxq / ZKAP
  ☆24Updated 11 months ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆110Updated 2 years ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆77Updated last year
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆52Updated 2 years ago
• yi-sun / circom-pairing
  ☆199Updated last year
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 2 years ago
• rozbb / zkcreds-rs
  ☆67Updated 2 years ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆125Updated last month
• OSUSecLab / TxSpector
  ☆62Updated 2 years ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆50Updated 2 weeks ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• kupl / VeriSmart-benchmarks
  ☆62Updated 2 years ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆101Updated 7 months ago
• dl-solarity / circom-lib
  Circom circuits library for magnificent ZK applications
  ☆13Updated last month
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆74Updated last year
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆177Updated last year
• Electron-Labs / ed25519-circom
  ED25519 implementation in Circom
  ☆116Updated 2 years ago
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer
  ☆21Updated last week
• ZKPunk-Org / ZKPedia
  ☆19Updated 6 months ago
• tiktok-privacy-innovation / trustless-attestation-verification
  ☆50Updated 3 months ago
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆26Updated last week
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆56Updated 8 months ago
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆106Updated 2 years ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆74Updated last year
• dreamATD / pianist-gnark
  The implementation of Pianist (a distributed variant of Plonk) based on gnark.
  ☆36Updated last year
• barryWhiteHat / plonk_tutorial
  ☆82Updated 4 years ago
• akosba / mirage
  A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)
  ☆18Updated 4 years ago
• StefanosChaliasos / Awesome-ZKP-Security
  A curated list of awesome security resources for ZK.
  ☆87Updated 2 weeks ago