面向智能合约组合的经济安全量化概念
密码学与安全
2025-05-27 v1
摘要
去中心化应用通常由多个相互连接的智能合约组成。这一点在 DeFi 领域尤为突出，协议之间高度交织并依赖诸如代币、去中心化交易所和 lending 协议等多种基本组件。 在此背景下，一个关键的安全挑战是：对手方针对单个组件发动攻击，以造成系统整体经济损失。现有的安全概念侧重于确定攻击的存在，但未能量化单个组件被操控对系统整体经济安全所产生的影响。本文引入一种量化安全概念，用于衡量单个组件攻击对整体系统经济损失的放大效应。我们研究了这一概念的基本性质，并将其应用于评估关键组件组合的安全性。特别是，我们分析了由 lending 协议和去中心化交易所组成的系统中发生的低抵押贷款攻击。
引用
@article{arxiv.2505.19006,
title = {A quantitative notion of economic security for smart contract compositions},
author = {Emily Priyadarshini and Massimo Bartoletti},
journal= {arXiv preprint arXiv:2505.19006},
year = {2025}
}