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 3 months ago
- Miner extractable value modeling and tools.☆125Updated 3 years ago
- ☆119Updated last year
- Primitive Replicating Market Maker smart contracts☆131Updated last year
- MEV Data Corpus☆93Updated 3 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 3 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆78Updated 4 years ago
- Powerful Ethereum Smart-Contract Toolkit☆89Updated 3 years ago
- Assessing the nature and impact of MEV in eth2.☆66Updated 3 years ago
- ☆119Updated 4 years ago
- ☆91Updated 4 years ago
- A mutation testing tool for Solidity Smart Contracts☆85Updated 9 months ago
- readable evm state diffs, enumerate full contract storage☆137Updated 2 years ago
- Geth client which picks the most profitable blocks to mine using a greedy algorithm☆83Updated 4 years ago
- ☆165Updated 3 years ago
- Chief Proxy Operator☆135Updated 4 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Updated 2 years ago
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆210Updated 3 years ago
- Repository for Huff - an EVM programming language☆239Updated 5 years ago
- Tools for Yul.☆138Updated 2 years ago
- Mutation Testing for Ethereum Smart Contracts☆206Updated 2 years ago
- TWAMM Reference Implementation☆125Updated 4 years ago
- ☆126Updated 4 years ago
- Solidity library with basic trigonometry functions☆150Updated 2 years ago
- Python simulator to test implementation of the RMMS paper results.☆56Updated 3 years ago
- Draw EVM contract byte code☆120Updated 3 years ago
- ☆87Updated 3 years ago
- An Ethereum RPC proxy that makes composing and submitting flashbots bundles easy☆142Updated 3 years ago
- ☆93Updated 3 years ago