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

在審

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

本發(fā)明提出一種基于法律語言的智能合約開發(fā)方法。開發(fā)方法包含三種語言：傳統(tǒng)法律語言，智能合約法律語言，計算機語言。智能合約法律語言包含一系列保留字和關(guān)系的規(guī)范性的語言，具有如下特點：（1）使用自然語言；（2）只包含若干簡單路線結(jié)構(gòu)；（3）語義簡單；（4）保留字少；（5）支持自動轉(zhuǎn)成代碼結(jié)構(gòu)；（6）可以擴展；（7）可以翻譯成多種語言的代碼。合約編寫人根據(jù)傳統(tǒng)自然語言合約按照智能合約法律語言編寫合約，智能合約法律語言合約通過一定的算法自動轉(zhuǎn)換為計算機語言合約。智能合約庫由多套智能合約組成，每套智能合約包含傳統(tǒng)自然語言法律語言書寫的合約，智能合約法律語言書寫的合約以及計算機語言書寫的合約。

技術(shù)領(lǐng)域

本發(fā)明屬于法律領(lǐng)域及區(qū)塊鏈智能合約技術(shù)領(lǐng)域，特別涉及將法律合同使用智能合約進行自動化處理的相關(guān)技術(shù)。

背景技術(shù)

大部分法律合約基于行業(yè)標準模板撰寫，并根據(jù)實際需求做出適當調(diào)整。合約起草人不會為每一筆交易從頭起草新合約，而是會在行業(yè)模板中添加具體條款或制定一套定制化協(xié)議，作為此類商業(yè)行為的基礎(chǔ)模板。

如今大多數(shù)法律文件都是紙質(zhì)版或PDF電子版文檔，分別儲存在文件柜或計算機硬盤中。紙質(zhì)版合約需要各方親筆簽名才能生效；而電子版合約與紙質(zhì)版具有同樣特征，唯一的不同是電子版只需電子簽名即可生效。

傳統(tǒng)的法律合約需要合約雙方或多方交替操作才能完成執(zhí)行。合約一方需要等待另一方或多方做出操作，并且信任其他各方能夠按時完成，且可驗證其操作。但在實際的操作過程中，會有合約參與方為了獲取利益而使用非法手段進行欺詐。

隨著區(qū)塊鏈技術(shù)的不斷發(fā)展，區(qū)塊鏈及智能合約的應用領(lǐng)域正在不斷擴大。智能合約具有高確定性、高可靠性和難篡改性。多方達成的合約，可以變成計算機代碼，通過智能合約保存在區(qū)塊鏈上，并可被觸發(fā)執(zhí)行。使用智能合約處理傳統(tǒng)的法律合約，減少了容易產(chǎn)生的誤解和糾紛，并可提供可靠的數(shù)據(jù)保障。

智能合約要在法律中實現(xiàn)應用，需要解決很多問題。如何將傳統(tǒng)法言法語轉(zhuǎn)換成計算機可識別可運行的代碼，是其中的關(guān)鍵問題。

發(fā)明內(nèi)容

本發(fā)明提出一種基于法律語言的智能合約開發(fā)方法，稱為獨角獸模型，使得傳統(tǒng)的法律語言（以下簡稱法語）書寫的合約可以通過本發(fā)明提出的智能合約法語方法產(chǎn)出計算機可識別的智能合約代碼。

本發(fā)明提出的基于法律語言的智能合約開發(fā)方法，包含三種語言：傳統(tǒng)自然語言法語，智能合約法語，計算機語言。

進一步地，本發(fā)明為實現(xiàn)從傳統(tǒng)法語通過智能合約法語向計算機語言的轉(zhuǎn)換，首先，定義智能合約法語，它包含一系列保留字和關(guān)系，用來標記常用的合約架構(gòu)和模板表達。

以下對保留字進行舉例（僅做參考，包含英文和中文兩種表達方式）：

進一步地，智能合約的法語中可以描述關(guān)系，包括但不限于時間關(guān)系（發(fā)生前，發(fā)生后，同時期發(fā)生、結(jié)束后開啟、事件點等）、包含邏輯關(guān)系（和、或、否、真、假等）。使用者可以用“關(guān)系”來定義其他關(guān)系例如父子、夫婦、老師/學生、經(jīng)理/員工、單位/員工、學生/課程、學生/學校、家人等關(guān)系，但是這些關(guān)系不是保留字，使用者可以自己定義。

進一步地，本發(fā)明中智能合約法語具有如下特性：

（1）使用自然語言：使智能合約法語易于被理解，且易于書寫；

（2）只包含若干簡單路線結(jié)構(gòu)：越少路線結(jié)構(gòu)越容易學習和實現(xiàn)，例如“如果-就執(zhí)行-否則”路線；

（3）語義簡單：翻譯器容易開發(fā)，容易分析，模型容易了解；

（4）保留字少：越少保留字,學習成本較低，轉(zhuǎn)換算法更易于開發(fā)；

（5）支持自動轉(zhuǎn)成代碼結(jié)構(gòu)：可以自動化的轉(zhuǎn)成計算機語言的結(jié)構(gòu)，使用這結(jié)構(gòu)可以簡化開發(fā)對應的代碼。