defi-formal / cffLinks
Miner extractable value modeling and tools.
☆65Updated 4 years ago
Alternatives and similar repositories for cff
Users that are interested in cff are comparing it to the libraries listed below
Sorting:
- ☆110Updated last month
- ☆91Updated 4 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- Primitive Replicating Market Maker smart contracts☆131Updated last year
- Miner extractable value modeling and tools.☆125Updated 3 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 4 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 3 years ago
- MEV Data Corpus☆93Updated 3 years ago
- ☆118Updated last year
- ☆119Updated 4 years ago
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆211Updated 3 years ago
- Powerful Ethereum Smart-Contract Toolkit☆88Updated 2 years ago
- A mutation testing tool for Solidity Smart Contracts☆85Updated 7 months ago
- Code for Foundry Seminar☆114Updated 3 years ago
- Assessing the nature and impact of MEV in eth2.☆67Updated 3 years ago
- ☆164Updated 3 years ago
- Solidity library with basic trigonometry functions☆148Updated 2 years ago
- Chief Proxy Operator☆135Updated 3 years ago
- 🧠 A scriptable semantic grep utility for solidity☆144Updated last year
- readable evm state diffs, enumerate full contract storage☆136Updated 2 years ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions☆41Updated 4 years ago
- Analysis of MEV-Boost, PBS and Block building on Ethereum☆104Updated last year
- Publications of Runtime Verification, Inc.☆92Updated 2 months ago
- My solutions to https://ctf.paradigm.xyz/☆63Updated 2 years ago
- Get up to speed on dapptools☆152Updated 4 years ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆124Updated last year
- Geth client which picks the most profitable blocks to mine using a greedy algorithm☆81Updated 4 years ago
- Draw EVM contract byte code☆120Updated 3 years ago
- ☆126Updated 3 years ago
- Reference implementations for ERC20 Flash Loans and Flash Mints☆129Updated 2 years ago