首页 / 技术领域 / 智能合约 / 专利数据
序号 专利名 申请号 申请日 公开(公告)号 公开(公告)日 发明人
241 定时智能合约的调度方法及装置 CN202010505750.X 2020-06-05 CN111831745B 2023-04-18 刘昌平; 刘海; 何拥军; 徐红波; 郑璇玲
发明公开了一种定时智能合约的调度方法及装置,其中该方法包括:检测申请步骤,检测区中是否包括定时智能合约,申请成为所述定时智能合约的候选执行者,得到候选执行者序号,将所述定时智能合约的地址信息及所述候选执行者序号存入合约监测池;定时监测步骤,定时扫描所述合约监测池,获取所述定时智能合约,通过所述候选执行者序号得到首位候选状态,根据所述首位候选状态及所述定时智能合约的预设执行时间信息,执行定时功能或者调整所述候选执行者序号。本发明通过申请候选执行者,使得单个定时智能合约可以由多个候选执行者中择一执行,降低了因计算节点离线导致定时功能无法执行的可能性,保证了定时智能合约执行的可靠性。
242 一种智能合约部署方法 CN202111146236.2 2021-09-28 CN115879935A 2023-03-31 刘扬; 李向阳; 高奎; 韩婷婷; 闫志全; 王耀启; 刘鑫磊; 曹浩浩; 王锋; 刘琳琳; 张强
发明属于链技术领域,具体涉及一种区块链智能合约部署方法。该方法首先获取有交易倾向的交易倾向节点列表;然后计算交易倾向节点列表中各个节点的系统信誉和直接信誉,并综合利用系统信誉和直接信誉更新各个节点的节点信誉,其中,系统信誉是根据智能合约的历史交易记录计算得到的节点信誉,直接信誉是根据与过往节点的交互记录计算得到的节点信誉;最后根据各个节点更新后的节点信誉,从中挑选出节点信誉较高的节点发起交易,实现智能合约部署。该方法不仅能够支持智能合约的动态部署,还能够对区块链系统节点进行动态维护和管理,即,可固定周期对节点信誉进行查询,剔除信誉较低的节点以保证系统的稳定性和智能合约的可靠性。
243 一种智能合约调用管理方法 CN202110735633.7 2021-06-30 CN113486114B 2023-03-28 夏琦; 高建彬; 王嘉唯; 宋炜
发明提供一种智能合约调用管理方法,包括步骤:1)创建业务合约、控制合约;业务合约写入区块的同时在控制合约进行注册操作;2)消除冗余调用步骤:控制合约在创建时设置为定期执行冗余检查,检查依据为合约中所维护的控制合约映射表;控制合约检索到有业务合约中存在嵌套调用接口;控制合约则将冗余调用信息推送到业务合约;业务合约收到冗余调用信息,修改接口调用以及相应上下文,并将调用接口和版本号发送给控制合约;控制合约根据接收到的调用接口和版本号更新合约映射表。本发明能在数据业务以及参与方较为复杂、并且涉及到多个智能合约调用的场景下,协调规范众多智能合约的管理并消除合约调用中潜在的安全隐患。
244 一种针对智能合约行为的监管方法 CN202010211697.2 2020-03-24 CN111581047B 2023-03-24 张家硕; 高健博; 吴振豪; 闫文添; 任立峰; 李青山; 陈钟
发明提供一种针对智能合约行为的监管方法,涉及链智能合约技术领域。该方法包括部署与执行两个阶段;部署阶段将现实中的监管规则和代监管主体的状态转变为推理形式系统中的数字化监管规则,并存储到数字化监管规则库;在智能合约中,将每一类待监管主体的每一种待监管操作都与一个监管标识符绑定;并为每个监管标识符编写监管脚本。执行阶段获取智能合约中的所有的监管标识符,得到代监管主体实例与行为实例;根据部署阶段确定的监管标识符与规则集和事实集的绑定关系,将与监管标识符相关的规则与事实加载进监管引擎;监管引擎执行每一个监管标识符对应的监管脚本,并最终给出本次智能合约调用的监管结果,实现对智能合约行为的监管。
245 一种智能合约模糊测试方法及装置 CN202211693514.0 2022-12-28 CN115659358B 2023-03-17 李钊; 秦素娟; 王森淼; 陈淼; 涂腾飞; 张华; 金正平; 李文敏; 王程
申请实施例提供一种智能合约模糊测试方法及装置,包括:解析智能合约,获得函数及函数所读、写的状态变量;根据函数读、写状态变量的关系,构建以函数为节点,函数间读写状态变量的关系为边的合约控制流向图;基于合约控制流向图,构建交易序列池;对于交易序列池中的待测交易序列,通过变异生成待测交易序列中各函数的函数参数,并根据待测交易序列和函数参数生成测试用例;在插桩的智能合约中执行测试用例,得到执行结果;将执行结果与预设的漏洞规则进行匹配,根据匹配结果确定智能合约是否存在漏洞。本申请能够检测智能合约可能存在的漏洞,提高检测准确性。
246 一种智能合约模糊测试的方法及系统 CN202211444371.X 2022-11-18 CN115794625A 2023-03-14 张伟哲; 张恒; 冯禹铭
发明公开了一种智能合约模糊测试的方法及系统,方法包括利用基于遗传算法的模糊测试引擎根据ABI信息生成测试用例;利用合约执行监视器执行测试用例;模糊测试引擎不断重复对新的种群进行选择、交叉和变异的过程,合约执行监视器将不断执行测试用例,直到满足终止条件。本发明方法解决了现有智能合约模糊测试中存在的状态依赖和区信息依赖两个问题。本发明方法还融合了符号执行智能合约漏洞检测方法,具体为一种融合符号执行和模糊测试特点的智能合约漏洞检测方法,通过学习符号执行引擎生成高覆盖率的交易序列,以达到能够快速、大批量生成相似序列的目的,在保证模糊测试用例生成速度快、效率高的同时,能够维持和符号执行相当的覆盖率。
247 基于链的加密智能合约检测系统 CN202211266805.1 2022-08-02 CN115733659A 2023-03-03 王中健; 陈大江; 曹明生; 王颢
发明公开了基于链的加密智能合约检测系统,属于信息安全技术领域,包括开发者节点、算节点、规则处理节点以及检测节点,开发者节点与算力节点、检测节点互联,算力节点与开发者、规则处理节点、检测节点互联,且规则处理节点、检测节点互联。本发明通过引入的检测节点接收开发者发布的加密智能合约和随机令牌,并接收规则处理节点发布的模糊映射表,能够在不暴露有效负载的情况下,使用随机令牌与模糊映射表执行匹配检测,即在保证加密智能合约隐私性的基础上,实现了对加密智能合约的安全性检测。
248 一种智能合约的自动生成方法 CN202211273214.7 2022-10-18 CN115659919A 2023-01-31 彭浩; 王壬欢; 刘明生; 王昕洋; 王都; 李建华; 邹东成; 李建欣; 黄永建; 彭涛
发明公开一种智能合约的自动生成方法,包括步骤:合约基础内容确定,使用自然语言对合约基础内容进行编写,构成自然语言合约;数据结构化,对自然语言合约利用词嵌入自然语言处理技术将合约内容的每个语句向量化,通过知识抽取将向量化后的合约转化成结构化数据;确定状态图模板,根据结构化数据对状态图进行填充;树生成和UML建模,构建决策树模型对执行流程进行说明,进行UML建模获得UML状态图;智能合约生成,利用UML状态图生成智能合约。本发明旨在减少人工编写操作,提高智能合约的生成效率和准确率。
249 一种智能合约的低代码实现方法 CN202211384761.2 2022-11-07 CN115617317A 2023-01-17 李强; 毕可骏; 雷雳
发明公开了一种智能合约的低代码实现方法,包括对智能合约的相关操作进行分类抽象,构建操作函数库,通过所述操作函数库的操作函数构建可视化组件库;通过构建的所述可视化组件库对智能合约平台进行分类和抽象,构建智能合约虚拟机;以所述智能合约虚拟机为基础,构建以RPC进行通信的智能合约事件处理机、智能合约有限状态机、智能合约跟踪机和智能合约调度机,并构成智能合约引擎,以进行智能合约的编写。本发明通过所构成智能合约引擎进行智能合约的编写,提高了合约开发人员编写智能合约的效率;还能够可视化审计智能合约,更容易找出合约可能存在的漏洞,提升智能合约的安全性。
250 智能合约漏洞检测方法及装置 CN202211265769.7 2022-10-17 CN115510456A 2022-12-23 张芮
发明提供了一种智能合约漏洞检测方法及装置,应用于链技术领域,该方法包括:获取智能合约的函数调用图和每个函数内的控制流图;计算测试案例集中每个测试案例所在位置的函数和即将调用的目标函数之间的种子距离;获得捕捉智能合约漏洞代码,所述捕捉智能合约漏洞代码是采用模拟退火算法编写的;对以太坊虚拟机代码进行插桩;将智能合约部署在插桩完成的以太坊虚拟机代码上;采用模糊测试程序,启动、执行并监控以太坊虚拟机代码上运行智能合约的情况,得到模糊测试程序执行日志,其中,模糊测试程序是采用模拟退火算法预先编写的;分析日志中产生的智能合约漏洞。本发明准确率高,且效率高,避免需要花费大量时间和维护成本。
251 Solidity智能合约相似性检测方法及系统 CN202110420735.X 2021-04-19 CN113268732B 2022-12-20 祝迪; 庞建民; 周鑫; 岳峰; 王军; 李明亮; 王其涵; 韩文杰; 刘光明
发明涉及一种Solidity智能合约相似性检测方法及系统,通过收集以太坊不同版本智能合约源码,通过编译和编译优化获取两种类型的中间表示,通过对中间表示进行基本标记来获取由基本块和相似基本块组成的相似基本块对,形成智能合约相似性数据集;通过向量空间嵌入生成基本块序列向量,通过自然语言处理模型获取基本块的差异化负样本和硬负样本;将相似性数据集中基本块作为锚、相似基本块作为正样本、并将差异化负样本和/或硬负样本作为负样本对三元组网络模型进行训练优化,基于训练优化后的三元组网络模型对目标智能合约进行相似性检测。本发明提高相似性检测准确率,可适用于大规模背景下的智能合约漏洞挖掘、恶意合约检测和合约升级安全检测等。
252 基于智能合约的供应链资源管理系统 CN202210876661.5 2022-07-25 CN115239136A 2022-10-25 金宝辉
发明公开了基于智能合约的供应链资源管理系统,涉及供应链管理技术领域。现提出如下方案,其包括客户群划分模、后勤管理模块、产品设计模块、时间延迟模块、合作策略建立模块、信息系统建立模块、绩效考核模块。本发明通过设置有客户群划分模块、后勤管理模块、产品设计模块、时间延迟模块、合作策略建立模块、信息系统建立模块、绩效考核模块,可以整体的对供应链进行管理,并分别通过设置有客户需求汇总单元、企业获利分析单元、企业后勤网络设计单元以及货源及采购确定单元、供应商合作单元、制造商合作单元、分销商合作单元、零售商合作单元、消费者购买单元、智能合约签订单元可以对供应链的某个特定部分进行管理。
253 一种智能合约的分片处理方法 CN202110049581.8 2021-01-14 CN112866025B 2022-10-11 管林玉; 吴松洋; 张璟璟; 谢益文; 崔宇寅; 高峰
发明公开了一种智能合约的分片处理方法,属于链技术领域。方法包括:步骤S1,处理节点接收到事务处理请求,随后执行一分片定位过程,以获取事务涉及的所有智能合约的分片地址;步骤S2,处理节点根据分片地址判断智能合约是否分属于不同的分片网络:若否,则处理节点直接将事务广播到区块链网络中,以对事务进行处理,并返回步骤S1;若是,则转向步骤S3;步骤S3,处理节点执行一分片更换过程,以将事务涉及的所有智能合约更换至同一个分片网络的处理节点中进行处理,并迁移智能合约相关的全量数据,并返回步骤S1。上述技术方案的有益效果是:解决了同一个事务存在两个不同分片的智能合约的问题,减轻区块链网络上的性能压服务器负载压力。
254 智能合约安全性验证方法及装置 CN202110285831.8 2021-03-17 CN115114628A 2022-09-27 胡凯; 朱健; 张震
发明提供一种智能合约安全性验证方法及装置,该智能合约安全性验证方法包括:根据预设的转换规则将Solidity合约转换成Event‑B模型;通过Rodin平台为Event‑B模型的不变量自动生成对应的证明义务,并通过Rodin平台的证明助手验证证明义务;若证明义务未通过验证,定位证明义务在Event‑B模型中对应的语句;若所有证明义务均通过验证,为Solidity合约打上安全证书的标签。本发明中,Event‑B模型基于一阶逻辑,与Solidity合约的运行状态和语言特性相吻合,可以对Solidity合约运行时的所有状态穷举。且通过建立统一的转换规则,可以实现Solidity合约的批量式建模。
255 智能合约升级方法及链系统 CN202110510125.9 2021-05-11 CN113220326B 2022-09-16 林志平
说明书提供一种智能合约升级方法及节点;该方法可以包括:区块链网络中的所有区块链节点分别获取包含字节码的合约部署交易,并基于所述合约部署交易部署相应的智能合约;所述区块链网络中的第一区块链节点对所述字节码进行JIT编译,得到所述智能合约的机器码,并基于所述机器码生成针对所述智能合约的合约升级交易;所述区块链网络中的所有区块链节点分别获取所述合约升级交易,并基于所述合约升级交易将所述智能合约对应的合约代码由所述字节码升级为所述机器码。
256 智能合约间调用方法 CN202210718483.3 2022-06-23 CN115016959A 2022-09-06 徐竟浩; 蔡湘伟; 陈虹; 王行行; 丘志杰
发明公开了一种智能合约间调用方法,合约开发人员将开发完成的合约注册到区块链节点,在区块链节点中设置合约间调用控制组件,区块链节点接收客户端发送的交易请求,向所调用的首个合约方法对应的合约发送调用请求,并携带交易请求的标识,合约间调用控制组件为该交易请求创建一棵合约调用树,将首个合约方法对应的合约作为该合约调用树的根节点,区块链节点按照合约方法逻辑,依次完成本次调用中关联的其他合约方法的调用,同时更新合约调用树,每次更新后判断合约调用树是否合法,不合法则终止交易请求,合法则继续调用直到整个交易请求执行完毕。本发明通过合约调用树进行安全检查控制,提高了合约调用的灵活性和安全性。
257 基于双链式结构的智能合约交易方法 CN201910137090.1 2019-02-25 CN109816531B 2022-08-23 王海勇; 潘启青; 郭凯璇; 管维正; 张开心
发明揭示了一种基于双链式结构的智能合约交易方法,包括:S1、将集中式结构与分布式结构相结合,得到集中式和分布式的混合结构;S2、管理者使用双链式结构对智能合约进行管理;S3、用户双方制定合约,创建智能合约;S4、对所述智能合约进行数字签名,并将所述智能合约传入所述双链式结构中进行审核;S5、管理者依据所述智能合约的审核结果选择执行相应操作;S6、当用户双方需要修改合约或废除合约时,需先经管理员进行审核,通过后方可执行相关操作。本发明的集中式和分布式相结合、双链式管理智能合约交易的方法,效果优异、易于实现,实用性强。本发明还为交易链上的每一份智能合约进行审核检查,确保了合约的合法性和安全性。
258 链键值对智能合约及其设计方法 CN202110124999.0 2021-01-29 CN112968930B 2022-08-19 王家恒; 王子悦; 乐煜炜; 郭瑞伟
发明涉及链技术领域,尤其是区块链键值对智能合约及其设计方法,本发明的区块链键值对智能合约包括键值对合约内容和智能合约编译模块,键值对合约内容用于以键值对的形式记录用户所需服务的关键信息字段,智能合约编译模块包括合约校对模块和预编译功能函数模块;本发明中智能合约的功能函数部分被预先编译并提前部署在参与区块链共识的或服务提供者的区块链网络节点中,以供键值对合约内容的快速验证与部署后的快速编译调用,可降低智能合约的编译成本,减少合约的网络传输与网络中节点存储开销。本发明所提出的区块链键值对智能合约设计方法通过轻量级的设计模式,使其适合部署于规模较大且服务类型单一的区块链服务应用中。
259 一种智能合约机密执行方法及系统 CN202210530051.X 2022-05-16 CN114912145A 2022-08-16 肖喜; 张焓祺; 夏树涛; 江勇; 郑海涛; 王兴军
发明公开了一种智能合约机密执行方法及系统,包括如下步骤:S1、根据用户的输入标注涉及敏感数据的智能合约函数;S2、自动检测用户调用的智能合约函数是否含有参数,接着检测用户是否有对该函数进行标注,以此判断该函数是否需要保护;S3、利用事先构建的本地节点和安全容器环境节点分别对智能合约函数进行执行:本地节点直接在本地执行不需要保护的智能合约函数,安全容器环境节点在远程的可信执行环境中执行需要保护的智能合约函数。本发明仅将需要保护的函数运行于可信执行环境之中,以此减小TCB尺寸,降低代码险。并且本地模型与安全容器节点以HTTP的形式交互,避免了本地模型必须支持IntelSGX的硬性要求。
260 基于智能合约的限时加解密方法 CN202210333324.1 2022-03-31 CN114826686A 2022-07-29 张金琳; 高航; 俞学劢
发明涉及信息技术领域,具体涉及一种基于智能合约的限时加解密方法,包括:在链上发布智能合约,公示区展示m个样本点;加密方选择与限时相符的公示栏;加密方生成整数n,生成一元多项式经过n个样本点;计算样本距离;样本距离最小的一元多项式即为加密多项式;加密方使用加密多项式加密数据,获得密文;解密方获得关联栏编号和限时的密文,判断当前时刻是否超出限时,若未超出则查询区块链,获得栏编号对应的公示区内的m个样本点;穷举过n个样本点的一元多项式,获得样本距离最小的一元多项式即为复原多项式;使用复原多项式解密密文获得明文数据。本发明的实质性效果是:使限时更为可靠的执行,提高了限时加解密的安全性。
QQ群二维码
意见反馈