CN112269836A - 一种区块链智能合约生成与管理系统及其实现机制 - Google Patents

Abstract

本发明提供一种区块链智能合约生成与管理系统，包括：链下智能合约设计与开发模块、自动部署模块及链上智能合约管理模块；链下智能合约设计与开发模块分为链下智能合约设计子模块及链下智能合约开发子模块，链下智能合约设计子模块支持用户以可视化拖拽方式依据柔性设计模型创建智能合约，并分别输出两种类型文件；链下智能合约开发子模块使用柔性设计模型，将合约以插件为单位，每一个插件作为插件合约，基于数据和逻辑分离的思想，将合约分为索引合约、数据合约和逻辑合约三个部分；自动部署模块使用生成的.go文件中部署合约的方法进行合约自动部署上链；链上智能合约管理模块对链上运行智能合约进行维护。还提供了相应实现机制。

Description

一种区块链智能合约生成与管理系统及其实现机制

技术领域

本发明涉及区块链技术领域，特别涉及一种区块链智能合约生成与管理系统及其实现机制。

背景技术

区块链是一种全新的去中心化的基础架构，具有公开透明、可追溯、不可篡改等特征。近年来，区块链技术发展迅速，受到学术界和工业界的高度重视，区块链已经延伸到数字金融、物联网等多个领域，是“新基建”的重要组成部分。智能合约(Smart Contract)的概念最早由Nicholas Szabo于1994年提出，是执行合约条款的计算机交易协议。长期以来，智能合约的发展都较为缓慢，应用范围有限。随着区块链的出现，智能合约与区块链形成了天然的联盟。区块链的去中心化、不可篡改、透明共识的特点，加强了智能合约的安全性，大力拓展了智能合约的应用范围。另一方面，智能合约也大大加速了区块链的发展。一般认为，将比特币底层架构称之为区块链1.0，而将具备智能合约特性的区块链称之为区块链2.0，典型的是以太坊系统。区块链与智能合约的结合可解决许多复杂问题，例如逻辑复杂交易可通过智能合约的可编程性进行封装。这一代区块链开始将区块链应用扩展到数字货币之外的更多领域。

但当前的基于区块链的智能合约并不成熟，存在以下三方面的问题：

(1)智能合约“开发难”。智能合约形式上是一种计算机程序，以代码的形式加以表现，只是具备更多的契约、法律等社会因素的约束和高安全、高可靠的可信性要求。当前典型的智能合约语言有Solidity、Golang等。合约的设计者需预先理解业务的实际需求，然后设计代码结构。对于非技术人员，特别智能合约的使用者比如律师来说，具备较高的技术研发门槛。这将严重限制智能合约的应用。另一方面，智能合约的安全可靠需求也在不断加强。由于智能合约问题已导致多项安全事件漏洞，智能合约还没形成软件工程式的通用模式，因此高效的智能合约设计模型以及易用的开发方法是当前迫切需要解决的问题。

(2)智能合约“维护难”。部署于区块链上的智能合约也和交易具备同样的特性，那就是无法篡改。这样上链后的智能合约升级维护就很困难。传统中心服务器应用程序的开发人员习惯于频繁更新，以修复错误或引入新的业务功能。部署于区块链上的智能合约若想要迭代更新是一个复杂的过程。例如，逻辑复杂数据众多的智能合约，针对某一特定逻辑进行升级，需要更改合约后重新进行部署，还需要迁移上一版本的数据，费时费力。对于有些无法中断的业务，这种方法不具备可行性。

(3)智能合约“管理难”。智能合约的链下开发和链上维护是一个互不关联的过程，相互脱节、彼此分离。这就增加链上链下合约协同管理的复杂性。链下合约编写类似于传统的代码开发，可以迭代优化。而链上的合约维护无法直接替代，不易变换。智能合约生命周期必然伴随着产生、部署、更新等过程，因此，链下代码的开发要考虑适应部署上链之后的代码逻辑维护，新的更新模块要能融入其他链上智能合约模块。链下用户还需要有效途径可查询链上的数据状态并进行维护。这些都是智能合约管理所需要解决的系列问题。

近年来，区块链智能合约成为热门的研究领域，存在大量的研究工作。这里，从区块链智能合约设计、管理和可视化工具的角度加以分析。

(1)智能合约设计模式的研究

比特币系统是采用嵌入型的脚本语言设计逻辑，脚本包含的操作码不具备循环和复杂流程控制功能，无法支持实际多样性的业务需求。Vitalik Buterin推出了支持图灵完备语言的以太坊智能合约平台，从而开辟了智能合约的新时代，提供Serpent和Solidity两种编程语言，特别Solidity在语法上类似于JavaScript语言，广泛应用于区块链业务领域，成为主流语言之一。从软件工程的角度来说，一个理想通用的智能合约首先需要实现代码模块化。OpenZeppelin是一个用于安全智能合约开发的库，其中包括像ERC20、ERC721的标准接口、多个可重用的Solidity组件，可帮助用户构建复杂的智能合约。Wohrer M等根据智能合约常见的安全漏洞，详细介绍了几种安全的设计模式和不同模式下如何解决不同安全漏洞的问题，总结了通用的智能合约设计模式，Solidity开发人员可根据这些模式来应对典型的攻击。Uwe Zdun等以融合传统合约为目的，从动作、权限、生命周期、维护和安全角度设计了一系列的模式来满足一般应用需求和安全问题。OpenZeppelin和Wohrer M提出的设计模式致力解决智能合约的安全漏洞，Uwe Zdun偏向于普通合约场景的提炼。

(2)链上智能合约管理方法

