Alternatives and similar repositories for Erwin:

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

• MetaTrustLabs / falcon-metatrust
  Metatrust fork of Slither Analyzer
  ☆75Updated 7 months ago
• inversebrah / awesome-risc0
  A community-maintained curated list of awesome resources of RISC Zero.
  ☆71Updated 7 months ago
• LuozhuZhang / zkps-circuit-snark
  A zk-SNARK implementation
  ☆50Updated 2 years ago
• movefuns / move-by-example
  Learn Move with examples
  ☆95Updated 2 years ago
• socathie / keras2circom
  python tool to transpile a tf.keras model into a circom circuit
  ☆245Updated 11 months ago
• 0xEigenLabs / eigen-prover
  Eigen zkVM's Proving Service
  ☆30Updated last week
• uvd / sui-swap-course
  ☆43Updated last year
• SupremacyTeam / VyperPunk
  Web3.0/Vyper based wargame
  ☆95Updated 2 years ago
• kupl / VeriSmart-benchmarks
  ☆61Updated 2 years ago
• aoli-al / Solythesis
  Solythesis: Securing Smart Contract with Runtime Validation
  ☆12Updated last year
• BradMoonUESTC / finite-monkey-engine
  AI engine for smart contract audit
  ☆175Updated 2 weeks ago
• synassets / contracts
  ☆86Updated 2 years ago
• ora-io / awesome-ora
  A curated list of awesome ORA ecosystem.
  ☆82Updated last month
• shuo-young / lydia
  Lydia: Who's Your Enemy in the Dark Forrest
  ☆12Updated 9 months ago
• SeUniVr / EtherSolve
  Source code of EtherSolve: static analysis of Ethereum bytecode
  ☆68Updated last year
• verovm / record-replay
  ☆18Updated 2 weeks ago
• Consensys / evm-analyzer-benchmark-suite
  A benchmark suite for evaluating the precision of EVM code analysis tools.
  ☆40Updated 6 years ago
• verovm / usenix-atc21
  ☆17Updated 2 years ago
• ucsb-seclab / sailfish
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆55Updated 2 years ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆14Updated last year
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 4 months ago
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆74Updated 2 years ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆46Updated 2 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 7 months ago
• OpenZeppelin / sgp
  Solidity ANTLR4 grammar Python parser
  ☆11Updated 11 months ago
• op-rs / durin
  A Rust library for creating solvers in the OP Stack's dispute protocol
  ☆18Updated last year
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆25Updated 5 years ago
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆21Updated last year