SSR：通过定义和检测DeFi质押中的逻辑缺陷来保障质押奖励
软件工程
2026-01-12 v1
摘要
去中心化金融（DeFi）质押是DeFi生态系统中最突出的应用之一，DeFi项目允许用户在平台上质押代币，并用额外的代币奖励参与者。然而，DeFi质押中的逻辑缺陷可能使攻击者通过操纵奖励金额、重复领取奖励或进行其他恶意行为来索取不应得的奖励。为了减轻这些威胁，我们开展了首个专注于定义和检测DeFi质押中逻辑缺陷的研究。通过对64起安全事件和144份审计报告的分析，我们识别出六种不同类型的逻辑缺陷，每种都附有详细描述和代码示例。基于这项实证研究，我们开发了SSR（Safeguarding Staking Reward），这是一个旨在检测DeFi质押合约中逻辑缺陷的静态分析工具。SSR利用大语言模型（LLM）提取关于质押逻辑的基本信息并构建DeFi质押模型。然后，它通过分析模型和相关的语义特征来识别逻辑缺陷。我们构建了一个基于已知安全事件和审计报告的真实数据集来评估SSR的有效性。结果表明，SSR的总体精确率达到92.31%，召回率为87.92%，F1分数为88.85%。此外，为了评估逻辑缺陷在现实世界智能合约中的普遍性，我们编制了一个包含15,992个DeFi质押合约的大规模数据集。SSR检测到其中3,557个（22.24%）合约至少包含一个逻辑缺陷。
引用
@article{arxiv.2601.05827,
title = {SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking},
author = {Zewei Lin and Jiachi Chen and Jingwen Zhang and Zexu Wang and Yuming Feng and Weizhe Zhang and Zibin Zheng},
journal= {arXiv preprint arXiv:2601.05827},
year = {2026}
}