区块链的特殊性给智能合约的升级维护带来困难，这方面的研究也成为一个重要方向。可分为部分可升级及完全可升级两种维护模式。关于部分可升级维护模式，主要就是保留智能合约的核心部分，逻辑组件进行升级。典型的是以太坊名称服务ENS，其中核心管理合约不能更改，借鉴了DNS原理，记录合约名和代码的映射关系。如果加入新的模块，就通过这个核心合约重新连接，然后即可加入该功能。针对完全升级的模式，现有研究也多使用模块分离的模式。FISCO BCOS平台使用了CD(Controller-Data)模式。将合约分为：控制器合约(Controller Contract)与数据合约(Data Contract)两类合约，控制器合约通过访问数据合约获得数据，并对数据做逻辑处理，然后写回数据合约，通过将数据存储在远端保护数据部分，合约升级需要重新部署。OpenZeppelin提供了一个代理合约的架构，所有合约的调用需通过代理合约定向到最新部署的合约中，升级时在代理合约中更新合约地址。并根据不同的存储需求，探索了三种代理模式，包含将存储结构融入逻辑合约的集成存储、单独设置存储合约的永久存储以及继承状态变量的非结构化存储三种代理模式，由于细粒度拆分合约功能，致使合约的可读性下降，面向用户的维护成本增加。

(3)智能合约可视化工具

高效智能合约可视化工具是辅助合约开发人员快速编写的重要手段之一，也是拓展合约应用范围的有效途径。现有技术存在一套基于谷歌Blockly库的可视化智能合约设计系统，可在程序块的级别设计合约。EtherScripter工具也是基于谷歌Blockly开源库作为UI组件，以可视化的方式生成以太坊Serpent或LLL语言。这两种工具偏向细粒度设计，比如条件、循环等基本结构，仍旧需要用户掌握较多细节。SC_DMS基于插件合约的方式来进行操作，更加易于用户使用。现有技术存在一种可以使用文档模板和合约限制语言(CNL)创建的人类可理解的合同文档来自动生成智能合约的技术，其中自动化是基于从文档模板和CNL到形式化模型的映射，该模型可以定义合同中的条款和条件，包括时间限制和过程。然后将形式化的模型转换为智能合约。并基于此技术实施了一套工具链来生成HyperledgerFabric的智能合约。该工具具有较强的形式化理论知识，同样给通用性设计提供了一些难度。

综上所述，目前的智能合约设计、管理模式和工具还在初级探索阶段，远不如传统软件工程那么成熟，需要更多的理论方法和工具支撑。智能合约朝着工程化的方向发展，形成一系列可靠可信的设计模型和管理模式，是一种必然趋势，最终形成智能合约工程体系。

发明内容

为了克服现有技术的以上缺陷，促进智能合约工程的发展，本发明提出一种区块链智能合约生成及管理系统及实现机制，并基于典型智能合约语言Solidity实现了一套可视化原型系统；所提出的设计模型继承传统软件工程模块化的思想，既有助于线下复杂业务功能的设计，又可支持上链后数据和逻辑的管理；所提供的模组化管理机制，提供了类标准SQL方法来完成对链上合约数据的查询和更新操作，同时通过索引合约完成合约插拔、重组以及升级操作，形成可视化工具，更加系统灵活的加强了智能合约的链上管理机制。

本发明的目的在于提供一种区块链智能合约生成及管理系统，包括：

链下智能合约设计与开发模块；自动部署模块；以及链上智能合约管理模块；

其中，所述链下智能合约设计与开发模块分为链下智能合约设计子模块以及链下智能合约开发子模块。所述链下智能合约设计子模块支持用户以可视化拖拽的方式依据柔性设计模型创建智能合约，并分别输出两种类型的文件，其中JSON格式的文档用于记录合约的版本、插件合约之间的调用关系以及合约的状态，以及另一个Solidity格式的文件，执行自动部署的环节，通过solc编译生成应用二进制接口和字节码文件，将应用二进制接口和字节码文件转化为.go文件；所述链下智能合约开发子模块使用柔性设计模型，将合约以插件为单位，每一个所述插件作为插件合约，基于数据和逻辑相分离的思想，将合约分为索引、数据和逻辑三个部分，从而形成索引合约、数据合约和逻辑合约，所述逻辑合约可以调用数据合约；

所述自动部署模块使用生成的所述.go文件中部署合约的方法进行合约的自动部署上链；

所述链上智能合约管理模块对链上运行的智能合约进行维护。

优选的，所述柔性设计模型采用数据逻辑分离改变智能合约的结构，将合约分为索引合约、数据合约及逻辑合约三部分，将数据与逻辑交由不同的合约处理，并将逻辑合约按照不同类别拆分为多个子合约，多个所述子合约之间根据合约地址互相进行调用，还包括公共模块以生成模板。其中，所述索引合约以“合约名称--合约地址--合约版本号--合约状态”的形式存储数据合约和逻辑合约的基本信息，在智能合约上链后的模组化管理机制中承担模块合约管理员的角色；所述数据合约存储合约所需要的数据，所述逻辑合约按照功能分为属性合约和动作合约，所述属性合约完成对象属性的判断和管理，所述属性合约分为基本属性合约和基于状态机的属性合约，所述动作合约用于改变智能合约的属性，所述逻辑合约中的所述属性合约和所述动作合约可以互相调用，而所述逻辑合约可以调用所述数据合约。

优选的，所述索引合约的创建及部署是由系统管理员进行的操作，用户无法对其进行自定义修改。

优选的，所述数据合约和动作合约模型由用户自定义创建；其中：

所述数据合约定义为：DataContract:＝contractname(dataelement，setdata，getdata，pusharray，setarray，getarray)其中：dataelement＝{D1，D2，…，Dn}表示合约中数据的集合，所述数据合约中结构体的存储有两种方式，分别是通过指针指向一个结构体maptodata和结构体数组array，对所述结构体maptodata形式的结构体数据存储的操作包括：对结构体中某一成员变量的值进行设置操作的集合、结构体中某一成员变量的值进行查询操作的集合；对结构体数组array形式的结构体数据存储的操作包括：将数据插入数组的操作集合、对结构体数组中数据进行设置操作的函数集合，将要进行设置的结构体在结构体数组中的索引值及需要设置的数据作为函数入参，确定结构体位置，并对其中一个成员变量的值进行设置，n由结构体中成员变量的个数决定，通常与getarray函数配合使用，通过查询符合要求的结构体，对其进行数据的设置；getarray＝{garray1，garray2，…，garrayn}表示对结构体数组进行查询操作的函数集合，n的个数由合约中定义的结构体数组的个数决定，将所查询的结构体在结构体数组中的索引值作为函数入参，确定所查询结构体位置，返回此结构体中存储的数据，在调用此函数时通常采用for循环方式，遍历结构体数组并返回对应结构体存储的数据；所述逻辑合约中的所述基本属性合约包括ownable、time、ERC20、nulladdress作为固定的合约模板，不可进行更新；

