1. 雅閣項目有三個主要思想

• 文本合同到可計算合同:主要目的是從靜態(tài)的文本合同,以自然語言和文件為主,到動態(tài),數(shù)字化,電子文檔和證據(jù)集成的系統(tǒng)。電子簽名僅僅是向本合同邁進的開始。
• 合同高科技:雅閣項目不只使用合同模板,而有基于形式化語言定義的合同語言,可以有形式化的證明。
• 連接相關(guān)組織:合同和業(yè)務決策和執(zhí)行操作相連接,產(chǎn)生合同最大價值。

eg. 可計算保險合同示例

2. 雅閣項目的開發(fā)工具

• 合同模板Cicero
  一個用于參數(shù)化自然語言,數(shù)據(jù)模型和可計算邏輯的規(guī)范和庫集。Cicero模板可用于創(chuàng)建可重復使用的智能條款,允許法律條款與外界的數(shù)據(jù)進行交互,并執(zhí)行自動計算。使用Cicero模板系統(tǒng)創(chuàng)建可重用的機器可讀的自然語言協(xié)定和子句。
• 協(xié)奏曲建模語言Concerto
  一種輕量級且易于使用的數(shù)據(jù)模型規(guī)范,用于正式獲取特定域的數(shù)據(jù)模型。
• 協(xié)奏曲建模語言Concerto工具
  一組將Concerto模型與其他格式相互轉(zhuǎn)換的工具。
• 合約邏輯語言Ergo
  一種非圖靈功能的完整特定領域語言,用于獲取法律條款的可計算邏輯以及用于Node.js , JavaScript 和Java的后端編譯器以及其他計劃中的編譯器。

3. 合約開發(fā)流程

eg. 計算合同的構(gòu)建路徑

參考
【1】 智能合約重構(gòu)社會契約 蔡維德 法律出版社 2020 ISBN 9787519748777.

《新程序員》：云原生和全面數(shù)字化實踐50位技術(shù)專家共同創(chuàng)作，文字、視頻、音頻交互閱讀

總結(jié)

以上是生活随笔為你收集整理的智能合约重构社会契约 （2）雅阁项目智能合约的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。