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服务面临安全风险，因为攻击者可以针对任意底层合约，从经济上损害复合服务。我们引入了一种新的智能合约安全可组合性概念，确保攻击者无法通过干扰其依赖项而从经济上损害复合合约。