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

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

eg. 可計算保險合同示例

2. 雅閣項目的開發工具

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

3. 合約開發流程

eg. 計算合同的構建路徑

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

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

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。