Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/0xosiris/mev_book
An aggregate of MEV resources, libraries, research papers, and strategies.
https://github.com/0xosiris/mev_book
cfmm mathematics mev research resources smt solidity
Last synced: about 1 month ago
JSON representation
An aggregate of MEV resources, libraries, research papers, and strategies.
- Host: GitHub
- URL: https://github.com/0xosiris/mev_book
- Owner: 0xOsiris
- Created: 2022-10-01T22:58:04.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2024-01-11T15:32:32.000Z (12 months ago)
- Last Synced: 2024-01-11T23:54:07.296Z (12 months ago)
- Topics: cfmm, mathematics, mev, research, resources, smt, solidity
- Homepage:
- Size: 92.8 KB
- Stars: 230
- Watchers: 10
- Forks: 42
- Open Issues: 0
-
Metadata Files:
- Readme: Readme.md
Awesome Lists containing this project
README
# :sparkles: :sparkles: The Mev Book :sparkles::sparkles:
```shell
_________________________________________________________
||-------------------------------------------------------||
||.--. .-._ .----. ||
|||==|____| |H|___ .---.___|""""|_____.--.___ ||
||| |====| | |ann|_ |+++|=-=|_ _|-=+=-|==|---|||
|||==| | | | | \ | | |_\/_|Alpha|$$| ^ |||
||| | | | | |\ \ .--. | |=-=|_/\_|-=+=-| | ^ |||
||| | | | | |_\ \_( oo )| | | |Magus|$$| ^ |||
|||==|====| |H|cvx| \ \ |''| |+++|=-=|""""|-=+=-|==|---|||
||`--^----'-^-^---' `-' "" '---^---^----^-----^--^---^||
||-------------------------------------------------------||
||-------------------------------------------------------||
|| ___ .-.__.-----. .---.||
|| |===| .---. __ .---| |XX|<(*)>|_|^^^|||
|| , /(| |_|smt|__|''|__|:M:|=| | |=| C |||
|| _a'{ / (|===|+| |++| |==| | | | | | F |||
|| '/\\/ _(|===|-| | |''| |:E:|=| | | | M |||
||_____ -\{___(| |-| | | | | | | | | | M |||
|| _(____)|===|+|[S]|z3|''|==|:V:|=|XX|<(*)>|=|^^^|||
|| `---^-^---^--^--'--^---^-^--^-----^-^---^||
||-------------------------------------------------------||
||_______________________________________________________||
```
# 📘 Appendix 📘
* [CFMMs](#cfmms)
* [Relayers](#relayers)
* [Repositories](#tools)
* [Research](#research)
* [Full Texts](#texts)
* [Articles](#articles)
* [News Letters](#newsletter)
* [Solvers](#solvers)
* [Solver Bindings](#bindings)
* [Exploitation](#strategies)
* [Inspection Tools](#inspect)
* [Mev Job Boards](#board)
* [Communities](#communities)
* [Additional Mev Resource Lists](#additional)
## 🙅♂️ CFMMs (CPMMs) 🙅♂️
* [Uniswap V2 Whitepaper (text)](https://uniswap.org/whitepaper.pdf)
* [Uniswap V3 Whitepaper (text)](https://uniswap.org/whitepaper-v3.pdf)
* [An in depth look into Uniswap V3 (text)](https://uniswapv3book.com) 🙅♂️
* [Uniswap V3 Flash Swaps (text)](https://medium.com/coinmonks/tutorial-of-flash-swaps-of-uniswap-v3-73c0c846b822)
* [Simple swap v2 (video)](https://www.youtube.com/watch?v=qB2Ulx201wY)
* [Flash swaps v2 (video)](https://www.youtube.com/watch?v=MxTgk-kvtRM)
* [V3 Tick Math (video)](https://www.youtube.com/watch?v=p7LIEr8hVCA)
* [V3 Pricing (video)](https://www.youtube.com/watch?v=hKhdQl126Ys)
* [V3 Flash Swap Example (source)](https://github.com/yuichiroaoki/flash-swap-example)
* [V2 Flash Swap Example (source)](https://solidity-by-example.org/defi/uniswap-v2-flash-swap/)
## 🖥 Relayers 🖥
* [MEV-Boost (Flashbots Relayer) (source)](https://github.com/flashbots/mev-boost)
## 🛠 Repositories 🛠
* [`amms-rs` - A modular framework for managing AMMs (source)](https://github.com/darkforestry/amms-rs) 🛠
* [`artemis` - A simple, modular, and fast framework for writing MEV bots in Rust.(source)](https://github.com/paradigmxyz/artemis)🛠
* [subway-rs - Sandwich attacks built with ethers-rs and Huff language. (source)](https://github.com/refcell/subway-rs)🛠
* [rusty-sando - v2/v3 multi-meat MEV sandwich bot written using Rust and Huff. (source)](https://github.com/mouseless-eth/rusty-sando)
* [Simple Arbitrage - Flashbots Arbitrage Basic Template Typescript/Solidity (source)](https://github.com/flashbots/simple-arbitrage)
* [CFMM Routing - Convex Optimization Full Example Python (source)](https://github.com/angeris/cfmm-routing-code) 🛠
* [V2/V3 Fixed Point Math Library Pricing/Simulation/Quoting Solidity (source)](https://github.com/0xOsiris/cfmm-math-libraries)
* [cfmms-rs - A modular framework for syncing v2/v3 pools (source)](https://github.com/0xKitsune/cfmms-rs)
* [Off-Chain Uniswap V3 Math - Rust (source)](https://github.com/0xKitsune/uniswap_v3_math)
* [Cosmos - Basic Arbitrage Bot (source)](https://github.com/skip-mev/bots)
* [Submarine Transactions](https://github.com/lorenzb/libsubmarine)
## 👀 Research 👀
* [SMT-Solver-Heuristic Search for Profitable Pathing & Bellman Ford Negative Cycle Detection Arbitrage](https://arxiv.org/pdf/2103.02228.pdf)
* [**Optimal Routing on CFMMs - Lagrangian Constrained Optimization**](https://angeris.github.io/papers/cfmm-routing.pdf) 👀
* [Optimal Arbitrage - Formalizing Convex Optimization](https://angeris.github.io/papers/uniswap_analysis.pdf)
* [Multi Asset Trade - Convex Optimization](https://angeris.github.io/papers/cfmm-chapter.pdf) 👀
* [Flashboys 2.0 - Frontrunning, Transaction Reordering, and Consensus Instability](https://arxiv.org/pdf/1904.05234.pdf)
* [Quantifying Blockchain Extractable Value: How dark is the forest?](https://arxiv.org/pdf/2101.05511.pdf)
* [An empiracle study of frontrunning](https://arxiv.org/pdf/2102.03347.pdf)
* [High-Frequency Trading on Decentralized On-Chain Exchanges](https://arxiv.org/pdf/2101.05511.pdf)
* [Multi Domain Arbitrage](https://arxiv.org/pdf/2112.01472.pdf)
* [Bundle Profit Maximization](https://angeris.github.io/papers/flashbots-mev.pdf)
* [CFMM Routing - Convex Optimization Methodological Overview](https://bcc-research.github.io/CFMMRouter.jl/dev/)
* [Optimal Trading Model - CPMMs/CFMMs](https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4144743) 👀 (2022)
* [**SoK:DEXs with AMM Protocols**](https://arxiv.org/pdf/2103.12732.pdf)
* [SMT Based Models - First Order Logical Embeddings in ANNs](https://arxiv.org/pdf/2111.13110.pdf)
* [Neural Bellman-Ford Networks - Neural Network Framework for Link Prediction](https://arxiv.org/pdf/2106.06935.pdf)
* [Interesting Recursive Approach to Bellman Ford](https://core.ac.uk/download/pdf/82538817.pdf)
* [A general framework for impermanent loss](https://arxiv.org/pdf/2203.11352.pdf)
* [Frontrunner Jones and The Raiders of the Dark Forest](https://arxiv.org/pdf/2102.03347.pdf)
* [Mitigating Frontrunning, Transaction Reordering and Consensus Instability](https://arxiv.org/pdf/2106.07371.pdf)
## 📚 Full Texts 📚
* [Convex Optimization Book - Stanford](https://web.stanford.edu/~boyd/cvxbook/bv_cvxbook.pdf) 📚
## 🗞 Articles 🗞
* [Ethereum Backrunning](https://amanusk.medium.com/the-fastest-draw-on-the-blockchain-bzrx-example-6bd19fabdbe1)
* [Ethereum is a Dark Forest](https://www.paradigm.xyz/2020/08/ethereum-is-a-dark-forest)
* [Escaping The Dark Forest](https://samczsun.com/escaping-the-dark-forest/)
## 📰 Newsletters 📰
* [noxx - Low Level EVM Deep Dives](https://noxx.substack.com/)
* [DeGatchi - Security ~ Web3 ~ Mev](https://degatchi.com/articlesm/)
## 😈 Solvers 😈
* [JuMP (julia)](https://mlubin.github.io/pdf/jump-sirev.pdf)
* [CVXPY (python)](https://www.cvxpy.org)
* [ECOS (C)](https://github.com/embotech/ecos)
* [SCS (C)](https://github.com/cvxgrp/scs)
* [MOSEK (Rust, Julia, Python)](https://github.com/orgs/MOSEK/repositories)
* [Totsu (Rust)](https://github.com/convexbrain/Totsu)
## 💿 Bindings 💿
* [Go-z3 - Go bindings to Z3 SMT Solver (source)](https://github.com/mitchellh/go-z3)
* [Rust-z3 - Rust bindings to Z3 SMT Solver (source)](https://github.com/prove-rs/z3.rs)
* [Julia-Rust (source)](https://github.com/felipenoris/JuliaPackageWithRustDep.jl)
## 🧙♂️ Exploitation 🧙♂️
* [Wrecking Sandwich Traders for Fun and Profit (text)](https://github.com/Defi-Cartel/salmonella)
## 🔬 Inspection Tools 🔬
* [Flashbots mev-inspect-py (source)](https://github.com/flashbots/mev-inspect-py)
* [Flashbots mev-inspect-rs (source)](https://github.com/flashbots/mev-inspect-rs)
* [EigenPhi MEV Dashboard](https://www.eigenphi.io/) + [EigenTX](https://www.eigenphi.io/mev/ethereum/eigentx/0x1e65bb95d7395296182c4603dce7f7e2bbff6535a335caec9f6f0ce927f06eff)
* [ETH Tx Transaction Decoder](https://ethtx.info/) by [Token Flow](https://tokenflow.live/)
* [Ethereum Transaction Viewer](https://tx.eth.samczsun.com/) by [@samczsun](https://github.com/samczsun/)
* [BlockSec Phalcon Transaction Explorer](https://phalcon.blocksec.com/)
* [Tenderly](https://tenderly.co)
* [Sentio](https://app.sentio.xyz/explorer)
## 💂♂️ Job Boards 💂♂️
* [**Flashbots Mev Job Board**](https://github.com/flashbots/mev-job-board)
## 👨👨👦👦 Communities 👨👨👦👦
* [Flashbots Discord](https://discord.gg/flashbots)
## 🧙♂️ Additional Mev Resource Lists 🧙♂️
* [Awesome Mev Resources](https://github.com/0xalpharush/awesome-MEV-resources)
* [Quantifying Total Extracted MEV - A list of Resources](https://collective.flashbots.net/t/quantifying-total-extracted-mev-a-list-of-resources/936?u=alex)
* [Mev Wiki](https://www.mev.wiki/resource-list)
## Contributions
If there are any resources you think should be included feel free to PR directly to `main`. This repository aims to hold the most up to date research in the space, and will frequently add links as new resources become available so contributions of new research in the space is encouraged.