defi-formal / cff
Miner extractable value modeling and tools.
☆66Updated 3 years ago
Alternatives and similar repositories for cff:
Users that are interested in cff are comparing it to the libraries listed below
- ☆108Updated this week
- MEV Data Corpus☆94Updated 2 years ago
- proof first, evm specific smt solver☆69Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Geth client which picks the most profitable blocks to mine using a greedy algorithm☆82Updated 3 years ago
- ☆90Updated 4 years ago
- Using mutations to improve specs and test suites☆182Updated 6 months ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 3 years ago
- Miner extractable value modeling and tools.☆125Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- ☆117Updated last year
- Code for Foundry Seminar☆114Updated 3 years ago
- ☆124Updated 3 years ago
- Smart contract that allows to buy collateral from Yield v2 vaults under auction using flash loans☆76Updated 2 years ago
- Chief Proxy Operator☆132Updated 3 years ago
- UniswapV3 by examples☆142Updated 2 years ago
- ☆67Updated 2 years ago
- All awesome mev-boost related content☆118Updated 2 years ago
- readable evm state diffs, enumerate full contract storage☆135Updated last year
- 🧠 A scriptable semantic grep utility for solidity☆144Updated 7 months ago
- find a cheap selector name, save gas on external calls☆90Updated 3 years ago
- Tools for Yul.☆138Updated 2 years ago
- Assessing the nature and impact of MEV in eth2.☆67Updated 2 years ago
- A list of common Solidity optimization tips and myths.☆85Updated 2 years ago
- ☆40Updated last year
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- Deployment Validation Files aim to simplify Deployment Validation of Smart Contracts☆23Updated this week
- Paper: Data Representation in Solidity☆60Updated last year
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆119Updated last year
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago