智能合约重构社会契约 雅阁项目智能合约

Posted 2021-06-08 thefist11

1. 雅阁项目有三个主要思想

• 文本合同到可计算合同:主要目的是从静态的文本合同,以自然语言和文件为主,到动态,数字化,电子文档和证据集成的系统。电子签名仅仅是向本合同迈进的开始。
• 合同高科技:雅阁项目不只使用合同模板,而有基于形式化语言定义的合同语言,可以有形式化的证明。
• 连接相关组织:合同和业务决策和执行操作相连接,产生合同最大价值。

eg. 可计算保险合同示例

2. 雅阁项目的开发工具

• 合同模板Cicero
  一个用于参数化自然语言,数据模型和可计算逻辑的规范和库集。Cicero模板可用于创建可重复使用的智能条款,允许法律条款与外界的数据进行交互,并执行自动计算。使用Cicero模板系统创建可重用的机器可读的自然语言协定和子句。
• 协奏曲建模语言Concerto
  一种轻量级且易于使用的数据模型规范,用于正式获取特定域的数据模型。
• 协奏曲建模语言Concerto工具
  一组将Concerto模型与其他格式相互转换的工具。
• 合约逻辑语言Ergo
  一种非图灵功能的完整特定领域语言,用于获取法律条款的可计算逻辑以及用于Node.js , javascript 和Java的后端编译器以及其他计划中的编译器。

3. 合约开发流程

eg. 计算合同的构建路径

参考
【1】 智能合约重构社会契约 蔡维德 法律出版社 2020 ISBN 9787519748777.