MariusVanDerWijden / tx-fuzz

Related projects ⓘ

Alternatives and complementary repositories for tx-fuzz

• ralexstokes / relay-monitor
  ☆60Updated 8 months ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 3 years ago
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆90Updated 2 years ago
• ralexstokes / ethereum-consensus
  ☆136Updated 2 weeks ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated last year
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆55Updated last week
• Philogy / evm-glue
  ☆75Updated this week
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆47Updated this week
• flashbots / block-validation-geth
  To be deprecated in favor of https://github.com/flashbots/builder
  ☆45Updated last year
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆108Updated 2 years ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆126Updated 2 years ago
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆100Updated last month
• MariusVanDerWijden / FuzzyVM
  Implementation of a differential fuzzer for Ethereum Virtual Machines
  ☆89Updated 2 months ago
• security-alliance / safe-harbor
  ☆61Updated last week
• michaelneuder / mev-bibliography
  ☆86Updated last year
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆98Updated last month
• crytic / roundme
  ☆88Updated 5 months ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆93Updated 10 months ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆133Updated last year
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆139Updated 2 months ago
• eth-infinitism / bundler-spec-tests
  Bundler specification test suites
  ☆75Updated last week
• chronicleprotocol / scribe
  Extremely performant EVM oracle utilizing aggregated Schnorr signatures
  ☆52Updated last month
• paradigmxyz / mesc
  MESC is a specification for how crypto tools configure their RPC endpoints
  ☆171Updated last month
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 2 years ago
• winnsterx / searcherbuilder.pics
  ☆38Updated 11 months ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆57Updated 3 years ago
• shadow-hq / shadow-reth
  A single-node implementation of a Shadow RPC on top of Reth, utilizing ExEx and custom RPC methods.
  ☆89Updated last month
• sphinx-labs / chugsplash-foundry
  A Foundry library for deploying and managing upgradeable smart contracts
  ☆96Updated 9 months ago
• sigp / blockprint
  Block fingerprinting for the beacon chain, for client diversity metrics
  ☆91Updated 3 months ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆68Updated 2 years ago