北京航空航天大学张海楠获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉北京航空航天大学申请的专利一种区块链智能合约代码生成大型语言模型的方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119356650B 。
龙图腾网通过国家知识产权局官网在2025-10-17发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411494298.6,技术领域涉及:G06F8/30;该发明授权一种区块链智能合约代码生成大型语言模型的方法是由张海楠;王凌翔;张家宝;邱望洁;郑志明设计研发完成,并于2024-10-24向国家知识产权局提交的专利申请。
本一种区块链智能合约代码生成大型语言模型的方法在说明书摘要公布了:本发明涉及机器学习以及区块链技术领域,尤其涉及一种区块链智能合约代码生成大型语言模型的方法。通过智能合约代码生成CodeBC模型,包括以下步骤:任务定义;代码填充、漏洞检测;标签引导的指令微调。本发明提出了一种更安全的区块链智能合约代码生成模型CodeBC,采用两阶段微调的方法来增强模型对智能合约代码编程和理解人类指令的能力。具体而言,第一阶段采用包括代码填充和漏洞检测任务在内的多任务学习微调策略,以加强模型对智能合约代码的理解和对安全漏洞的感知能力;第二阶段,采用标签引导的指令微调,提高模型对语言指令理解的同时对齐模型生成安全合约代码的能力。
本发明授权一种区块链智能合约代码生成大型语言模型的方法在权利要求书中公布了:1.一种区块链智能合约代码生成大型语言模型的方法,通过智能合约代码生成CodeBC模型,其特征在于,包括以下步骤: 步骤一,任务定义:以D={S1,T1,C,…,S,T,C}表示智能合约代码生成任务的数据集,其中S是自然语言指令,T是安全标签,C是智能合约代码,给定一个自然语言指令其中s是指令S的词元,标签T∈{correct,bug},CodeBC模型的目标是基于约束标签T和指令S得到的生成概率PC|S,T来生成代码其中c为代码词元,PC|S,T可以表示为: 步骤二,代码填充:采用CodeLlama的高效训练方法,将文本分为三个部分,前缀、中缀和后缀,并通过调整各部分所处位置,使模型在预测中缀代码时可以充分利用上下文信息,其中,PRE、MID和SUF用于表示每个部分的开始,对于第i个例子C=Pre,Mid,Suf∈D,我们最小化目标Mid的负对数似然: 其中m表示Mid的词元,θ表示CodeLlama的模型参数; 步骤三,漏洞检测:加强模型对智能合约中安全漏洞的感知能力,并为后续标签引导的指令微调提供对齐方向,给定代码Ci,如果Ci没有漏洞,真实标签输出为否则其中[Tag]、[Tag]分别作为代码漏洞检测结果开始和结束的标志; 步骤四,标签引导的指令微调:利用标签来辅助模型更好地区分安全代码和有安全漏洞的代码,给定人工指令Si和标签信息Ti,代码生成模型的目标是生成真实代码Ci,其中Ti∈{correct,bug}表示代码Ci是否存在漏洞,模型优化目标是最小化目标代码的负对数似然: 其中ct为Ci的第t个词元,θD为多任务微调后的CodeLlama的模型参数。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京航空航天大学,其通讯地址为:100083 北京市海淀区学院路37号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励