该论文关注区块链与以太坊生态中智能合约的安全问题。随着智能合约在去中心化应用中的采用度不断提高,合约逻辑日益复杂、所承载的资金价值持续上升,使其成为网络攻击的重点目标。作者指出现有检测手段(隐性指向传统静态分析与规则/符号执行类工具)在理解 Solidity 语言的深层语义与上下文模式方面存在不足,因此提出一种基于 Transformer 的智能合约漏洞检测方法。方法上,作者利用预训练大语言模型的表征能力构建了一条完整流水线:首先定义并构建真值(ground truth)数据集,将 Solidity 代码片段标注为 vulnerable 或 safe 两类;随后在该数据集上对基于 BERT 的架构进行微调,使模型能够学习 Solidity 代码特有的语法结构与语义模式;最终模型以代码片段为输入输出漏洞与否的判定,形成片段级(fragment-level)检测能力。实验结果方面,微调后的模型取得了 92% 的 F1 值,作者据此论证将 LLM 适配到智能合约安全领域、依靠深度上下文理解可以显著提升检测效果。论文的主要贡献可归纳为三点:一是面向 Solidity 片段构建了带标注的漏洞真值数据集;二是给出了一套可复用的 LLM 微调式漏洞检测流水线;三是通过实证数据验证了该范式的有效性。适合智能合约审计、区块链安全、代码安全机器学习方向的研究者与工程师阅读。需要注意的是,摘要未披露数据集规模、覆盖的漏洞类型(如重入、访问控制、整数问题等)、类别不平衡处理方式、误报率、跨编译器版本泛化能力以及代码与数据是否开源,这些均需查阅全文核实。
💡 推荐理由: 智能合约一旦部署难以修补,漏洞直接对应资金损失。该工作给出片段级、可微调的 LLM 检测路径并报出 92% F1,为审计前筛与 CI 门禁提供了可评估的新思路;但样本规模、漏洞覆盖与误报率未明,落地前需自行复现验证。
🎯 建议动作: 研究跟进