[发明专利]一种基于MVC交易类智能合约交互式设计方法

摘要

一种基于MVC交易类智能合约交互式设计方法，采用MVC模式构建智能合约可视化设计系统，实现交易类智能合约简易、安全、快捷开发，提高了智能合约编写效率；包括：通过JavaScript脚本文件将SeqGAN生成的交易类智能合约基础代码嵌入Model层；View层选用Google Blockly构建可视化的Web交互式设计界面，为用户提供可视的交互式设计所需的工作区、工具箱、UI控件，实现智能合约设计所需组件可视化；采用监听器作为Controller层技术实现对交易类智能合约基础代码块的控制，将交易类智能合约基础代码块通过各自对应的交易类智能合约代码生成器函数转化为交易类智能合约代码文本，最后对生成的智能合约采用自动检测技术实现代码漏洞的检测。

主权项

1.一种基于MVC交易类智能合约交互式设计方法，其特征在于：包括以下步骤：/n步骤(1)将构成交易类智能合约的基础代码块创建为blocks_compressed.js脚本文件，其中交易类智能合约基础代码块由SeqGAN模型对交易类智能合约数据集训练学习后生成的智能合约基本代码片段组成；所述交易类智能合约基础代码块包含三种类型：基础合约代码、基础方法代码和标准接口代码，并在blocks_compressed.js脚本文件中创建各个基础代码块对应的对象，同时对所创建的交易类智能合约基础代码块对象设置其外观、文本描述和所实现的功能；/n步骤(2)创建交易类智能合约代码生成器脚本文件blockly_compressed.js，并在blockly_compressed.js文件中构建步骤(1)中交易类智能合约基础代码块对象对应的代码生成器函数，其中智能合约代码生成器是将智能合约基础代码块对象作为参数传入代码生成器函数并将智能合约基础代码块对象解析为代码文本形式；/n步骤(3)创建用户操作工具箱文件toolbox.xml，将步骤(1)中交易类智能合约基础代码块和步骤(2)的智能合约代码生成器集成到工具箱文件toolbox.xml，其中工具箱文件toolbox.xml相当于菜单，用户通过操作工具箱中的智能合约基础代码块对象设计交易类智能合约代码；创建工作区文件workspace.js实现交易类智能合约工作区的创建，工作区里包含对工具箱文件中相应的交易类智能合约基础代码块、生成交易类智能合约代码保存按钮、清除工作区按钮的操作；在workspace.js文件中，对工作区上创建的每一操作添加监听器Listener，用于监听事件流，所述监听的事件流包括在工作区中对交易类智能合约基础代码块操作时触发的添加(Create)事件、删除(Delete)事件、对交易类智能合约基础代码块变量名称与变量值修改时用到的(Change)事件、用户在工作区上拖拽交易类智能合约基础代码块时的移动(Move)事件，最后通过用户操作触发事件，从而实现用户与工作区的交互；/n步骤(4)通过步骤(1)、步骤(2)和步骤(3)实现了基于MVC(模型-视图-控制器)模式的智能合约设计系统基础架构，在此基础上创建.html文件构建可视的交易类智能合约代码交互式设计界面；在.html文件中引用上述(1)(2)(3)步骤中所有.js文件，使用户操作通过对象与事件驱动实现与Web用户的动态交互，最终为用户提供一个交易类智能合约代码交互式的Web界面，其中用户通过交互式界面设计生成的是交易类智能合约代码；/n步骤(5)为增加用户设计出的交易类智能合约代码的可用性，安全性，对用户设计的智能合约代码自动进行漏洞检测，自动检测内容包括时间戳一致性检测、异常诊断、账户信息监控，如果合约代码存在漏洞，则智能合约代码生成器自动标识合约代码漏洞类型，用户根据检测信息进行交互式设计直至代码检测通过。/n