所述动作合约的定义为：

ActionContract:＝contractname(condition,Yaction,Naction)

其中condition＝{g0，g1，…，gn}(gi∈G)为条件集合；Yaciton表示满足条件执行的动作；Naction表示不满足条件所执行的动作。

优选的，所述自动部署模块用于进行智能合约自动编译及部署，所述智能合约自动编译的方法包括：将区块链智能合约通过命令行调取编译工具编译后，生成区块链虚拟机的字节码，最终成为被部署到区块链上的智能合约；所述智能合约自动部署的方法包括：根据智能合约转化的二进制接口文件，生成特定的支持Golang语言的语言封装，在区块链中进行标准方式的合约交互，生成合约对应的绑定文件，绑定文件生成与智能合约交互的所有方法，包括部署的方法，最后，将合约部署到区块链上执行。

优选的，所述链上智能合约管理模块采用两种方式对链上运行的智能合约进行维护，其中一种方式为支持使用类SQL语句，查看合约数据部分并更新；另一种方式为支持通过索引合约，完成智能合约的维护操作，支持插拔、重组以及升级链上运行合约，形成模组化管理机制。

优选的，当所述链上智能合约管理模块采用支持类SQL的动态合约数据管理方法对链上运行的智能合约进行维护，所述支持类SQL的动态合约数据管理方法采用基于类SQL标准规范的数据接口，实现链上的数据的查询、更新以及插入等操作，增加链上合约的可维护性，所述类SQL标准规范的数据接口的逻辑架构提供的类SQL接口分为三层，分别是：

1)SQL解析层：对类SQL语句进行分析，以提取出有用的参数；

2)分析匹配层：将提取出的参数与智能合约中的结构体或数据操作的方法进行匹配；

3)合约调用层：若提取出的参数可以匹配到相应的结构体，则调用对应的方法对此结构体进行插入、更新及查询等操作；

所述类SQL接口提供的类SQL语句可对数据合约中的数据进行插入、更新及查询三种操作。

本发明的目的还在于提出了一种区块链智能合约生成及管理的实现机制，针对链上部署运行的智能合约，支持智能合约的可插拔、可重组以及可升级，包括如下步骤：

步骤1，建立索引合约、数据合约及逻辑合约，并将索引合约作为链上数据合约和逻辑合约的管理员，所述索引合约处在管理区，与合约区的数据合约和逻辑合约发生关联；

步骤2，通过拖拽插件操作，设计智能合约，编译并部署所述智能合约上链。

其中所述智能合约的可插拔包括：针对部署上链的智能合约可以增加新的模块以及禁用已有的合约模块来适应业务改变；初始化时将索引合约、数据部分、逻辑部分分别部署上链，在索引合约中调用登记模块将已上链合约的地址、调用关系和合约状态以指针的形式存储；

所述智能合约的可重组包括：针对已部署上链的模块合约更改相互调用关系；

所述智能合约的可升级包括：对智能合约进行更新、升级操作，所述升级操作包括插拔以及重组操作。

优选的，所述索引合约的定义如下：

1)合约登记更新信息：“contract_name”＝>“contract_version”＝>“contract_address”；

2)合约状态信息:

A)可调用状态,禁用状态：State:{available,disavailable}；

B)通过合约地址查找当前的合约状态：mapping(address＝>State)；

C)合约调用关系信息：

合约名称及地址:：contract:{name,address}

若合约A调用合约B及合约C，则addressA＝>[contractB,contractC]：mapping(address＝>contract[])。

优选的，所述步骤2的所述插件选择自行设计的插件模板库，所述插件模板库包括柔性设计模型中基于状态机的逻辑属性合约、动作合作以及数据合约相关插件，所述插件模板库的系统组织方式是一系列插件模板，所述插件模板根据合约类型进一步展开。

本发明的有益效果：

(1)提出了一套链下柔性的智能合约设计模型，基于数据与逻辑分离的思想，利用模块化设计思想，研究属性合约、动作合约及数据合约的组合，通过融合多种智能合约的设计模式，提炼出适合不同场景的插件式合约，从设计层面缓解智能合约“开发难”的问题。

(2)针对已经部署上链的智能合约，提出一套模组化管理机制，提出一套链上智能合约模组化管理机制，具有可插拔、可重组以及可升级的特性，同时，建立一种类SQL语句的链上数据查询更新方法，支持链上智能合约的可插拔、可重组以及可升级，用于解决智能合约“维护难”的问题。

(3)提出一套面向链上数据合约的类SQL数据操作接口，支持链上数据的查询和维护，可动态完成数据合约的内容更新，支持数据的查询、插入、更新等工作，可有效提高不同版本智能合约的数据迁移效率。研发了一套SC_DMS原型系统，以插件模块的方式支持柔性设计模型、类SQL数据查询和模组化管理机制，协同管控链上链下智能合约，为智能合约的高效开发和管理提供支持，有助于解决智能合约“管理难”的问题。

(4)本发明公开了一套可视化的智能合约组件式设计和管理系统SC_DMS(SmartContract Design and Management System)，用户可根据实际需求。选择不同功能的合约插件进行组合，通过拖拽等操作简单快捷地生成用户自定义的智能合约。

本发明提供柔性设计模型、模组化管理机制以及SC_DMS系统，力求完成链下高效设计、链上动态维护以及链上链下协同管理的目标，为高质量智能合约的推广提供一种可行的研究思路和实践。

根据下文结合附图对本发明具体实施例的详细描述，本领域技术人员将会更加明了本发明的上述以及其他目的、优点和特征。

附图说明

