首页 / 技术领域 / 智能合约 / 专利数据
序号 专利名 申请号 申请日 公开(公告)号 公开(公告)日 发明人
161 一种面向链的智能合约管理系统 CN202010213551.1 2020-03-24 CN111445244A 2020-07-24 杨宁波; 李杰
发明涉及智能合约管理系统,具体涉及一种面向链的智能合约管理系统,包括设于区块链上用于管理智能合约制订的合约制订管理平台,合约制订管理平台包括用于接收智能合约订立请求的合约订立请求接收模块,用于获取已接收订立请求的智能合约对应业务类型的业务类型获取模块,用于根据已获取业务类型判断是否能够满足处理资源配置的处理资源判断模块,以及根据处理资源判断模块的判断结果分配订立智能合约的合约分配订立模块;本发明提供的技术方案能够有效克服现有技术所存在的无法根据自身的处理资源配置判断是否能够流畅执行已订立智能合约、智能合约的更新难以有效监管、链上交易合约容易遭受外部攻击的缺陷
162 智能合约推广方法、设备和存储介质 CN202010225740.0 2020-03-26 CN111415260A 2020-07-14 彭军; 袁海雷; 王志文; 吴思进
发明提供一种智能合约推广方法、设备和存储介质,该方法包括:接收第一智能合约的第一管理交易;执行第一管理交易,冻结第一创建者的第一用户账户中的与第一奖励总额等值的资产,并将第一推广状态和第一奖励总额记录到链上;接收第一智能合约交易,判断区块链上是否存在执行第一智能合约交易所需调用的第二智能合约的第二推广状态:是,则按照第二推广状态和预配置的推广奖励规则划转推广奖励。本申请提高区块链智能合约的使用数量,从而提升区块链系统生态。
163 解释执行智能合约指令的方法及装置 CN202010475572.0 2020-05-29 CN111399990A 2020-07-10 刘晓建
说明书实施例提供一种解释执行智能合约指令的方法和装置,方法通过虚拟机执行,包括:首先确定有待执行的第一合约中第一指令的第一内存地址,所述第一内存地址位于第一内存区域,所述第一内存区域与第二内存区域存在映射关系,所述第二内存区域用于存储第一合约的经过扩容的字节码。如果该第一内存地址中存储的是用于执行第一指令的第一模拟函数信息,则根据该第一模拟函数信息执行第一指令;如果第一内存地址中存储的是预定初始值,则根据映射关系,从第二内存区域中读取第一指令对应的第一字节码片段,根据第一字节码片段确定第一模拟函数信息,将其填充在第一内存地址对应的存储空间中。
164 基于智能合约链的互助网络 CN201980004307.X 2019-07-03 CN111316597A 2020-06-19 周凡
本文公开了用于实现互助网络的方法、系统和装置,包括编码在计算机存储介质上的计算机程序。方法之一包括:维护专用于处理来自成员组的互助请求的特定链;接收编码用户响应的交易数据,所述用户响应是针对来自区块链网络的询问做出的,所述询问用于请求针对特定互助请求的用户响应;使用特定区块链执行智能合约,以处理交易数据;响应于响应结果指示已从成员组的子集中的成员接收到足够的用户响应,并且成员组的子集中的足够比例的成员已同意特定互助请求,计算成员组中每个成员的分摊款;以及指示网关触发从成员组中每个成员划扣分摊款。
165 一种众筹智能合约的形式验证方法 CN201911328906.5 2019-12-20 CN111179056A 2020-05-19 邱炜伟; 尹可挺; 匡立中; 施泰龙
发明公开一种众筹智能合约的形式验证方法,该方法具体包括:定义众筹智能合约,用于实现按定义的流程和权限进行众筹项目的全流程的功能,定义包括众筹项目和筹款记录的数据结构、状态变量、检查合约所有者和众筹流程的修饰器、众筹相关业务的公共函数;定义形式验证规范,用于描述众筹智能合约的功能,定义智能合约中每个众筹相关的函数的异常、返回值和对状态变量的规范;利用定义好的形式验证规范对众筹智能合约进行形式验证,用于检查众筹智能合约的实现是否符合形式验证规范,若不符合,则定位到合约中的错误代码并指明错误原因,若符合,显示验证通过。该方法可提高众筹项目相关的智能合约的安全性。
166 一种基于链的智能合约平台方法 CN201911359032.X 2019-12-25 CN111163149A 2020-05-15 陶万程; 吴旭; 陈鸿刚; 梁志超
发明公开了一种基于链的智能合约平台方法,包括以下步骤:设计业务账户体系:账户体系主要分为管理员账户和普通账户;设计通用的账本结构体:根据项目将所有的账户数据按照业务设计符合生产环境的通用账本数据结构;设计验证方法:将适用于整个账户体系场景数据的验证方法集合归纳为通用验证方法,对特定业务场景数据的验证方法设计相应的指定数据验证方法。本发明所述的一种基于区块链的智能合约平台方法,利用智能合约平台技术,实现智能合约交易化部署,可极大的减少开发、测试、运维人员的工作量,消除或减轻因为人工因素带来的影响,并且极大的提升了用户的应对敏感市场的能,带来更好的使用前景。
167 使用分布式协调的智能合约执行 CN201880061618.5 2018-09-14 CN111133463A 2020-05-08 约翰·弗莱彻; 托马斯·特雷维坦
发明涉及分布式账本技术,例如基于共识的链。描述用于智能合约结果确定的计算机实现的方法。使用区块链网络来实现本发明,所述区块链网络例如可以是比特币区块链。确定对手方之间的条件集合,条件集合具有多个可能结果,所述结果包括:与数字资产的第一分配相关联的第一可能结果以及与数字资产的第二分配相关联的第二可能结果,第二分配不同于第一分配。创建对手方交易,所述对手方交易包括被编码为计算机可执行指令的条件集合和数字资产作为输出。从第三方接收结果,所述结果对应于第一可能结果或第二可能结果。创建结果交易,以转移对手方交易的数字资产的控制,所述结果交易包括所述结果作为输入。由于在区块链网络中的节点处验证结果交易,至少部分地基于所述结果,根据第一可能结果或第二可能结果将数字资产分配给对手方。
168 一种基于许可链的智能合约升级方法 CN201611048985.0 2016-11-23 CN106709704B 2020-04-24 谢晗剑; 岳利鹏
发明公开了一种基于许可链的智能合约升级方法,由于智能合约部署后会出现Bug或者存在日常升级的需求,传统智能合约技术本质上不能升级,本方法通过打破智能合约地址、代码、存储单元三者不可变更的结构,并对存储单元按照属性名称进行索引和序列化,使合约代码能够直接整体更新,同时可以复用之前的合约地址和合约存储单元,来提供一套适用于许可链的智能合约架构,以提供简单的编写机制和升级机制。
169 智能合约部署、调用方法和装置 CN201910014887.2 2019-01-08 CN109840429B 2020-04-14 路京磊; 卢小明; 陈姝
申请公开了智能合约部署、调用方法和装置。智能合约部署方法,由节点执行,其包括:接收包含智能合约的字节码的第一交易,智能合约是按照业务逻辑预先编写、编译得到的,业务逻辑包括至少一个对数据库的表的基础操作;将第一交易发送到区块链网络共识,得到与智能合约对应的调用地址;将调用地址发送给提交第一交易的客户端。根据本申请实施例的技术方案,将智能合约部署到区块链网络,使得业务逻辑通过智能合约上链,很好地解决了业务逻辑不透明的问题。
170 一种投票智能合约的形式验证方法 CN201911088334.8 2019-11-08 CN110929295A 2020-03-27 邱炜伟; 李伟; 李启雷; 梁秀波; 尹可挺; 张丁文
发明公开了一种投票智能合约的形式验证方法。本发明设计了针对投票智能合约的形式验证规范接口,设计并实现了基于形式验证的投票智能合约模板。本发明的价值在于设计了一套通用的投票流程相关的智能合约形式验证方法,对投票智能合约的开发提供了形式验证上的一种安全标准和重要参考。本方法基于软件形式化验证方法进行实现,基于投票业务设计并建立了安全的形式规范,并转化为可形式验证的数学模型,从而提高投票智能合约的安全性。本发明的方法具有通用性,对于投票相关的智能合约都可以使用本方法进行开发和安全审计,对于投票一类业务系统而言,可以很好的适用。
171 智能合约处理方法及装置 CN201711037064.9 2017-10-30 CN107846278B 2020-02-14 田新雪; 马书惠; 肖征荣
发明实施例提供一种智能合约处理方法及装置。该方法包括:第一交易节点根据存储节点的地址信息,从存储节点中获取第二交易节点签名后的合约;第一交易节点对第二交易节点签名后的合约进行再次签名得到二次签名后的合约;将二次签名后的合约存储到存储节点。本发明实施例通过交易节点在链网络中广播交易双方的身份信息,以及存储有合约的存储节点的地址信息,而并不是将合约本身的内容广播到区块链网络中,由于地址信息的大小小于合约本身内容的大小,因此,降低了区块链网络的传输压,对于区块链网络中的单个节点而言,节省了单个节点的存储空间,同时,将合约本身内容存储在存储节点上而不是广播到区块链网络中,提高了交易的安全性。
172 部署和执行智能合约的方法及装置 CN201910818254.7 2019-08-30 CN110675256A 2020-01-10 姚忠孝
说明书实施例提供一种部署和执行智能合约的方法和装置,根据实施例的方法,在部署智能合约的阶段,获取该合约对应的合约模中包含的字节码;然后将字节码解析处理为可执行的指令代码,并将其存储在内存中。进一步的,针对字节码中的导入和导出函数,确定函数索引表,所述函数索引表用于指示各个导入和导出函数对应的指令代码的内存地址;并在内存中缓存所述函数索引表。在智能合约执行阶段,可以直接基于内存中存储的可执行指令代码和函数索引表,执行智能合约的调用函数。
173 复制带有终止条件的智能合约 CN201880033814.1 2018-05-14 CN110663054A 2020-01-07 莹·陈; 迪安·克拉梅尔
发明涉及例如基于共识的链的分布式分类账技术。对用于带有终止条件的自复制智能合约的计算机实现的方法进行了说明。本发明使用区块链网络来实现,所述区块链网络可以是例如比特币区块链。在区块链网络中的节点处接收要验证的第一交易,其中所述第一交易包括第一脚本。所述第一脚本由于被执行而使所述节点至少:获得所述第一交易的第一字段值集,所述第一字段值集包括第三脚本;并且获得第二交易的第二字段值集,所述第二字段值集包括第二脚本的副本。获得所述第二交易,所述第二交易包括第二脚本。所述第二脚本由于被执行而使所述节点由于确定所述终止条件没有得到满足而至少:从所述第一字段值集获得所述第三脚本;和确定所述第二脚本的副本与所述第三脚本相匹配。由于所述第一脚本和所述第二脚本的执行而验证所述第一交易。
174 用于测试智能合约的方法和设备 CN201810661115.3 2018-06-25 CN110633200A 2019-12-31 华松; 皮冰锋; 孙俊
发明涉及一种用于测试智能合约的方法和设备。该方法包括:基于待测试的智能合约来生成测试用例;在智能合约中自动地插入event函数;将插入有event函数的智能合约部署在链或仿真区块链上;以及在区块链或仿真区块链上,多轮次地并行运行多个相同和/或相似的测试用例,并且根据所得到的日志来分析智能合约的险,其中event函数在运行过程中将与智能合约有关的信息记录到日志中。
175 一种Solidity智能合约性能静态分析方法 CN201910772369.7 2019-08-21 CN110543407A 2019-12-06 邱炜伟; 李伟; 李启雷; 梁秀波; 尹可挺; 张丁文
发明公开了一种Solidity智能合约性能静态分析方法。该方法具体为:通过对需要进行性能分析的函数进行分片、建立符号计算模型、计算出GAS消耗公式,并进一步优化,能够自动地计算包含多项式循环的程序执行所消耗的GAS值,或者通过极少的人工辅助计算包含非线性循环的程序执行所消耗的GAS值,从而反映出其性能。本发明通过静态分析的方式准确计算Solidity智能合约的GAS消耗值,使开发者不需要准备繁杂的测试用例来运行智能合约就可以准确的得到GAS消耗的计算公式,从而能够对智能合约的性能进行定量判断,有助于判断Solidity智能合约在何种情况下达到GAS上限,对于评估执行成本与收益起到显著的效果。
176 基于智能合约的数据授权方法及装置 CN201910704682.7 2019-07-31 CN110473096A 2019-11-19 魏长征; 闫莺; 张辉; 彭玉军
说明书一个或多个实施例提供一种基于智能合约的数据授权方法及装置,该方法可以包括:节点接收数据使用方提交的数据获取交易,所述数据获取交易用于请求获取数据所有方持有的目标数据;所述区块链节点执行所述数据获取交易调用的数据授权智能合约,所述数据授权智能合约用于在确认所述数据使用方已获得授权时获取所述目标数据,使所述数据使用方获得所述目标数据和/或对所述目标数据执行预设运算后得到的运算结果。
177 一种高效阅读智能合约辅助方法 CN201910615235.4 2019-07-09 CN110473092A 2019-11-19 孔雀屏; 陈湘萍; 黄袁; 刘聪; 周凡
发明公开了一种高效阅读智能合约辅助方法,用户先输入所有已读合约,提取其标识符和Token序列;之后用户输入将读合约,提取其标识符和Token序列,与数据库中所有智能合约的标识符、Token序列比较,计算出将读合约与所有已读合约的综合相似度,输出综合相似度前十的合约,并分别标记输出合约与将读合约不同的部分,辅助用户高效细读大量的智能合约。通过该方法,可快速找到与已看合约不同的部分,从而节省阅读时间,无论是编程人员还是非编程人员,都能提高细读大量智能合约的效率。另外,编程人员也可借助该工具,快速学习编写智能合约。同类型的功能在实现上会有些许的差异,利用该方法可快速获取差异,从而设计出更安全,功能更全面的智能合约。
178 智能合约的规则变更处理方法及装置 CN201810379445.3 2018-04-25 CN110400217A 2019-11-01 蔡伟文; 罗亚丹; 蒋穗; 喻朝新; 吴霜
发明实施例提供了一种智能合约的规则变更处理方法及装置,该方法中制定智能合约的其中一个用户利用规则引擎生成待变更的业务规则相关信息并部署到规则运行服务器上,规则运行服务器再调用链网关,区块链网关在接收到所有参与方的确认更改的信息之后,将变更的业务规则相关信息发送到各个节点,以供各个节点保存在各自的账本中。本发明实施例提供的方法能够在智能合约中集成业务规则引擎,从而业务人员可以方便简单的制定业务规则。在制定之后可以将业务规则保存到区块链账本中,此外业务规则的变更必须所有相关参与方确认才能更新业务规则,进而避免出现业务规则被恶意篡改的情况,提高交易的安全性。
179 链中智能合约的执行方法及装置 CN201910701093.3 2019-07-31 CN110399184A 2019-11-01 陈杭; 黄肇敏; 彭顺求; 冯浩铭; 赵开山
发明提供的一种链中智能合约的执行方法及装置,通过改进和优化智能合约处理大批量数据交互数据的流程,引入智能合约代码注入机制,实现快速并行处理智能合约数据交互。在引入智能合约代码注入技术后,可以实现智能合约随时部署随时启动,无需依赖EVM或者Docker,启动资源成本低,智能合约程序随着进程结束而结束,不占用资源。智能合约与系统通信的消耗进一步降低,无需再通过网络通信,可以直接采用通道通信,数据交互大大速度提高,同时,这种方式在智能合约并行处理时更符合系统特性,通过多进程的方式进行并行,在智能合约个数较多时,系统并不会对并行感受到太大压
180 使用智能合约执行多方交易 CN201880003929.6 2018-11-27 CN110352445A 2019-10-18 金戈; 邵开来; 陆旭明
提供了用于在链网络中执行多方交易的系统和方法。所述系统可以执行以下方法:从第一节点接收第一交易信息,其中第一节点是区块链网络中的计算机节点,并且其中第一交易信息包括针对一交易的交易有效载荷、第一公钥和经签名的交易有效载荷;使用第一公钥验证经签名的交易有效载荷;响应于验证经签名的交易有效载荷,构建未确认的交易数据包并设置未确认的交易数据包的确认状态;从第二节点接收第二交易信息,其中第二节点是区块链网络中的计算机节点,并且其中第二交易信息包括针对所述交易的交易有效载荷的哈希值、第二公钥和交易有效载荷的签名的哈希值;使用第二公钥验证第二交易信息;更新未确认的交易数据包的确认状态;并响应于表示交易的所有当事方已确认交易的确认状态,执行交易有效载荷。
QQ群二维码
意见反馈