Alternatives and similar repositories for FuzzyVM:

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

• MariusVanDerWijden / tx-fuzz
  ☆105Updated 3 weeks ago
• ethereum / protocol-security
  ☆39Updated this week
• ipsilon / eof
  Validation code for the EOF specification
  ☆50Updated this week
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆68Updated 7 months ago
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆136Updated this week
• sigp / beacon-fuzz
  Differential Fuzzer for Ethereum 2.0
  ☆163Updated last year
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 3 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆75Updated 11 months ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆53Updated 2 weeks ago
• holiman / goevmlab
  Evm laboratory
  ☆261Updated this week
• ChainSafe / nodewatch-api
  A devp2p crawler targeted at Eth2 nodes
  ☆59Updated last year
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆65Updated last week
• Consensys / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆131Updated 2 months ago
• ethereum / public-disclosures
  ☆124Updated last month
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆109Updated 11 months ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• cryptosubtlety / 00
  Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award
  ☆65Updated last year
• Consensys / diligence-fuzzing
  ☆37Updated last month
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆76Updated 2 months ago
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 7 months ago
• crate-crypto / go-ipa
  A Go implementation of cryptographic primitives for Verkle Trees
  ☆33Updated 7 months ago
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆102Updated 2 months ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆37Updated 2 months ago
• protolambda / eth2-testnet-genesis
  Create a genesis state for an Eth2 testnet
  ☆51Updated last week
• lightclient / sys-asm
  Ethereum system contract implementations (asm)
  ☆39Updated this week
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆25Updated 5 years ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆53Updated 3 months ago
• crypto-com / cosmos-sdk-codeql
  A query suite for common bug patterns in Cosmos SDK-based applications
  ☆24Updated last year