后文将参照附图以示例性而非限制性的方式详细描述本发明的一些具体实施例。附图中相同的附图标记标示了相同或类似的部件或部分。本领域技术人员应该理解，这些附图未必是按比例绘制的。本发明的目标及特征考虑到如下结合附图的描述将更加明显，附图中：

图1为根据本发明实施例的SC_DMS运行流程图；

图2为根据本发明实施例的柔性设计模型架构图；

图3为根据本发明实施例的类SQL操作方式逻辑架构图；

图4为根据本发明实施例的Insert语句合约操作映射示意图；

图5为根据本发明实施例的Update语句合约操作映射示意图；

图6为根据本发明实施例的Select语句合约操作映射示意图。

图7为根据本发明实施例的智能合约可插拔特性示例图。

图8为根据本发明实施例的智能合约可重组特性示例图。

图9为根据本发明实施例的智能合约升级特性示例图。

图10为根据本发明实施例的逻辑基本属性合约插件。

图11为根据本发明实施例的柔性设计模型主要插件示意图。

图12为根据本发明实施例的投票案例数据合约生成示例图。

图13为根据本发明实施例的盲拍案例状态属性合约生成示例图。

图14为根据本发明实施例的盲拍案例完整智能合约插件及部分代码示例图。

具体实施方式

为了使得本发明能够针对其发明要点更加明显易懂，下面将结合附图和实例对本发明作进一步的说明。在下面的描述中阐述了很多细节和具体实例，提供这些实例是为了能够更透彻地理解本发明，并且能够将本发明完整形象地传达给本领域的技术人员。虽然本发明能够以很多不同于此描述的其它方式实施，但是本领域技术人员可以在不违背本发明内涵的情况下做相应的推广，因此本发明不受下面公开的具体实例及具体附图所限制。

本发明的目的在于提供一种区块链智能合约生成及管理系统，包括：

从编译运行流程角度概述智能合约设计与管理系统SC_DMS系统原理，如图1所示。系统流程上可主要分为三个部分，分别是链下智能合约设计与开发、自动部署、链上智能合约管理。

链下智能合约的开发是使用柔性设计模型，将合约以插件为单位，每一个插件称为插件合约。基于数据和逻辑相分离的思想，将合约分为索引、数据和逻辑三个部分，可统称为索引合约、数据合约和逻辑合约。其中，逻辑部分按照功能划分为属性合约和动作合约。属性合约主要完成对象属性的判断和管理，动作合约则主要负责属性的变化操作。逻辑合约可以调用数据合约，属性合约与动作合约可以相互调用。

SC_DMS系统链下设计部分支持用户以可视化拖拽的方式依据柔性设计模型创建智能合约，并分别输出两种类型的文件，JSON格式的文档主要记录合约的版本、插件合约之间的调用关系以及合约的状态，有利于用户针对已部署在链上的合约进行模组化管理。而另一个Solidity格式的文件则执行自动部署的环节，通过solc编译生成abi(应用二进制接口)和bin(字节码)文件，使用abigen工具将abi、bin文件转化为.go文件，使用生成的.go文件中部署合约的方法进行合约的自动部署上链。

另外，系统支持对链上运行的智能合约进行维护。一种方式是支持使用类SQL语句，查看合约数据部分并更新。另一种方式则是支持通过索引合约，完成智能合约的维护操作，支持插拔、重组以及升级链上运行合约，形成模组化管理机制。

上述内容为整个系统的基本组成部分，下面分别对各部分详细阐述。

智能合约柔性设计模型是使用数据逻辑分离的思想来改变智能合约的结构，将数据与逻辑交由不同的合约处理，并可将逻辑合约按照不同类别拆分为多个子合约，子合约之间可根据合约地址互相进行调用。基于数据逻辑分离思想的柔性智能合约的设计模型架构如图2所示。这种方式可以实现智能合约的可扩展和可重用特征，模块化和逻辑业务分离使智能合约可根据不同模块特征加强功能、扩展业务。同时公共模块可生成模板，完成代码的可复用，减少开发工作量和维护难度。模型分为索引合约、数据合约及逻辑合约三部分。其中，索引合约以“合约名称--合约地址--合约版本号--合约状态”的形式存储数据合约和逻辑合约的基本信息，在智能合约上链后的模组化管理机制中承担模块合约“管理员”的角色。数据合约存储合约所需要的数据，逻辑部分可分为属性合约和动作合约，属性合约又可进一步分为基本属性合约和基于状态机(Finite State Machine，FSM)的属性合约，动作合约则可以改变智能合约的属性。逻辑合约中的属性合约和动作合约可以互相调用，而逻辑合约又可以调用数据合约。

索引合约的创建及部署是由系统管理员进行的操作，用户无法对其进行自定义修改，具体描述见下文。下面依次描述用户可自定义创建的数据合约和动作合约模型。

(1)数据合约

针对数据合约，本发明的定义如下：

DataContract:＝contractname(dataelement，setdata，getdata，pusharray，setarray，getarray)其中：dataelement＝{D1，D2，…，Dn}表示合约中数据的集合。合约中结构体的存储有两种方式，分别是通过指针指向一个结构体(maptodata)和结构体数组(array)。

其中对maptodata形式的结构体数据存储有如下操作：setdata＝{sdata1，sdata2，…，sdatan}表示对结构体中某一成员变量的值进行设置操作的集合；getdata＝{gdata1，gdata2，…，gdatan}表示对结构体中某一成员变量的值进行查询操作的集合。

对array形式的结构体数据存储有如下操作：pusharray＝{parray1，parray2，…，parrayn}表示将数据插入数组的操作集合；setarray＝{sarray1，sarray2，…，sarrayn}表示对结构体数组中数据进行设置操作的函数集合，将要进行设置的结构体在结构体数组中的索引值及需要设置的数据作为函数入参，确定结构体位置，并对其中一个成员变量的值进行设置，n由结构体中成员变量的个数决定，通常与getarray函数配合使用，通过查询符合要求的结构体，对其进行数据的设置；getarray＝{garray1，garray2，…，garrayn}表示对结构体数组进行查询操作的函数集合，n的个数由合约中定义的结构体数组的个数决定，将所查询的结构体在结构体数组中的索引值作为函数入参，确定所查询结构体位置，返回此结构体中存储的数据，在调用此函数时通常采用for循环方式，遍历结构体数组并返回对应结构体存储的数据。

