近日，yl6809永利官网硕士生李宗维（第一作者）、副教授李晓琦（通讯作者）、博士生李文凯、硕士生王鑫合作完成的研究论文“SCALM: Detecting Bad Practices in Smart Contracts Through LLMs”成功录用于第39届AAAI国际会议（The 39th Annual AAAI Conference on Artificial Intelligence）。AAAI会议是人工智能领域的国际顶级学术会议之一，属于中国计算机学会（CCF）推荐的A类顶级学术会议。AAAI-2025将于2025年2月27日至3月4日在美国宾夕法尼亚州费城举行。
图1: 论文信息介绍
随着区块链技术的广泛应用，智能合约已成为区块链生态系统的重要组成部分。智能合约是自动执行合同条款的计算机程序，控制链上的资产和操作。然而，由于其公开和不可篡改的代码，智能合约成为了攻击者的重要目标。本文聚焦于智能合约安全审计问题，提出了一种基于大语言模型（LLMs）的创新框架SCALM。该框架旨在检测智能合约中的潜在“不良实践”（Bad Practices），并提供详细的安全审计报告。这些“不良实践”是指在智能合约开发过程中可能引发性能问题、安全漏洞或不可预测行为的编码习惯和设计决策。
图2: SCALM框架图
如图2所示，SCALM框架主要包括两个核心部分：首先，框架通过对大型数据集进行静态分析，识别和提取可能包含不良实践的代码块，并将这些代码块向量化后存储于向量数据库中，形成可查询的知识库；其次，SCALM结合检索增强生成（RAG）和后退提示（Step-Back Prompting）技术，从代码中抽象出更高层次的概念与原则，以便有效检测不良实践。最终，SCALM生成详细的审计报告，突出潜在的安全问题、评估相关风险，并为开发者提供切实可行的修复建议。
供稿：李晓琦
审核：胡昌慧
终审：陈广锐
