一种智能合约的自动化生成方法技术

技术编号:15391308 阅读:259 留言:0更新日期:2017-05-19 04:41
本发明专利技术公开了一种智能合约的自动化生成方法,其针对同一个行业或相似的行业内使用的智能合约比较相似,其中也就存在某些固定的特征,根据代码复用的思想,把这些固定特征抽取出来,编写出数据结构和相应的代码片段,将这些代码片段保存到代码数据库中。本发明专利技术智能合约自动化生成方法利用智能合约模板能够大大节省人力物力以及时间成本,且方法可应用于一切具有相似性的智能合约,如交易历史合约、股票合约、资产合约等。

Automatic generation method of intelligent contract

The invention discloses an intelligent automatic method of contract, the contract for the intelligent use the same industry or similar industry is similar, which also have some fixed features, according to the code reuse, the fixed feature extracted, write the data structure and the corresponding code fragment, save the code fragment to the code in the database. The invention of intelligent contract automatic generation method using intelligent contract template can greatly save manpower and time cost, and the method can be applied to all similar intelligent contract, such as contracts, stock trading history contracts, contracts and other assets.

【技术实现步骤摘要】
一种智能合约的自动化生成方法
本专利技术属于智能合约
,具体涉及一种智能合约的自动化生成方法。
技术介绍
合约指两方面或几方面在办理某事时,为了确定各自的权利和义务而订立的共同遵守的条文。传统的合约都是先经过“桌面会议”讨论得到一致后,记录在纸张上。经过了这么多年的发展,“合约”已经形成了自身的概念与原则。在传统合约中,人们先通过面谈的形式制定合约并达成一致,把合约记录在纸张上,合约双方在纸上签字;合约的执行过程由很多的控制协议构成,控制协议包括两个部分:表格、账单等记录的保存,还有记录的审核与协商,记录的审核与协商往往需要第三方参与,容易造成合约方之间的地位不平等;合约的执行效能只能通过法律、武力来保证。这些控制协议都是经过多年的沉淀积累下来的。虽然控制协议的成本很高,但它是我们在不信任的环境中保持协作的根本保证。合约的执行过程中,记录的审核不仅花费很高,而且依靠低效率的人工完成,所以人们往往通过抽样审核来缩减成本的。我们已经进入了数字社会的时代,应该通过计算机、互联网、密码理论等技术的引入,来减少了交易在合约制定、控制协议和执行效能保障的人工花费与计算成本。1997年,NickSzabo引入“智能合约”的概念:智能合约把合约条款嵌入到软、硬件中,通过协议与用户接口来促进合约的执行,它是我们在互联网中形成安全、数字化关系的关键。他在“FormalizingandSecuringRelationshipsonPublicNetworks”中提出了智能合约的三大重要的性质:可观察性、可验证性与接入控制。可观察性指合约本身与合约执行过程能够被观察;可验证性指合约执行的过程与判决都能够被验证;接入控制是指合约本身及与合约相关的信息只有相关的合约方才能够接触,当发生冲突的时候才会把相关信息暴露给第三方审查。通过把智能合约与传统合约比较,可以看到智能合约的优势:首先,传统合约需要通过“桌面协议”的形式协商与撰写,智能合约可以通过互联网与数字签名技术就可以形成有合约方认证签名的智能合约;与此同时,传统合约的执行过程由很多的控制协议构成,控制协议包括两个部分:表格、账单等记录的保存,还有记录的审核与协商,记录的审核与协商往往需要第三方参与,这样不仅容易造成合约方之间的地位不平等,而且需要花费第三方的费用,智能合约通过密码协议与用户界面的结合保证合约的本身及其执行过程的可观察性、可验证性,减少了控制协议的人工花费与计算成本。因此,智能合约不仅比传统“纸质”合约具有更大功能、生命力更强,它还减少了交易在合约制定、控制协议和执行效能保障的人工花费与计算成本。同时,它还是形成“数字社会”主力军,起着不可缺少的重要作用。由此看来,智能合约的发展潜力是巨大的。由于技术的不成熟,所以智能合约的发展一直十分缓慢,直到2013年,Ethereum提出了带有内置图灵完备编程语言的区块链,智能合约能够在区块链上实现,使得智能合约的研究又进入了一个新的阶段。区块链是一个可验证的、不可更改的复制型分布式数据库。区块链有两个重要的组成部分:交易和区块。其中,交易不仅记录了改变数据库状态的操作,还是对数据库使用权限的载体;区块是对交易验证时间与顺序的记录。区块链记录了所有的交易,保证区块链的可验证性。交易、区块的正确性主要在于系统对标准的制定,交易的有效性判断标准在于实际的需要;由于区块链是复制型数据库,所以区块的有效性判断决定了区块链的不可更改性与一致性、系统的安全性。同时,带有内置图灵完备编程语言的区块链可以自动执行保存在区块链中的规则,所以智能合约能够用区块链实现。随着区块链技术的发展,区块链之上的智能合约也越来越多,也必然存在了大量相似甚至重复的智能合约,若每次都需要重新编写,需要一定的人力与时间成本。
技术实现思路
为了节省人力物力以及时间成本,本专利技术提供了一种智能合约的自动化生成方法,其针对同一个行业或相似的行业内使用的智能合约比较相似,其中也就存在某些固定的特征,根据代码复用的思想,把这些固定特征抽取出来,编写出数据结构和相应的代码片段,将这些代码片段保存到代码数据库中。本专利技术使用智能合约自动化生成系统生成合约时,选择需要的智能合约模板以及属性和方法就可以自动化生成合约。一种智能合约的自动化生成方法,包括如下步骤:首先,根据已有的智能合约通过新增智能合约模板组建模板库,并保持对该模板库进行更新;所述智能合约模板包含功能描述、属性代码以及方法代码;然后,根据所需智能合约的相关属性代码查找模板库,得到相应的智能合约模板并根据该模板自动生成所需的智能合约。所述新增智能合约模板的具体过程为:对于已有的任一智能合约,先将其分解为属性代码和方法代码;然后新建一空的智能合约模板,并将分解得到的属性代码和方法代码直接赋予该智能合约模板并添加相应功能描述,进而将该智能合约模板保存到模板库中。所述对模板库进行更新的具体过程为:对于新的智能合约,先将其分解为属性代码和方法代码,进而将新智能合约与模板库中各智能合约模板进行比对:若模板库中有一智能合约模板,其与新智能合约相比较属性代码一致但方法代码不一致,则将该智能合约模板的方法代码全部替换为新智能合约的方法代码;若模板库中有一智能合约模板,其与新智能合约相比较属性代码不完全一致,即不具有新智能合约的个别属性代码,则将该个别属性代码及其相关方法代码添加至该智能合约模板中,并更新相应的功能描述。所述查找模板库及生成智能合约的具体实现过程为:首先,根据所需智能合约的相关属性代码查找模板库:若模板库中有一智能合约模板,其具有所需智能合约的所有属性代码,则从该智能合约模板中选中相关属性代码及相关方法代码,自动生成所需的智能合约;若模板库中有一智能合约模板,其具有所需智能合约大部分的属性代码,只缺少个别属性代码,则从该智能合约模板中选中相关属性代码及相关方法代码,自动生成相应的智能合约,进而将缺少的个别属性代码及相关方法代码补充至该智能合约中,最终得到所需的智能合约并利用其对该智能合约模板进行更新;若模板库中不存在相关的智能合约模板,则根据所需智能合约的相关属性代码和方法代码编写相应的智能合约,并利用编写得到的智能合约新增相应的智能合约模板保存到模板库中。基于上述技术方案,本专利技术智能合约自动化生成方法利用智能合约模板能够大大节省人力物力以及时间成本,且方法可应用于一切具有相似性的智能合约,如交易历史合约、股票合约、资产合约等。附图说明图1为本专利技术智能合约模板的更新流程示意图。图2为本专利技术智能合约自动化生成的流程示意图。具体实施方式为了更为具体地描述本专利技术,下面结合附图及具体实施方式对本专利技术的技术方案进行详细说明。本实施方式使用智能合约自动化生成系统用于生成智能合约,生成合约时,选择需要的智能合约模板以及属性和方法就可以自动化生成合约;智能合约模板包含功能描述以及属性代码和方法代码。本实施方式所使用的智能合约自动化生成系统具有以下功能:1.增加新的智能合约模板:根据智能合约,增加新的智能合约模板;增加方法为:将智能合约分解为属性代码和方法代码,然后组合成智能合约模板,添加功能描述,最后保存到数据库中。2.更新已存在的智能合约模板:根据智能合约,更新已存在的智能合约模板;更新方法为:将智能合约分解为属性代码本文档来自技高网
...
一种智能合约的自动化生成方法

