Alternatives and similar repositories for zapper

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

• whbjzzwjxq / ZKAP
  ☆25Updated last year
• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆88Updated 2 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆54Updated 2 years ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆131Updated 7 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆93Updated last year
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆260Updated last year
• sourav1547 / adkg
  ☆27Updated 3 years ago
• rozbb / zkcreds-rs
  ☆72Updated 3 years ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆114Updated 3 years ago
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆38Updated 3 months ago
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆36Updated 2 months ago
• tiktok-privacy-innovation / trustless-attestation-verification
  ☆62Updated 2 months ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆45Updated last year
• guanzhi / zkrypt
  Zero-Knowledge Proof Toolbox
  ☆35Updated 4 years ago
• kupl / VeriSmart-benchmarks
  ☆68Updated 3 years ago
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆94Updated 2 years ago
• OSUSecLab / TxSpector
  ☆63Updated 3 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆57Updated last year
• coset-io / zkp-academy
  A month-long zkp study group, one topic at a time.
  ☆183Updated 6 months ago
• sunblaze-ucb / Virgo
  ☆60Updated 4 years ago
• yi-sun / circom-pairing
  ☆204Updated 2 years ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 3 years ago
• z2o-k7e / zkp-co-learn
  zkp-co-learning
  ☆64Updated last year
• akosba / mirage
  A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)
  ☆18Updated 5 years ago
• Electron-Labs / ed25519-circom
  ED25519 implementation in Circom
  ☆119Updated 2 years ago
• emp-toolkit / emp-zk
  Efficient and Interactive Zero-Knowledge Proofs
  ☆102Updated 2 months ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆58Updated 5 months ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆102Updated last year
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆311Updated this week