Complex DeFi services are usually constructed by composing a variety of simpler smart contracts. The permissionless nature of the blockchains where these smart contracts are executed makes DeFi services exposed to security risks, since adversaries can target any of the underlying contracts to economically damage the compound service. We introduce a new notion of secure composability of smart contracts, which ensures that adversaries cannot economically harm the compound contract by interfering with its dependencies.

翻译：复杂的DeFi服务通常由多种更简单的智能合约组合而成。这些智能合约所运行的区块链的无许可特性使得DeFi服务面临安全风险，因为攻击者可针对任何底层合约对组合服务造成经济损害。我们提出了一种新的智能合约安全可组合性概念，确保攻击者无法通过干扰依赖关系对组合合约造成经济损害。