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
- ☆107Updated 2 months ago
- proof first, evm specific smt solver☆69Updated 2 years ago
- MEV Data Corpus☆94Updated 2 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 3 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- ☆124Updated 3 years ago
- Miner extractable value modeling and tools.☆125Updated 2 years ago
- Geth client which picks the most profitable blocks to mine using a greedy algorithm☆82Updated 3 years ago
- Assessing the nature and impact of MEV in eth2.☆67Updated 2 years ago
- ☆90Updated 4 years ago
- readable evm state diffs, enumerate full contract storage☆134Updated last year
- Fully typed access to the Erigon db in rust☆102Updated 2 years ago
- Tools for Yul.☆138Updated last year
- Code for Foundry Seminar☆114Updated 2 years ago
- EVM ByteCode To Opcode Disassembler☆61Updated 3 months ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- Chief Proxy Operator☆132Updated 3 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- UniswapV3 by examples☆142Updated 2 years ago
- find a cheap selector name, save gas on external calls☆89Updated 3 years ago
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- Python simulator to test implementation of the RMMS paper results.☆56Updated 2 years ago
- TWAMM Reference Implementation☆120Updated 3 years ago
- Top #1 Submission code for the first https://alphamev.ai MEV competition with best AUC (0.9893) and MSE (0.0982).☆71Updated 3 years ago
- ☆36Updated 3 years ago
- Using mutations to improve specs and test suites☆176Updated 5 months ago
- Guess what☆75Updated last year
- ☆94Updated 2 years ago
- ☆87Updated 2 years ago
- Powerful Ethereum Smart-Contract Toolkit☆87Updated 2 years ago