Soley：基于大语言模型识别以太坊智能合约中逻辑漏洞的自动化方法
新兴技术
2024-06-25 v1 密码学与安全
摘要
现代区块链技术（如以太坊）支持智能合约的部署与执行，这些智能合约是具有显著加密货币价值的自主数字程序。执行智能合约需要由用户支付的气体费用，这定义了合约执行的限制。智能合约中的逻辑漏洞可能导致财产损失，往往是高影响网络攻击的根本原因。我们的目标有三个：（i）实证调查从GitHub代码变更中提取的真实世界智能合约中的逻辑漏洞；（ii）引入Soley，一种基于大语言模型（LLM）的自动化检测智能合约逻辑漏洞的方法；（iii）检查开发者为解决这些漏洞而采用的缓解策略在真实世界情景中的情况。我们从GitHub获取智能合约及其相关代码变更。为实现第一个和第三个目标，我们对可用的逻辑漏洞进行定性调查。我们识别了这些漏洞及其缓解策略。对于第二个目标，我们提取了各种逻辑漏洞，应用预处理技术，并实现并训练了提出的Soley模型。我们评估了Soley以及各种LLM的性能，并将结果与在逻辑漏洞检测任务上的最先进基准进行比较。通过我们的分析，我们识别了九个新型逻辑漏洞，将这些漏洞扩展到现有分类学中。此外，我们从观察到的开发者在真实世界情景中的修改中提取了几个缓解策略。我们的Soley方法在自动识别逻辑漏洞方面优于现有方法。有趣的是，尽管不需要大量特征工程，LLM在此任务中的效果就已显而易见。
引用
@article{arxiv.2406.16244,
title = {Soley: Identification and Automated Detection of Logic Vulnerabilities in Ethereum Smart Contracts Using Large Language Models},
author = {Majd Soud and Waltteri Nuutinen and Grischa Liebel},
journal= {arXiv preprint arXiv:2406.16244},
year = {2024}
}