一种基于法律语言的智能合约开发方法

摘要

本发明提出一种基于法律语言的智能合约开发方法。开发方法包含三种语言：传统法律语言，智能合约法律语言，计算机语言。智能合约法律语言包含一系列保留字和关系的规范性的语言，具有如下特点：（1）使用自然语言；（2）只包含若干简单路线结构；（3）语义简单；（4）保留字少；（5）支持自动转成代码结构；（6）可以扩展；（7）可以翻译成多种语言的代码。合约编写人根据传统自然语言合约按照智能合约法律语言编写合约，智能合约法律语言合约通过一定的算法自动转换为计算机语言合约。智能合约库由多套智能合约组成，每套智能合约包含传统自然语言法律语言书写的合约，智能合约法律语言书写的合约以及计算机语言书写的合约。

说明书

技术领域

本发明属于法律领域及区块链智能合约技术领域，特别涉及将法律合同使用智能合约进行自动化处理的相关技术。

背景技术

大部分法律合约基于行业标准模板撰写，并根据实际需求做出适当调整。合约起草人不会为每一笔交易从头起草新合约，而是会在行业模板中添加具体条款或制定一套定制化协议，作为此类商业行为的基础模板。

如今大多数法律文件都是纸质版或PDF电子版文档，分别储存在文件柜或计算机硬盘中。纸质版合约需要各方亲笔签名才能生效；而电子版合约与纸质版具有同样特征，唯一的不同是电子版只需电子签名即可生效。

传统的法律合约需要合约双方或多方交替操作才能完成执行。合约一方需要等待另一方或多方做出操作，并且信任其他各方能够按时完成，且可验证其操作。但在实际的操作过程中，会有合约参与方为了获取利益而使用非法手段进行欺诈。

随着区块链技术的不断发展，区块链及智能合约的应用领域正在不断扩大。智能合约具有高确定性、高可靠性和难篡改性。多方达成的合约，可以变成计算机代码，通过智能合约保存在区块链上，并可被触发执行。使用智能合约处理传统的法律合约，减少了容易产生的误解和纠纷，并可提供可靠的数据保障。

智能合约要在法律中实现应用，需要解决很多问题。如何将传统法言法语转换成计算机可识别可运行的代码，是其中的关键问题。

发明内容

本发明提出一种基于法律语言的智能合约开发方法，称为独角兽模型，使得传统的法律语言（以下简称法语）书写的合约可以通过本发明提出的智能合约法语方法产出计算机可识别的智能合约代码。

本发明提出的基于法律语言的智能合约开发方法，包含三种语言：传统自然语言法语，智能合约法语，计算机语言。

进一步地，本发明为实现从传统法语通过智能合约法语向计算机语言的转换，首先，定义智能合约法语，它包含一系列保留字和关系，用来标记常用的合约架构和模板表达。

以下对保留字进行举例（仅做参考，包含英文和中文两种表达方式）：

进一步地，智能合约的法语中可以描述关系，包括但不限于时间关系（发生前，发生后，同时期发生、结束后开启、事件点等）、包含逻辑关系（和、或、否、真、假等）。使用者可以用“关系”来定义其他关系例如父子、夫妇、老师/学生、经理/员工、单位/员工、学生/课程、学生/学校、家人等关系，但是这些关系不是保留字，使用者可以自己定义。

进一步地，本发明中智能合约法语具有如下特性：

（1）使用自然语言：使智能合约法语易于被理解，且易于书写；

（2）只包含若干简单路线结构：越少路线结构越容易学习和实现，例如“如果-就执行-否则”路线；

（3）语义简单：翻译器容易开发，容易分析，模型容易了解；

（4）保留字少：越少保留字,学习成本较低，转换算法更易于开发；

（5）支持自动转成代码结构：可以自动化的转成计算机语言的结构，使用这结构可以简化开发对应的代码。

（6）可以扩展：使用这可以用关系定义新关系；

（7）可以翻译成多种语言的代码：例如可以转成Java或是Solidity。

进一步地，编写智能合约的编写人在学习了智能合约法语后，将传统的自然语言合约，通过智能合约法语进行书写，书写后的基于智能合约法语的合约文档需要存入区块链。

进一步地，本发明的智能合约法语为规范性的语言，使用智能合约法语完成的合约是一个形式化的模型(formal model)。这模型可以进行许多自动化或是半自动化的形式化分析(formal analysis)，包括逻辑分析(logic analysis)、知识图谱(knowledge map)、自动分类(automatic classification)、相似度分析(similarity analysis)、仿真(simulation)、路径分析(path analysis)、组合分析(combinatorial analysis)、完整性分析(completeness analysis)、一致性分析(consistency analysis)、事件树分析(eventtree analysis)、数据流分析(data flow analysis)，依赖性分析(dependency analysis)等。

进一步地，这些分析可以被法律专家、计算机专家、和有教育背景的人理解和认知。因为上面大部分分析可以自动完成，分析算法复杂，但是分析结果和意义却是容易明白。例如，一个智能合约如果发现不完整，通过用复杂完整性算法的自动化工具可以指出哪个条件没有完成。

