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…
  ☆88Updated 2 years ago
• whbjzzwjxq / ZKAP
  ☆25Updated last year
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• tiktok-privacy-innovation / trustless-attestation-verification
  ☆62Updated 3 months ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆55Updated 2 years ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆132Updated 8 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆93Updated last year
• rozbb / zkcreds-rs
  ☆72Updated 3 years ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆114Updated 3 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆45Updated last year
• guanzhi / zkrypt
  Zero-Knowledge Proof Toolbox
  ☆35Updated 4 years ago
• PopcornPaws / fde
  ☆40Updated last year
• cryptosubtlety / 00
  Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award
  ☆70Updated 2 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆76Updated last year
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated 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.
  ☆58Updated 6 months ago
• sunblaze-ucb / Orion
  ☆30Updated 3 years ago
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆38Updated 3 months ago
• OSUSecLab / TxSpector
  ☆64Updated 3 years ago
• z2o-k7e / zkp-co-learn
  zkp-co-learning
  ☆64Updated last year
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆76Updated 2 months ago
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆94Updated 2 years ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 3 years ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆102Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆57Updated last week
• disco-project / smart-sync
  Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.
  ☆13Updated 3 years ago
• rdi-berkeley / zkp-course-lecture3-code
  ☆61Updated 3 years ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆63Updated last year
• Electron-Labs / ed25519-circom
  ED25519 implementation in Circom
  ☆119Updated 2 years ago
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆37Updated 2 months ago