(2)逻辑基本属性合约

针对逻辑合约中的基本属性合约，本发明集成ownable、time、ERC20、nulladdress等属性合约作为固定的合约模板，不可进行更新。

(3)逻辑动作合约

针对逻辑合约中的动作合约，本发明的定义如下：

ActionContract:＝contractname(condition,Yaction,Naction)

其中condition＝{g0，g1，…，gn}(gi∈G)为条件集合；Yaciton表示满足条件执行的动作；Naction表示不满足条件所执行的动作。

智能合约自动编译及部署有以下两类方法：

(1)智能合约自动编译方法

solc作为Solidity命令行的编译工具，包含在Solidity源码库。以太坊智能合约可以通过命令行调取编译工具编译后，生成以太坊虚拟机的字节码，最终才成为被部署到以太坊区块链上的智能合约。solc编译器可以编译输出多种形式，例如最终的二进制合约abi后缀文件，抽象语法树evm.legacyAssembly的json格式的汇编代码，还包括预计花费gas值的evm.gasEstimates函数等等。SC_DMS系统中主要使用编译转化成二进制文件的部分。

(2)智能合约自动部署方法

abigen工具可以根据solidity或者abi后缀文件生成特定的语言封装，支持Golang语言。ABI(application binary interface)是应用二进制接口，以太坊中进行合约交互的标准方式。SC_DMS系统中主要通过abigen生成合约对应的.go类型的绑定文件，绑定文件可生成与智能合约可以交互的所有方法，包括部署的方法。最后，将合约部署到区块链上执行。

前面提出的柔性设计模型存在数据合约部分，将逻辑与数据相分离，但是一旦智能合约上链，可维护性较弱，对于智能合约的改动通常需要重新部署新的合约。另外，对于智能合约数据更新，也有一定操作复杂性。因此，这里提出一种支持类SQL的动态合约数据管理方法，该方法基于类SQL标准的数据接口，可实现链上的数据的查询、更新以及插入等操作，增加链上合约的可维护性。

(1)类SQL标准接口实现原理

本发明提出了一种类SQL标准规范，实现对链上数据的操作，该接口的逻辑架构如图3所示。该架构提供的类SQL接口主要分为三层，分别是：

1)SQL解析层：主要对类SQL语句进行分析，以提取出有用的参数，如insert及其所涉及的新增数据；

2)分析匹配层：将提取出的参数与智能合约中的结构体或一些数据操作的方法进行匹配；

3)合约调用层：若提取出的参数可以匹配到相应的结构体，则调用对应的方法对此结构体进行插入、更新及查询等操作。

(2)类SQL接口操作规范

通过类SQL语句可对数据合约中的数据进行插入、更新及查询三种操作，对应为Insert语句、Update语句和Select语句，其规范描述如下：

Insert语句(插入操作)

SQL语句格式为：

INSERT INTO table_name(column1,column2,column3,...,columni,…,columnn)

VALUES(value1,value2,value3,...,valuei,…,valuen)；

该SQL语句与智能合约模型的对应关系如图4所示。

其中，表中要插入的数据列column的个数等于智能合约函数function的个数，且顺序一一对应；另外，类SQL语句中的columni数据列对应智能合约函数function datai(1≤i≤n)中所操作的结构体成员变量；而columni数据列的值valuei为智能合约中的结构体成员变量赋值。图中主键primary key(columnp)对应智能合约中的mapping类型及函数入参，用来找到需要插入数据的目标结构体。通过insert语句调用智能合约中的对应方法，则完成数据的插入操作。

Update语句(更新操作)

SQL语句格式为：

UPDATE table_name

SET column1＝value1,column2＝value2,...

WHERE columnp＝valuep；

该SQL语句与智能合约模型的对应关系如图5所示。

其中，update语句中需要更新的数据列columni的个数等于智能合约中函数的个数，且顺序一一对应；需要更新的数据列columni对应智能合约函数function setdatai(1≤i≤n)中需要更新的结构体成员变量及对应函数入参；更新数据列的值valuei为智能合约对应函数中的结构体成员变量赋值。update中where条件语句对应智能合约中函数的入参类型及mapping的主键columnp，其作用为找到需要更新的目标结构体；通过update语句调用智能合约中的对应方法，完成链上数据的更新操作。

Select语句(查询操作)

SQL语句格式：

SELECT column1,column2,…

FROM table_name

WHERE columnp＝valuep；

SELECT*FROM table_name

WHERE columnp＝valuep；

该SQL语句与智能合约模型的对应关系如图6所示。

其中，select语句中查询数据列columni的个数等于智能合约中函数function的个数，且顺序一一对应；需要查询的数据列columni对应智能合约函数function getdatai(1≤i≤n)中需要查询的结构体成员变量的值及作为对应函数的输出参数，where条件语句作为智能合约函数的入参及mapping中的主键，其作用为找到需要查询的目标结构体。若需要查询全部数据，即select语句中使用*，表示返回智能合约结构体中全部成员变量的值，只需对应智能合约中的一个函数getdata完成查询操作。

链上合约模组化管理机制的研究

本发明提出了一套智能合约模组化管理机制，针对链上部署运行的智能合约，支持智能合约的可插拔、可重组以及可升级，具体含义描述如下。

首先将索引合约作为链上其他各模块合约的“管理员”，处在管理区，与合约区的合约打交道。对索引合约的定义如下：

合约登记更新信息：

“contract_name”＝>“contract_version”＝>“contract_address”

由于索引合约中存储的合约名称与地址及版本号是唯一对应关系，则合约的命名是不可重复的，若新建重名合约，则会创建失败。

合约状态信息：

State:{available,disavailable}

【可调用状态,禁用状态】

mapping(address＝>State)

【通过合约地址查找当前的合约状态】c)合约调用关系信息：

contract:{name,address}

【合约名称及地址】

