Alternatives and similar repositories for zapper

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

• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆52Updated 2 years ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆75Updated last year
• rozbb / zkcreds-rs
  ☆67Updated 2 years ago
• whbjzzwjxq / ZKAP
  ☆24Updated 9 months ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆75Updated 11 months ago
• sourav1547 / adkg
  ☆24Updated 3 years ago
• Xscope-Tool / Cross-Chain-Attacks
  Xscope: Hunting for Cross-Chain Bridge Attacks
  ☆14Updated 2 years ago
• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆85Updated last year
• TAMUCrypto / ZKDT_release
  ☆14Updated 3 years ago
• TAMUCrypto / zkCNN
  A GKR-based zero-knowledge proof protocol for CNN model inference.
  ☆82Updated 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.
  ☆49Updated this week
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆101Updated 6 months ago
• sunblaze-ucb / Orion
  ☆26Updated 2 years ago
• sunblaze-ucb / Virgo
  ☆59Updated 3 years ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆124Updated this week
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆55Updated 6 months ago
• akosba / mirage
  A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)
  ☆18Updated 4 years ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆110Updated 2 years ago
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆24Updated this week
• trustboost / TrustBoost
  ☆19Updated 2 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• rdi-berkeley / zkp-course-lecture3-code
  ☆59Updated 2 years ago
• coset-io / zk-insights
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights
  ☆47Updated 6 months ago
• privacy-scaling-explorations / greco
  ☆76Updated 5 months ago
• TAMUCrypto / virgo-plus
  An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
  ☆17Updated 2 years ago
• montekki / thaler-study
  Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'
  ☆20Updated 2 weeks ago
• erhant / crypto-notes
  My notes related to Cryptography & Zero-Knowledge.
  ☆46Updated last month
• rdi-berkeley / zkp-mooc-lab
  ☆83Updated 2 years ago
• OSUSecLab / TxSpector
  ☆62Updated 2 years ago