eth-sri / zapper

Related projects ⓘ

Alternatives and complementary repositories for zapper

• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆81Updated 10 months ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆72Updated 8 months ago
• didnet / zxDID
  ☆11Updated last month
• OSUSecLab / TxSpector
  ☆58Updated last year
• Xscope-Tool / Cross-Chain-Attacks
  Xscope: Hunting for Cross-Chain Bridge Attacks
  ☆12Updated 2 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆95Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆70Updated 8 months ago
• yi-sun / circom-pairing
  ☆192Updated 11 months ago
• ucsb-seclab / sailfish
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆51Updated 2 years ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆111Updated 8 months ago
• jeffchen006 / OpenTracer
  An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
  ☆26Updated 3 weeks ago
• christoftorres / Elysium
  A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).
  ☆25Updated 2 years ago
• rozbb / zkcreds-rs
  ☆57Updated 2 years ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆108Updated 2 years ago
• whbjzzwjxq / ZKAP
  ☆20Updated 3 months ago
• sunblaze-ucb / Virgo
  ☆55Updated 2 years ago
• rdi-berkeley / zkp-mooc-lab
  ☆79Updated last year
• gongbell / WANA
  A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector
  ☆29Updated last year
• columbia / SmartInv
  ☆23Updated last week
• sourav1547 / adkg
  ☆23Updated 2 years ago
• SeUniVr / EtherSolve
  Source code of EtherSolve: static analysis of Ethereum bytecode
  ☆67Updated last year
• z2o-k7e / zkp-co-learn
  zkp-co-learning
  ☆57Updated last year
• renardbebe / Smart-Contract-Benchmark-Suites
  A unified smart contract standard data set.
  ☆42Updated 3 years ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆64Updated 5 months ago
• nevillegrech / MadMax
  Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
  ☆131Updated last year
• RafaelAPB / SoKSPBlockchainInterop
  ☆12Updated 9 months ago
• aashishkolluri / Ethracer
  ☆14Updated 5 years ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆71Updated last year
• rdi-berkeley / zkp-course-lecture3-code
  ☆60Updated last year