智能合约库误用检测:结合大语言模型与静态分析
2025-02-14 12:31
No.1339936999574085632
技术概要
PDF全文
本技术提出了一种创新的智能合约库误用检测技术,该技术融合了大语言模型和静态分析。该方法首先提取库误用信息,随后构建了一种先生成后选择的提示词机制,并通过此机制利用大语言模型进行智能合约的误用检测,以提高检测的准确性和效率。
背景技术
区块链技术以其去中心化和不可变的特性以及卓越的安全性而闻名,在金融和医疗保健等关键领域找到了广泛的应用。以太坊作为首个支持智能合约的公共区块链平台,通过引入支持创建智能合约的可编程区块链,彻底改变了区块链领域,已成为最受欢迎的区块链平台之一。智能合约是自执行合同,其协议条款直接编写在代码行中,并在区块链上运行。以太坊平台允许开发者使用其主要语言Solidity编写智能合约,并在以太坊虚拟机(EVM)上部署。EVM是一个去中心化的虚拟机,它使用国际公共节点网络执行代码,这种方法带来了更高程度的透明度和信任,因为交易和合约状态被不可改变地记录在区块链上。Solidity库是一组可重用的函数,可以被其他合约调用。开发者经常将解决特定问题的常见操作或函数封装起来。当其他开发者希望实现类似的功能时,可以导入这些库并使用它们的方法来解决特定问题,智能合约开发过程中不正确的实现或应用库可能会导致合约中的缺陷,目前缺乏能够有效检测和识别智能合约中库误用模式的工具。 库误用是智能合约开发中的一个常见问题,涉及三个关键角色:创建库的开发者、使用库的合约开发者和维护库的社区,这三个角色之间的有效协作有助于开发智能合约。然而,创建库的开发者或使用库的合约开发者的不当行为被称为库误用,包括但不限于不正确的函数调用、对库函数能力的不完全理解,或未能及时更新到库的安全版本,从而引入安全漏洞等。因此,传统的库误用检测方式存在检测不精确的问题。
实现思路
阅读余下40%
技术概要为部分技术内容,查看PDF获取完整资料
该技术已申请专利,如用于商业用途,请联系技术所有人!
技术研发人员:
李晓琦  王乙顺  李文凯  王鑫
技术所属: 海南大学
相关技术
一种油气管道安全巡检系统 一种油气管道安全巡检系统
一种基于全闪存优化储备池网络性能的方法 一种基于全闪存优化储备池网络性能的方法
红外触摸框的电路结构、红外触摸框及红外触摸屏 红外触摸框的电路结构、红外触摸框及红外触摸屏
一种坐标系转换方法、系统、设备及存储介质 一种坐标系转换方法、系统、设备及存储介质
一种移动数据存储装置的数据解密方法 一种移动数据存储装置的数据解密方法
一种用于数字地球的高维数据检索方法、设备及介质 一种用于数字地球的高维数据检索方法、设备及介质
一种用于集成电路芯片验证的通用验证系统 一种用于集成电路芯片验证的通用验证系统
基于大数据的供热系统负荷预测方法、系统和介质 基于大数据的供热系统负荷预测方法、系统和介质
神经网络的执行方法及相关装置 神经网络的执行方法及相关装置
井道电子标签故障上报方法、装置及电子设备 井道电子标签故障上报方法、装置及电子设备
技术分类
电信、广播电视和卫星传输服务 电信、广播电视和卫星传输服务
互联网软件服务 互联网软件服务
集成电路设计 集成电路设计
信息集成数字服务 信息集成数字服务
电气机械制造 电气机械制造
计算机、通信、电子设备制造 计算机、通信、电子设备制造
医药制造、生物基材料 医药制造、生物基材料
石油煤矿化学用品加工 石油煤矿化学用品加工
化学原料制品加工 化学原料制品加工
非金属矿物加工 非金属矿物加工
金属制品加工 金属制品加工
专用设备制造 专用设备制造
通用设备制造 通用设备制造
通用零部件制造 通用零部件制造
汽车制造业 汽车制造业
铁路、船舶、航天设备制造 铁路、船舶、航天设备制造
电力、热力生产和供应 电力、热力生产和供应
燃气生产和供应 燃气生产和供应
水生产和供应 水生产和供应
房屋建筑、土木工程 房屋建筑、土木工程
交通运输、仓储和邮政 交通运输、仓储和邮政
农、林、牧、渔业 农、林、牧、渔业
采矿业 采矿业
农副、食品加工 农副、食品加工
烟草、酒水加工 烟草、酒水加工
纺织皮具居家制品 纺织皮具居家制品
文教体娱加工 文教体娱加工
苏ICP备18062519号-5 © 2018-2025 【123技术园】 版权所有,并保留所有权利