MEV的理论基础
A theoretical basis for MEV
AI总结：
本文提出了一种MEV的理论框架，旨在为智能合约的安全性提供理论依据，以应对公共区块链中的经济攻击。
摘要：
最大可提取价值（MEV）指的是对公共区块链的一类经济攻击，其中具有重新排序、删除或插入交易权力的攻击者可以「从智能合约中提取价值」。实证研究显示，主流去中心化金融（DeFi）协议受到这些攻击的严重威胁，对用户和区块链网络产生了不利影响。尽管这些攻击的实际影响日益增加，但其理论基础仍然不够充分。我们提出了一种基于通用抽象区块链和智能合约模型的MEV正式理论。我们的理论是证明对MEV攻击安全性的基础。
英文摘要：
Maximal Extractable Value (MEV) refers to a wide class of economic attacks to public blockchains, where adversaries with the power to reorder, drop or insert transactions in a block can "extract" value from smart contracts. Empirical research has shown that mainstream DeFi protocols are massively targeted by these attacks, with detrimental effects on their users and on the blockchain network. Despite the increasing real-world impact of these attacks, their theoretical foundations remain insufficiently established. We propose a formal theory of MEV, based on a general, abstract model of blockchains and smart contracts. Our theory is the basis for proofs of security against MEV attacks.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