mapping(address＝>contract[])

【若合约A调用合约B及合约C，则addressA＝>[contractB,contractC]】

在索引合约的支撑下，模组化管理机制得以有效运行，下面详细描述该机制的三个基本特性：

(1)合约可插拔

合约可插拔是指针对部署上链的智能合约可以增加新的模块以及禁用已有的合约模块来适应业务改变。初始化时将索引合约、数据部分、逻辑部分分别部署上链，在索引合约中调用登记模块将已上链合约的地址、调用关系和合约状态(包括禁用状态、可调用状态)以指针的形式存储。

如图7所示，假设合约区的逻辑合约A的功能不再需要，则禁用该合约，并在管理区的索引合约中删除该合约的地址以及涉及到该合约的调用关系，调用索引合约中更改状态的模块，将索引合约中存储的逻辑合约A的状态改为禁用。如果需要扩展新的功能，则插入新的合约如合约E、合约F并部署上链，重复初始化过程，在索引合约中加入新增合约的地址、调用关系以及合约状态，完成后可检查索引合约中新增合约状态是否为已调用，并和原有的模块合约(如逻辑合约B)建立新的调用关系。

(2)合约可重组

合约可重组是指针对已部署上链的模块合约更改相互调用关系。如图8示例说明。合约区左半部分的初始化模块合约中逻辑合约A和逻辑合约B互相调用，逻辑合约B和逻辑合约C互相调用。逻辑合约对数据合约的调用如图中逻辑部分指向数据部分的黑线所示，例如逻辑A调用数据A。在建立如上的调用关系前需要先查看合约的状态是否禁用，如果是已禁用状态，证明合约已被拔除，则不能更改有关的调用关系，再对新建立的调用关系进行记录。

上半部分管理区的索引合约在合约可重组模块用到的功能分别为合约状态的查看和更改，以及针对合约调用关系的记录和修改，灰色箭头指向的方形中分别是这两部分功能的抽象定义。

合约区右半部分是重组后的合约，可以通过索引合约更改数据合约和逻辑合约间的调用关系，将逻辑合约A的数据部分改成数据合约B，而数据合约C的逻辑部分，也可以由逻辑合约C改成逻辑合约B。逻辑合约之间的调用关系也可以改变，例如将逻辑合约A的调用关系由逻辑合约B改成逻辑合约C。在修改调用关系之前需要调用索引合约检测索引合约中存储的即将调用的插件合约的状态是否可用。

(3)合约可升级

合约可升级，顾名思义，就是对智能合约进行更新、升级等操作。升级操作可以包括插拔以及重组操作。

见图9，如图左部分是管理区的索引合约，合约升级需要用到索引合约中的功能包括合约更新、合约状态修改、合约调用。

根据用户需求所选择的模块合约进行合约组合，V1是最初版本，部署上链后需要在索引合约中登记合约，并且调用索引合约来获取合约最新的地址。V2和V3分别是插拔和重组后的新的合约。V2相对于V1禁用了属性合约A的功能，同时插入了新的合约E，在增加的同时需要调用索引合约进行合约登记初始化。V3在V2的基础上首先将属性合约B的功能完善，生成新的属性合约B’，升级后的合约会自动建立连接，属性合约B对数据合约1的调用关系改为升级后的属性合约B’调用数据合约1，同时针对属性合约B’与合约E增加了一些其他的调用关系。用户创建的这些不同版本的合约需要调用索引合约中的登记合约模块，进行合约名称地址及版本号的登记。最终按照版本V3作为当前执行合约，也就是通过一系列操作，完成了链上智能合约的升级。模组化管理机制是具有可升级特性的。

本发明的具体实施例将介绍SC_DMS智能合约可视化系统实施例的使用，说明其效果。

SC_DMS系统实现前面阐述的设计和管理思想，支持柔性设计模型，将逻辑与数据相分离，并支持通过简单的拖拽插件操作，设计智能合约，并可编译并部署上链。如图10所示，是逻辑基本属性合约所需的模板，主要包含ownable，time，ERC20，transfer等插件，用户选择不同插件则会对应不同的代码块，组合后可生成右侧的智能合约代码。图11则展示了可自设计的插件模板库，包括柔性设计模型中基于状态机的逻辑属性合约、动作合作以及数据合约相关插件。系统组织方式是一系列插件模板，模板可以根据合约类型进一步展开，例如数据合约(Data)展开后，显现有struct(数据结构)、mapping(address)、[](数组)和member(成员变量)。另外，系统还支持特定类型合约的扩展，比如权限管理合约(Authority)、加密合约(encryption)等。

下面将以两个具体实施例表示使用SC_DMS系统以可视化拖拽插件的方式构建智能合约的方法。

(1)投票合约

首先以投票合约作为第一实施例：为每个(投票)表决创建一份智能合约，并为(投票)表决命名。作为合约的生成者—即主席，将给予每个独立的地址以投票权。被给予投票权的地址可以选择自己投票，或委托给信任的人来投票。在投票时间结束时，票数最多的提案获胜。此例将使用柔性设计模型设计数据合约部分，并通过SC_DMS系统可视化拖拽的方式生成对应的Solidity代码。投票合约中需要存储两类数据，分别是：投票人的信息及提案信息，投票人的信息包括投票的权重(所拥有票数weight)、是否已完成投票(voted)、被委托投票人的地址(delegate)及投票的提案索引值(vote)；提案信息包括：提案的简称名字(name)及此提案的得票数(VoteCount)；由此，需要建立一份数据合约用于存储以上信息，用户选择数据合约插件，将两类数据以可视化的方式展示，即可自动完成数据合约Solidity代码的生成，代码可部署于以太坊中进行调用。如图12为投票合约数据合约插件的生成过程示例图。

(2)盲拍合约

