[发明专利]一种面向以太坊Solidity智能合约的安全翻译与解析方法

说明书

本发明公开了一种面向以太坊Solidity智能合约的安全翻译与解析方法，包括以下步骤：首先将智能合约源代码转化为XML文本，然后对Solidity智能合约进行代码Java转换，并基于新生成的Java代码进行流程分析和控制流程图生成。同时，基于PageRank算法对Solidity智能合约核心代码行进行识别，并在图中将核心代码进行高亮显示。此外，利用自然语言处理进行代码分割和词性分析，将代码分割出来的英语单词，按动词和名词组织成一个利于理解的序列，并通过对Solidity智能合约的关键逻辑(转账、变量状态更新)进行识别，形成可理解的英语短语。最后，生成完整的智能合约翻译文档。

技术领域

本发明涉及网络空间安全技术领域，具体涉及一种面向以太坊Solidity智能合约的安全翻译与解析方法。

背景技术

随着区块链技术的发展和其经济价值的不断提升，无论是计算机行业从业人员、亦或是金融科技的从业者，甚至是从未了解区块链底层技术的投资专家，都想更好地了解和使用区块链系统。其中以太坊是除比特币之外最为成熟的公有链，随着在全球范围内不断的发展和成熟，目前已成为业界底层区块链的首选开发平台。以太坊中可以支持图灵完备的智能合约，突破了比特币对区块链应用的限制，让人们对区块链的认识不再局限于数字货币，将应用领域通过智能合约的形式进一步拓展到各行各业。但与此同时，随着区块链影响力日益扩大，其本身的智能合同欺诈等问题也日益突出，由于很多爱好者缺乏专业的计算机背景知识，使得他们难以理解和读懂区块链智能合约，导致了由智能合约引发的合同欺诈。

近几年频发的区块链安全事件亦给用户造成了巨大的经济损失，正因为智能合约在安全性和可靠性中存在的问题会让参与用户蒙受巨大的经济损失，所以针对区块链智能合约的翻译和解析是一项具有重要实用价值和经济价值的工作。此外，由于以太坊智能合约的实际使用过程需要用户输入私钥，并对合约中的代码函数进行操作(针对参数类型给有效的输入信息)，然而并非所有的参与用户都能理解并正确地操作智能合约，这些操作对于无相关编程知识或是不了解智能合约编写语言的人来说具有一定的难度。

发明内容

本发明的目的是为了解决现有技术中的上述缺陷，提供一种面向以太坊Solidity智能合约的安全翻译与解析方法。本发明实现过程主要分为两个阶段，首先解析智能合约的控制流程，生成合约代码流程图并高亮显示核心代码，然后将NLP自然语言处理应用于以太坊Solidity智能合约的安全翻译能对合约代码进行准确翻译。

本发明的目的可以通过采取如下技术方案达到：

一种面向以太坊Solidity智能合约的安全翻译与解析方法，所述的安全翻译与解析方法包括以下步骤：

S1、对要进行安全翻译与解析的Solidity智能合约进行转换，将Solidity智能合约代码转化为XML文本；

S2、在所述的XML文本中将Solidity智能合约的片段令牌化，将令牌分割为已知的英语单词，并对各个单词标注上词性和单词原型；

S3、在所述的XML文本中将Solidity智能合约转化语法功能一致的Java代码，并保留原合约的特有语法特征，再根据转换的Java代码生成Solidity智能合约的控制流程图；

S4、在所述的Solidity智能合约的每个函数体的控制流程图中，依据PageRank算法在控制流程图中对各个节点赋予相同权重，然后进行计算修改权重，进而根据权重的大小分析出函数执行的核心操作或重要语句；

S5、通过步骤S3获取的控制流程图以及步骤S4获取的核心操作或重要语句，在控制流程图中高亮显示核心操作或重要语句所在的节点，完成对Solidity智能合约的解析；

S6、将步骤S2中分割出来的英语单词，按动词和名词组织成一个利于理解的序列，并通过将形容词、介词等添加到序列的适当位置，形成可读的英语短语；