MariusVanDerWijden / tx-fuzz

Related projects ⓘ

Alternatives and complementary repositories for tx-fuzz

• ralexstokes / relay-monitor
  ☆60Updated 8 months ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆56Updated 3 weeks ago
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆74Updated 7 months ago
• ralexstokes / ethereum-consensus
  ☆137Updated 3 weeks ago
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 2 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆137Updated last year
• blunt-instruments / MevWallet
  MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.
  ☆153Updated last year
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆39Updated this week
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆206Updated 3 weeks ago
• ethpandaops / xatu
  Ethereum network monitoring with collection clients and a centralized server for data pipelining.
  ☆77Updated 2 weeks ago
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 2 years ago
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆100Updated last month
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆108Updated 2 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 3 years ago
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆139Updated 3 months ago
• symbioticfi / core
  Symbiotic Core smart contracts
  ☆36Updated this week
• MariusVanDerWijden / FuzzyVM
  Implementation of a differential fuzzer for Ethereum Virtual Machines
  ☆90Updated 2 months ago
• michaelneuder / mev-bibliography
  ☆88Updated last year
• paradigmxyz / mesc
  MESC is a specification for how crypto tools configure their RPC endpoints
  ☆171Updated 2 months ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆126Updated 2 years ago
• morpho-labs / smart-contract-challenges
  Challenges to test your smart contract skills.
  ☆58Updated last year
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆50Updated last week
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆77Updated this week
• flashbots / block-validation-geth
  To be deprecated in favor of https://github.com/flashbots/builder
  ☆45Updated last year
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆70Updated last week
• jmcph4 / awesome-reth
  A list of awesome Reth-related resources
  ☆91Updated 3 months ago
• cairoeth / rustmate
  🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.
  ☆47Updated 10 months ago
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆51Updated last month
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆70Updated 8 months ago