Alternatives and similar repositories for sierra-analyzer:

Users that are interested in sierra-analyzer are comparing it to the libraries listed below

• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 2 years ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 7 months ago
• paradigmxyz / paradigm-ctf-2023
  ☆69Updated last year
• crytic / cloudexec
  A general purpose foundation for cloud-based fuzzing and mutation testing jobs
  ☆19Updated 6 months ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆34Updated last year
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated last year
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆31Updated 3 months ago
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆45Updated 3 months ago
• ArsenSecurity / ZkSync-PreviousBugs
  ☆11Updated 2 months ago
• avnu-labs / semgrep-cairo-rules
  Semgrep rules for Cairo 1.0
  ☆17Updated last year
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆39Updated 2 years ago
• Shungy / evm-regex
  A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.
  ☆20Updated last month
• 0xurb / reth-exex-plugin
  A Reth Execution Extension (ExEx) with shared object (.so / .dylib) plugins
  ☆15Updated 3 months ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 2 years ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• perimetersec / fuzzlib
  Solidity Fuzzing Library
  ☆31Updated 5 months ago
• JoranHonig / awesome-web3-ai-security
  ☆36Updated 8 months ago
• 0xkarmacoma / foundry-playground
  one off scripts and contracts
  ☆18Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆53Updated 2 months ago
• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆33Updated 10 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆71Updated 10 months ago
• wtdcode / verite
  Smart Contract Fuzzing Towards Profitable Vulnerabilities
  ☆24Updated 2 weeks ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆14Updated last year
• fuzzland / writeup
  CTF Writeups
  ☆37Updated last year
• ipsilon / eof
  Validation code for the EOF specification
  ☆47Updated this week
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆37Updated last year
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year