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
Sorting:
- ☆108Updated this week
- proof first, evm specific smt solver☆69Updated 3 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 3 years ago
- ☆90Updated 4 years ago
- Code for Foundry Seminar☆114Updated 3 years ago
- ☆124Updated 3 years ago
- Chief Proxy Operator☆134Updated 3 years ago
- Miner extractable value modeling and tools.☆123Updated 3 years ago
- readable evm state diffs, enumerate full contract storage☆136Updated last year
- EVM ByteCode To Opcode Disassembler☆61Updated 6 months ago
- MEV Data Corpus☆94Updated 2 years ago
- Tools for Yul.☆138Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Guess what☆75Updated 2 years ago
- Geth client which picks the most profitable blocks to mine using a greedy algorithm☆81Updated 3 years ago
- UniswapV3 by examples☆144Updated 2 years ago
- 🧠 A scriptable semantic grep utility for solidity☆144Updated 9 months ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆110Updated 5 years ago
- Smart contract that allows to buy collateral from Yield v2 vaults under auction using flash loans☆76Updated 2 years ago
- Python simulator to test implementation of the RMMS paper results.☆56Updated 3 years ago
- Primitive Replicating Market Maker smart contracts☆131Updated 9 months ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- Using mutations to improve specs and test suites☆186Updated this week
- ☆118Updated last year
- find a cheap selector name, save gas on external calls☆90Updated 3 years ago
- Assessing the nature and impact of MEV in eth2.☆67Updated 2 years ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆118Updated last year
- ☆161Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 4 years ago
- Analysis of MEV-Boost, PBS and Block building on Ethereum☆102Updated last year