Search papers, labs, and topics across Lattice.
This paper introduces a novel pipeline for discovering token-based Maximal Extractable Value (tMEV) on blockchains, focusing on the overlooked opportunities within token smart contracts themselves. The pipeline includes tSCAN, a static analysis tool to identify non-standard supply-control functions, and tSEARCH, a searcher that generates and solves token-specific constraints to uncover profitable tMEV. Empirical evaluation via transaction replay demonstrates that tSEARCH extracts 10x more profit than existing MEV searchers on Ethereum, highlighting the significant untapped potential of tMEV.
You're leaving money on the table: a new searcher extracts 10x more MEV by exploiting overlooked vulnerabilities in token smart contracts.
This paper tackles the discovery of tMEV, that is, the Maximal Extractable Value on blockchains that arises from Token smart contracts. This scope differs from the existing MEV-discovery research, which analyzes application-layer contracts or attacker contracts, but ignores the wide and diverse range of token contracts. This paper presents a pipeline of techniques for tMEV discovery, including tSCAN, a static analysis tool for identifying non-standard supply-control functions in token contracts, and tSEARCH, a searcher that uncovers profitable tMEV opportunities by generating, refining, and solving token-specific constraints. By replaying real-world transactions, this paper demonstrates both the profitability of tMEV strategies and existing searchers'unawareness of them: the proposed tSEARCH extracts $10\times$ more profit than observed MEV activity on Ethereum. The practicality of tMEV searching is demonstrated through a prototype built on Slither, showing high effectiveness with low performance overhead.