该论文提出了一个形式化框架，用于分析去中心化金融（DeFi）组合的经济安全。DeFi服务通常由多个智能合约组合而成，这种可组合性是DeFi成功的关键驱动力，但也带来了安全风险：攻击者可以利用新部署的合约与已有合约之间的交互来造成经济损失。论文引入了“MEV非干扰”这一形式化安全概念，要求一组新部署的合约的最大可提取价值（MEV）不会因与现有区块链状态的交互而增加。为了支持这一概念，作者定义了“局部MEV”，这是一种新型的经济攻击度量标准，专注于给定受害者合约集的损失。论文研究了两种对手模型（有界财富和无界财富），并建立了充分条件和局部性原则，从而实现对安全组合性的模块化推理。作者将该框架应用于代表性的DeFi组合，包括交易所、自动做市商（AMM）、期权、借贷池、路由器和套利合约，展示了它如何区分安全组合与脆弱组合。该工作为推理DeFi组合的经济安全性提供了形式化基础，适合对DeFi安全、形式化方法和MEV研究感兴趣的读者。

本文研究去中心化系统（如区块链）抵御女巫攻击（Sybil attack）的资源稀缺性条件。传统观点认为，只要绑定某种稀缺资源（如计算力、代币持有量）即可线性增加攻击成本，从而有效防御。但作者证明，仅靠稀缺性是不够的：资源的结构性属性决定了攻击者能否通过身份复制、委托或池化等方式，以次线性成本集中影响力。论文形式化定义了攻击成本 C(s,T)：在 T 个时间窗口内，达到相当于 s 个独立参与单元影响力所需的最小花费。证明了任何满足可分性、影响力可加性、时间可重用性和身份可转移性的资源，都存在影响力摊销：C(s,T)=o(sT)，即攻击成本增长低于线性，无论协议如何设计。这是一个不可能性结果：任何协议规则都无法对结构上可并行的资源强制线性影响力集中成本。相反，若资源具有吞吐量受限、不可转移、窗口局部性等性质，则可保证 C(s,T)=Ω(sT)：每增加一个单位的持续影响力，边际成本 Δ(s,T)=Ω(T)，随时间窗口增长。两类资源在渐近意义上被分离。因此，任何旨在实现线性影响力集中成本的机制，都必须将参与绑定在违反至少一个可并行化属性的资源上。该结果对设计去中心化协议具有指导意义，提示开发者需关注资源的内在并行性，而不仅仅依赖稀缺性。适合区块链研究者、协议设计者以及安全经济学领域学者阅读。