智能合约相关的专利数据

序号	专利名	申请号	申请日	公开（公告）号	公开（公告）日	发明人
81	智能合约的部署方法及装置	CN202110611555.X	2021-06-02	CN113067900B	2021-09-24	郭学鹏
本说明书一个或多个实施例提供一种智能合约的部署方法及装置。该方法包括：获取使用工作流描述语言对工作流进行描述而生成的任务代码；通过编译器对所述任务代码进行编译，生成用于表征所述工作流的合约代码；向区块链网络发送用于部署所述合约代码的区块链交易，以在所述区块链网络中部署相应的智能合约，所述智能合约用于在被调用时根据所述工作流中各任务结点所定义的业务逻辑向参与所述区块链网络的节点成员分配待执行任务。
82	智能合约的部署方法及装置	CN202110611555.X	2021-06-02	CN113067900A	2021-07-02	郭学鹏
本说明书一个或多个实施例提供一种智能合约的部署方法及装置。该方法包括：获取使用工作流描述语言对工作流进行描述而生成的任务代码；通过编译器对所述任务代码进行编译，生成用于表征所述工作流的合约代码；向区块链网络发送用于部署所述合约代码的区块链交易，以在所述区块链网络中部署相应的智能合约，所述智能合约用于在被调用时根据所述工作流中各任务结点所定义的业务逻辑向参与所述区块链网络的节点成员分配待执行任务。
83	智能合约的验证方法和装置	CN202011435380.3	2020-12-11	CN112215618B	2021-02-26	邬萌; 王海军
本说明书实施例提供了一种智能合约的验证方法和装置。根据该实施例的方法，首先，分别对智能合约的每一个接口进行目标安全属性的形式化验证；然后对智能合约的不同接口的形式化验证产生的程序状态进行约减处理；之后，若约减处理得到的程序状态不满足所述目标安全属性，则获取不满足所述目标安全属性的程序状态实例；验证不满足所述目标安全属性的程序状态实例是否均无效，如果否，则所述目标安全属性验证失败。
84	植入智能合约的方法和设备	CN201710627390.9	2017-07-28	CN107392618B	2021-02-12	路成业
本申请提供了一种植入智能合约的方法和设备，该方法包括：接收来自智能印章的对纸质文件已完成盖章的消息，所述纸质文件的内容包括已植入区块链的智能合约的标识；扫描已盖章的纸质文件生成对应的电子文件；从所述电子文件中提取所述智能合约的标识；保存所述电子文件至所述区块链并根据所述智能合约的标识确定对应的智能合约所在的区块。将区块链智能合约与智能印章建立关联，将智能合约的标识约定在纸质文件中，通过智能印章保证了各个合约方的合法性和有效性，通过智能合约确保了合约内容的安全。
85	调用智能合约的方法及装置	CN202010946141.8	2020-05-15	CN112163035A	2021-01-01	杨孟哲; 刘燕
本说明书提供调用智能合约的方法及装置，该方法可以包括：确定调用请求方针对目标智能合约中定义的目标接口的调用需求；在所述目标智能合约中定义了对所述目标接口具有调用权限的合约角色，且所述合约角色被授权至所述调用请求方的情况下，调用所述目标接口以实现相应的预设功能。
86	调用智能合约的方法及装置	CN202010411844.0	2020-05-15	CN111339208B	2020-08-25	杨孟哲; 刘燕
本说明书提供调用智能合约的方法及装置，该方法可以包括：确定调用请求方针对目标智能合约中定义的目标接口的调用需求；在所述目标智能合约中定义了对所述目标接口具有调用权限的合约角色，且所述合约角色被授权至所述调用请求方的情况下，调用所述目标接口以实现相应的预设功能。
87	生成智能合约的方法及装置	CN201810084127.4	2018-01-29	CN110097359A	2019-08-06	栗志果; 徐惠; 童玲; 胡康; 余毅; 丁维
本说明书实施例提供一种生成智能合约的方法，该方法包括，接收第一用户通过图形用户界面提供的第一合约内容，接收与第二用户相关联的第二合约内容，然后根据第一合约内容和第二合约内容，利用第一用户和第二用户各自的身份信息作为数字签名，生成智能合约，以便在区块链中执行该智能合约。如此允许普通用户针对现实世界的交易定制智能合约，从而将区块链的技术优势更好地应用到现实世界。
88	一种智能合约漏洞检测方法	CN202310589095.4	2023-05-24	CN117332420A	2024-01-02	徐向华; 王顺
本发明公开一种智能合约漏洞检测方法，首先将智能合约作为静态处理阶段的输入，其次，模糊测试系统会通过可疑漏洞代码行逆向构建的包含数据流依赖事实的测试用例，分配到固定测试用例池中。同时，沿用优化的思想随机构建测试用例并将其分配到非固定测试用例池。最后，模糊测试系统动态执行两个测试用例池中的测试用例。对于非固定测试用例池，测试用例的优化包含交易序列优化和参数突变，并通过本发明所提出的覆盖信息全面的测试用例价值量判断公式来指导该测试用例池的优化过程。本发明有效地提升了智能合约模糊测试的测试效率，能探索到被测智能合约中更多路径，并能发现更多合约漏洞。
89	一种区块链的智能合约系统	CN202211699114.0	2022-12-28	CN116388990A	2023-07-04	谈克俭; 陈昊; 李建龙; 李敏; 单菲菲; 段利南; 张明; 贾瑞海
本发明提供了一种区块链的智能合约系统，本发明提供了一种区块链的智能合约系统，通过设置了智能合约的篡改和迁移系统，可以在黑客或故障对智能合约系统进行恢复，阻止或过滤攻击者的操作，先暂停合同，对用户更加透明，并防止了黑客攻击不懂迁移的用户，随后通过计算变量的内存偏移量，然后使用getStorageAt函数检索或扫描区块链并自行检索持有者；可以依赖以太网区块链公开的GoogleBigTable存档，对智能合约数据进行恢复，最后通过智能合约的构造函数来设置值，构建新的智能合约系统。
90	一种智能合约漏洞检测方法	CN202310137041.4	2023-02-09	CN116010975A	2023-04-25	孙建国; 常景辉; 田野
本发明属于区块链智能合约安全检测领域，公开了一种智能合约漏洞检测方法，包括：反编译及CFG构建，经过反编译的字节码会生成EVM指令及相应的参数。之后根据反编译后的EVM指令重建控制流图CFG。将EVM指令构建数据集，并利用Transformer模型的编码器进行训练。将CFG图中节点信息输入模型中，经过模型的处理得到节点信息的特征表示向量。构建事件的时序图神经网络，将图结构以及节点的信息表征向量作为输入端传入神经网络中；经过信息传递和更新，并根据节点的时序信息构造事件序列将图信息进行表示，最终进行漏洞的检测。进行模型效果评估。本发明使模型具有更好的并行性，能有效的将CFG图中的节点信息进行表征。
91	一种区块链的智能合约算法	CN202210884342.9	2022-07-25	CN115168903A	2022-10-11	陈贵平; 刘南余; 陈寅; 江浩; 张俊; 戴震宇
本发明提供一种区块链的智能合约算法，根据区块链内部的数据，提取交易双方的智能合约，提取智能合约完毕后，再对交易双方终端的MAC地址进行获取；获取智能合约图片，并对智能合约图片进行分割处理为九组微图像，并对九组微图像进行标记处理，并将九组微图像分割为三组传导序列，并将三组传动序列采用三组不同的网络路径进行传输，将对应的微图像传输至对应的终端时，对九组微图像内部的标记i进行提取，再根据标记i的下标标识，使九组微图像整合为智能合约图像，采用此种方式对智能合约图像进行传输，此种传输方式，便可有效对智能合约图像进行加密，提升传输过程中的安全性，以此提升数据的保密作用，避免智能合约图像被外部人员窃取。
92	一种智能合约漏洞检测方法	CN202111662475.3	2021-12-31	CN114462045B	2022-09-09	张莹; 顾晔; 徐天天; 陈甜妹; 岑雷扬
本发明公开了一种智能合约漏洞检测方法，包括如下步骤：构建与智能合约训练样本对应的训练操作码，滑动窗口对训练操作码进行遍历截取以获得多个训练操作码片段，生成与训练操作码对应的训练操作码片段集；将Transformer模型作为智能合约漏洞检测模型，采用训练操作码片段集对Transformer模型进行训练；对待检测智能合约进行预处理生成待检测操作码，滑动窗口对待检测操作码进行截取生成待检测操作码片段集，将待检测操作码片段集输入至Transformer模型；由分类器输出智能合约漏洞检测结果。Transformer模型会对具体训练操作码片段和其他所有训练操作码片段之间的相关性进行计算，因此最终训练完成的Transformer模型在实际使用的时候能够输出充分展现智能合约漏洞线索的结果。
93	生成智能合约的方法和装置	CN202110956775.6	2021-08-19	CN113849167A	2021-12-28	穆长春; 狄刚; 钱友才; 杜金钊
本发明公开了一种生成智能合约的方法和装置，涉及计算机技术领域。该方法的一具体实施方式包括：接收用户发来的智能合约生成请求，所述请求包括行业标识；根据所述行业标识从合约库中获取对应的行业合约模板，所述行业合约模板包括合约模板用户界面；将所述行业合约模板发送给用户，以通过所述合约模板用户界面进行行业合约模板展示及接收用户输入的配置参数；获取用户通过所述合约模板用户界面发来的配置参数，并根据所述配置参数和所述行业合约模板生成参数化合约，所述参数化合约包括参数化合约用户界面。该实施方式能够使所有企业均可以进行智能合约的开发，且可以简单、快速、方便地进行合约参数配置，且合约开发流程规范，利于审核。
94	调用智能合约的方法及装置	CN202110196300.1	2021-02-22	CN112560114A	2021-03-26	王海军; 邬萌; 蒋海滔
本说明书一个或多个实施例提供一种调用智能合约的方法及装置；该方法可以包括：接收用于调用目标智能合约的第一交易，所述第一交易中包括属于所述目标智能合约的目标功能接口的接收信息；确定所述目标功能接口是否被配置为关联调用补丁智能合约；在确定所述目标功能接口被配置为关联调用所述补丁智能合约的情况下，执行所述补丁智能合约，以判断所述第一交易是否会避免触发所述目标功能接口的漏洞。
95	运行智能合约的方法和装置	CN201710496967.7	2017-06-26	CN109118214B	2020-11-17	姜耀国; 蒋飞虎; 谢军安; 胡瑞丰; 丁海洋
本申请实施例提供了一种运行智能合约的方法和装置，该方法包括：分布式网络中的处理节点接收共识服务节点发送的交易，该交易包括在智能合约的背书过程中产生的多个运行结果；该处理节点检查该多个运行结果是否满足验证策略，该检查包括对该多个运行结果中由除该智能合约的限定条件之外的其他程序产生的数据和版本号的检查；在该多个运行结果满足该验证策略的情况下，该处理节点识别该智能合约中的限定条件，确定本地账本数据是否满足该限定条件；在该本地账本数据满足该限定条件的情况下，该处理节点接受该交易。本申请实施例的运行智能合约的方法和装置，有利于提高交易写入账本的成功率，从而有利于提高系统的整体性能。
96	一种模块化区块链智能合约	CN201811341763.7	2018-11-12	CN109542421A	2019-03-29	胡振生; 罗汉军
本发明公开了一种模块化区块链智能合约，包括智能合约模板，用户使用智能合约模板发布新智能合约包括以下步骤：用户通过可视化编辑界面选择智能合约模板；选择模板后创建一个新的智能合约，进入智能合约编辑界面；用户增删组件或者修改组件参数；修改完成后保存新智能合约；点击发布新智能合约，系统编译出最终版本的智能合约，并发布到区块链上；新智能合约发布成功后，用户需支付智能合约模板的使用费用，若没有发布成功，则不需要支付任何费用。本发明利用模板对智能合约进行可视化编辑操作，提供框架化的智能合约编写方式，简化智能合约的编写难度，提高智能合约的编写的正确性、安全性和高效性。
97	一种智能合约源码公开机制	CN201810847606.7	2018-07-27	CN109033888A	2018-12-18	陈龙
本发明公开了一种智能合约源码公开机制，包括以下步骤：将智能合约源代码经过编译生成二进制码；将生成的二进制码通过区块链接口发布到区块链中，形成区块链上的二进制码；在将二进制码放入区块链时，同时把智能合约源码一起放入到区块链上；用户下载二进制码进行校验智能合约提供的服务或功能；将源码通过编译放入区块链中，参照二进制码进行查阅和核对区块上相关服务功能的源码。本发明通过将源码生成的二进制码发布在区块链上供使用者校验，让用户真正了解源码机制，并保护了区块链上的安全和监督其他用户在区块链上的行为，从根本上防止了使用者和开发者作弊或者篡改程序数据的可能性。
98	智能合约的检测方法及装置	CN202211698899.X	2022-12-28	CN116028495A	2023-04-28	许冠行; 李文越; 何伊圣
本申请公开了一种智能合约的检测方法及装置。其中，该方法包括：获取智能合约对应的源代码；通过语法分析器解析源代码，并根据解析结果生成源代码对应的抽象语法树，其中，语法分析器用于对未经编译的任意版本的源代码进行语法分析；遍历抽象语法树中的多个树结点；根据预设条件检测多个树结点中是否包含有异常树结点，其中，预设条件用于表征异常函数代码的代码特征，异常函数代码为存在信息安全漏洞的函数代码，异常树结点对应的函数代码的代码特征与预设条件相匹配；在多个树结点中存在异常树结点的情况下，确定智能合约为存在信息安全风险的异常智能合约。本申请解决了现有技术中对智能合约的信息安全风险检测效率低的技术问题。
99	智能合约的执行方法及装置	CN202111646674.5	2021-12-29	CN114327695A	2022-04-12	刘晓建
一种智能合约的执行方法及装置。该方法包括：获取待执行的智能合约被允许执行的第一指令数；在执行所述智能合约的过程中，基于处理器中的PMU确定已执行的智能合约的第二指令数是否等于第一指令数。
100	一种智能合约漏洞检测方法	CN201911080006.3	2019-11-07	CN110866255B	2022-04-12	高健博; 任立峰; 李青山; 吴振豪; 冯向军; 吴奇泽; 刘世克; 司华友
本发明提供一种智能合约漏洞检测方法，涉及区块链技术领域。该方法将调用智能合约的输入数据切片为多个数据单元，并将每个数据单元标记为一个污点；智能合约运行的过程中，在EVM层对标记的污点进行追踪；判断追踪到污点是否参与算术运算，如果否，则判定智能合约是安全的；如果是，则进一步判定算术运算的结果是否发生溢出，如果未发生溢出，则判定智能合约存在潜在的算术溢出漏洞，将调用智能合约的输入数据生成新的输入数据，重新进行判断；如果发生溢出则进一步判断算术运算的结果溢出是否为受保护的；根据以上判断结果最终判断智能合约是否安全。本发明方法能够用于对区块链系统进行监测，及时发现存在安全漏洞的智能合约。

1 2 3 4 5 6 7 8 9 10

IPRDB

热门服务

关于我们

友情链接

联系方式