defi-formal / cff

Related projects ⓘ

Alternatives and complementary repositories for cff

• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆144Updated 3 months ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆77Updated 3 years ago
• manifoldfinance / mev-corpus
  MEV Data Corpus
  ☆94Updated 2 years ago
• costa-group / gasol-optimizer
  ☆107Updated 3 weeks ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆108Updated 2 years ago
• libevm / cpo
  Chief Proxy Operator
  ☆133Updated 2 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆167Updated 2 months ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆134Updated last year
• curvefi / curve-crypto-contract
  Guess what
  ☆75Updated last year
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 3 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆68Updated 2 years ago
• flashbots / eth2-research
  Assessing the nature and impact of MEV in eth2.
  ☆67Updated last year
• FrankieIsLost / TWAMM
  ☆124Updated 2 years ago
• pdaian / mev
  Miner extractable value modeling and tools.
  ☆126Updated 2 years ago
• CodeForcer / greeden-geth
  Geth client which picks the most profitable blocks to mine using a greedy algorithm
  ☆81Updated 3 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆137Updated last year
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 2 years ago
• libevm / uniswapv3-by-examples
  UniswapV3 by examples
  ☆143Updated last year
• winnsterx / searcherbuilder.pics
  ☆38Updated 11 months ago
• mananabot / alphamev-winning-submission
  Top #1 Submission code for the first https://alphamev.ai MEV competition with best AUC (0.9893) and MSE (0.0982).
  ☆72Updated 3 years ago
• 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
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆203Updated last year
• thegostep / awesome-mev-boost
  All awesome mev-boost related content
  ☆118Updated 2 years ago
• euler-xyz / uni-v3-twap-manipulation
  ☆116Updated 8 months ago
• flashbots / mev-flood
  simulates MEV activity from an array of unique searchers; used for testing infra
  ☆112Updated 2 months ago
• fxfactorial / cheap-name-
  find a cheap selector name, save gas on external calls
  ☆88Updated 3 years ago
• yieldprotocol / yield-liquidator-v2
  Smart contract that allows to buy collateral from Yield v2 vaults under auction using flash loans
  ☆76Updated 2 years ago
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆62Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆67Updated this week
• Jon-Becker / heimdall
  Powerful Ethereum Smart-Contract Toolkit
  ☆85Updated last year