去中心化金融协议智能合约转化方法、系统及电子设备

本发明涉及计算机技术区块链，涉及一种智能合约的转化方法、系统及电子设备，尤其涉及一种去中心化金融(defi)协议智能合约转化方法、系统及电子设备。

背景技术：

0、技术背景

1、去中心化金融(defi)是基于智能合约平台构建的开放、无需许可且高度可互相操作加密资产、金融类智能合约以及金融协议。狭义上讲，智能合约就是部署并运行在区块链上的计算机程序。智能合约的代码、执行的中间状态、及执行结果都会存储在区块链中，区块链除了保证这些数据不被篡改外，还会通过每个节点以相同的输入执行智能合约来验证运行结果正确性。区块链的这种共识验证机制，保证了智能合约的不可篡改性和可追溯等特性，从而使得它具备了被法律认可的可能。智能合约平台和语言已日益成熟且功能趋于完善。然而，由于智能合约通常涉及到计算机、法律、金融等多领域的协作，而目前的智能合约编程语言存在对于非计算机领域人员不够友好，对没学习过编程的人员来说难以理解等问题。具体而言，目前的智能合约语言存在以下几个缺点：程序语言与法律合约形式相去甚远；智能合约程序专业性强，用户和法律人员难以理解，从法律合约到可执行智能合约代码生成没有建立直接关系。

技术实现思路

1、本发明的目的在于提供一种去中心化金融(defi)协议智能合约转化方法、系统及电子设备，建立从法律合约到可执行智能合约代码生成的直接关系。

2、本发明的方法所采用的技术方案是：一种去中心化金融协议智能合约转化方法，包括以下步骤：

3、步骤1：针对spesc法律合约，进行语法分析和词法分析，构建spesc抽象语法树；

4、步骤2：定义spesc抽象语法树的bnf范式；

5、步骤3：基于spesc抽象语法树的bnf范式，结合go抽象语法树的语法语义，给出spesc抽象语法树到go抽象语法树的语义映射关系；完成spesc抽象语法树到go抽象语法树的转化，实现spesc法律合约代码到go智能合约代码的转换。

6、本发明的系统所采用的技术方案是：一种去中心化金融协议智能合约转化系统，包括以下模块：

7、模块1：针对spesc法律合约，进行语法分析和词法分析，构建spesc抽象语法树；

8、模块2：定义spesc抽象语法树的bnf范式；

9、模块3：基于spesc抽象语法树的bnf范式，结合go抽象语法树的语法语义，给出spesc抽象语法树到go抽象语法树的语义映射关系；完成spesc抽象语法树到go抽象语法树的转化，实现spesc法律合约代码到go智能合约代码的转换。

10、本发明的电子设备所采用的技术方案是：一种电子设备，包括：

11、一个或多个处理器；

12、存储装置，用于存储一个或多个程序，当所述一个或多个程序被所述一个或多个处理器执行时，使得所述一个或多个处理器实现所述的去中心化金融协议智能合约转化方法。

13、相对于现有技术，本发明的有益效果是：

14、首先，定义了spesc语言的bnf范式，并实现了spesc到go的映射关系生成语言转换工具。其次定义了spesc语言的可执行形式化语义并验证其正确性，接着将可执行形式化语义应用于k框架，验证转换的正确性。本发明完成了将现实合约转换为智能合约的过程，打破了智能合约与非程序人员之间的领域壁垒，能更好地满足法律合同的自动化、形式化转化。

技术特征：

1.一种去中心化金融协议智能合约转化方法，其特征在于，包括以下步骤：

2.根据权利要求1所述的去中心化金融协议智能合约转化方法，其特征在于：步骤1中，用词法分析器lexer对spesc法律合约文本进行词法分析，生成token，然后传给语法解析器parser检索生成抽象语法树ast；

3.根据权利要求1所述的去中心化金融协议智能合约转化方法，其特征在于：步骤2中，所述spesc的bnf范式，是对spesc语言的拓展巴克斯范式spesc[ebnf]转化为一般巴克斯范式；

4.根据权利要求1所述的去中心化金融协议智能合约转化方法，其特征在于：步骤3

5.根据权利要求1-4任意一项所述的去中心化金融协议智能合约转化方法，其特征在于：还包括转化验证步骤；

6.一种去中心化金融协议智能合约转化系统，其特征在于，包括以下模块：

7.一种电子设备，其特征在于，包括：

技术总结
本发明公开了一种去中心化金融协议智能合约转化方法、系统及电子设备，首先针对SPESC法律合约，进行语法分析和词法分析，构建SPESC抽象语法树；然后定义SPESC抽象语法树的BNF范式；最后基于SPESC抽象语法树的BNF范式，结合Go抽象语法树的语法语义，给出SPESC抽象语法树到GO抽象语法树的语义映射关系；完成SPESC抽象语法树到Go抽象语法树的转化，实现SPESC法律合约代码到Go智能合约代码的转换。本发明可以建立从法律合约到可执行智能合约代码生成的直接关系。

技术研发人员：孟博,王佳慧,王德军,王陈
受保护的技术使用者：中南民族大学
技术研发日：
技术公布日：2024/1/14