中文

SCALM:通过大语言模型检测智能合约中的不良实践

计算与语言 2026-02-03 v2 人工智能

摘要

随着Ethereum平台的成熟和普及使用,维护智能合约编写的高标准至关重要。尽管不良实践在智能合约中可能不会直接导致安全问题,但会增加遇到问题的风险。因此,本文提出了对智能合约中不良实践的首个系统性研究,涉及超过35个具体问题。具体而言,我们提出了基于大语言模型(LLM)的框架SCALM。它结合了Step-Back Prompting和检索增强生成(Retrieval-Augmented Generation, RAG),有效识别和解决各种不良实践。我们使用多个LLM和数据集进行大规模实验,结果表明SCALM在检测智能合约中的不良实践方面优于现有工具。

关键词

引用

@article{arxiv.2502.04347,
  title  = {SCALM: Detecting Bad Practices in Smart Contracts Through LLMs},
  author = {Zongwei Li and Xiaoqi Li and Wenkai Li and Xin Wang},
  journal= {arXiv preprint arXiv:2502.04347},
  year   = {2026}
}

备注

7 pages