defi-formal / cff
Miner extractable value modeling and tools.
☆65Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for cff
- 🧠 A scriptable semantic grep utility for solidity☆144Updated 3 months ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 3 years ago
- MEV Data Corpus☆94Updated 2 years ago
- ☆107Updated 3 weeks ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆108Updated 2 years ago
- Chief Proxy Operator☆133Updated 2 years ago
- Using mutations to improve specs and test suites☆167Updated 2 months ago
- readable evm state diffs, enumerate full contract storage☆134Updated last year
- Guess what☆75Updated last year
- ☆90Updated 3 years ago
- proof first, evm specific smt solver☆68Updated 2 years ago
- Assessing the nature and impact of MEV in eth2.☆67Updated last year
- ☆124Updated 2 years ago
- Miner extractable value modeling and tools.☆126Updated 2 years ago
- Geth client which picks the most profitable blocks to mine using a greedy algorithm☆81Updated 3 years ago
- Tools for Yul.☆137Updated last year
- Code for Foundry Seminar☆114Updated 2 years ago
- UniswapV3 by examples☆143Updated last year
- ☆38Updated 11 months ago
- 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
- MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.☆153Updated last year
- Mutation Testing for Ethereum Smart Contracts☆203Updated last year
- All awesome mev-boost related content☆118Updated 2 years ago
- ☆116Updated 8 months ago
- simulates MEV activity from an array of unique searchers; used for testing infra☆112Updated 2 months ago
- find a cheap selector name, save gas on external calls☆88Updated 3 years ago
- Smart contract that allows to buy collateral from Yield v2 vaults under auction using flash loans☆76Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated last year
- A smart contract security search utility☆67Updated this week
- Powerful Ethereum Smart-Contract Toolkit☆85Updated last year