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:
- ☆108Updated this week
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Miner extractable value modeling and tools.☆123Updated 3 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- Code for Foundry Seminar☆114Updated 3 years ago
- Using mutations to improve specs and test suites☆188Updated 3 weeks ago
- Tools for Yul.☆138Updated 2 years ago
- ☆118Updated last year
- readable evm state diffs, enumerate full contract storage☆136Updated last year
- 🧠 A scriptable semantic grep utility for solidity☆145Updated 9 months ago
- Draw EVM contract byte code☆122Updated 3 years ago
- Chief Proxy Operator☆134Updated 3 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆78Updated 3 years ago
- ☆90Updated 4 years ago
- Fully typed access to the Erigon db in rust☆103Updated 2 years ago
- Primitive Replicating Market Maker smart contracts☆131Updated 10 months ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- Smart contract that allows to buy collateral from Yield v2 vaults under auction using flash loans☆76Updated 2 years ago
- MEV Data Corpus☆94Updated 2 years ago
- UniswapV3 by examples☆144Updated 2 years ago
- Geth client which picks the most profitable blocks to mine using a greedy algorithm☆82Updated 3 years ago
- ☆94Updated 3 years ago
- Assessing the nature and impact of MEV in eth2.☆67Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆228Updated 2 years ago
- Guess what☆76Updated 2 years ago
- A collection of gas optimizations for the EVM.☆93Updated 2 years ago
- Powerful Ethereum Smart-Contract Toolkit☆89Updated 2 years ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions☆39Updated 3 years ago
- Making your life easier with simple Univ3 examples☆85Updated 3 years ago
- simulates MEV activity from an array of unique searchers; used for testing infra☆124Updated 9 months ago