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
  ☆50Updated 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…
  ☆83Updated last year
• whbjzzwjxq / ZKAP
  ☆22Updated 7 months ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆75Updated last year
• TAMUCrypto / virgo-plus
  An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
  ☆17Updated last year
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆124Updated last year
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆46Updated last week
• RafaelAPB / SoKSPBlockchainInterop
  ☆12Updated last year
• hashcloak / flashbots-privacy
  Practical Experiments on how to add complete privacy to flashbots
  ☆48Updated 5 months ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆110Updated 2 years ago
• sunblaze-ucb / Orion
  ☆24Updated 2 years ago
• didnet / zxDID
  ☆10Updated 5 months ago
• sunblaze-ucb / Virgo
  ☆58Updated 3 years ago
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆103Updated 2 years ago
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆43Updated 2 years ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆37Updated last year
• trustboost / TrustBoost
  ☆19Updated 2 years ago
• privacy-scaling-explorations / circom-ecdsa-p256
  Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom
  ☆13Updated last year
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆68Updated 9 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆76Updated last year
• tsunrise / sumcheck_multilinear
  A python implementation of sumcheck GKR protocol. Reference: https://eprint.iacr.org/2019/317.pdf
  ☆9Updated 4 years ago
• bkomuves / hash-circuits
  Hashing circuits implemented in circom
  ☆19Updated 2 months ago
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆59Updated last year
• guanzhi / zkrypt
  Zero-Knowledge Proof Toolbox
  ☆34Updated 3 years ago
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆31Updated 5 months ago
• dreamATD / pianist-gnark
  The implementation of Pianist (a distributed variant of Plonk) based on gnark.
  ☆34Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 9 months ago
• akosba / mirage
  A zk-SNARK for randomized algorithms + linear-size universal circuits
  ☆17Updated 4 years ago
• liyue201 / gnark-examples
  《zkSNARK实践》中的源码
  ☆19Updated 2 years ago