【技术保护点】
一种智能合约的自动化生成方法,其特征在于:首先,根据已有的智能合约通过新增智能合约模板组建模板库,并保持对该模板库进行更新;所述智能合约模板包含功能描述、属性代码以及方法代码;然后,根据所需智能合约的相关属性代码查找模板库,得到相应的智能合约模板并根据该模板自动生成所需的智能合约。

【技术特征摘要】
1.一种智能合约的自动化生成方法,其特征在于:首先,根据已有的智能合约通过新增智能合约模板组建模板库,并保持对该模板库进行更新;所述智能合约模板包含功能描述、属性代码以及方法代码;然后,根据所需智能合约的相关属性代码查找模板库,得到相应的智能合约模板并根据该模板自动生成所需的智能合约。2.根据权利要求1所述的自动化生成方法,其特征在于:所述新增智能合约模板的具体过程为:对于已有的任一智能合约,先将其分解为属性代码和方法代码;然后新建一空的智能合约模板,并将分解得到的属性代码和方法代码直接赋予该智能合约模板并添加相应功能描述,进而将该智能合约模板保存到模板库中。3.根据权利要求1所述的自动化生成方法,其特征在于:所述对模板库进行更新的具体过程为:对于新的智能合约,先将其分解为属性代码和方法代码,进而将新智能合约与模板库中各智能合约模板进行比对:若模板库中有一智能合约模板,其与新智能合约相比较属性代码一致但方法代码不一致,则将该智能合约模板的方法代码全部替换为新智能合约的方法代码;若模...

【专利技术属性】
技术研发人员:陈建海黄步添石太彬刘振广王备王云霄温琪
申请(专利权)人:杭州云象网络技术有限公司
类型:发明
国别省市:浙江,33

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1