进一步地，智能合约法语合约这一形势化的模型通过一定的转换算法可以得到对应的计算机语言模型，即可执行代码。这些代码可以进行更多的分析，包括但不限于包括逻辑分析(logic analysis)、知识图谱(knowledge map)、自动分类(automaticclassification)、相似度分析(similarity analysis)、仿真(simulation)、路径分析(path analysis)、组合分析(combinatorial analysis)、完整性分析(completenessanalysis)、一致性分析(consistency analysis)、事件树分析(event tree analysis)\数据流分析(data flow analysis)，依赖性分析(dependency analysis)；代码还可以进行测试覆盖率分析(test coverage analysis)、安全漏洞分析(security vulnerabilityanalysis)等。这些计算机代码的分析需要计算机工程师完成。转换后的计算机语言合约文档需要存入区块链。

进一步地，由于智能合约法语模型和代码模型在结构上是一一对应，这也提供了一个分析和验证的方法和工具。

例如，在传统的法律语言中可能存在如下描述：“如果发生事件A，则应该按照事件B的方式处理”。对应到智能合约法语，“如果……则……”对应保留字“如果”和“就执行”，即表达为“如果 A，就执行 B”。对应到Java语言，为If语句的结构，可书写为“If（a）{b}”，此处a、b为A和B通过一定算法转换后的Java代码。

在上述举例中，智能合约法语书写的合约被转换为Java语言合约，在其他的实施例中，可转换为其他计算机语言的合约。

同一个智能合约法语书写的合约，可转换为多种计算机语言的合约代码，例如高级计算机语言Java、Go、Rust，或区块链智能合约语言Serpent、Solidity等。这取决于将智能合约法语转换为计算机语言的转换器或编译器如何开发，只要开发了对应的算法，智能合约法语合约可转换为任意语言的计算机代码。

进一步地，本发明中智能合约库由多套智能合约组成，每套智能合约包含传统自然语言法律语言书写的合约，智能合约法律语言书写的合约以及计算机语言书写的合约。

优选地，在一个实施例中，智能合约法语是基于中文书写，智能合约库可以使用标识辅助查找，这标识也是使用中文书写，因此用户可以使用中文来寻找需要的智能合约。在这种条件下，智能合约库帮助法学专家、法官、律师、学生搜寻需要的智能合约。

进一步地，本发明中每一组传统自然语言法语合约、智能合约法语合约和对应的计算机语言合约可部署为智能合约的一个微服务，可独立地标准化地作业，多组合约最终能形成智能合约的微服务库。智能合约的微服务库易于管理与调用，可扩展性抢，灵活度高。当有智能合约的使用需求时，智能合约执行系统从微服务库中获取所需要的智能合约微服务，进行编译运行。合约的数据来源及运行结果需要上链存证。

进一步地，本发明中某一个智能合约微服务可以单独运行，也可调用另外的智能合约微服务运行。复杂的智能合约可能存在多个微服务使用有指向性地链路串联或并联，完成互相调用的场景。

本发明提出的独角兽模型，可将传统的合约转化为智能合约运行。具备传统合约法律知识的合约起草人无需具备编程技能，仅依靠法律专业知识和智能合约法语即可编写智能合约，无需考虑代码的生成与编译。这种方式降低了智能合约的编写门槛，同时有助于将传统的合约场景向线上及区块链上转移，大大减少人工成本和时间成本，提升自动化水平和可信度，减少纠纷的发生，并对可能存在的纠纷判决提供可靠的证据材料。在数量级足够大的传统合约通过本发明提出的方法转换为可执行智能合约后，可以形成大型的国家级智能合约微服务库，可支持各类合约运行，可进行大数据分析，对于技术和法律的发展都有着积极的意义。

附图说明

图1为本发明提出的一种基于法律语言的智能合约开发方法流程示意图；

图2为本发明提出的智能合约库示意图；

图3为本发明提出的智能合约微服务之间的调用示意图。

具体实施案例

下面使用实施例进一步描述本发明，但不以任何方式限制本发明的范围。

本实施例仅为举例描述如何从传统合同通过智能合约法语转换为可执行智能合约代码，因此可能与实际租赁场景有所出入，在法律层面也并不完备，并省略了部分合约条件和内容。

合同起草人想要起草一份租房合同，以实现以下合约内容：

“每个月1日之前完成当月房租交付。若逾期5日未付款，发送催款通知；若逾期10日未付款，再次发送催款通知；如果超过15天未付款，认定租房人合同违约，发送违约书，进入司法程序处理。”

合同起草人使用智能合约法语书写如下：

合约起草人将上述智能合约法语合约提交到相应的转换系统。

转换系统使用知识图谱进行语言解析及编译，得到对应的计算机语言智能合约代码，如下：

该合约的传统自然语言法语合约、智能合约法语合约及计算机语言合约均存到链上，同时构建智能合约微服务，进行编译运行。

优选地，上述实施例中，第一次催款通知的生成、第二次催款通知的生成以及违约书的生成均可使用本发明提供的方法，参考实施例的步骤编写新的智能合约，上述实施例可直接调用这些智能合约微服务完成合约功能。

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