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 last year
• whbjzzwjxq / ZKAP
  ☆25Updated last year
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆113Updated 3 years ago
• OSUSecLab / TxSpector
  ☆64Updated 2 years ago
• sourav1547 / adkg
  ☆26Updated 3 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆55Updated 2 years ago
• rozbb / zkcreds-rs
  ☆70Updated 3 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆131Updated 4 months ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆107Updated 2 years ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 3 years ago
• kupl / VeriSmart-benchmarks
  ☆65Updated 3 years ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆89Updated last year
• aashishkolluri / Ethracer
  ☆14Updated 6 years ago
• tiktok-privacy-innovation / trustless-attestation-verification
  ☆55Updated 7 months ago
• christoftorres / Elysium
  A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).
  ☆26Updated 2 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆75Updated last year
• yi-sun / circom-pairing
  ☆202Updated last year
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆255Updated last year
• sunblaze-ucb / Virgo
  ☆60Updated 3 years ago
• nevillegrech / MadMax
  Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
  ☆136Updated 2 years ago
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆92Updated last year
• emp-toolkit / emp-zk
  Efficient and Interactive Zero-Knowledge Proofs
  ☆99Updated last year
• Electron-Labs / ed25519-circom
  ED25519 implementation in Circom
  ☆119Updated 2 years ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆82Updated 2 years ago
• iamdefinitelyahuman / py-solc-ast
  A tool for exploring the solc abstract syntax tree
  ☆39Updated last year
• DependableSystemsLab / SolidiFI
  SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection
  ☆82Updated last year
• ucsb-seclab / sailfish
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆60Updated 3 years ago
• RafaelAPB / SoKSPBlockchainInterop
  ☆12Updated last year