以盲拍合约(参考Fsolidm[22]提供的盲拍合约)作为第二实施例：以公开拍卖为基础，但投标人并未发送真实出价，而是发送了一个哈希版本的出价。主要流程为所有参与者均持有一个以太坊账户；发起人创建盲拍合约，创建时指定受益人、竞拍时间及揭晓时间；竞拍者在竞拍时间结束前，可以进行出价；竞拍者可以随时撤回自己的出价，并回收抵押资金；竞拍结束，价高者得。该第二实施例将柔性设计模型中逻辑状态合约的定义实例化，通过系统可视化的拖拽方式生成对应的Solidity代码。在盲拍合约中，可以定义为五种状态：

start：初始状态；

AcceptingBlindedBids(ABB)：投标者创建投标书并且此投标书已被合约发起人所接受；

RevealBids(RB)：到达规定时间，投标人公开投标书，合约检查与AcceptingBlindedBids状态下的投标书哈希值是否一致，是否提供足够的金额；

Finished(F)：竞拍结束，价高者得；

End：竞拍者可以随时撤回出价并回收抵押资金。

如图13所示，是按照以上状态创建的基本状态属性合约以及对应的solidity智能合约代码部分。

图14所示为基于状态机属性实现的盲拍合约完整拖拽图及对应的部分代码，在图14所生成的基本状态合约基础上进行扩充，使用有限状态机属性模板完成智能合约实例化。合约中所对应的一个函数包括更改前状态、更改后状态及触发状态转移条件和动作，如图14的中间部分多个虚线框所示。例如其中一个虚线框中，start状态通过触发了函数SetUp，转移为ABB状态，函数SetUp中包含菱形块所代表的条件，其中一个方块Action所代表的动作，具体生成的部分代码如图中上方虚线框所示；另一个虚线框中ABB状态触发函数bid，执行函数bid结束后状态仍为ABB状态，图中显示ABB状态与bid函数之间形成闭环，函数bid中同样包括菱形块代表的条件及一个方块Action所代表的动作，倒三角形形状SetUp代表对数据合约中存储的数据进行操作，具体生成的部分代码如图中上方虚线框所示。图14中的上下两部分虚线框为触发状态发生转移的所有函数的部分代码。

从上述两个案例分析可知，SC_DMS系统支持柔性设计模型，并可通过便捷的可视化工具高效完成智能合约的设计和代码生成工作。

本发明的实施例：

(1)提出了一套链下柔性的智能合约设计模型，基于数据与逻辑分离的思想，利用模块化涉及思想，研究属性合约、动作合约及数据合约的组合，通过融合多种智能合约的设计模式，提炼出适合不同场景的插件式合约，从设计层面缓解智能合约“开发难”的问题。

(2)针对已经部署上链的智能合约，提出一套模组化管理机制，提出一套链上智能合约模组化管理机制，具有可插拔、可重组以及可升级的特性，同时，建立一种类SQL语句的链上数据查询更新方法，支持链上智能合约的可插拔、可重组以及可升级，用于解决智能合约“维护难”的问题。

(3)提出一套面向链上数据合约的类SQL数据操作接口，支持链上数据的查询和维护，可动态完成数据合约的内容更新，支持数据的查询、插入、更新等工作，可有效提高不同版本智能合约的数据迁移效率。研发了一套SC_DMS原型系统，以插件模块的方式支持柔性设计模型、类SQL数据查询和模组化管理机制，协同管控链上链下智能合约，为智能合约的高效开发和管理提供支持，有助于解决智能合约“管理难”的问题。

(4)本发明公开了一套可视化的智能合约组件式设计和管理系统SC_DMS(SmartContract Design and Management System)，用户可根据实际需求。选择不同功能的合约插件进行组合，通过拖拽等操作简单快捷地生成用户自定义的智能合约。

本发明提供柔性设计模型、模组化管理机制以及SC_DMS系统，力求完成链下高效设计、链上动态维护以及链上链下协同管理的目标，为高质量智能合约的推广提供一种可行的研究思路和实践。

虽然本发明已经参考特定的说明性实施例进行了描述，但是不会受到这些实施例的限定而仅仅受到附加权利要求的限定。本领域技术人员应当理解可以在不偏离本发明的保护范围和精神的情况下对本发明的实施例能够进行改动和修改。

Claims (10)

1.一种区块链智能合约生成与管理系统，其特征在于包括：

链下智能合约设计与开发模块；自动部署模块；以及链上智能合约管理模块；

其中，所述链下智能合约设计与开发模块分为链下智能合约设计子模块以及链下智能合约开发子模块。所述链下智能合约设计子模块支持用户以可视化拖拽的方式依据柔性设计模型创建智能合约，并分别输出两种类型的文件，其中JSON格式的文档用于记录合约的版本、插件合约之间的调用关系以及合约的状态，以及另一个Solidity格式的文件，执行自动部署的环节，通过solc编译生成应用二进制接口和字节码文件，将应用二进制接口和字节码文件转化为.go文件；所述链下智能合约开发子模块使用柔性设计模型，将合约以插件为单位，每一个所述插件作为插件合约，基于数据和逻辑相分离的思想，将合约分为索引、数据和逻辑三个部分，从而形成索引合约、数据合约和逻辑合约，所述逻辑合约可以调用数据合约；

所述自动部署模块使用生成的所述.go文件中部署合约的方法进行合约的自动部署上链；

所述链上智能合约管理模块对链上运行的智能合约进行维护。

2.根据权利要求1所述的一种区块链智能合约生成与管理系统，其特征在于：所述柔性设计模型采用数据逻辑分离改变智能合约的结构，将数据与逻辑交由不同的合约处理，并将逻辑合约按照不同类别拆分为多个子合约，多个所述子合约之间根据合约地址互相进行调用，还包括公共模块以生成模板，所述柔性设计模型分为索引合约、数据合约及逻辑合约三部分，其中，所述索引合约以“合约名称--合约地址--合约版本号--合约状态”的形式存储数据合约和逻辑合约的基本信息，在智能合约上链后的模组化管理机制中承担模块合约管理员的角色；所述数据合约存储合约所需要的数据，所述逻辑合约按照功能分为属性合约和动作合约，所述属性合约完成对象属性的判断和管理，所述属性合约分为基本属性合约和基于状态机的属性合约，所述动作合约用于改变智能合约的属性，所述逻辑合约中的所述属性合约和所述动作合约可以互相调用，所述逻辑合约可以调用所述数据合约，所述逻辑合约可以调用所述数据合约。

