[发明专利]一种高效阅读智能合约辅助方法

说明书

本发明公开了一种高效阅读智能合约辅助方法，用户先输入所有已读合约，提取其标识符和Token序列；之后用户输入将读合约，提取其标识符和Token序列，与数据库中所有智能合约的标识符、Token序列比较，计算出将读合约与所有已读合约的综合相似度，输出综合相似度前十的合约，并分别标记输出合约与将读合约不同的部分，辅助用户高效细读大量的智能合约。通过该方法，可快速找到与已看合约不同的部分，从而节省阅读时间，无论是编程人员还是非编程人员，都能提高细读大量智能合约的效率。另外，编程人员也可借助该工具，快速学习编写智能合约。同类型的功能在实现上会有些许的差异，利用该方法可快速获取差异，从而设计出更安全，功能更全面的智能合约。

技术领域

本发明涉及区块链、智能合约领域，具体涉及一种高效阅读智能合约辅助方法。

背景技术

1994年，Nick Szabo从自动售货机的原理中获得灵感，最早提出了“智能合约”概念，并将智能合约定义为“执行合同条款的计算机化交易协议”。与传统合约相比，智能合约效率更高，成本更低。传统合约需要通过“桌面协议”的形式协商与撰写，智能合约可以借助互联网与数字签名技术形成有合约方认证签名的智能合约；传统合约的执行过程由很多的控制协议构成，控制协议包括：记录(表格、账单等)的保存、记录的审核与协商。记录的审核与协商往往需要第三方参与，这不仅容易造成合约方之间的地位不平等，而且需要给予第三方劳务费。智能合约通过密码协议与用户界面的结合保证合约的本身及其执行过程的可观察性、可验证性，减少了控制协议的人工花费与计算成本。因此，智能合约越来越火热。

目前较流行的智能合约平台是以太坊，在该平台上，采用Solidity编写的智能合约有超过200万个，而且每天都在不断增加。

由于大多数合约都与金钱相关，熟读合约是非常有必要的。例如购买虚拟货币，衡量虚拟货币的价值不能仅凭阅读白皮书，还要阅读与该虚拟货币相关的智能合约，从源头了解该货币的实际功能。

可是，读懂智能合约比读懂传统合约需要花费更长的时间。因为智能合约与传统合约在表达形式上有极大不同，传统合约使用自然语言表达合约内容，智能合约是利用代码表达合约内容，因此对于非代码编写人员来说，需要花费较长时间才能读懂智能合约。

总的来说，智能合约比传统合约更高效，更省成本，可是存在读懂合约耗时长的问题，迫切需要一个辅助阅读智能合约的工具。

现有的一个方法是solgraph工具，通过可视化智能合约(用Solidity语言编写)的函数控制流，来辅助用户阅读。

具体步骤为：该工具先借助Solidity语言编译器(solparser)，得到用户输入的智能合约的抽象语法树(Abstract Syntax Tree，AST)，然后遍历抽象语法树，找到所有调用表达式结点及这些结点之间的关系，最后输出一个DOT文件，该文件描述这些点和线。如果想生成图像，还需安装graphviz，该工具可以把DOT文件转化成图片。

这种方法的缺点在于：

以简化智能合约为目的辅助用户阅读，只能让用户大概了解合约里各个函数之间的调用关系，并不能辅助用户高效阅读合约函数内部的细节。

发明内容

本发明的目的是克服现有方法的不足，提出了一种高效阅读智能合约辅助方法。本发明所要解决的技术问题在于提供了一种智能合约相似度的计算方法，通过向用户推荐已读合约中和将读合约较相似的合约，避免用户花费时间在将读合约中已熟知的部分，解决了原有智能合约阅读辅助工具不能辅助阅读合约函数细节部分的问题。

为了解决上述问题，本发明提出了一种高效阅读智能合约辅助方法，所述方法包括：

用户先输入所有已读合约，预处理已读合约后，分别提取已读合约的标识符和Token序列，并把它们存储在数据库中；