defi-formal / cffLinks
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:
- ☆109Updated 3 weeks ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆78Updated 3 years ago
- Assessing the nature and impact of MEV in eth2.☆68Updated 2 years ago
- ☆118Updated last year
- ☆90Updated 4 years ago
- MEV Data Corpus☆94Updated 2 years ago
- readable evm state diffs, enumerate full contract storage☆135Updated last year
- Miner extractable value modeling and tools.☆125Updated 3 years ago
- Primitive Replicating Market Maker smart contracts☆131Updated 11 months ago
- Tools for Yul.☆138Updated 2 years ago
- Geth client which picks the most profitable blocks to mine using a greedy algorithm☆81Updated 3 years ago
- Chief Proxy Operator☆134Updated 3 years ago
- Code for Foundry Seminar☆114Updated 3 years ago
- evm inception: the evm inside the evm via yul and solidity☆231Updated 2 years ago
- Python simulator to test implementation of the RMMS paper results.☆56Updated 3 years ago
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆210Updated 2 years ago
- Powerful Ethereum Smart-Contract Toolkit☆89Updated 2 years ago
- A mutation testing tool for Solidity Smart Contracts☆81Updated 2 months ago
- ☆125Updated 3 years ago
- ☆162Updated 3 years ago
- ☆94Updated 3 years ago
- Simplified Deployment Validation of EVM-Based Smart Contracts☆32Updated this week
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆119Updated last year
- UniswapV3 by examples☆143Updated 2 years ago
- Draw EVM contract byte code☆121Updated 3 years ago
- Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork☆69Updated 2 years ago
- Using mutations to improve specs and test suites☆191Updated 2 months ago
- A collection of gas optimizations for the EVM.☆95Updated 3 years ago