1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

基于AIGC的区块链智能合约IDE验证测试方法和系统.pdfVIP

  • 20
  • 0
  • 约2.17万字
  • 约 18页
  • 2024-03-09 发布于四川
  • 举报

基于AIGC的区块链智能合约IDE验证测试方法和系统.pdf

    本发明提供了一种基于AIGC的区块链智能合约IDE验证测试方法和系统，包括：步骤1：智能合约的编写；步骤2：合约分析优化流程；步骤3：智能合约的修改；步骤4：形式化验证；步骤5：合约测试；步骤6：链上最终验证测试；步骤7：进行数据投喂训练及模型更新。本发明可以通过机器学习算法对大量的代码进行分析，快速发现潜在的安全漏洞，提高安全检测的效率，使用AI提示词后，AI修复识别代码的能力更强。

    (19)国家知识产权局

    (12)发明专利申请

    (10)申请公布号CN117667676A

    (43)申请公布日2024.03.08

    (21)申请号202311559675.5

    (22)申请日2023.11.21

    (71)申请人上海金仕达卫宁软件科技有限公司

    地

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >