[發明專利]一種基于法律語言的智能合約開發方法

在審

• 申請號: 202010181742.4
• 申請日: 2020-03-16
• 公開（公告）號: CN112184432A
• 公開（公告）日: 2021-01-05
• 發明（設計）人: 蔡維德
• 申請（專利權）人: 北京天德科技有限公司;天民（青島）國際沙盒研究院有限公司
• 主分類號: G06Q40/04
• 分類號: G06Q40/04;G06Q50/18;G06F8/41;G06F40/58
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于法律語言的智能合約開發方法，其特征為，包含三種語言：傳統法律語言，智能合約法律語言，計算機語言。

2.根據權利要求1所述開發方法，其特征為：傳統法律語言與智能合約法律語言均為自然語言。

3.根據權利要求1所述，其特征為：智能合約法律語言包含一系列保留字和關系，為規范性的語言。

4.根據權利要求1所述開發方法，其特征為：智能合約法律語言具有如下特點：

（1）使用自然語言；

（2）只包含若干簡單路線結構；

（3）語義簡單；

（4）保留字少；

（5）支持自動轉成代碼結構。

（6）可以擴展；

（7）可以翻譯成多種語言的代碼。

5.根據權利要求1所述開發方法，其特征為：合約編寫人根據傳統自然語言合約按照智能合約法律語言編寫合約，智能合約法律語言合約通過一定的算法自動轉換為計算機語言合約。

6.根據權利要求5所述開發方法，其特征為：智能合約法律語言合約是一個形式化的模型，可以進行自動化或半自動化的形式化分析。

7.根據權利要求1所述開發方法，其特征為：智能合約庫由多套智能合約組成，每套智能合約包含傳統自然語言法律語言書寫的合約，智能合約法律語言書寫的合約以及計算機語言書寫的合約。

8.根據權利要求1所述開發方法，其特征為：每一組傳統自然語言法語合約、智能合約法語合約和對應的計算機語言合約可部署為智能合約的一個微服務，可獨立地標準化地作業。

9.根據權利要求8所述開發方法，其特征為：多組智能合約微服務組成微服務庫。

10.根據權利要求9所述開發方法，其特征為：微服務庫中的智能合約微服務可能存在多個微服務使用有指向性地鏈路串聯或并聯，完成互相調用的場景。