3.根据权利要求2所述的一种区块链智能合约生成与管理系统，其特征在于：所述索引合约的创建及部署是由系统管理员进行的操作，用户无法对其进行自定义修改。

4.根据权利要求2所述的一种区块链智能合约生成与管理系统，其特征在于：所述数据合约和动作合约模型由用户自定义创建；其中：

所述数据合约定义为：DataContract:＝contractname(dataelement，setdata，getdata，pusharray，setarray，getarray)其中：dataelement＝{D1，D2，…，Dn}表示合约中数据的集合，所述数据合约中结构体的存储有两种方式，分别是通过指针指向一个结构体maptodata和结构体数组array，对所述结构体maptodata形式的结构体数据存储的操作包括：对结构体中某一成员变量的值进行设置操作的集合、结构体中某一成员变量的值进行查询操作的集合；对结构体数组array形式的结构体数据存储的操作包括：将数据插入数组的操作集合、对结构体数组中数据进行设置操作的函数集合，将要进行设置的结构体在结构体数组中的索引值及需要设置的数据作为函数入参，确定结构体位置，并对其中一个成员变量的值进行设置，n由结构体中成员变量的个数决定，通常与getarray函数配合使用，通过查询符合要求的结构体，对其进行数据的设置；getarray＝{garray1，garray2，…，garrayn}表示对结构体数组进行查询操作的函数集合，n的个数由合约中定义的结构体数组的个数决定，将所查询的结构体在结构体数组中的索引值作为函数入参，确定所查询结构体位置，返回此结构体中存储的数据，在调用此函数时通常采用for循环方式，遍历结构体数组并返回对应结构体存储的数据；所述逻辑合约中的所述基本属性合约包括ownable、time、ERC20、nulladdress作为固定的合约模板，不可进行更新；

所述动作合约的定义为：

ActionContract:＝contractname(condition,Yaction,Naction)

其中condition＝{g0，g1，…，gn}(gi∈G)为条件集合；Yaciton表示满足条件执行的动作；Naction表示不满足条件所执行的动作。

5.根据权利要求1所述的一种区块链智能合约生成与管理系统，其特征在于：所述自动部署模块用于进行智能合约自动编译及部署，所述智能合约自动编译的方法包括：将区块链智能合约通过命令行调取编译工具编译后，生成区块链虚拟机的字节码，最终成为被部署到区块链上的智能合约；所述智能合约自动部署的方法包括：根据智能合约转化的二进制接口文件，生成特定的支持Golang语言的语言封装，在区块链中进行标准方式的合约交互，生成合约对应的绑定文件，绑定文件生成与智能合约交互的所有方法，包括部署的方法，最后，将合约部署到区块链上执行。

6.根据权利要求1所述的一种区块链智能合约生成与管理系统，其特征在于：所述链上智能合约管理模块采用两种方式对链上运行的智能合约进行维护，其中一种方式为采用支持类SQL的动态合约数据管理方法，支持使用类SQL语句，查看合约数据部分并更新；另一种方式为支持通过索引合约，完成智能合约的维护操作，支持插拔、重组以及升级链上运行合约，形成模组化管理机制。

7.根据权利要求6所述的一种区块链智能合约生成与管理系统，其特征在于：当所述链上智能合约管理模块采用所述支持类SQL的动态合约数据管理方法对链上运行的智能合约进行维护，所述支持类SQL的动态合约数据管理方法采用基于类SQL标准规范的数据接口，实现链上的数据的查询、更新以及插入等操作，增加链上合约的可维护性，所述类SQL标准规范的数据接口的逻辑架构提供的类SQL接口分为三层，分别是：

1)SQL解析层：对类SQL语句进行分析，以提取出有用的参数；

2)分析匹配层：将提取出的参数与智能合约中的结构体或数据操作的方法进行匹配；

3)合约调用层：若提取出的参数可以匹配到相应的结构体，则调用对应的方法对此结构体进行插入、更新及查询等操作；

所述类SQL接口提供的类SQL语句可对数据合约中的数据进行插入、更新及查询三种操作。

8.一种基于权利要求1-7任一所述的区块链智能合约生成及管理系统的实现机制，其特征在于针对链上部署运行的智能合约，支持智能合约的可插拔、可重组以及可升级，包括如下步骤：

步骤1，建立索引合约、数据合约及逻辑合约，并将索引合约作为链上数据合约和逻辑合约的管理员，所述索引合约处在管理区，与合约区的数据合约和逻辑合约发生关联；

步骤2，通过拖拽插件操作，设计智能合约，编译并部署所述智能合约上链。

其中所述智能合约的可插拔包括：针对部署上链的智能合约可以增加新的模块以及禁用已有的合约模块来适应业务改变；初始化时将索引合约、数据部分、逻辑部分分别部署上链，在索引合约中调用登记模块将已上链合约的地址、调用关系和合约状态以指针的形式存储；

所述智能合约的可重组包括：针对已部署上链的模块合约更改相互调用关系；

所述智能合约的可升级包括：对智能合约进行更新、升级操作，所述升级操作包括插拔以及重组操作。

9.根据权利要求8所述的实现机制，其特征在于所述索引合约的定义如下：

1)合约登记更新信息：“contract_name”＝>“contract_version”＝>“contract_address”；

2)合约状态信息:

A)可调用状态,禁用状态：State:{available,disavailable}；

B)通过合约地址查找当前的合约状态：mapping(address＝>State)；

C)合约调用关系信息：

合约名称及地址:：contract:{name,address}

若合约A调用合约B及合约C，则addressA＝>[contractB,contractC]：mapping(address＝>contract[])。

10.根据权利要求8所述的实现机制，其特征在于：所述步骤2的所述插件选择自行设计的插件模板库，所述插件模板库包括柔性设计模型中基于状态机的逻辑属性合约、动作合作以及数据合约相关插件，所述插件模板库的系统组织方式是一系列插件模板，所述插件模板根据合约类型进一步展开。

Images